( en | de | ru )

 

Disambiguation of "Henzinger, Thomas A."

Author of the publication

copydeleteadd this publication to your clipboard
Beyond HYTECH: Hybrid Systems Analysis Using Interval Numerical Methods.

, , , and . HSCC, volume 1790 of Lecture Notes in Computer Science, page 130-144. Springer, (2000)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Thomas A Vilgis

Thomas A Fischer

Thomas A Fischer

Thomas A Willging

Thomas A Schartel

 

Other publications of authors with the same name

Timed Interfaces., , and . EMSOFT, volume 2491 of Lecture Notes in Computer Science, page 108-122. Springer, (2002)Prooving Safety Properties of Hybrid Systems., , , and . FTRTFT, volume 863 of Lecture Notes in Computer Science, page 431-454. Springer, (1994)Algorithms for Omega-Regular Games with Imperfect Information, ., , , and . CSL, volume 4207 of Lecture Notes in Computer Science, page 287-302. Springer, (2006)PROOF-PAD: An Interactive Proof Generating System Using Natural Deduction., and . ÖGAI, volume 106 of Informatik-Fachberichte, page 173-184. Springer, (1985)Algorithms for Büchi Games, , and . CoRR, (2008)From Non-preemptive to Preemptive Scheduling Using Synchronization Synthesis., , , , , , and . CAV (2), volume 9207 of Lecture Notes in Computer Science, page 180-197. Springer, (2015)Lipschitz Robustness of Timed I/O Systems., , and . VMCAI, volume 9583 of Lecture Notes in Computer Science, page 250-267. Springer, (2016)From Model Checking to Model Measuring., and . CONCUR, volume 8052 of Lecture Notes in Computer Science, page 273-287. Springer, (2013)Qualitative Analysis of Partially-Observable Markov Decision Processes., , and . MFCS, volume 6281 of Lecture Notes in Computer Science, page 258-269. Springer, (2010)Monitoring Event Frequencies., , and . CoRR, (2019)