( en | de | ru )

 

Disambiguation of "Henzinger, Thomas A."

Author of the publication

copydeleteadd this publication to your clipboard
Web service interfaces.

, , and . WWW, page 148-159. ACM, (2005)

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

Computer-aided Verification of Embedded Systems.. IFIP Congress: Fundamentals - Foundations of Computer Science, volume 117 of books@ocg.at, page 89-92. Austrian Computer Society, (1998)Lipschitz Robustness of Timed I/O Systems., , and . CoRR, (2015)Faster Statistical Model Checking for Unbounded Temporal Properties., , , and . CoRR, (2015)Synthesis of AMBA AHB from Formal Specification, , and . CoRR, (2010)Guest Editors' Introduction to Special Issue on Computational Methods in Systems Biology., and . ACM Trans. Model. Comput. Simul., 25 (2): 7:1-7:2 (2015)Run-Time Optimization for Learned Controllers Through Quantitative Games., , , , , and . CAV (1), volume 11561 of Lecture Notes in Computer Science, page 630-649. Springer, (2019)Randomness for Free., , , and . MFCS, volume 6281 of Lecture Notes in Computer Science, page 246-257. Springer, (2010)Synthesis of Uninitialized Systems., , , and . ICALP, volume 2380 of Lecture Notes in Computer Science, page 644-656. Springer, (2002)Dynamic resource allocation games., , and . Theor. Comput. Sci., (2020)Strategy improvement for concurrent reachability and turn-based stochastic safety games., , and . J. Comput. Syst. Sci., 79 (5): 640-657 (2013)