Model of computation
Related papers: 9
Top Researchers
Top Cited Papers
PSPACE-completeness of sliding-block puzzles and other problems through the nondeterministic constraint logic model of computation
Robert A. Hearn, Erik D. Demaine
Citations: 317 • 2005
Parameterized Computation and Complexity: A New Approach Dealing with NP-Hardness
Jianer Chen
Citations: 27 • 2005
A framework for high-assurance quasi-synchronous systems
Robin Larrieu, Natarajan Shankar
Citations: 10 • 2014
Models and paradigms of interaction
Peter Wegner
Citations: 10 • 2005
Modeling and controlling the structure of heterogeneous mobile robotic systems: A bigactor approach
Elói Pereira, C. Potiron, Christoph Kirsch, Raja Sengupta
Citations: 7 • 2013
Models of computation for reactive control of autonomous mobile robots
Gerasimos Rigatos
Citations: 4 • 2012
Towards a Taxonomy for Reversible Computation Approaches
Robert Glück, Ivan Lanese, Claudio Antares Mezzina, Jarosław Adam Miszczak, Iain Phillips, Irek Ulidowski, Germán Vidal
Citations: 3 • 2023
Deterministic rendezvous with different maps
Ashley Farrugia, Leszek Gąsieniec, Łukasz Kuszner, Eduardo Pacheco
Citations: 3 • 2019
Performative morphology in architecture: Integrative design research by the Institute for computational design
Achim Menges
Citations: 3 • 2013