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

Oeritte: User-Friendly Counterexample Explanation for Model Checking., , , und . IEEE Access, (2021)Towards an Approach for the Verification of Downtimeless System Evolution., , und . ETFA, Seite 1133-1136. IEEE, (2006)Optimal Algorithms of Event-Driven Re-evaluation of Boolean Functions.. Ershov Memorial Conference, Volume 2244 von Lecture Notes in Computer Science, Seite 55-63. Springer, (2001)Event-Driven Traversal of Logic Circuits for Re-evaluation of Boolean Functions in Reactive Systems.. Ershov Memorial Conference, Volume 2890 von Lecture Notes in Computer Science, Seite 319-328. Springer, (2003)Cloud Computing Design Patterns for MLOps: Applications to Virtual Power Plants., , , und . IECON, Seite 1-7. IEEE, (2023)Towards Interoperability of Edge Datacentre in the Energy Community with IEC 61850 Modelling., , und . IECON, Seite 1-6. IEEE, (2023)Deep Learning-Based Prediction of Subsurface Oil Reservoir Pressure Using Spatio-Temporal Data., , , , und . IECON, Seite 1-6. IEEE, (2023)Evaluation of electric grid automation under flood hazards., , , , , und . IECON, Seite 4380-4385. IEEE, (2013)Change-based causes in counterexample explanation for model checking., , und . IECON, Seite 1-6. IEEE, (2021)Towards an IEC 61499 compliance profile for smart grids review and analysis of possibilities., , , , und . IECON, Seite 3750-3757. IEEE, (2012)