PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Haar, Stefan"

Author of the publication

copydeleteadd this publication to your clipboard
Testing Input/Output Partial Order Automata.

, , and . TestCom/FATES, volume 4581 of Lecture Notes in Computer Science, page 171-185. Springer, (2007)

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.

Jörg Haarer University of Stuttgart

Stefan Kunert University of Stuttgart

Stefan Schippling University of Stuttgart

Stefan Hecht University of Stuttgart

Stefan Keuler University of Stuttgart

 

Other publications of authors with the same name

Occurrence Net Logics.. Fundam. Inform., 43 (1-4): 105-127 (2000)Probabilistic Cluster Unfoldings.. Fundam. Inform., 53 (3-4): 281-314 (2002)Blocking a transition in a free choice net and what it tells about its throughput., , and . J. Comput. Syst. Sci., 66 (3): 515-548 (2003)Distributed semi-Markov processes in stochastic T-timed Petri nets.. PNPM, page 114-123. IEEE, (2003)Probabilistic QoS and Soft Contracts for Transaction-Based Web Services Orchestrations., , , and . IEEE Trans. Services Computing, 1 (4): 187-200 (2008)Active diagnosis with observable quiescence., , , , and . CDC, page 1663-1668. IEEE, (2015)Hyper Partial Order Logic., , and . FSTTCS, volume 122 of LIPIcs, page 20:1-20:21. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2018)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)An algebraic view of space/belief and extrusion/utterance for concurrency/epistemic logic., , , and . PPDP, page 161-172. ACM, (2015)Non-atomic Transition Firing in Contextual Nets., , , and . Petri Nets, volume 9115 of Lecture Notes in Computer Science, page 117-136. Springer, (2015)