( en | de | ru )

 

Disambiguierung von "Henzinger, Thomas A."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Flavors of Sequential Information Flow.

, , , , und . VMCAI, Volume 13182 von Lecture Notes in Computer Science, Seite 1-19. 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 Schartel

 

Weitere Publikationen von Autoren mit dem selben Namen

Lipschitz Robustness of Timed I/O Systems., , und . VMCAI, Volume 9583 von Lecture Notes in Computer Science, Seite 250-267. Springer, (2016)From Model Checking to Model Measuring., und . CONCUR, Volume 8052 von Lecture Notes in Computer Science, Seite 273-287. Springer, (2013)From Non-preemptive to Preemptive Scheduling Using Synchronization Synthesis., , , , , , und . CAV (2), Volume 9207 von Lecture Notes in Computer Science, Seite 180-197. Springer, (2015)Qualitative Analysis of Partially-Observable Markov Decision Processes., , und . MFCS, Volume 6281 von Lecture Notes in Computer Science, Seite 258-269. Springer, (2010)Algorithms for Omega-Regular Games with Imperfect Information, ., , , und . CSL, Volume 4207 von Lecture Notes in Computer Science, Seite 287-302. Springer, (2006)Independent Implementability of Viewpoints., und . Monterey Workshop, Volume 7539 von Lecture Notes in Computer Science, Seite 380-395. Springer, (2012)Prooving Safety Properties of Hybrid Systems., , , und . FTRTFT, Volume 863 von Lecture Notes in Computer Science, Seite 431-454. Springer, (1994)Timed Interfaces., , und . EMSOFT, Volume 2491 von Lecture Notes in Computer Science, Seite 108-122. Springer, (2002)Specification-centered robustness., , , , und . SIES, Seite 176-185. IEEE, (2011)Membership-Based Synthesis of Linear Hybrid Automata., , , und . CAV (1), Volume 11561 von Lecture Notes in Computer Science, Seite 297-314. Springer, (2019)