Lukasz Mikulski

According to our database, Lukasz Mikulski authored at least 57 papers between 2007 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2023

Interval Traces with Mutex Relation.

Ryszard Janicki, Maciej Koutny, Lukasz Mikulski

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2023

2022

Paradigms of Concurrency - Observations, Behaviours, and Systems - a Petri Net View

Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski

Studies in Computational Intelligence 1020, Springer, ISBN: 978-3-662-64819-3, 2022

STV+AGR: Towards Practical Verification of Strategic Ability Using Assume-Guarantee Reasoning.

Damian Kurpiewski, Lukasz Mikulski, Wojciech Jamroga

CoRR, 2022

Formal Translation from Reversing Petri Nets to Coloured Petri Nets.

Kamila Barylska, Anna Gogolinska, Lukasz Mikulski, Anna Philippou, Marcin Piatkowski, Kyriaki Psara

Proceedings of the Reversible Computation - 14th International Conference, 2022

Assume-Guarantee Verification of Strategic Ability.

Lukasz Mikulski, Wojciech Jamroga, Damian Kurpiewski

Proceedings of the PRIMA 2022: Principles and Practice of Multi-Agent Systems, 2022

STV+AGR: Towards Verification of Strategic Ability Using Assume-Guarantee Reasoning.

Damian Kurpiewski, Lukasz Mikulski, Wojciech Jamroga

Proceedings of the PRIMA 2022: Principles and Practice of Multi-Agent Systems, 2022

Towards Assume-Guarantee Verification of Strategic Ability.

Lukasz Mikulski, Wojciech Jamroga, Damian Kurpiewski

Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022

Analysing Multi-Agent Systems using 1-safe Petri Nets.

Federica Adobbati, Lukasz Mikulski

Proceedings of the Petri Nets and Software Engineering 2022 co-located with the 43rd International Conference on Application and Theory of Petri Nets and Concurrency (PETRI NETS 2022), 2022

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

Proceedings of the Advances in Modal Logic, AiML 2022, Rennes, France, 2022

2021

Preface: Special Issue on Reaction Systems.

Lukasz Mikulski, Ion Petre

Theor. Comput. Sci., 2021

Relational structures for concurrent behaviours.

Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski

Theor. Comput. Sci., 2021

Investigating Reversibility of Steps in Petri Nets.

David de Frutos-Escrig, Maciej Koutny, Lukasz Mikulski

Fundam. Informaticae, 2021

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, Luca Prigioniero, Irek Ulidowski, Germán Vidal

Proceedings of the Reversible Computation: Extending Horizons of Computing, 2020

Preface.

Lukasz Mikulski, Ion Petre

J. Membr. Comput., 2020

Reaction Systems and Enabling Equivalence.

Jetty Kleijn, Maciej Koutny, Lukasz Mikulski

Fundam. Informaticae, 2020

Algebraic Structure of Step Traces and Interval Traces.

Ryszard Janicki, Lukasz Mikulski

Fundam. Informaticae, 2020

Generating all minimal petri net unsolvable binary words.

Evgeny Erofeev, Kamila Barylska, Lukasz Mikulski, Marcin Piatkowski

Discret. Appl. Math., 2020

2019

Classifying invariant structures of step traces.

Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski

J. Comput. Syst. Sci., 2019

Approximate verification of strategic abilities under imperfect information.

Wojciech Jamroga, Michal Knapik, Damian Kurpiewski, Lukasz Mikulski

Artif. Intell., 2019

Reversing Unbounded Petri Nets.

Lukasz Mikulski, Ivan Lanese

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2019

Reversing Steps in Petri Nets.

David de Frutos-Escrig, Maciej Koutny, Lukasz Mikulski

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2019

2018

GPU Computations and Memory Access Model Based on Petri Nets.

Anna Gogolinska, Lukasz Mikulski, Marcin Piatkowski

Trans. Petri Nets Other Model. Concurr., 2018

Reversible computation vs. reversibility in Petri nets.

Kamila Barylska, Maciej Koutny, Lukasz Mikulski, Marcin Piatkowski

Sci. Comput. Program., 2018

Reversing Transitions in Bounded Petri Nets.

Kamila Barylska, Evgeny Erofeev, Maciej Koutny, Lukasz Mikulski, Marcin Piatkowski

Fundam. Informaticae, 2018

A Precise Characterisation of Step Traces and Their Concurrent Histories.

Ryszard Janicki, Jetty Kleijn, Lukasz Mikulski

Sci. Ann. Comput. Sci., 2018

Reaction Systems, Transition Systems, and Equivalences.

Jetty Kleijn, Maciej Koutny, Lukasz Mikulski, Grzegorz Rozenberg

Proceedings of the Adventures Between Lower Bounds and Higher Altitudes, 2018

An Efficient Characterization of Petri Net Solvable Binary Words.

