![](https://dblp.dagstuhl.de/img/logo.320x120.png)
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Lukasz Mikulski
Person information
- unicode name: Łukasz Mikulski
SPARQL queries ![](https://dblp.dagstuhl.de/img/new.blue.24x12.png)
Refine list
![note](https://dblp.dagstuhl.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2022
- [b1]Ryszard Janicki
, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski:
Paradigms of Concurrency - Observations, Behaviours, and Systems - a Petri Net View. Studies in Computational Intelligence 1020, Springer 2022, ISBN 978-3-662-64819-3, pp. 1-317
Journal Articles
- 2024
- [j29]Mariusz Kaniecki, Lukasz Mikulski:
On categorical approach to reaction systems. Nat. Comput. 23(2): 295-307 (2024) - [j28]Artur Meski, Maciej Koutny, Lukasz Mikulski, Wojciech Penczek:
Reaction mining for reaction systems. Nat. Comput. 23(2): 323-343 (2024) - 2021
- [j27]David de Frutos-Escrig
, Maciej Koutny, Lukasz Mikulski:
Investigating Reversibility of Steps in Petri Nets. Fundam. Informaticae 183(1-2): 67-96 (2021) - [j26]Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
:
Relational structures for concurrent behaviours. Theor. Comput. Sci. 862: 174-192 (2021) - [j25]Lukasz Mikulski, Ion Petre
:
Preface: Special Issue on Reaction Systems. Theor. Comput. Sci. 881: 1-2 (2021) - 2020
- [j24]Evgeny Erofeev, Kamila Barylska
, Lukasz Mikulski
, Marcin Piatkowski
:
Generating all minimal petri net unsolvable binary words. Discret. Appl. Math. 274: 35-53 (2020) - [j23]Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
:
Reaction Systems and Enabling Equivalence. Fundam. Informaticae 171(1-4): 261-277 (2020) - [j22]Ryszard Janicki, Lukasz Mikulski
:
Algebraic Structure of Step Traces and Interval Traces. Fundam. Informaticae 175(1-4): 253-280 (2020) - [j21]Lukasz Mikulski, Ion Petre
:
Preface. J. Membr. Comput. 2(3): 147-148 (2020) - 2019
- [j20]Wojciech Jamroga
, Michal Knapik
, Damian Kurpiewski
, Lukasz Mikulski
:
Approximate verification of strategic abilities under imperfect information. Artif. Intell. 277 (2019) - [j19]Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
:
Classifying invariant structures of step traces. J. Comput. Syst. Sci. 104: 297-322 (2019) - 2018
- [j18]Ryszard Janicki, Jetty Kleijn, Lukasz Mikulski:
A Precise Characterisation of Step Traces and Their Concurrent Histories. Sci. Ann. Comput. Sci. 28(2): 237-267 (2018) - [j17]Kamila Barylska
, Evgeny Erofeev, Maciej Koutny, Lukasz Mikulski
, Marcin Piatkowski
:
Reversing Transitions in Bounded Petri Nets. Fundam. Informaticae 157(4): 341-357 (2018) - [j16]Kamila Barylska
, Maciej Koutny, Lukasz Mikulski
, Marcin Piatkowski
:
Reversible computation vs. reversibility in Petri nets. Sci. Comput. Program. 151: 48-60 (2018) - [j15]Anna Gogolinska, Lukasz Mikulski
, Marcin Piatkowski
:
GPU Computations and Memory Access Model Based on Petri Nets. Trans. Petri Nets Other Model. Concurr. 13: 136-157 (2018) - 2017
- [j14]Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
:
Alphabets of Acyclic Invariant Structures. Fundam. Informaticae 154(1-4): 207-224 (2017) - [j13]Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
:
Invariant Structures and Dependence Relations. Fundam. Informaticae 155(1-2): 1-29 (2017) - [j12]Maciej Koutny, Lukasz Mikulski
, Marta Pietkiewicz-Koutny:
An extension of the taxonomy of persistent and nonviolent steps. Inf. Sci. 394: 299-314 (2017) - 2016
- [j11]Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
:
Step traces. Acta Informatica 53(1): 35-65 (2016) - [j10]Kamila Barylska
, Eike Best, Evgeny Erofeev, Lukasz Mikulski
, Marcin Piatkowski
:
Conditions for Petri Net Solvable Binary Words. Trans. Petri Nets Other Model. Concurr. 11: 137-159 (2016) - 2015
- [j9]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): 143-170 (2015) - [j8]Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
:
Characterising Concurrent Histories. Fundam. Informaticae 139(1): 21-42 (2015) - 2014
- [j7]Lukasz Mikulski
, Maciej Koutny
:
Folded Hasse diagrams of combined traces. Inf. Process. Lett. 114(4): 208-216 (2014) - 2013
- [j6]Lukasz Mikulski
:
Algebraic Structure of Combined Traces. Log. Methods Comput. Sci. 9(3) (2013) - [j5]Lukasz Mikulski
, Marcin Piatkowski
, Sebastian Smyczynski:
Algorithmics of Posets Generated by Words Over Partially Commutative Alphabets (Extended). Sci. Ann. Comput. Sci. 23(2): 229-249 (2013) - [j4]Kamila Barylska
, Lukasz Mikulski
, Edward Ochmanski:
On persistent reachability in Petri nets. Inf. Comput. 223: 67-77 (2013) - 2009
- [j3]Lukasz Mikulski:
Transposition Rearrangement: Linear Algorithm for Length-Cost Model. Ann. UMCS Informatica 9(1): 7-13 (2009) - [j2]Rafal Kluszczynski, Lukasz Mikulski, Marek Nowicki, Piotr Bala
:
Contests Hosting Service as a tool to teach programming. Ann. UMCS Informatica 9(1): 213-224 (2009) - 2008
- [j1]Lukasz Mikulski:
Projection Representation of Mazurkiewicz Traces. Fundam. Informaticae 85(1-4): 399-408 (2008)
Conference and Workshop Papers
- 2024
- [c34]Ryszard Janicki
, Jetty Kleijn
, Maciej Koutny
, Lukasz Mikulski
:
Relational Structures for Interval Order Semantics of Concurrent Systems. Petri Nets 2024: 153-174 - 2023
- [c33]Ryszard Janicki
, Maciej Koutny
, Lukasz Mikulski
:
Interval Traces with Mutex Relation. Petri Nets 2023: 145-166 - 2022
- [c32]Wojtek Jamroga, Lukasz Masko, Lukasz Mikulski, Witold Pazderski, Wojciech Penczek, Teofil Sidoruk, Damian Kurpiewski:
Verification of Multi-Agent Properties in Electronic Voting: A Case Study. AiML 2022: 531-556 - [c31]Federica Adobbati, Lukasz Mikulski:
Analysing Multi-Agent Systems using 1-safe Petri Nets. PNSE@Petri Nets 2022: 139-155 - [c30]Lukasz Mikulski, Wojciech Jamroga, Damian Kurpiewski:
Towards Assume-Guarantee Verification of Strategic Ability. AAMAS 2022: 1702-1704 - [c29]Lukasz Mikulski, Wojciech Jamroga
, Damian Kurpiewski:
Assume-Guarantee Verification of Strategic Ability. PRIMA 2022: 173-191 - [c28]Damian Kurpiewski, Lukasz Mikulski, Wojciech Jamroga
:
STV+AGR: Towards Verification of Strategic Ability Using Assume-Guarantee Reasoning. PRIMA 2022: 691-696 - [c27]Kamila Barylska, Anna Gogolinska, Lukasz Mikulski, Anna Philippou, Marcin Piatkowski, Kyriaki Psara:
Formal Translation from Reversing Petri Nets to Coloured Petri Nets. RC 2022: 172-186 - 2019
- [c26]David de Frutos-Escrig
, Maciej Koutny, Lukasz Mikulski
:
Reversing Steps in Petri Nets. Petri Nets 2019: 171-191 - [c25]Lukasz Mikulski
, Ivan Lanese:
Reversing Unbounded Petri Nets. Petri Nets 2019: 213-233 - 2018
- [c24]Kamila Barylska, Anna Gogolinska, Lukasz Mikulski, Anna Philippou, Marcin Piatkowski, Kyriaki Psara:
Reversing Computations Modelled by Coloured Petri Nets. ATAED@Petri Nets/ACSD 2018: 91-111 - [c23]David de Frutos-Escrig
, Maciej Koutny, Lukasz Mikulski
:
An Efficient Characterization of Petri Net Solvable Binary Words. Petri Nets 2018: 207-226 - [c22]Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
, Grzegorz Rozenberg:
Reaction Systems, Transition Systems, and Equivalences. Adventures Between Lower Bounds and Higher Altitudes 2018: 63-84 - 2017
- [c21]Lukasz Mikulski
, Andrey Mokhov, Marcin Piatkowski
:
Reduction of Order Structures. ACSD 2017: 96-105 - [c20]Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski:
On Synthesising Step Alphabets for Acyclic Invariant Structures. ATAED@Petri Nets/ACSD 2017: 76-88 - [c19]Anna Gogolinska, Lukasz Mikulski, Marcin Piatkowski:
GPU Computations and Memory Access Model Based on Petri Nets. PNSE @ Petri Nets 2017: 105-122 - 2016
- [c18]Kamila Barylska, Lukasz Mikulski, Marcin Piatkowski, Maciej Koutny, Evgeny Erofeev:
Reversing Transitions in Bounded Petri Nets. CS&P 2016: 74-85 - [c17]Kamila Barylska
, Maciej Koutny, Lukasz Mikulski
, Marcin Piatkowski
:
Reversible Computation vs. Reversibility in Petri Nets. RC 2016: 105-118 - [c16]Evgeny Erofeev, Kamila Barylska, Lukasz Mikulski, Marcin Piatkowski:
Generating All Minimal Petri Net Unsolvable Binary Words. Stringology 2016: 33-46 - 2015
- [c15]Kamila Barylska, Eike Best, Evgeny Erofeev, Lukasz Mikulski, Marcin Piatkowski:
On Binary Words Being Petri Net Solvable. ATAED@Petri Nets/ACSD 2015: 1-15 - [c14]Kamila Barylska, Lukasz Mikulski:
On Decidability of Persistence Notions. CS&P 2015: 44-56 - [c13]Lukasz Mikulski
, Marcin Piatkowski
, Wojciech Rytter:
Square-Free Words over Partially Commutative Alphabets. LATA 2015: 424-435 - [c12]Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski
:
Order Structures for Subclasses of Generalised Traces. LATA 2015: 689-700 - 2014
- [c11]Lukasz Mikulski, Artur Niewiadomski, Marcin Piatkowski, Sebastian Smyczynski:
Generating CA-Plans from Multisets of Services. PNSE @ Petri Nets 2014: 347-348 - [c10]Lukasz Mikulski
, Artur Niewiadomski
, Marcin Piatkowski
, Sebastian Smyczynski:
On Generation of Context-Abstract Plans. SEFM Workshops 2014: 376-388 - 2013
- [c9]Lukasz Mikulski
, Marcin Piatkowski
, Sebastian Smyczynski:
Lexicographical Generations of Combined Traces. ACSD 2013: 196-205 - [c8]Maciej Koutny, Lukasz Mikulski
, Marta Pietkiewicz-Koutny:
A Taxonomy of Persistent and Nonviolent Steps. Petri Nets 2013: 210-229 - [c7]Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski:
Causal Structures for General Concurrent Behaviours. CS&P 2013: 193-205 - 2012
- [c6]Lukasz Mikulski
, Maciej Koutny:
Hasse Diagrams of Combined Traces. ACSD 2012: 92-101 - [c5]Lukasz Mikulski
:
Algebraic Structure of Combined Traces. CONCUR 2012: 456-470 - 2011
- [c4]Lukasz Mikulski, Marcin Piatkowski, Sebastian Smyczynski:
Algorithmics of Posets Generated by Words over Partially Commutative Alphabets. Stringology 2011: 209-219 - 2010
- [c3]Kamila Barylska, Lukasz Mikulski, Edward Ochmanski:
On Persistent Reachability in Petri Nets. ACSD/Petri Nets Workshops 2010: 373-384 - 2009
- [c2]Lukasz Mikulski:
Internal Conflict-Free Projection Sets. ICMMI 2009: 497-504 - 2007
- [c1]Jaroslaw Mederski
, Lukasz Mikulski
, Piotr Bala
:
Asynchronous Parallel Molecular Dynamics Simulations. PPAM 2007: 439-446
Parts in Books or Collections
- 2020
- [p1]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
:
Foundations of Reversible Computation. Selected Results of the COST Action IC1405 2020: 1-40
Editorship
- 2024
- [e1]Torben Ægidius Mogensen
, Lukasz Mikulski
:
Reversible Computation - 16th International Conference, RC 2024, Toruń, Poland, July 4-5, 2024, Proceedings. Lecture Notes in Computer Science 14680, Springer 2024, ISBN 978-3-031-62075-1 [contents]
Informal and Other Publications
- 2024
- [i8]Maciej Koutny, Lukasz Mikulski:
Quasi-stratified Order Semantics of Concurrency. CoRR abs/2407.13406 (2024) - 2023
- [i7]Lukasz Mikulski, Wojciech Jamroga, Damian Kurpiewski:
Assume-Guarantee Verification of Strategic Ability. CoRR abs/2310.15686 (2023) - [i6]Lukasz Mikulski, Wojciech Jamroga, Damian Kurpiewski:
Towards Assume-Guarantee Verification of Strategic Ability. CoRR abs/2310.15727 (2023) - [i5]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 abs/2310.15789 (2023) - [i4]Federica Adobbati, Lukasz Mikulski:
Analysing Multi-Agent Systems using 1-safe Petri Nets. CoRR abs/2310.19507 (2023) - [i3]Kamila Barylska, Anna Gogolinska, Lukasz Mikulski, Anna Philippou, Marcin Piatkowski, Kyriaki Psara:
Formal Translation from Reversing Petri Nets to Coloured Petri Nets. CoRR abs/2311.00629 (2023) - 2022
- [i2]Damian Kurpiewski, Lukasz Mikulski, Wojciech Jamroga:
STV+AGR: Towards Practical Verification of Strategic Ability Using Assume-Guarantee Reasoning. CoRR abs/2203.01033 (2022) - 2021
- [i1]David de Frutos-Escrig, Maciej Koutny, Lukasz Mikulski:
Investigating Reversibility of Steps in Petri Nets. CoRR abs/2110.10535 (2021)
Coauthor Index
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-23 18:33 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint