Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Programmed Grammars and Classes of Formal Languages.. J. ACM, 16 (1): 107-131 (1969)JACM 1986-1990.. J. ACM, 50 (1): 18 (2003)Table Machine Simulation, and . SWAT, page 118-128. IEEE Computer Society, (1969)A general-purpose graph dynamical system modeling framework., , , , , , , and . WSC, page 296-308. IEEE, (2011)Inferring Probabilistic Contagion Models Over Networks Using Active Queries., , , , , , and . CIKM, page 377-386. ACM, (2018)Predecessor and Permutation Existence Problems for Sequential Dynamical Systems., , , , , and . DMCS, volume AB of DMTCS Proceedings, page 69-80. DMTCS, (2003)Validating Agent-Based Models of Large Networked Systems., , , , , , , , , and 1 other author(s). WSC, page 2807-2818. IEEE, (2019)A System Level Concurrency Control for Distributed Database Systems., , and . Berkeley Workshop, page 132-145. Technical Information Department, Lawrence Berkeley Laboratory, University of California, Berkeley CA, (1977)I/O Automata Based Verification of Finite State Distributed Systems: Complexity Issues (Abstract)., , , , and . PODC, page 122. ACM, (1996)Representability of Design Objects by Ancestor-Controlled Hierarchical Specifications., and . Fundamental Problems in Computing, page 163-208. Springer, (2013)