447 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- University of ZagrebHR16 papers
- Massachusetts Institute of TechnologyUS2 papers
- Microsoft (United States)US2 papers
- Ruđer Bošković InstituteHR2 papers
- University College DublinIE2 papers
- University of MichiganUS2 papers
- Austrian Research Centre for ForestsAT1 paper
- Bekaert (Belgium)BE1 paper
- Chalmers University of TechnologySE1 paper
- DHIDK1 paper
- Helmholtz-Zentrum Dresden-RossendorfDE1 paper
- Heriot-Watt UniversityGB1 paper
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2007★ 7 cited
Interactive Small-Step Algorithms II: Abstract State Machines and the<br> Characterization Theorem
Andreas Blass, Yuri Gurevich, Dean Rosenzweig +1
In earlier work, the Abstract State Machine Thesis -- that arbitrary algorithms are behaviorally equivalent to abstract state machines -- was established for several classes of alg…
cs.LO2007★ 29 cited
Interactive Small-Step Algorithms I: Axiomatization
Andreas Blass, Yuri Gurevich, Dean Rosenzweig +1
In earlier work, the Abstract State Machine Thesis -- that arbitrary algorithms are behaviorally equivalent to abstract state machines -- was established for several classes of alg…