Autor der Publikation

Bisimilarity of One-Counter Processes Is PSPACE-Complete.

, , und . CONCUR, Volume 6269 von Lecture Notes in Computer Science, Seite 177-191. Springer, (2010)

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

Inductive effects in radicals calculated from DFT energies; substituted bicyclo2.2.2octan-1-yloxy radicals., und . Journal of Computational Chemistry, 28 (11): 1783-1789 (2007)Parallelization of ant colony optimization algorithm using Kaira., , , , und . ISDA, Seite 510-515. IEEE, (2011)Haydi: Rapid Prototyping and Combinatorial Objects., , und . FoIKS, Volume 10833 von Lecture Notes in Computer Science, Seite 133-149. Springer, (2018)Active diagnosis with observable quiescence., , , , und . CDC, Seite 1663-1668. IEEE, (2015)Are calculated enthalpies of formation sometimes more reliable than experimental? A test on alkyl substituted benzoic acids., und . Journal of Computational Chemistry, 27 (5): 571-577 (2006)On Büchi One-Counter Automata., , , und . STACS, Volume 66 von LIPIcs, Seite 14:1-14:13. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2017)Enthalpies of formation of monoderivatives of hydrocarbons: Interaction of polar groups with an alkyl group., und . J. Comput. Chem., 25 (16): 1979-1986 (2004)Bisimulation equivalence and regularity for real-time one-counter automata., , und . J. Comput. Syst. Sci., 80 (4): 720-743 (2014)Equivalence of deterministic one-counter automata is NL-complete., , und . STOC, Seite 131-140. ACM, (2013)Kaira: Generating Parallel Libraries and Their Usage with Octave., , und . LCPC, Volume 7760 von Lecture Notes in Computer Science, Seite 268-269. Springer, (2012)