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

Projection Representation of Mazurkiewicz Traces.. Fundam. Informaticae, 85 (1-4): 399-408 (2008)Reaction Systems and Enabling Equivalence., , and . Fundam. Informaticae, 171 (1-4): 261-277 (2020)Relational structures for concurrent behaviours., , , and . Theor. Comput. Sci., (2021)Classifying invariant structures of step traces., , , and . J. Comput. Syst. Sci., (2019)STV+AGR: Towards Practical Verification of Strategic Ability Using Assume-Guarantee Reasoning., , and . CoRR, (2022)On Persistent Reachability in Petri Nets., , and . ACSD/Petri Nets Workshops, volume 827 of CEUR Workshop Proceedings, page 373-384. CEUR-WS.org, (2010)Internal Conflict-Free Projection Sets.. ICMMI, volume 59 of Advances in Intelligent and Soft Computing, page 497-504. (2009)On Generation of Context-Abstract Plans., , , and . SEFM Workshops, volume 8938 of Lecture Notes in Computer Science, page 376-388. Springer, (2014)A Precise Characterisation of Step Traces and Their Concurrent Histories., , and . Sci. Ann. Comput. Sci., 28 (2): 237-267 (2018)An extension of the taxonomy of persistent and nonviolent steps., , and . Inf. Sci., (2017)