output
20062026
most citedObservation of a new particle in the search for the Standard Model Higgs boson with the ATLAS detector at the LHC

10.9k citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
Showing 2006Show all

1 paper · 1 filter

cs.LO2006★ 93 cited

Algorithmic correspondence and completeness in modal logic. I. The core algorithm SQEMA

Willem Conradie, Valentin Goranko, Dimiter Vakarelov

Modal formulae express monadic second-order properties on Kripke frames, but in many important cases these have first-order equivalents. Computing such equivalents is important for…