( en | de | ru )

 

Disambiguierung von "Henzinger, Thomas A."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Abstract Monitors for Quantitative Specifications.

, , und . RV, Volume 13498 von Lecture Notes in Computer Science, Seite 200-220. Springer, (2022)

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

PROOF-PAD: An Interactive Proof Generating System Using Natural Deduction., und . ÖGAI, Volume 106 von Informatik-Fachberichte, Seite 173-184. Springer, (1985)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)Qualitative concurrent parity games., , und . ACM Trans. Comput. Log., 12 (4): 28:1-28:51 (2011)Quantitative languages., , und . ACM Trans. Comput. Log., 11 (4): 23:1-23:38 (2010)A typed assembly language for real-time programs., und . EMSOFT, Seite 104-113. ACM, (2004)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)Timed Alternating-Time Temporal Logic., und . FORMATS, Volume 4202 von Lecture Notes in Computer Science, Seite 1-17. Springer, (2006)Timed Parity Games: Complexity and Robustness., , und . FORMATS, Volume 5215 von Lecture Notes in Computer Science, Seite 124-140. Springer, (2008)Synchronous and Bidirectional Component Interfaces., , , und . CAV, Volume 2404 von Lecture Notes in Computer Science, Seite 414-427. Springer, (2002)