Asynchronous Parallel Molecular Dynamics Simulations. - Jaroslaw Mederski; Lukasz Mikulski; Piotr Bala (PPAM, 2007)

Projection Representation of Mazurkiewicz Traces. - Lukasz Mikulski (Fundam. Informaticae, 2008)

Internal Conflict-Free Projection Sets. - Lukasz Mikulski (ICMMI, 2009)

Contests Hosting Service as a tool to teach programming. - Rafal Kluszczynski; Lukasz Mikulski; Marek Nowicki; Piotr Bala (Ann. UMCS Informatica, 2009)

Transposition Rearrangement: Linear Algorithm for Length-Cost Model. - Lukasz Mikulski (Ann. UMCS Informatica, 2009)

Algorithmics of Posets Generated by Words over Partially Commutative Alphabets. - Lukasz Mikulski; Marcin Piatkowski; Sebastian Smyczynski (Stringology, 2011)

Hasse Diagrams of Combined Traces. - Lukasz Mikulski; Maciej Koutny (ACSD, 2012)

Lexicographical Generations of Combined Traces. - Lukasz Mikulski; Marcin Piatkowski; Sebastian Smyczynski (ACSD, 2013)

A Taxonomy of Persistent and Nonviolent Steps. - Maciej Koutny; Lukasz Mikulski; Marta Pietkiewicz-Koutny (Petri Nets, 2013)

Causal Structures for General Concurrent Behaviours. - Ryszard Janicki; Jetty Kleijn; Maciej Koutny; Lukasz Mikulski (CS&P, 2013)

Algebraic Structure of Combined Traces. - Lukasz Mikulski (Log. Methods Comput. Sci., 2013)

Algorithmics of Posets Generated by Words Over Partially Commutative Alphabets (Extended). - Lukasz Mikulski; Marcin Piatkowski; Sebastian Smyczynski (Sci. Ann. Comput. Sci., 2013)

On persistent reachability in Petri nets. - Kamila Barylska; Lukasz Mikulski; Edward Ochmanski (Inf. Comput., 2013)

Generating CA-Plans from Multisets of Services. - Lukasz Mikulski; Artur Niewiadomski 001; Marcin Piatkowski; Sebastian Smyczynski (PNSE @ Petri Nets, 2014)

On Generation of Context-Abstract Plans. - Lukasz Mikulski; Artur Niewiadomski 001; Marcin Piatkowski; Sebastian Smyczynski (SEFM Workshops, 2014)

Folded Hasse diagrams of combined traces. - Lukasz Mikulski; Maciej Koutny (Inf. Process. Lett., 2014)

On Binary Words Being Petri Net Solvable. - Kamila Barylska; Eike Best; Evgeny Erofeev; Lukasz Mikulski; Marcin Piatkowski (ATAED@Petri Nets/ACSD, 2015)

On Decidability of Persistence Notions. - Kamila Barylska; Lukasz Mikulski (CS&P, 2015)

Order Structures for Subclasses of Generalised Traces. - Ryszard Janicki; Jetty Kleijn; Maciej Koutny; Lukasz Mikulski (LATA, 2015)

Square-Free Words over Partially Commutative Alphabets. - Lukasz Mikulski; Marcin Piatkowski; Wojciech Rytter (LATA, 2015)

Persistent and Nonviolent Steps and the Design of GALS Systems. - Johnson Fernandes; Maciej Koutny; Lukasz Mikulski; Marta Pietkiewicz-Koutny; Danil Sokolov; Alex Yakovlev (Fundam. Informaticae, 2015)

Characterising Concurrent Histories. - Ryszard Janicki; Jetty Kleijn; Maciej Koutny; Lukasz Mikulski (Fundam. Informaticae, 2015)

Step traces. - Ryszard Janicki; Jetty Kleijn; Maciej Koutny; Lukasz Mikulski (Acta Informatica, 2016)

Conditions for Petri Net Solvable Binary Words. - Kamila Barylska; Eike Best; Evgeny Erofeev; Lukasz Mikulski; Marcin Piatkowski (Trans. Petri Nets Other Model. Concurr., 2016)

Reduction of Order Structures. - Lukasz Mikulski; Andrey Mokhov; Marcin Piatkowski (ACSD, 2017)

On Synthesising Step Alphabets for Acyclic Invariant Structures. - Ryszard Janicki; Jetty Kleijn; Maciej Koutny; Lukasz Mikulski (ATAED@Petri Nets/ACSD, 2017)

Alphabets of Acyclic Invariant Structures. - Ryszard Janicki; Jetty Kleijn; Maciej Koutny; Lukasz Mikulski (Fundam. Informaticae, 2017)

Invariant Structures and Dependence Relations. - Ryszard Janicki; Jetty Kleijn; Maciej Koutny; Lukasz Mikulski (Fundam. Informaticae, 2017)

An extension of the taxonomy of persistent and nonviolent steps. - Maciej Koutny; Lukasz Mikulski; Marta Pietkiewicz-Koutny (Inf. Sci., 2017)

Reversing Computations Modelled by Coloured Petri Nets. - Kamila Barylska; Anna Gogolinska; Lukasz Mikulski; Anna Philippou; Marcin Piatkowski; Kyriaki Psara (ATAED@Petri Nets/ACSD, 2018)

An Efficient Characterization of Petri Net Solvable Binary Words. - David de Frutos-Escrig; Maciej Koutny; Lukasz Mikulski (Petri Nets, 2018)

Reaction Systems, Transition Systems, and Equivalences. - Jetty Kleijn; Maciej Koutny; Lukasz Mikulski; Grzegorz Rozenberg (Adventures Between Lower Bounds and Higher Altitudes, 2018)

