ÆÈ·Î¿ì
¨©ukasz Mikulski
¨©ukasz Mikulski
mat.umk.plÀÇ À̸ÞÀÏ È®ÀεÊ
Á¦¸ñ
Àοë
Àοë
¿¬µµ
Reversible computation vs. reversibility in Petri nets
K Barylska, M Koutny, ¨© Mikulski, M Piątkowski
Science of Computer Programming 151, 48-60, 2018
412018
Reversing computations modelled by coloured Petri nets
K Barylska, A Gogolinska, L Mikulski, A Philippou, M Piatkowski, K Psara
CEUR-WS. org, 2018
252018
Reversing transitions in bounded Petri nets
K Barylska, E Erofeev, M Koutny, ¨© Mikulski, M Piątkowski
Fundamenta Informaticae 157 (4), 341-357, 2018
232018
Step traces
R Janicki, J Kleijn, M Koutny, ¨© Mikulski
Acta Informatica 53 (1), 35-65, 2016
212016
Approximate verification of strategic abilities under imperfect information
W Jamroga, M Knapik, D Kurpiewski, ¨© Mikulski
Artificial Intelligence 277, 103172, 2019
202019
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
20*2016
Characterising concurrent histories
R Janicki, J Kleijn, M Koutny, ¨© Mikulski
Fundamenta Informaticae 139 (1), 21-42, 2015
19*2015
On persistent reachability in Petri nets
K Barylska, ¨© Mikulski, E Ochmański
Information and Computation 223, 67-77, 2013
18*2013
Generating all minimal petri net unsolvable binary words
E Erofeev, K Barylska, ¨© Mikulski, M Piątkowski
Discrete Applied Mathematics 274, 35-53, 2020
17*2020
Projection representation of Mazurkiewicz traces
¨© Mikulski
Fundamenta Informaticae 85 (1-4), 399-408, 2008
162008
Folded Hasse diagrams of combined traces
¨© Mikulski, M Koutny
Information Processing Letters 114 (4), 208-216, 2014
13*2014
Foundations of reversible computation
B Aman, G Ciobanu, R Glück, R Kaarsgaard, J Kari, M Kutrib, I Lanese, ...
International Conference on Reversible Computation, 1-40, 2020
122020
Reversing unbounded Petri nets
¨© Mikulski, I Lanese
International Conference on Applications and Theory of Petri Nets and ¡¦, 2019
122019
Reversing steps in Petri nets
D Frutos Escrig, M Koutny, ¨© Mikulski
International Conference on Applications and Theory of Petri Nets and ¡¦, 2019
122019
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*
Classifying invariant structures of step traces
R Janicki, J Kleijn, M Koutny, ¨© Mikulski
Journal of Computer and System Sciences 104, 297-322, 2019
11*2019
Reaction systems, transition systems, and equivalences
J Kleijn, M Koutny, ¨© Mikulski, G Rozenberg
Adventures Between Lower Bounds and Higher Altitudes, 63-84, 2018
112018
An efficient characterization of Petri net solvable binary words
D Frutos Escrig, M Koutny, ¨© Mikulski
International Conference on Applications and Theory of Petri Nets and ¡¦, 2018
92018
Persistent and nonviolent steps and the design of GALS systems
J Fernandes, M Koutny, ¨© Mikulski, M Pietkiewicz-Koutny, D Sokolov, ...
Fundamenta Informaticae 137 (1), 143-170, 2015
92015
Algorithmics of Posets Generated by Words Over Partially Commutative Alphabets (Extended Version)
L Mikulski, M Piatkowski, S Smyczynski
Scientific Annals of Computer Science 23 (2), 229, 2013
9*2013
ÇöÀç ½Ã½ºÅÛÀÌ ÀÛµ¿µÇÁö ¾Ê½À´Ï´Ù. ³ªÁß¿¡ ´Ù½Ã ½ÃµµÇØ ÁÖ¼¼¿ä.
ÇмúÀÚ·á 1–20