( en | de | ru )

 

Disambiguierung von "Henzinger, Thomas A."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Interface automata.

, und . ESEC / SIGSOFT FSE, Seite 109-120. ACM, (2001)

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 Schartel

 

Weitere Publikationen von Autoren mit dem selben Namen

Reduction of stochastic parity to stochastic mean-payoff games., und . Inf. Process. Lett., 106 (1): 1-7 (2008)The quest for average response time.. MEMOCODE, Seite 4. ACM, (2017)A typed assembly language for real-time programs., und . EMSOFT, Seite 104-113. ACM, (2004)PROOF-PAD: An Interactive Proof Generating System Using Natural Deduction., und . ÖGAI, Volume 106 von Informatik-Fachberichte, Seite 173-184. Springer, (1985)Quantitative languages., , und . ACM Trans. Comput. Log., 11 (4): 23:1-23:38 (2010)Qualitative concurrent parity games., , und . ACM Trans. Comput. Log., 12 (4): 28:1-28:51 (2011)Abstract Interpretation of Game Properties., , , und . SAS, Volume 1824 von Lecture Notes in Computer Science, Seite 220-239. Springer, (2000)The Cost of Exactness in Quantitative Reachability., , und . Models, Algorithms, Logics and Tools, Volume 10460 von Lecture Notes in Computer Science, Seite 367-381. Springer, (2017)Race checking by context inference., , und . PLDI, Seite 1-13. ACM, (2004)Markov Decision Processes with Multiple Objectives., , und . STACS, Volume 3884 von Lecture Notes in Computer Science, Seite 325-336. Springer, (2006)