( en | de | ru )

 

Disambiguierung von "Rosenkrantz, Daniel J."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
I/O Automata Based Verification of Finite State Distributed Systems: Complexity Issues (Abstract).

, , , , und . PODC, Seite 122. ACM, (1996)

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.

Daniel J Schad

Daniel J Guhr

Daniel J Schmidt

Daniel J Alfsmann

Daniel J Egger

 

Weitere Publikationen von Autoren mit dem selben Namen

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, und . SWAT, Seite 118-128. IEEE Computer Society, (1969)A general-purpose graph dynamical system modeling framework., , , , , , , und . WSC, Seite 296-308. IEEE, (2011)Inferring Probabilistic Contagion Models Over Networks Using Active Queries., , , , , , und . CIKM, Seite 377-386. ACM, (2018)Predecessor and Permutation Existence Problems for Sequential Dynamical Systems., , , , , und . DMCS, Volume AB von DMTCS Proceedings, Seite 69-80. DMTCS, (2003)Validating Agent-Based Models of Large Networked Systems., , , , , , , , , und 1 andere Autor(en). WSC, Seite 2807-2818. IEEE, (2019)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)I/O Automata Based Verification of Finite State Distributed Systems: Complexity Issues (Abstract)., , , , und . PODC, Seite 122. ACM, (1996)Representability of Design Objects by Ancestor-Controlled Hierarchical Specifications., und . Fundamental Problems in Computing, Seite 163-208. Springer, (2013)