Lukasz Mikulski

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 53

Top Topics

Coloured Petri Nets

Imperfect Information

Top Venues

Fundam. Informaticae

ATAED@Petri Nets/ACSD

Publications

Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
Relational Structures for Interval Order Semantics of Concurrent Systems. Petri Nets (2024)
Mariusz Kaniecki, Lukasz Mikulski
On categorical approach to reaction systems. Nat. Comput. 23 (2) (2024)
Maciej Koutny, Lukasz Mikulski
Quasi-stratified Order Semantics of Concurrency. CoRR (2024)
Artur Meski, Maciej Koutny, Lukasz Mikulski, Wojciech Penczek
Reaction mining for reaction systems. Nat. Comput. 23 (2) (2024)
Lukasz Mikulski, Wojciech Jamroga, Damian Kurpiewski
Towards Assume-Guarantee Verification of Strategic Ability. CoRR (2023)
Damian Kurpiewski, Wojciech Jamroga, Lukasz Masko, Lukasz Mikulski, Witold Pazderski, Wojciech Penczek, Teofil Sidoruk
Verification of Multi-Agent Properties in Electronic Voting: A Case Study. CoRR (2023)
Ryszard Janicki, Maciej Koutny, Lukasz Mikulski
Interval Traces with Mutex Relation. Petri Nets (2023)
Kamila Barylska, Anna Gogolinska, Lukasz Mikulski, Anna Philippou, Marcin Piatkowski, Kyriaki Psara
Formal Translation from Reversing Petri Nets to Coloured Petri Nets. CoRR (2023)
Federica Adobbati, Lukasz Mikulski
Analysing Multi-Agent Systems using 1-safe Petri Nets. CoRR (2023)
Lukasz Mikulski, Wojciech Jamroga, Damian Kurpiewski
Assume-Guarantee Verification of Strategic Ability. CoRR (2023)
Kamila Barylska, Anna Gogolinska, Lukasz Mikulski, Anna Philippou, Marcin Piatkowski, Kyriaki Psara
Formal Translation from Reversing Petri Nets to Coloured Petri Nets. RC (2022)
Damian Kurpiewski, Lukasz Mikulski, Wojciech Jamroga
STV+AGR: Towards Verification of Strategic Ability Using Assume-Guarantee Reasoning. PRIMA (2022)
Wojtek Jamroga, Lukasz Mako, Lukasz Mikulski, Witold Pazderski, Wojciech Penczek, Teofil Sidoruk, Damian Kurpiewski
Verification of Multi-Agent Properties in Electronic Voting: A Case Study. AiML (2022)
Lukasz Mikulski, Wojciech Jamroga, Damian Kurpiewski
Assume-Guarantee Verification of Strategic Ability. PRIMA (2022)
Damian Kurpiewski, Lukasz Mikulski, Wojciech Jamroga
STV+AGR: Towards Practical Verification of Strategic Ability Using Assume-Guarantee Reasoning. CoRR (2022)
Lukasz Mikulski, Wojciech Jamroga, Damian Kurpiewski
Towards Assume-Guarantee Verification of Strategic Ability. AAMAS (2022)
Federica Adobbati, Lukasz Mikulski
Analysing Multi-Agent Systems using 1-safe Petri Nets. PNSE@Petri Nets (2022)
Lukasz Mikulski, Ion Petre
Preface: Special Issue on Reaction Systems. Theor. Comput. Sci. 881 (2021)
David de Frutos-Escrig, Maciej Koutny, Lukasz Mikulski
Investigating Reversibility of Steps in Petri Nets. CoRR (2021)
Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
Relational structures for concurrent behaviours. Theor. Comput. Sci. 862 (2021)
David de Frutos-Escrig, Maciej Koutny, Lukasz Mikulski
Investigating Reversibility of Steps in Petri Nets. Fundam. Informaticae 183 (1-2) (2021)
Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
Reaction Systems and Enabling Equivalence. Fundam. Informaticae 171 (1-4) (2020)
Evgeny Erofeev, Kamila Barylska, Lukasz Mikulski, Marcin Piatkowski
Generating all minimal petri net unsolvable binary words. Discret. Appl. Math. 274 (2020)
Lukasz Mikulski, Ion Petre
Preface. J. Membr. Comput. 2 (3) (2020)
Ryszard Janicki, Lukasz Mikulski
Algebraic Structure of Step Traces and Interval Traces. Fundam. Informaticae 175 (1-4) (2020)
Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
Classifying invariant structures of step traces. J. Comput. Syst. Sci. 104 (2019)
David de Frutos-Escrig, Maciej Koutny, Lukasz Mikulski
Reversing Steps in Petri Nets. Petri Nets (2019)
Wojciech Jamroga, Michal Knapik, Damian Kurpiewski, Lukasz Mikulski
Approximate verification of strategic abilities under imperfect information. Artif. Intell. 277 (2019)
Lukasz Mikulski, Ivan Lanese
Reversing Unbounded Petri Nets. Petri Nets (2019)
Kamila Barylska, Anna Gogolinska, Lukasz Mikulski, Anna Philippou, Marcin Piatkowski, Kyriaki Psara
Reversing Computations Modelled by Coloured Petri Nets. ATAED@Petri Nets/ACSD (2018)
Kamila Barylska, Evgeny Erofeev, Maciej Koutny, Lukasz Mikulski, Marcin Piatkowski
Reversing Transitions in Bounded Petri Nets. Fundam. Informaticae 157 (4) (2018)
Ryszard Janicki, Jetty Kleijn, Lukasz Mikulski
A Precise Characterisation of Step Traces and Their Concurrent Histories. Sci. Ann. Comput. Sci. 28 (2) (2018)
Kamila Barylska, Maciej Koutny, Lukasz Mikulski, Marcin Piatkowski
Reversible computation vs. reversibility in Petri nets. Sci. Comput. Program. 151 (2018)
Anna Gogolinska, Lukasz Mikulski, Marcin Piatkowski
GPU Computations and Memory Access Model Based on Petri Nets. Trans. Petri Nets Other Model. Concurr. 13 (2018)
David de Frutos-Escrig, Maciej Koutny, Lukasz Mikulski
An Efficient Characterization of Petri Net Solvable Binary Words. Petri Nets (2018)
Jetty Kleijn, Maciej Koutny, Lukasz Mikulski, Grzegorz Rozenberg
Reaction Systems, Transition Systems, and Equivalences. Adventures Between Lower Bounds and Higher Altitudes (2018)
Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
On Synthesising Step Alphabets for Acyclic Invariant Structures. ATAED@Petri Nets/ACSD (2017)
Maciej Koutny, Lukasz Mikulski, Marta Pietkiewicz-Koutny
An extension of the taxonomy of persistent and nonviolent steps. Inf. Sci. 394 (2017)
Anna Gogolinska, Lukasz Mikulski, Marcin Piatkowski
GPU Computations and Memory Access Model Based on Petri Nets. PNSE @ Petri Nets (2017)
Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
Alphabets of Acyclic Invariant Structures. Fundam. Informaticae 154 (1-4) (2017)
Lukasz Mikulski, Andrey Mokhov, Marcin Piatkowski
Reduction of Order Structures. ACSD (2017)
Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
Invariant Structures and Dependence Relations. Fundam. Informaticae 155 (1-2) (2017)
Kamila Barylska, Lukasz Mikulski, Marcin Piatkowski, Maciej Koutny, Evgeny Erofeev
Reversing Transitions in Bounded Petri Nets. CS&P (2016)
Evgeny Erofeev, Kamila Barylska, Lukasz Mikulski, Marcin Piatkowski
Generating All Minimal Petri Net Unsolvable Binary Words. Stringology (2016)
Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
Step traces. Acta Informatica 53 (1) (2016)
Kamila Barylska, Maciej Koutny, Lukasz Mikulski, Marcin Piatkowski
Reversible Computation vs. Reversibility in Petri Nets. RC (2016)
Kamila Barylska, Eike Best, Evgeny Erofeev, Lukasz Mikulski, Marcin Piatkowski
Conditions for Petri Net Solvable Binary Words. Trans. Petri Nets Other Model. Concurr. 11 (2016)
Kamila Barylska, Lukasz Mikulski
On Decidability of Persistence Notions. CS&P (2015)
Lukasz Mikulski, Marcin Piatkowski, Wojciech Rytter
Square-Free Words over Partially Commutative Alphabets. LATA (2015)
Kamila Barylska, Eike Best, Evgeny Erofeev, Lukasz Mikulski, Marcin Piatkowski
On Binary Words Being Petri Net Solvable. ATAED@Petri Nets/ACSD (2015)
Johnson Fernandes, Maciej Koutny, Lukasz Mikulski, Marta Pietkiewicz-Koutny, Danil Sokolov, Alex Yakovlev
Persistent and Nonviolent Steps and the Design of GALS Systems. Fundam. Informaticae 137 (1) (2015)
Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
Characterising Concurrent Histories. Fundam. Informaticae 139 (1) (2015)
Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
Order Structures for Subclasses of Generalised Traces. LATA (2015)
Lukasz Mikulski, Artur Niewiadomski, Marcin Piatkowski, Sebastian Smyczynski
Generating CA-Plans from Multisets of Services. PNSE @ Petri Nets (2014)
Lukasz Mikulski, Maciej Koutny
Folded Hasse diagrams of combined traces. Inf. Process. Lett. 114 (4) (2014)
Lukasz Mikulski, Artur Niewiadomski, Marcin Piatkowski, Sebastian Smyczynski
On Generation of Context-Abstract Plans. SEFM Workshops (2014)
Lukasz Mikulski, Marcin Piatkowski, Sebastian Smyczynski
Lexicographical Generations of Combined Traces. ACSD (2013)
Maciej Koutny, Lukasz Mikulski, Marta Pietkiewicz-Koutny
A Taxonomy of Persistent and Nonviolent Steps. Petri Nets (2013)
Lukasz Mikulski, Marcin Piatkowski, Sebastian Smyczynski
Algorithmics of Posets Generated by Words Over Partially Commutative Alphabets (Extended). Sci. Ann. Comput. Sci. 23 (2) (2013)
Kamila Barylska, Lukasz Mikulski, Edward Ochmanski
On persistent reachability in Petri nets. Inf. Comput. 223 (2013)
Lukasz Mikulski
Algebraic Structure of Combined Traces. Log. Methods Comput. Sci. 9 (3) (2013)
Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
Causal Structures for General Concurrent Behaviours. CS&P (2013)
Lukasz Mikulski
Algebraic Structure of Combined Traces. CONCUR (2012)
Lukasz Mikulski, Maciej Koutny
Hasse Diagrams of Combined Traces. ACSD (2012)
Lukasz Mikulski, Marcin Piatkowski, Sebastian Smyczynski
Algorithmics of Posets Generated by Words over Partially Commutative Alphabets. Stringology (2011)
Kamila Barylska, Lukasz Mikulski, Edward Ochmanski
On Persistent Reachability in Petri Nets. ACSD/Petri Nets Workshops (2010)
Lukasz Mikulski
Internal Conflict-Free Projection Sets. ICMMI (2009)
Rafal Kluszczynski, Lukasz Mikulski, Marek Nowicki, Piotr Bala
Contests Hosting Service as a tool to teach programming. Ann. UMCS Informatica 9 (1) (2009)
Lukasz Mikulski
Transposition Rearrangement: Linear Algorithm for Length-Cost Model. Ann. UMCS Informatica 9 (1) (2009)
Lukasz Mikulski
Projection Representation of Mazurkiewicz Traces. Fundam. Informaticae 85 (1-4) (2008)
Jaroslaw Mederski, Lukasz Mikulski, Piotr Bala
Asynchronous Parallel Molecular Dynamics Simulations. PPAM (2007)