David de Frutos-Escrig, Maciej Koutny, Lukasz Mikulski

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2018

Reversing Computations Modelled by Coloured Petri Nets.

Kamila Barylska, Anna Gogolinska, Lukasz Mikulski, Anna Philippou, Marcin Piatkowski, Kyriaki Psara

Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2018 Satellite event of the conferences: 39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2018 and 18th International Conference on Application of Concurrency to System Design ACSD 2018, 2018

2017

An extension of the taxonomy of persistent and nonviolent steps.

Maciej Koutny, Lukasz Mikulski, Marta Pietkiewicz-Koutny

Inf. Sci., 2017

Invariant Structures and Dependence Relations.

Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski

Fundam. Informaticae, 2017

Alphabets of Acyclic Invariant Structures.

Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski

Fundam. Informaticae, 2017

On Synthesising Step Alphabets for Acyclic Invariant Structures.

Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski

Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2017 Satellite event of the conferences: 38th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2017 and 17th International Conference on Application of Concurrency to System Design ACSD 2017, 2017

Reduction of Order Structures.

Lukasz Mikulski, Andrey Mokhov, Marcin Piatkowski

Proceedings of the 17th International Conference on Application of Concurrency to System Design, 2017

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

Step traces.

Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski

Acta Informatica, 2016

2015

Characterising Concurrent Histories.

Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski

Fundam. Informaticae, 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

Square-Free Words over Partially Commutative Alphabets.

Lukasz Mikulski, Marcin Piatkowski, Wojciech Rytter

Proceedings of the Language and Automata Theory and Applications, 2015

Order Structures for Subclasses of Generalised Traces.

Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski

Proceedings of the Language and Automata Theory and Applications, 2015

On Decidability of Persistence Notions.

Kamila Barylska, Lukasz Mikulski

Proceedings of the 24th International Workshop on Concurrency, 2015

On Binary Words Being Petri Net Solvable.

Kamila Barylska, Eike Best, Evgeny Erofeev, Lukasz Mikulski, Marcin Piatkowski

Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data, 2015

2014

Folded Hasse diagrams of combined traces.

Lukasz Mikulski, Maciej Koutny

Inf. Process. Lett., 2014

On Generation of Context-Abstract Plans.

Lukasz Mikulski, Artur Niewiadomski, Marcin Piatkowski, Sebastian Smyczynski

Proceedings of the Software Engineering and Formal Methods, 2014

Generating CA-Plans from Multisets of Services.

Lukasz Mikulski, Artur Niewiadomski, Marcin Piatkowski, Sebastian Smyczynski

Proceedings of the International Workshop on Petri Nets and Software Engineering, 2014

2013

On persistent reachability in Petri nets.

Kamila Barylska, Lukasz Mikulski, Edward Ochmanski

Inf. Comput., 2013

Algorithmics of Posets Generated by Words Over Partially Commutative Alphabets (Extended).

Lukasz Mikulski, Marcin Piatkowski, Sebastian Smyczynski

Sci. Ann. Comput. Sci., 2013

Algebraic Structure of Combined Traces.

Lukasz Mikulski

Log. Methods Comput. Sci., 2013

Causal Structures for General Concurrent Behaviours.

Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski

Proceedings of the 22nd International Workshop on Concurrency, 2013

A Taxonomy of Persistent and Nonviolent Steps.

Maciej Koutny, Lukasz Mikulski, Marta Pietkiewicz-Koutny

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2013

Lexicographical Generations of Combined Traces.

Lukasz Mikulski, Marcin Piatkowski, Sebastian Smyczynski

Proceedings of the 13th International Conference on Application of Concurrency to System Design, 2013

2012

Hasse Diagrams of Combined Traces.

Lukasz Mikulski, Maciej Koutny

Proceedings of the 12th International Conference on Application of Concurrency to System Design, 2012

2011

Algorithmics of Posets Generated by Words over Partially Commutative Alphabets.

Lukasz Mikulski, Marcin Piatkowski, Sebastian Smyczynski

Proceedings of the Prague Stringology Conference 2011, 2011

2009

Transposition Rearrangement: Linear Algorithm for Length-Cost Model.

Lukasz Mikulski

Ann. UMCS Informatica, 2009

Contests Hosting Service as a tool to teach programming.

Rafal Kluszczynski, Lukasz Mikulski, Marek Nowicki, Piotr Bala

Ann. UMCS Informatica, 2009

Internal Conflict-Free Projection Sets.

Lukasz Mikulski

Proceedings of the Man-Machine Interactions, 2009

2008

Projection Representation of Mazurkiewicz Traces.

Lukasz Mikulski

Fundam. Informaticae, 2008

2007

Asynchronous Parallel Molecular Dynamics Simulations.

Jaroslaw Mederski, Lukasz Mikulski, Piotr Bala

Proceedings of the Parallel Processing and Applied Mathematics, 2007