( en | de | ru )

 

Disambiguierung von "Henzinger, Thomas A."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Edit Distance for Pushdown Automata.

, , , und . ICALP (2), Volume 9135 von Lecture Notes in Computer Science, Seite 121-133. Springer, (2015)

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.

Thomas A Vilgis

Thomas A Fischer

Thomas A Fischer

Thomas A Willging

Thomas A Weitz

 

Weitere Publikationen von Autoren mit dem selben Namen

Computer-aided Verification of Embedded Systems.. IFIP Congress: Fundamentals - Foundations of Computer Science, Volume 117 von books@ocg.at, Seite 89-92. Austrian Computer Society, (1998)Lipschitz Robustness of Timed I/O Systems., , und . CoRR, (2015)Algorithms for Omega-Regular Games with Imperfect Information, , , und . CoRR, (2007)Some Myths About Formal Verification.. ACM Comput. Surv., 28 (4es): 119 (1996)Parametric real-time reasoning., , und . STOC, Seite 592-601. ACM, (1993)From boolean to quantitative synthesis., und . EMSOFT, Seite 149-154. ACM, (2011)Biology As Reactivity, , und . Commun. ACM, 54 (10): 72--82 (Oktober 2011)A hierarchical coordination language for interacting real-time tasks., , , , und . EMSOFT, Seite 132-141. ACM, (2006)Quantitative Simulation Games., , und . Essays in Memory of Amir Pnueli, Volume 6200 von Lecture Notes in Computer Science, Seite 42-60. Springer, (2010)Model Checking: From Hardware to Software.. APLAS, Volume 2895 von Lecture Notes in Computer Science, Seite 176-177. Springer, (2003)