( en | de | ru )

 

Disambiguierung von "Brihaye, Thomas"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Simple Priced Timed Games are not That Simple.

, , , , und . FSTTCS, Volume 45 von LIPIcs, Seite 278-292. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)

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 Thomas

Thomas Baron

Untersuchungen an ungeschädigten und durch Pilzbefall geschädigten Nadelholzbauteilen mit ausgewählten Prüfverfahren. TU Dresden, (2009)

Thomas Harasim

Die Rolle des nucleostemin-Gens in dem Prozess der Ribosomenbiogenese. Uni München, (2009)

Thomas Uhlig

Messung der rektalen Körperinnentemperatur bei Milchkühen zur Detektion von Erkrankungen im Frühpuerperium. Uni Gießen, (2009)

Thomas Böttcher

Naturstoffe und ihre Derivate als molekulare Sonden: Identifikation ihrer Angriffsziele und Inhibition der Virulenz in pathogenen Bakterien. Uni München, (2009)
 

Weitere Publikationen von Autoren mit dem selben Namen

Dynamics and Coalitions in Sequential Games., , , und . GandALF, Volume 256 von EPTCS, Seite 136-150. (2017)On Subgame Perfection in Quantitative Reachability Games, , , und . Logical Methods in Computer Science, (2012)On MITL and Alternating Timed Automata., , und . FORMATS, Volume 8053 von Lecture Notes in Computer Science, Seite 47-61. Springer, (2013)The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games., , , , und . Log. Methods Comput. Sci., (2020)Decisiveness of Stochastic Systems and its Application to Hybrid Models (Full Version)., , , , und . CoRR, (2020)A note on the undecidability of the reachability problem for o-minimal dynamical systems.. Math. Log. Q., 52 (2): 165-170 (2006)The Complexity of Subgame Perfect Equilibria in Quantitative Reachability Games., , , , und . CONCUR, Volume 140 von LIPIcs, Seite 13:1-13:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Dynamics on Games: Simulation-Based Techniques and Applications to Routing., , , , und . FSTTCS, Volume 150 von LIPIcs, Seite 35:1-35:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)Fairly Correct Systems: Beyond omega-regularity, und . GandALF, Volume 119 von EPTCS, Seite 21-34. (2013)Equilibria in Quantitative Reachability Games., , und . CSR, Volume 6072 von Lecture Notes in Computer Science, Seite 72-83. Springer, (2010)