Publications by Dr Lukasz Mikulski - ePrints

Browsing publications by Dr Lukasz Mikulski.

Newcastle Authors	Title	Year
Artur Meski Emeritus Professor Maciej Koutny Dr Lukasz Mikulski	Reaction Mining for Reaction Systems	2024
Emeritus Professor Maciej Koutny Dr Lukasz Mikulski	Relational Structures for Interval Order Semantics of Concurrent Systems	2024
Emeritus Professor Maciej Koutny Dr Lukasz Mikulski	Interval Traces with Mutex Relation	2023
Emeritus Professor Maciej Koutny Dr Lukasz Mikulski	Investigating Reversibility of Steps in Petri Nets	2022
Emeritus Professor Maciej Koutny Dr Lukasz Mikulski	Relational structures for concurrent behaviours	2021
Professor Henriette Kleijn Emeritus Professor Maciej Koutny Dr Lukasz Mikulski	Reaction Systems and Enabling Equivalence	2020
Emeritus Professor Maciej Koutny Dr Lukasz Mikulski	Classifying Invariant Structures of Step Traces	2019
Emeritus Professor Maciej Koutny Dr Lukasz Mikulski	Reversing Steps in Petri Nets	2019
Emeritus Professor Maciej Koutny Dr Lukasz Mikulski	An efficient characterization of petri net solvable binary words	2018
Emeritus Professor Maciej Koutny Dr Lukasz Mikulski	Reaction Systems, Transition Systems, and Equivalences	2018
Emeritus Professor Maciej Koutny Dr Lukasz Mikulski	Reversible computation vs. reversibility in Petri nets	2018
Emeritus Professor Maciej Koutny Dr Lukasz Mikulski	Reversing Transitions in Bounded Petri Nets	2018
Emeritus Professor Maciej Koutny Dr Lukasz Mikulski	Alphabets of Acyclic Invariant Structures	2017
Emeritus Professor Maciej Koutny Dr Lukasz Mikulski Dr Marta Koutny	An Extension of the Taxonomy of Persistent and Nonviolent Steps	2017
Professor Henriette Kleijn Emeritus Professor Maciej Koutny Dr Lukasz Mikulski	Invariant Structures and Dependence Relations	2017
Emeritus Professor Maciej Koutny Dr Lukasz Mikulski	On Synthesising Step Alphabets for Acyclic Invariant Structures	2017
Dr Lukasz Mikulski Dr Andrey Mokhov	Reduction of Order Structures	2017
Emeritus Professor Maciej Koutny Dr Lukasz Mikulski	Reversible Computation vs. Reversibility in Petri Nets	2016
Emeritus Professor Maciej Koutny Dr Lukasz Mikulski	Step Traces	2016
Emeritus Professor Maciej Koutny Dr Lukasz Mikulski	Characterising Concurrent Histories	2015
Emeritus Professor Maciej Koutny Dr Lukasz Mikulski	Order Structures for Subclasses of Generalised Traces	2015
Johnson Fernandes Emeritus Professor Maciej Koutny Dr Lukasz Mikulski Dr Marta Koutny Dr Danil Sokolov et al.	Persistent and Non-violent Steps and the Design of GALS Systems	2015
Dr Lukasz Mikulski Emeritus Professor Maciej Koutny	Folded Hasse diagrams of combined traces	2014
Emeritus Professor Maciej Koutny Dr Lukasz Mikulski	Generalising Traces	2014
Emeritus Professor Maciej Koutny Dr Lukasz Mikulski	Order Structures for Subclasses of Generalised Traces	2014
Dr Lukasz Mikulski	Square-free words over partially commutative alphabets	2014
Emeritus Professor Maciej Koutny Dr Lukasz Mikulski Dr Marta Koutny	A Taxonomy of Persistent and Nonviolent Steps	2013
Emeritus Professor Maciej Koutny Dr Lukasz Mikulski	Causal Structures for General Concurrent Behaviours	2013
Emeritus Professor Maciej Koutny Dr Lukasz Mikulski	Causal Structures for General Concurrent Behaviours	2013
Dr Lukasz Mikulski	Lexicographical Generations of Combined Traces	2013
Johnson Fernandes Emeritus Professor Maciej Koutny Dr Lukasz Mikulski Dr Marta Koutny Dr Danil Sokolov et al.	Persistent and Nonviolent Steps and the Design of GALS Systems	2013
Emeritus Professor Maciej Koutny Dr Lukasz Mikulski Dr Marta Koutny	A Taxonomy of Persistent and Nonviolent Steps	2012
Dr Lukasz Mikulski Emeritus Professor Maciej Koutny	Folded Hasse Diagrams of Combined Traces	2012
Dr Lukasz Mikulski Emeritus Professor Maciej Koutny	Hasse Diagrams of Combined Traces	2012
Dr Lukasz Mikulski Emeritus Professor Maciej Koutny	Hasse Diagrams of Combined Traces	2011