Automatic functional test generation using the extended finite state machine model
DAC '93 Proceedings of the 30th international Design Automation Conference
Reversibility and surjectivity problems of cellular automata
Journal of Computer and System Sciences
Automatic generation of functional vectors using the extended finite state machine model
ACM Transactions on Design Automation of Electronic Systems (TODAES)
A brief history of cellular automata
ACM Computing Surveys (CSUR)
A Programmer's View of Automata
ACM Computing Surveys (CSUR)
The place of logical design and switching theory in the computer curriculum
Communications of the ACM
Automata, formal languages abstract switching, and computability in a Ph.D. computer science program
Communications of the ACM
Multi-tape and infinite-state automata—a survey
Communications of the ACM
An undergraduate program in computer science—preliminary recommendations
Communications of the ACM
Automata theory: its past and future
A half-century of automata theory
The wake up and report problem is time-equivalent to the firing squad synchronization problem
SODA '02 Proceedings of the thirteenth annual ACM-SIAM symposium on Discrete algorithms
Determination of the Topology of a Directed Network
IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
MCU '01 Proceedings of the Third International Conference on Machines, Computations, and Universality
Noninterference Equations for Nondeterministic Systems
CSFW '01 Proceedings of the 14th IEEE workshop on Computer Security Foundations
A derived Markov process for modeling reaction networks
Evolutionary Computation
R-70-31 A Generalized Firing Squad Problem
IEEE Transactions on Computers
The on-line firing squad simulator
AFIPS '68 (Fall, part I) Proceedings of the December 9-11, 1968, fall joint computer conference, part I
Search for a solution: a case study
IJCAI'69 Proceedings of the 1st international joint conference on Artificial intelligence
A smallest five-state solution to the firing squad synchronization problem
MCU'07 Proceedings of the 5th international conference on Machines, computations, and universality
Church's problem and a tour through automata theory
Pillars of computer science
SEIM: static extraction of interaction models
Proceedings of the 2nd International Workshop on Principles of Engineering Service-Oriented Systems
On the complexity of the “most general” firing squad synchronization problem
STACS'06 Proceedings of the 23rd Annual conference on Theoretical Aspects of Computer Science
On formulations of firing squad synchronization problems
UC'05 Proceedings of the 4th international conference on Unconventional Computation
On the complexity of network synchronization
ISAAC'04 Proceedings of the 15th international conference on Algorithms and Computation
Formal Asynchronous Systems Modelling
Fundamenta Informaticae
| Hi-index | 0.08 |