Toggle Main Menu Toggle Search

Open Access padlockePrints

Browsing publications by Dr Lukasz Mikulski.

Newcastle AuthorsTitleYearFull text
Professor Maciej Koutny
Dr Lukasz Mikulski
Interval Traces with Mutex Relation2023
Professor Maciej Koutny
Dr Lukasz Mikulski
Investigating Reversibility of Steps in Petri Nets2022
Professor Maciej Koutny
Dr Lukasz Mikulski
Relational structures for concurrent behaviours2021
Professor Henriette Kleijn
Professor Maciej Koutny
Dr Lukasz Mikulski
Reaction Systems and Enabling Equivalence2020
Professor Maciej Koutny
Dr Lukasz Mikulski
Classifying Invariant Structures of Step Traces2019
Professor Maciej Koutny
Dr Lukasz Mikulski
Reversing Steps in Petri Nets2019
Professor Maciej Koutny
Dr Lukasz Mikulski
An efficient characterization of petri net solvable binary words2018
Professor Maciej Koutny
Dr Lukasz Mikulski
Reaction Systems, Transition Systems, and Equivalences2018
Professor Maciej Koutny
Dr Lukasz Mikulski
Reversible computation vs. reversibility in Petri nets2018
Professor Maciej Koutny
Dr Lukasz Mikulski
Reversing Transitions in Bounded Petri Nets2018
Professor Maciej Koutny
Dr Lukasz Mikulski
Alphabets of Acyclic Invariant Structures2017
Professor Maciej Koutny
Dr Lukasz Mikulski
Dr Marta Koutny
An Extension of the Taxonomy of Persistent and Nonviolent Steps2017
Professor Henriette Kleijn
Professor Maciej Koutny
Dr Lukasz Mikulski
Invariant Structures and Dependence Relations2017
Professor Maciej Koutny
Dr Lukasz Mikulski
On Synthesising Step Alphabets for Acyclic Invariant Structures2017
Dr Lukasz Mikulski
Dr Andrey Mokhov
Reduction of Order Structures2017
Professor Maciej Koutny
Dr Lukasz Mikulski
Reversible Computation vs. Reversibility in Petri Nets2016
Professor Maciej Koutny
Dr Lukasz Mikulski
Step Traces2016
Professor Maciej Koutny
Dr Lukasz Mikulski
Characterising Concurrent Histories2015
Professor Maciej Koutny
Dr Lukasz Mikulski
Order Structures for Subclasses of Generalised Traces2015
Johnson Fernandes
Professor Maciej Koutny
Dr Lukasz Mikulski
Dr Marta Koutny
Dr Danil Sokolov
et al.
Persistent and Non-violent Steps and the Design of GALS Systems2015
Dr Lukasz Mikulski
Professor Maciej Koutny
Folded Hasse diagrams of combined traces2014
Professor Maciej Koutny
Dr Lukasz Mikulski
Generalising Traces2014
Professor Maciej Koutny
Dr Lukasz Mikulski
Order Structures for Subclasses of Generalised Traces2014
Dr Lukasz Mikulski
Square-free words over partially commutative alphabets2014
Professor Maciej Koutny
Dr Lukasz Mikulski
Dr Marta Koutny
A Taxonomy of Persistent and Nonviolent Steps2013
Professor Maciej Koutny
Dr Lukasz Mikulski
Causal Structures for General Concurrent Behaviours2013
Professor Maciej Koutny
Dr Lukasz Mikulski
Causal Structures for General Concurrent Behaviours2013
Dr Lukasz Mikulski
Lexicographical Generations of Combined Traces2013
Johnson Fernandes
Professor Maciej Koutny
Dr Lukasz Mikulski
Dr Marta Koutny
Dr Danil Sokolov
et al.
Persistent and Nonviolent Steps and the Design of GALS Systems2013
Professor Maciej Koutny
Dr Lukasz Mikulski
Dr Marta Koutny
A Taxonomy of Persistent and Nonviolent Steps2012
Dr Lukasz Mikulski
Professor Maciej Koutny
Folded Hasse Diagrams of Combined Traces2012
Dr Lukasz Mikulski
Professor Maciej Koutny
Hasse Diagrams of Combined Traces2012
Dr Lukasz Mikulski
Professor Maciej Koutny
Hasse Diagrams of Combined Traces2011