A Precise Characterisation of Step Traces and Their Concurrent Histories. - Ryszard Janicki; Jetty Kleijn; Lukasz Mikulski (Sci. Ann. Comput. Sci., 2018)

Reversing Transitions in Bounded Petri Nets. - Kamila Barylska; Evgeny Erofeev; Maciej Koutny; Lukasz Mikulski; Marcin Piatkowski (Fundam. Informaticae, 2018)

Reversible computation vs. reversibility in Petri nets. - Kamila Barylska; Maciej Koutny; Lukasz Mikulski; Marcin Piatkowski (Sci. Comput. Program., 2018)

GPU Computations and Memory Access Model Based on Petri Nets. - Anna Gogolinska; Lukasz Mikulski; Marcin Piatkowski (Trans. Petri Nets Other Model. Concurr., 2018)

Reversing Steps in Petri Nets. - David de Frutos-Escrig; Maciej Koutny; Lukasz Mikulski (Petri Nets, 2019)

Reversing Unbounded Petri Nets. - Lukasz Mikulski; Ivan Lanese (Petri Nets, 2019)

Approximate verification of strategic abilities under imperfect information. - Wojciech Jamroga; Michal Knapik; Damian Kurpiewski; Lukasz Mikulski (Artif. Intell., 2019)

Classifying invariant structures of step traces. - Ryszard Janicki; Jetty Kleijn; Maciej Koutny; Lukasz Mikulski (J. Comput. Syst. Sci., 2019)

Generating all minimal petri net unsolvable binary words. - Evgeny Erofeev; Kamila Barylska; Lukasz Mikulski; Marcin Piatkowski (Discret. Appl. Math., 2020)

Algebraic Structure of Step Traces and Interval Traces. - Ryszard Janicki; Lukasz Mikulski (Fundam. Informaticae, 2020)

Reaction Systems and Enabling Equivalence. - Jetty Kleijn; Maciej Koutny; Lukasz Mikulski (Fundam. Informaticae, 2020)

Preface. - Lukasz Mikulski; Ion Petre (J. Membr. Comput., 2020)

Foundations of Reversible Computation. - Bogdan Aman; Gabriel Ciobanu; Robert Glück; Robin Kaarsgaard; Jarkko Kari; Martin Kutrib; Ivan Lanese; Claudio Antares Mezzina; Lukasz Mikulski; Rajagopal Nagarajan; Iain C. C. Phillips; G. Michele Pinna; et al. (Selected Results of the COST Action IC1405, 2020)

Investigating Reversibility of Steps in Petri Nets. - David de Frutos-Escrig; Maciej Koutny; Lukasz Mikulski (Fundam. Informaticae, 2021)

Relational structures for concurrent behaviours. - Ryszard Janicki; Jetty Kleijn; Maciej Koutny; Lukasz Mikulski (Theor. Comput. Sci., 2021)

Preface: Special Issue on Reaction Systems. - Lukasz Mikulski; Ion Petre (Theor. Comput. Sci., 2021)

Verification of Multi-Agent Properties in Electronic Voting: A Case Study. - Wojtek Jamroga; Lukasz Masko; Lukasz Mikulski; Witold Pazderski; Wojciech Penczek; Teofil Sidoruk; Damian Kurpiewski (AiML, 2022)

Analysing Multi-Agent Systems using 1-safe Petri Nets. - Federica Adobbati; Lukasz Mikulski (PNSE@Petri Nets, 2022)

Towards Assume-Guarantee Verification of Strategic Ability. - Lukasz Mikulski; Wojciech Jamroga; Damian Kurpiewski (AAMAS, 2022)

STV+AGR: Towards Verification of Strategic Ability Using Assume-Guarantee Reasoning. - Damian Kurpiewski; Lukasz Mikulski; Wojciech Jamroga (PRIMA, 2022)

Assume-Guarantee Verification of Strategic Ability. - Lukasz Mikulski; Wojciech Jamroga; Damian Kurpiewski (PRIMA, 2022)

Formal Translation from Reversing Petri Nets to Coloured Petri Nets. - Kamila Barylska; Anna Gogolinska; Lukasz Mikulski; Anna Philippou; Marcin Piatkowski; Kyriaki Psara (RC, 2022)

STV+AGR: Towards Practical Verification of Strategic Ability Using Assume-Guarantee Reasoning. - Damian Kurpiewski; Lukasz Mikulski; Wojciech Jamroga (CoRR, 2022)

Paradigms of Concurrency - Observations, Behaviours, and Systems - a Petri Net View - Ryszard Janicki; Jetty Kleijn; Maciej Koutny; Lukasz Mikulski (Springer, 2022)

Interval Traces with Mutex Relation. - Ryszard Janicki; Maciej Koutny; Lukasz Mikulski (Petri Nets, 2023)

Relational Structures for Interval Order Semantics of Concurrent Systems. - Ryszard Janicki; Jetty Kleijn; Maciej Koutny; Lukasz Mikulski (Petri Nets, 2024)

Quasi-stratified Order Semantics of Concurrency. - Maciej Koutny; Lukasz Mikulski (CoRR, 2024)

On categorical approach to reaction systems. - Mariusz Kaniecki; Lukasz Mikulski (Nat. Comput., 2024)

Reaction mining for reaction systems. - Artur Meski; Maciej Koutny; Lukasz Mikulski; Wojciech Penczek (Nat. Comput., 2024)

Asynchronous Multi-Agent Systems with Petri nets. - Federica Adobbati; Lukasz Mikulski (CoRR, 2025)