From post

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.

 

Другие публикации лиц с тем же именем

Observations on Self-Stabilizing Graph Algorithms for Anonymous Networks, , и . Proceedings of the 2nd Workshop on Self-Stabilizing Systems (WSS-95), стр. 7.1--7.15. Las Vegas, NE, (1995)Computational Parallels Between the Regular and Context-Free Languages., и . SIAM J. Comput., 7 (1): 99-114 (1978)Recursion Schemes and Recursive Programs are Exponentially Hard to Analyze., и . SIAM J. Comput., 15 (3): 831-850 (1986)Inferring Probabilistic Contagion Models Over Networks Using Active Queries., , , , , , и . CIKM, стр. 377-386. ACM, (2018)I/O Automata Based Verification of Finite State Distributed Systems: Complexity Issues (Abstract)., , , , и . PODC, стр. 122. ACM, (1996)JACM 1986-1990.. J. ACM, 50 (1): 18 (2003)Programmed Grammars and Classes of Formal Languages.. J. ACM, 16 (1): 107-131 (1969)A System Level Concurrency Control for Distributed Database Systems., , и . Berkeley Workshop, стр. 132-145. Technical Information Department, Lawrence Berkeley Laboratory, University of California, Berkeley CA, (1977)Complexity of Inferring Local Transition Functions of Discrete Dynamical Systems., , , , , и . CIAA, том 9223 из Lecture Notes in Computer Science, стр. 21-34. Springer, (2015)Representability of Design Objects by Ancestor-Controlled Hierarchical Specifications., и . Fundamental Problems in Computing, стр. 163-208. Springer, (2013)