| Reversible computation vs. reversibility in Petri nets K Barylska, M Koutny, Ł Mikulski, M Piątkowski Science of Computer Programming 151, 48-60, 2018 | 50 | 2018 |
| Approximate verification of strategic abilities under imperfect information W Jamroga, M Knapik, D Kurpiewski, Ł Mikulski Artificial Intelligence 277, 103172, 2019 | 42 | 2019 |
| Foundations of reversible computation B Aman, G Ciobanu, R Glück, R Kaarsgaard, J Kari, M Kutrib, I Lanese, ... Reversible Computation: Extending Horizons of Computing: Selected Results of …, 2020 | 39 | 2020 |
| Reversing transitions in bounded Petri nets K Barylska, E Erofeev, M Koutny, Ł Mikulski, M Piątkowski Fundamenta Informaticae 157 (4), 341-357, 2018 | 31 | 2018 |
| Step traces R Janicki, J Kleijn, M Koutny, Ł Mikulski Acta Informatica 53 (1), 35-65, 2016 | 27 | 2016 |
| Reversing computations modelled by coloured Petri nets K Barylska, A Gogolinska, L Mikulski, A Philippou, M Piatkowski, K Psara CEUR-WS. org, 2018 | 24 | 2018 |
| Conditions for Petri net solvable binary words K Barylska, E Best, E Erofeev, Ł Mikulski, M Piątkowski Transactions on Petri Nets and Other Models of Concurrency XI, 137-159, 2016 | 22* | 2016 |
| Characterising concurrent histories R Janicki, J Kleijn, M Koutny, Ł Mikulski Fundamenta Informaticae 139 (1), 21-42, 2015 | 21* | 2015 |
| Reaction systems, transition systems, and equivalences J Kleijn, M Koutny, Ł Mikulski, G Rozenberg Adventures between lower bounds and higher altitudes: essays dedicated to …, 2018 | 20 | 2018 |
| Generating all minimal petri net unsolvable binary words E Erofeev, K Barylska, Ł Mikulski, M Piątkowski Discrete Applied Mathematics 274, 35-53, 2020 | 18* | 2020 |
| Classifying invariant structures of step traces R Janicki, J Kleijn, M Koutny, Ł Mikulski Journal of Computer and System Sciences 104, 297-322, 2019 | 18* | 2019 |
| On persistent reachability in Petri nets K Barylska, Ł Mikulski, E Ochmański Information and Computation 223, 67-77, 2013 | 18* | 2013 |
| Projection representation of Mazurkiewicz traces Ł Mikulski Fundamenta Informaticae 85 (1-4), 399-408, 2008 | 17 | 2008 |
| Reversing steps in Petri nets D de Frutos Escrig, M Koutny, Ł Mikulski International Conference on Applications and Theory of Petri Nets and …, 2019 | 15 | 2019 |
| Verification of multi-agent properties in electronic voting: A case study D Kurpiewski, W Jamroga, Ł Maśko, Ł Mikulski, W Pazderski, W Penczek, ... arXiv preprint arXiv:2310.15789, 2023 | 14 | 2023 |
| Folded Hasse diagrams of combined traces Ł Mikulski, M Koutny Information Processing Letters 114 (4), 208-216, 2014 | 13* | 2014 |
| Reaction systems and enabling equivalence J Kleijn, M Koutny, Ł Mikulski Fundamenta Informaticae 171 (1-4), 261-277, 2019 | 12 | 2019 |
| Discovering patterns of visits on the Internet web sites in the perspective of associative models Ł Mikulski, P Weichbroth Polish Journal of Environmental Studies 18 (3B), 267-271, 0 | 12* | |
| Reversing unbounded Petri nets Ł Mikulski, I Lanese International Conference on Applications and Theory of Petri Nets and …, 2019 | 11 | 2019 |
| Reaction mining for reaction systems A Męski, M Koutny, W Penczek International Conference on Unconventional Computation and Natural …, 2018 | 11* | 2018 |
Maciej KoutnyNewcastle UniversityVerified email at ncl.ac.uk
