( en | de | ru )

 

Disambiguierung von "Henzinger, Thomas A."

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Distributed queues in shared memory: multicore performance and scalability through quantitative relaxation.

, , , , , , und . Conf. Computing Frontiers, Seite 17:1-17:9. ACM, (2013)

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

Computer-aided verification technology for biology.. FMCAD, Seite 11. IEEE, (2014)Strategy Improvement for Concurrent Safety Games, , und . CoRR, (2008)An assume-guarantee rule for checking simulation., , , und . ACM Trans. Program. Lang. Syst., 24 (1): 51-64 (2002)Temporal Specifications with Accumulative Values., , , und . ACM Trans. Comput. Log., 15 (4): 27:1-27:25 (2014)A classification of symbolic transition systems., , und . ACM Trans. Comput. Log., 6 (1): 1-32 (2005)Probabilistic Systems with LimSup and LimInf Objectives, und . CoRR, (2008)Temporal Proof Methodologies for Real-time Systems., , und . POPL, Seite 353-366. ACM Press, (1991)Symbolic Model Checking for Rectangular Hybrid Systems., und . TACAS, Volume 1785 von Lecture Notes in Computer Science, Seite 142-156. Springer, (2000)Faster Statistical Model Checking for Unbounded Temporal Properties., , , und . TACAS, Volume 9636 von Lecture Notes in Computer Science, Seite 112-129. Springer, (2016)Better Quality in Synthesis through Quantitative Objectives., , , und . CAV, Volume 5643 von Lecture Notes in Computer Science, Seite 140-156. Springer, (2009)