( en | de | ru )

 

Disambiguierung von "Henzinger, Thomas A."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Axioms for real-time logics.

, , und . Theor. Comput. Sci., 274 (1-2): 151-182 (2002)

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

Towards Refining Temporal Specifications into Hybrid Systems., , und . Hybrid Systems, Volume 736 von Lecture Notes in Computer Science, Seite 60-76. Springer, (1992)Stack Size Analysis for Interrupt-Driven Programs., , , , , und . SAS, Volume 2694 von Lecture Notes in Computer Science, Seite 109-126. Springer, (2003)Abstractions from proofs., , , und . ACM SIGPLAN Notices, 49 (4S): 79-91 (2014)Quantitative stochastic parity games., , und . SODA, Seite 121-130. SIAM, (2004)Model-checking strategies for hybrid systems, und . Conference on Industrial and Engineering Applications of AI and Expert Systems, (1994)PROOF-PAD: An Interactive Proof Generating System Using Natural Deduction., und . ÖGAI, Volume 106 von Informatik-Fachberichte, Seite 173-184. Springer, (1985)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)Expressiveness and Closure Properties for Quantitative Languages, , und . Logical Methods in Computer Science, (2010)Timed Alternating-Time Temporal Logic., und . FORMATS, Volume 4202 von Lecture Notes in Computer Science, Seite 1-17. Springer, (2006)