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

Parallel Statistical Model Checking for Safety Verification in Smart Grids., , , , , , , , und . CoRR, (2021)Graph Theoretic Investigations on Inefficiencies in Network Models., , und . CoRR, (2016)Quantized Feedback Control Software Synthesis from System Level Formal Specifications, , , und . CoRR, (2011)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)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)A Type Inference Algorithm for Secure Ambients., , , und . TOSCA, Volume 62 von Electronic Notes in Theoretical Computer Science, Seite 83-101. Elsevier, (2001)User Flexibility Aware Price Policy Synthesis for Smart Grids., , , , , , , , und . DSD, Seite 478-485. IEEE Computer Society, (2015)From Boolean Functional Equations to Control Software, , , und . CoRR, (2011)