( en | de | ru )

 

Disambiguierung von "Offtermatt, Philip"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Fast Termination and Workflow Nets.

, , und . CAV (1), Volume 13964 von Lecture Notes in Computer Science, Seite 132-155. Springer, (2023)

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.

Gernot Offtermatt

Gerhard Offtermatt

Jonas Offtermatt

Gerlind Offtermatt

Philip Eckardt

Experimentelle Isolierung und Charakterisierung eines lockwirksamen Stoffes der Süßwasserschnecke Biomphalaria glabrata für den Zwischenwirtsfindungsprozess von Schistosoma-mansoni-Mirazidien. TU München, (2009)
 

Weitere Publikationen von Autoren mit dem selben Namen

The complexity of soundness in workflow nets., , und . LICS, Seite 20:1-20:13. ACM, (2022)Verifying Generalised and Structural Soundness of Workflow Nets via Relaxations., , und . CAV (2), Volume 13372 von Lecture Notes in Computer Science, Seite 468-489. Springer, (2022)Directed Reachability for Infinite-State Systems., , und . TACAS (2), Volume 12652 von Lecture Notes in Computer Science, Seite 3-23. Springer, (2021)Computing the Expected Execution Time of Probabilistic Workflow Nets., , und . CoRR, (2018)Soundness of reset workflow nets., , , , und . LICS, Seite 13:1-13:14. ACM, (2024)Computing the Expected Execution Time of Probabilistic Workflow Nets., , und . TACAS (2), Volume 11428 von Lecture Notes in Computer Science, Seite 154-171. Springer, (2019)#conference.Continuous One-Counter Automata., , , , und . LICS, Seite 1-13. IEEE, (2021)Fast Termination and Workflow Nets., , und . CAV (1), Volume 13964 von Lecture Notes in Computer Science, Seite 132-155. Springer, (2023)Verifying linear temporal specifications of constant-rate multi-mode systems., , und . LICS, Seite 1-13. IEEE, (2023)