( en | de | ru )

 

Disambiguation of "Haar, Stefan"

Author of the publication

copydeleteadd this publication to your clipboard
Avoid One's Doom: Finding Cliff-Edge Configurations in Petri Nets.

, , , , and . GandALF, volume 370 of EPTCS, page 178-193. (2022)

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.

Stefan Haar

Knut Haar

Claus Haar

Harald Haar

Rolf Haar

 

Other publications of authors with the same name

End-to-end QoS of X-domain pipes., and . QSHINE, page 17. ACM, (2007)Hyper Partial Order Logic., , and . FSTTCS, volume 122 of LIPIcs, page 20:1-20:21. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2018)Taking Complete Finite Prefixes to High Level, Symbolically., , and . Petri Nets, volume 13929 of Lecture Notes in Computer Science, page 123-144. Springer, (2023)Combining Refinement of Parametric Models with Goal-Oriented Reduction of Dynamics., , and . VMCAI, volume 11388 of Lecture Notes in Computer Science, page 555-576. Springer, (2019)Taking Complete Finite Prefixes To High Level, Symbolically., , , and . CoRR, (2023)Concurrency in Boolean networks., , , , and . Nat. Comput., 19 (1): 91-109 (2020)Concurrency in Boolean networks., , , , and . CoRR, (2019)Avoid One's Doom: Finding Cliff-Edge Configurations in Petri Nets., , , , and . GandALF, volume 370 of EPTCS, page 178-193. (2022)Choice-point nets: A discrete-event modelling technique for analyzing health care protocols., , , and . Allerton, page 652-659. IEEE, (2009)Augmenting Petri nets to model health-care protocols., , , and . WODES, page 331-336. International Federation of Automatic Control, (2010)