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

Towards a Petri Net Semantics for Membrane Systems., , and . Workshop on Membrane Computing, volume 3850 of Lecture Notes in Computer Science, page 292-309. Springer, (2005)Causality in Structured Occurrence Nets., and . Dependable and Historic Computing, volume 6875 of Lecture Notes in Computer Science, page 283-297. Springer, (2011)Methods for Distributed and Concurrent Systems: Special Issue on the occasion of the 60th Birthday of Professor Gabriel Ciobanu., , , and . Fundam. Informaticae, 153 (1-2): v-vi (2017)Modelling and verification of an atomic action protocol implemented in Ada., , , , , , and . Comput. Syst. Sci. Eng., 16 (3): 173-182 (2001)Reversible computation vs. reversibility in Petri nets., , , and . Sci. Comput. Program., (2018)Synthesising Elementary Net Systems with Interval Order Semantics., and . ATAED/PN4TT@Petri Nets, volume 3424 of CEUR Workshop Proceedings, CEUR-WS.org, (2023)Classifying Boolean Nets for Region-based Synthesis., , , and . ART @ Petri Nets, volume 725 of CEUR Workshop Proceedings, page 5-21. CEUR-WS.org, (2011)Verification of Communication Structured Acyclic Nets Using SAT., and . PNSE@Petri Nets, volume 2907 of CEUR Workshop Proceedings, page 175-194. CEUR-WS.org, (2021)Context-based Process Algebras for Mobility., , and . ACSD, page 79-88. IEEE Computer Society, (2004)A Cost-Efficient Multi-cloud Orchestrator for Benchmarking Containerized Web-Applications., , , , , and . WISE, volume 11881 of Lecture Notes in Computer Science, page 407-423. Springer, (2019)