6
Publications
102
Citations
6
H-Index
2015
Active since
Affiliations
Marcin Piątkowski is an author at Nicolaus Copernicus University specializing in engineering, automated reasoning, and formal methods.
Top concepts
EngineeringFormal MethodsComputer ScienceAutomated ReasoningComputational ComplexityDiscrete MathematicsHealthObesityDiabetesLanguage
Publications per year
2015–2023
6
6
Reversible computation vs. reversibility in Petri nets
Kamila Barylska, Maciej Koutny, Łukasz Mikulski et al. · Science of Computer Programming · 2017 · 27 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
Rows per page
1–5 of 6