( en | de | ru )

 

Disambiguation of "Henzinger, Thomas A."

Author of the publication

copydeleteadd this publication to your clipboard
Dynamic Reactive Modules.

, , , , , and . CONCUR, volume 6901 of Lecture Notes in Computer Science, page 404-418. Springer, (2011)

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 Müller

 

Other publications of authors with the same name

The Complexity of Multi-Mean-Payoff and Multi-Energy Games, , , , , and . CoRR, (2012)Distributed queues in shared memory: multicore performance and scalability through quantitative relaxation., , , , , , and . Conf. Computing Frontiers, page 17:1-17:9. ACM, (2013)Finite automata with time-delay blocks., , and . EMSOFT, page 43-52. ACM, (2012)Interface theories with component reuse., , , and . EMSOFT, page 79-88. ACM, (2008)Games in system design and verification.. TARK, page 1-4. National University of Singapore, (2005)The Control of Synchronous Systems, Part II., , and . CONCUR, volume 2154 of Lecture Notes in Computer Science, page 566-582. Springer, (2001)Axioms for Real-Time Logics., , and . CONCUR, volume 1466 of Lecture Notes in Computer Science, page 219-236. Springer, (1998)Simulation Distances., , and . CONCUR, volume 6269 of Lecture Notes in Computer Science, page 253-268. Springer, (2010)Fair Simulation., , and . CONCUR, volume 1243 of Lecture Notes in Computer Science, page 273-287. Springer, (1997)Modularity for Timed and Hybrid Systems., and . CONCUR, volume 1243 of Lecture Notes in Computer Science, page 74-88. Springer, (1997)