( en | de | ru )

 

Disambiguation of "Offtermatt, Philip"

Author of the publication

copydeleteadd this publication to your clipboard
Fast Termination and Workflow Nets.

, , and . CAV (1), volume 13964 of Lecture Notes in Computer Science, page 132-155. Springer, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Gernot Offtermatt

Gerhard Offtermatt

Gerlind Offtermatt

Jonas 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)
 

Other publications of authors with the same name

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