Staff Profile

Lukasz is conducting research concerning the fundamental aspects of theory of concurrent and distributed systems. Lukasz 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 Lukasz’s visit include, research papers submitted to leading Computer Science journals and the relevant professional conferences and workshops.

• Janicki R, Kleijn J, Koutny M, Mikulski L. Causal Structures for General Concurrent Behaviours. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2013. School of Computing Science Technical Report Series 1378.
• Mikulski L, Piatkowski M, Smyczynski S. Lexicographical Generations of Combined Traces. Newcastle upon Tyne: Newcastle University, 2013. School of Computing Science Technical Report Series 1365.
• Koutny M, Mikulski L, Pietkiewicz-Koutny M. A Taxonomy of Persistent and Nonviolent Steps. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2012. School of Computing Science Technical Report Series 1361.
• Mikulski L, Koutny M. Folded Hasse Diagrams of Combined Traces. Newcastle upon Tyne: Newcastle University, 2012. School of Computing Science Technical Report Series 1357.
• Mikulski L, Koutny M. Hasse Diagrams of Combined Traces. In: 12th International Conference on Application of Concurrency to System Design, ACSD 2012. 2012, Hamburg, Germany: IEEE.
• Mikulski L, Koutny M. Hasse Diagrams of Combined Traces. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2011. School of Computing Science Technical Report Series 1301.
• de Frutos Escrig D, Koutny M, Mikulski L. An efficient characterization of petri net solvable binary words. In: 39th International Conference on Applications and Theory of Petri Nets and Concurrency (PETRI NETS 2018). 2018, Bratislava, Slovakia: Springer Verlag.
• Kleijn J, Koutny M, Mikulski L, Rozenberg G. Reaction Systems, Transition Systems, and Equivalences. In: Bockenhauer, H-J; Komm, D; Unger, W, ed. Adventures Between Lower Bounds and Higher Altitudes: Essays Dedicated to Juraj Hromkovič on the Occasion of His 60th Birthday. Cham: Springer, 2018, pp.63-84.
• Barylska K, Koutny M, Mikulski L, Piatkowski M. Reversible computation vs. reversibility in Petri nets. Science of Computer Programming 2018, 151, 48-60.
• Barylska K, Erofeev E, Koutny M, Mikulski L, Piatkowski M. Reversing Transitions in Bounded Petri Nets. Fundamenta Informaticae 2018, 157(4), 341-357.
• Janicki R, Kleijn J, Koutny M, Mikulski L. Alphabets of Acyclic Invariant Structures. Fundamenta Informaticae 2017, 154(1-4), 207-224.
• Koutny M, Mikulski L, Pietkiewicz-Koutny M. An Extension of the Taxonomy of Persistent and Nonviolent Steps. Information Sciences 2017, 394-395, 299-314.
• Janicki R, Kleijn J, Koutny M, Mikulski L. Classifying Invariant Structures of Step Traces. Journal of Computer and System Sciences 2019, 104, 297-322.
• Janicki R, Kleijn J, Koutny M, Mikulski L. Invariant Structures and Dependence Relations. Fundamenta Informaticae 2017, 155(1-2), 1-29.
• Janicki R, Kleijn J, Koutny M, Mikulski L. On Synthesising Step Alphabets for Acyclic Invariant Structures. In: ATAED 2017. 2017, Zaragoza, Spain: CEUR.
• Mikulski L, Mokhov A, Piatkowski M. Reduction of Order Structures. In: 17th International Conference on Application of Concurrency to System Design. 2017, Zaragoza, Spain: IEEE.
• Barylska K, Koutny M, Mikulski L, Piatkowski M. Reversible Computation vs. Reversibility in Petri Nets. In: 8th Conference on Reversible Computation. 2016, Bologna, Italy: Springer.
• Janicki R, Kleijn J, Koutny M, Mikulski L. Step Traces. Acta Informatica 2016, 51(1), 35-65.
• Janicki R, Kleijn J, Koutny M, Mikulski Ł. Characterising Concurrent Histories. Fundamenta Informaticae 2015, 139(1), 21-42.
• Janicki R, Kleijn J, Koutny M, Mikulski L. Order Structures for Subclasses of Generalised Traces. In: LATA 2015 - Language and Automata Theory and Applications. 2015, Nice, France: Springer International Publishing.
• Fernandes J, Koutny M, Mikulski L, Pietkiewicz-Koutny M, Sokolov D, Yakovlev A. Persistent and Non-violent Steps and the Design of GALS Systems. Fundamenta Informaticae 2015, 137(1), 143-170.
• Mikulski L, Koutny M. Folded Hasse diagrams of combined traces. Information Processing Letters 2014, 114(4), 208-216.
• Janicki R, Kleijn J, Koutny M, Mikulski L. Generalising Traces. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2014. School of Computing Science Technical Report Series 1436.
• Janicki R, Kleijn J, Koutny M, Mikulski L. Order Structures for Subclasses of Generalised Traces. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2014. School of Computing Science Technical Report Series 1437.
• Mikulski L, Piatkowski M, Rytter W. Square-free words over partially commutative alphabets. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2014. School of Computing Science Technical Report Series 1439.
• Koutny M, Mikulski L, Pietkiewicz-Koutny M. A Taxonomy of Persistent and Nonviolent Steps. In: Application and Theory of Petri Nets and Concurrency - 34th International Conference, PETRI NETS 2013. 2013, Milan, Italy: Springer.
• Janicki R, Kleijn J, Koutny M, Mikulski L. Causal Structures for General Concurrent Behaviours. In: 22nd International Workshop on Concurrency, Specification and Programming, CS&P. 2013, Warsaw, Poland: CEUR-WS.org.
• Fernandes J, Koutny M, Mikulski L, Pietkiewicz-Kounty M, Sokolov D, Yakovlev A. Persistent and Nonviolent Steps and the Design of GALS Systems. Newcastle upon Tyne: School of Computing Science, University of Newcastle upon Tyne, 2013. School of Computing Science Technical Report Series 1400.