8
Publications
118
Citations
8
H-Index
2008
Active since
Łukasz Mikulski is an author at Nicolaus Copernicus University specializing in engineering, automated reasoning, and computer science.
Top concepts
EngineeringComputer ScienceAutomated ReasoningFormal MethodsLinguisticsComputational ComplexityBusinessLanguageStrategySemantics
Publications per year
2008–2019
8
8
Reversible computation vs. reversibility in Petri nets
Kamila Barylska, Maciej Koutny, Łukasz Mikulski et al. · Science of Computer Programming · 2017 · 27 citations
Ryszard Janicki, Jetty Kleijn, Maciej Koutny et al. · Acta Informatica · 2015 · 17 citations
Reversing Computations Modelled by Coloured Petri Nets.
Kamila Barylska, Anna Gogolińska, Łukasz Mikulski et al. · 2018 · 15 citations
Generating all minimal petri net unsolvable binary words
Evgeny Erofeev, Kamila Barylska, Łukasz Mikulski et al. · Discrete Applied Mathematics · 2019 · 14 citations
Characterising Concurrent Histories
Ryszard Janicki, Jetty Kleijn, Maciej Koutny et al. · Fundamenta Informaticae · 2015 · 12 citations
Rows per page
1–5 of 8