A theory of timed automata | Theoretical Computer Science | 1994 | 4.1K |
Statecharts: a visual formalism for complex systems | Science of Computer Programming | 1987 | 3.8K |
A robust layered control system for a mobile robot | IEEE Journal of Robotics and Automation | 1986 | 3.7K |
Intelligence without representation | Artificial Intelligence | 1991 | 2.6K |
Dissipative dynamical systems part I: General theory | Archive for Rational Mechanics and Analysis | 1972 | 2.1K |
Real-time computing without stable states: a new framework for neural computation based on perturbations | Neural Computation | 2002 | 2K |
Automatic verification of finite-state concurrent systems using temporal logic specifications | ACM Transactions on Programming Languages and Systems | 1986 | 2K |
Control of systems integrating logic, dynamics, and constraints | Automatica | 1999 | 2K |
Efficient string matching | Communications of the ACM | 1975 | 1.7K |
The part-time parliament | ACM Transactions on Computer Systems | 1998 | 1.3K |
Learning and development in neural networks: the importance of starting small | Cognition | 1993 | 1.3K |
Implementing fault-tolerant services using the state machine approach: a tutorial | ACM Computing Surveys | 1990 | 1.1K |
Parameter control in evolutionary algorithms | IEEE Transactions on Evolutionary Computation | 1999 | 1.1K |
Gesture Recognition: A Survey | IEEE Transactions on Systems, Man and Cybernetics, Part C: Applications and Reviews | 2007 | 1.1K |
Alternation | Journal of the ACM | 1981 | 1.1K |
P4 | Computer Communication Review | 2014 | 1K |
Universality and complexity in cellular automata | Physica D: Nonlinear Phenomena | 1984 | 997 |
Petri Nets | ACM Computing Surveys | 1977 | 902 |
On Communicating Finite-State Machines | Journal of the ACM | 1983 | 890 |
Testing Software Design Modeled by Finite-State Machines | IEEE Transactions on Software Engineering | 1978 | 837 |
Dynamo | Operating Systems Review (ACM) | 2007 | 788 |
Myoelectric control systems—A survey | Biomedical Signal Processing and Control | 2007 | 777 |
On certain formal properties of grammars | Information and Control | 1959 | 718 |