Toggle Main Menu Toggle Search

ePrints

Browsing publications by Dr Lukasz Mikulski

Newcastle AuthorsTitleYearFull text
Professor Maciej Koutny
Dr Lukasz Mikulski
Reversible computation vs. reversibility in 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 Maciej Koutny
Dr Lukasz Mikulski
Classifying Invariant Structures of Step Traces2017
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
Reversing Transitions in Bounded Petri Nets2017
Professor Maciej Koutny
Dr Lukasz Mikulski
Reversible Computation vs. Reversibility in Petri Nets2016
Professor Maciej Koutny
Dr Lukasz Mikulski
Step Traces2016
123