Autor der Publikation

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Model Checking Nash Equilibria in MAD Distributed Systems., , , , , , und . FMCAD, Seite 1-8. IEEE, (2008)Undecidability of Quantized State Feedback Control for Discrete Time Linear Hybrid Systems., , , und . ICTAC, Volume 7521 von Lecture Notes in Computer Science, Seite 243-258. Springer, (2012)Parallel Statistical Model Checking for Safety Verification in Smart Grids., , , , , , , , und . CoRR, (2021)Confluence and expressiveness in reduction systems.. Sapienza University of Rome, Italy, (2004)Graph Theoretic Detection of Inefficiencies in Network Models., , und . ICTCS, Volume 2243 von CEUR Workshop Proceedings, Seite 87-91. CEUR-WS.org, (2018)User Flexibility Aware Price Policy Synthesis for Smart Grids., , , , , , , , und . DSD, Seite 478-485. IEEE Computer Society, (2015)Computing Biological Model Parameters by Parallel Statistical Model Checking., , , , , und . IWBBIO (2), Volume 9044 von Lecture Notes in Computer Science, Seite 542-554. Springer, (2015)Automatic control software synthesis for quantized discrete time hybrid systems., , , , und . CDC, Seite 6120-6125. IEEE, (2012)A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software., , , , und . SPIN, Volume 7976 von Lecture Notes in Computer Science, Seite 43-60. Springer, (2013)Conflict vs causality in event structures., und . J. Log. Algebraic Methods Program., (2021)