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

From Entity Relationship to XML Schema: a Graph-Theoretic Approach (Extended Abstract)., , , und . SEBD, Seite 382-389. Esculapio Editore, (2010)Multiset Constraints and P Systems., , und . WMP, Volume 2235 von Lecture Notes in Computer Science, Seite 103-122. Springer, (2000)Modeling Cellular Behavior with Hybrid Automata: Bisimulation and Collapsing., , , , und . CMSB, Volume 2602 von Lecture Notes in Computer Science, Seite 57-74. Springer, (2003)Simulation as Coarsest Partition Problem., , und . TACAS, Volume 2280 von Lecture Notes in Computer Science, Seite 415-430. Springer, (2002)A Fast Bisimulation Algorithm., , und . CAV, Volume 2102 von Lecture Notes in Computer Science, Seite 79-90. Springer, (2001)Disunification in ACI1 Theories., , und . Constraints An Int. J., 9 (1): 35-91 (2004)Inferring Markov Chains to Describe Convergent Tumor Evolution With CIMICE., , , und . IEEE ACM Trans. Comput. Biol. Bioinform., 21 (1): 106-119 (Januar 2024)Computing strongly connected components in a linear number of symbolic steps., , und . SODA, Seite 573-582. ACM/SIAM, (2003)Mirrors and Memory in Quantum Automata., und . QEST, Volume 13479 von Lecture Notes in Computer Science, Seite 359-380. Springer, (2022)Rank-Based Simulation on Acyclic Graphs., , und . CILC, Volume 857 von CEUR Workshop Proceedings, Seite 149-160. CEUR-WS.org, (2012)