Autor der Publikation

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Observations on Self-Stabilizing Graph Algorithms for Anonymous Networks, , und . Proceedings of the 2nd Workshop on Self-Stabilizing Systems (WSS-95), Seite 7.1--7.15. Las Vegas, NE, (1995)Computational Parallels Between the Regular and Context-Free Languages., und . SIAM J. Comput., 7 (1): 99-114 (1978)Recursion Schemes and Recursive Programs are Exponentially Hard to Analyze., und . SIAM J. Comput., 15 (3): 831-850 (1986)Programmed Grammars and Classes of Formal Languages.. J. ACM, 16 (1): 107-131 (1969)JACM 1986-1990.. J. ACM, 50 (1): 18 (2003)I/O Automata Based Verification of Finite State Distributed Systems: Complexity Issues (Abstract)., , , , und . PODC, Seite 122. ACM, (1996)Inferring Probabilistic Contagion Models Over Networks Using Active Queries., , , , , , und . CIKM, Seite 377-386. ACM, (2018)Validating Agent-Based Models of Large Networked Systems., , , , , , , , , und 1 andere Autor(en). WSC, Seite 2807-2818. IEEE, (2019)Representability of Design Objects by Ancestor-Controlled Hierarchical Specifications., und . Fundamental Problems in Computing, Seite 163-208. Springer, (2013)A System Level Concurrency Control for Distributed Database Systems., , und . Berkeley Workshop, Seite 132-145. Technical Information Department, Lawrence Berkeley Laboratory, University of California, Berkeley CA, (1977)