Lukasz Mikulski

About

Lukasz is conducting research concerning the fundamental aspects of theory of concurrent and distributed systems. He is also developing new techniques and algorithms for checking the functional correctness of concurrent and distributed systems and preparing a new application for collaborative research with Newcastle University. The expected outcomes of his visit include research papers submitted to leading Computer Science journals and relevant professional conferences and workshops.

Selected publications

• Janicki R, Kleijn J, Koutny M, Mikulski L. Causal Structures for General Concurrent Behaviours.
• Mikulski L, Piatkowski M, Smyczynski S. Lexicographical Generations of Combined Traces.
• Koutny M, Mikulski L, Pietkiewicz-Koutny M. A Taxonomy of Persistent and Nonviolent Steps.
• Mikulski L, Koutny M. Folded Hasse Diagrams of Combined Traces.
• Mikulski L, Koutny M. Hasse Diagrams of Combined Traces.
• de Frutos Escrig D, Koutny M, Mikulski L. An efficient characterization of petri net solvable binary words.
• Kleijn J, Koutny M, Mikulski L, Rozenberg G. Reaction Systems, Transition Systems, and Equivalences.
• Barylska K, Koutny M, Mikulski L, Piatkowski M. Reversible computation vs. reversibility in Petri nets.
• Barylska K, Erofeev E, Koutny M, Mikulski L, Piatkowski M. Reversing Transitions in Bounded Petri Nets.
• Janicki R, Kleijn J, Koutny M, Mikulski L. Alphabets of Acyclic Invariant Structures.