Lukasz Mikulski

81 papers A 1B 11C 6Misc 3Journal 41Unranked 17

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Encoding reaction systems in Petri nets. Nat. Comput. Maciej Koutny, Lukasz Mikulski
2025	B	`ed.`	Application and Theory of Petri Nets and Concurrency - 46th International Conference, PETRI NETS 2025, Paris, France, June 22-27, 2025, Proceedings Petri Nets Elvio Gilberto Amparore, Lukasz Mikulski
2025	J	`jnl`	Asynchronous Multi-Agent Systems with Petri nets. CoRR Federica Adobbati, Lukasz Mikulski
2025	—	`conf`	Interval Order Synthesis of EN-Systems with Read and Mutex Arcs. PNSE/ATAED/PeNGE@PETRI NETS Maciej Koutny, Marta Pietkiewicz-Koutny, Lukasz Mikulski
2025	J	`jnl`	Model checking for distributed reaction systems with temporal-epistemic properties. Nat. Comput. Artur Meski, Maciej Koutny, Lukasz Mikulski, Ion Petre, Wojciech Penczek, Marcin Piatkowski
2025	C	`conf`	Segmentation and Process Assignment of Semi-Structured Event Logs. FedCSIS Piotr Przymus, Krzysztof Rykaczewski, Janusz Zielinski, Lukasz Mikulski
2025	J	`jnl`	Towards Assume-Guarantee Verification of Abilities in Stochastic Multi-Agent Systems. CoRR Wojciech Jamroga, Damian Kurpiewski, Lukasz Mikulski
2024	J	`jnl`	On categorical approach to reaction systems. Nat. Comput. Mariusz Kaniecki, Lukasz Mikulski
2024	J	`jnl`	Quasi-stratified Order Semantics of Concurrency. CoRR Maciej Koutny, Lukasz Mikulski
2024	J	`jnl`	Reaction mining for reaction systems. Nat. Comput. Artur Meski, Maciej Koutny, Lukasz Mikulski, Wojciech Penczek
2024	B	`conf`	Relational Structures for Interval Order Semantics of Concurrent Systems. Petri Nets Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
2024	C	`ed.`	Reversible Computation - 16th International Conference, RC 2024, Toruń, Poland, July 4-5, 2024, Proceedings RC Torben Ægidius Mogensen, Lukasz Mikulski
2023	J	`jnl`	Analysing Multi-Agent Systems using 1-safe Petri Nets. CoRR Federica Adobbati, Lukasz Mikulski
2023	J	`jnl`	Assume-Guarantee Verification of Strategic Ability. CoRR Lukasz Mikulski, Wojciech Jamroga, Damian Kurpiewski
2023	J	`jnl`	Formal Translation from Reversing Petri Nets to Coloured Petri Nets. CoRR Kamila Barylska, Anna Gogolinska, Lukasz Mikulski, Anna Philippou, Marcin Piatkowski, Kyriaki Psara
2023	B	`conf`	Interval Traces with Mutex Relation. Petri Nets Ryszard Janicki, Maciej Koutny, Lukasz Mikulski
2023	J	`jnl`	Towards Assume-Guarantee Verification of Strategic Ability. CoRR Lukasz Mikulski, Wojciech Jamroga, Damian Kurpiewski
2023	J	`jnl`	Verification of Multi-Agent Properties in Electronic Voting: A Case Study. CoRR Damian Kurpiewski, Wojciech Jamroga, Lukasz Masko, Lukasz Mikulski, Witold Pazderski, Wojciech Penczek, Teofil Sidoruk
2022	—	`conf`	Analysing Multi-Agent Systems using 1-safe Petri Nets. PNSE@Petri Nets Federica Adobbati, Lukasz Mikulski
2022	B	`conf`	Assume-Guarantee Verification of Strategic Ability. PRIMA Lukasz Mikulski, Wojciech Jamroga, Damian Kurpiewski
2022	C	`conf`	Formal Translation from Reversing Petri Nets to Coloured Petri Nets. RC Kamila Barylska, Anna Gogolinska, Lukasz Mikulski, Anna Philippou, Marcin Piatkowski, Kyriaki Psara
2022	—	`book`	Paradigms of Concurrency - Observations, Behaviours, and Systems - a Petri Net View Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
2022	J	`jnl`	STV+AGR: Towards Practical Verification of Strategic Ability Using Assume-Guarantee Reasoning. CoRR Damian Kurpiewski, Lukasz Mikulski, Wojciech Jamroga
2022	B	`conf`	STV+AGR: Towards Verification of Strategic Ability Using Assume-Guarantee Reasoning. PRIMA Damian Kurpiewski, Lukasz Mikulski, Wojciech Jamroga
2022	A	`conf`	Towards Assume-Guarantee Verification of Strategic Ability. AAMAS Lukasz Mikulski, Wojciech Jamroga, Damian Kurpiewski
2022	B	`conf`	Verification of Multi-Agent Properties in Electronic Voting: A Case Study. AiML Wojtek Jamroga, Lukasz Masko, Lukasz Mikulski, Witold Pazderski, Wojciech Penczek, Teofil Sidoruk, Damian Kurpiewski
2021	J	`jnl`	Investigating Reversibility of Steps in Petri Nets. CoRR David de Frutos-Escrig, Maciej Koutny, Lukasz Mikulski
2021	J	`jnl`	Investigating Reversibility of Steps in Petri Nets. Fundam. Informaticae David de Frutos-Escrig, Maciej Koutny, Lukasz Mikulski
2021	J	`jnl`	Preface: Special Issue on Reaction Systems. Theor. Comput. Sci. Lukasz Mikulski, Ion Petre
2021	J	`jnl`	Relational structures for concurrent behaviours. Theor. Comput. Sci. Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
2020	J	`jnl`	Algebraic Structure of Step Traces and Interval Traces. Fundam. Informaticae Ryszard Janicki, Lukasz Mikulski
2020	—	`ch.`	Foundations of Reversible Computation. Selected Results of the COST Action IC1405 Bogdan Aman, Gabriel Ciobanu, Robert Glück, Robin Kaarsgaard, Jarkko Kari, Martin Kutrib, Ivan Lanese, Claudio Antares Mezzina, Lukasz Mikulski, Rajagopal Nagarajan, Iain Phillips, G. Michele Pinna, Luca Prigioniero, Irek Ulidowski, Germán Vidal
2020	J	`jnl`	Generating all minimal petri net unsolvable binary words. Discret. Appl. Math. Evgeny Erofeev, Kamila Barylska, Lukasz Mikulski, Marcin Piatkowski
2020	J	`jnl`	Preface. J. Membr. Comput. Lukasz Mikulski, Ion Petre
2020	J	`jnl`	Reaction Systems and Enabling Equivalence. Fundam. Informaticae Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
2019	J	`jnl`	Approximate verification of strategic abilities under imperfect information. Artif. Intell. Wojciech Jamroga, Michal Knapik, Damian Kurpiewski, Lukasz Mikulski
2019	J	`jnl`	Classifying invariant structures of step traces. J. Comput. Syst. Sci. Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
2019	B	`conf`	Reversing Steps in Petri Nets. Petri Nets David de Frutos-Escrig, Maciej Koutny, Lukasz Mikulski
2019	B	`conf`	Reversing Unbounded Petri Nets. Petri Nets Lukasz Mikulski, Ivan Lanese
2018	J	`jnl`	A Precise Characterisation of Step Traces and Their Concurrent Histories. Sci. Ann. Comput. Sci. Ryszard Janicki, Jetty Kleijn, Lukasz Mikulski
2018	B	`conf`	An Efficient Characterization of Petri Net Solvable Binary Words. Petri Nets David de Frutos-Escrig, Maciej Koutny, Lukasz Mikulski
2018	J	`jnl`	GPU Computations and Memory Access Model Based on Petri Nets. Trans. Petri Nets Other Model. Concurr. Anna Gogolinska, Lukasz Mikulski, Marcin Piatkowski
2018	—	`conf`	Reaction Systems, Transition Systems, and Equivalences. Adventures Between Lower Bounds and Higher Altitudes Jetty Kleijn, Maciej Koutny, Lukasz Mikulski, Grzegorz Rozenberg
2018	J	`jnl`	Reversible computation vs. reversibility in Petri nets. Sci. Comput. Program. Kamila Barylska, Maciej Koutny, Lukasz Mikulski, Marcin Piatkowski
2018	—	`conf`	Reversing Computations Modelled by Coloured Petri Nets. ATAED@Petri Nets/ACSD Kamila Barylska, Anna Gogolinska, Lukasz Mikulski, Anna Philippou, Marcin Piatkowski, Kyriaki Psara
2018	J	`jnl`	Reversing Transitions in Bounded Petri Nets. Fundam. Informaticae Kamila Barylska, Evgeny Erofeev, Maciej Koutny, Lukasz Mikulski, Marcin Piatkowski
2017	J	`jnl`	Alphabets of Acyclic Invariant Structures. Fundam. Informaticae Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
2017	J	`jnl`	An extension of the taxonomy of persistent and nonviolent steps. Inf. Sci. Maciej Koutny, Lukasz Mikulski, Marta Pietkiewicz-Koutny
2017	—	`conf`	GPU Computations and Memory Access Model Based on Petri Nets. PNSE @ Petri Nets Anna Gogolinska, Lukasz Mikulski, Marcin Piatkowski
2017	J	`jnl`	Invariant Structures and Dependence Relations. Fundam. Informaticae Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
2017	—	`conf`	On Synthesising Step Alphabets for Acyclic Invariant Structures. ATAED@Petri Nets/ACSD Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
2017	—	`conf`	Reduction of Order Structures. ACSD Lukasz Mikulski, Andrey Mokhov, Marcin Piatkowski
2016	J	`jnl`	Conditions for Petri Net Solvable Binary Words. Trans. Petri Nets Other Model. Concurr. Kamila Barylska, Eike Best, Evgeny Erofeev, Lukasz Mikulski, Marcin Piatkowski
2016	Misc	`conf`	Generating All Minimal Petri Net Unsolvable Binary Words. PSC Evgeny Erofeev, Kamila Barylska, Lukasz Mikulski, Marcin Piatkowski
2016	C	`conf`	Reversible Computation vs. Reversibility in Petri Nets. RC Kamila Barylska, Maciej Koutny, Lukasz Mikulski, Marcin Piatkowski
2016	—	`conf`	Reversing Transitions in Bounded Petri Nets. CS&P Kamila Barylska, Lukasz Mikulski, Marcin Piatkowski, Maciej Koutny, Evgeny Erofeev
2016	J	`jnl`	Step traces. Acta Informatica Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
2015	J	`jnl`	Characterising Concurrent Histories. Fundam. Informaticae Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
2015	—	`conf`	On Binary Words Being Petri Net Solvable. ATAED@Petri Nets/ACSD Kamila Barylska, Eike Best, Evgeny Erofeev, Lukasz Mikulski, Marcin Piatkowski
2015	—	`conf`	On Decidability of Persistence Notions. CS&P Kamila Barylska, Lukasz Mikulski
2015	C	`conf`	Order Structures for Subclasses of Generalised Traces. LATA Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
2015	J	`jnl`	Persistent and Nonviolent Steps and the Design of GALS Systems. Fundam. Informaticae Johnson Fernandes, Maciej Koutny, Lukasz Mikulski, Marta Pietkiewicz-Koutny, Danil Sokolov, Alex Yakovlev
2015	C	`conf`	Square-Free Words over Partially Commutative Alphabets. LATA Lukasz Mikulski, Marcin Piatkowski, Wojciech Rytter
2014	J	`jnl`	Folded Hasse diagrams of combined traces. Inf. Process. Lett. Lukasz Mikulski, Maciej Koutny
2014	—	`conf`	Generating CA-Plans from Multisets of Services. PNSE @ Petri Nets Lukasz Mikulski, Artur Niewiadomski, Marcin Piatkowski, Sebastian Smyczynski
2014	—	`conf`	On Generation of Context-Abstract Plans. SEFM Workshops Lukasz Mikulski, Artur Niewiadomski, Marcin Piatkowski, Sebastian Smyczynski
2013	B	`conf`	A Taxonomy of Persistent and Nonviolent Steps. Petri Nets Maciej Koutny, Lukasz Mikulski, Marta Pietkiewicz-Koutny
2013	J	`jnl`	Algebraic Structure of Combined Traces. Log. Methods Comput. Sci. Lukasz Mikulski
2013	J	`jnl`	Algorithmics of Posets Generated by Words Over Partially Commutative Alphabets (Extended). Sci. Ann. Comput. Sci. Lukasz Mikulski, Marcin Piatkowski, Sebastian Smyczynski
2013	—	`conf`	Causal Structures for General Concurrent Behaviours. CS&P Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
2013	—	`conf`	Lexicographical Generations of Combined Traces. ACSD Lukasz Mikulski, Marcin Piatkowski, Sebastian Smyczynski
2013	J	`jnl`	On persistent reachability in Petri nets. Inf. Comput. Kamila Barylska, Lukasz Mikulski, Edward Ochmanski
2012	B	`conf`	Algebraic Structure of Combined Traces. CONCUR Lukasz Mikulski
2012	—	`conf`	Hasse Diagrams of Combined Traces. ACSD Lukasz Mikulski, Maciej Koutny
2011	Misc	`conf`	Algorithmics of Posets Generated by Words over Partially Commutative Alphabets. PSC Lukasz Mikulski, Marcin Piatkowski, Sebastian Smyczynski
2010	—	`conf`	On Persistent Reachability in Petri Nets. ACSD/Petri Nets Workshops Kamila Barylska, Lukasz Mikulski, Edward Ochmanski
2009	J	`jnl`	Contests Hosting Service as a tool to teach programming. Ann. UMCS Informatica Rafal Kluszczynski, Lukasz Mikulski, Marek Nowicki, Piotr Bala
2009	—	`conf`	Internal Conflict-Free Projection Sets. ICMMI Lukasz Mikulski
2009	J	`jnl`	Transposition Rearrangement: Linear Algorithm for Length-Cost Model. Ann. UMCS Informatica Lukasz Mikulski
2008	J	`jnl`	Projection Representation of Mazurkiewicz Traces. Fundam. Informaticae Lukasz Mikulski
2007	Misc	`conf`	Asynchronous Parallel Molecular Dynamics Simulations. PPAM Jaroslaw Mederski, Lukasz Mikulski, Piotr Bala