Author of the publication

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.

 

Other publications of authors with the same name

A Model Checking Method for Partially Symmetric Systems., , and . FORTE, volume 183 of IFIP Conference Proceedings, page 121-136. Kluwer, (2000)A Coordination Algorithm for Multi-Agent Planning., and . MAAMAW, volume 1038 of Lecture Notes in Computer Science, page 86-99. Springer, (1996)A New Approach to the Evaluation of Non Markovian Stochastic Petri Nets., , and . ICATPN, volume 4024 of Lecture Notes in Computer Science, page 221-240. Springer, (2006)A Fault-contained Spanning Tree Protocol for Arbitrary Networks., and . PDCS, page 410-415. ISCA, (2004)Timed Petri nets and timed automata: On the discriminating power of zeno sequences., , and . Inf. Comput., 206 (1): 73-107 (2008)Refinement and Asynchronous Composition of Modal Petri Nets., , and . Trans. Petri Nets Other Model. Concurr., (2012)Agents Secure Interaction in Data driven Languages., , and . MALLOW, volume 494 of CEUR Workshop Proceedings, CEUR-WS.org, (2009)Symbolic Reachability Graph and Partial Symmetries., , , and . Application and Theory of Petri Nets, volume 935 of Lecture Notes in Computer Science, page 238-257. Springer, (1995)CSLTA: an Expressive Logic for Continuous-Time Markov Chains., , and . QEST, page 31-40. IEEE Computer Society, (2007)A Formal Semantics and a Client Synthesis for a BPEL Service., , and . ICEIS (Selected Papers), volume 3 of Lecture Notes in Business Information Processing, page 388-401. Springer, (2006)