A. Meski, M. Koutny, L. Mikulski, I. Petre, W. Penczek, M. Piatkowski: Model checking for distributed reaction systems with temporal-epistemic properties. Nat. Comput. 24(4): 1101-1117 (2025)
A. Meski, M. Koutny, L. Mikulski, W. Penczek: Reaction mining for reaction systems. Nat. Comput. 23(2): 323-343 (2024)
A. Meski, M. Koutny, W. Penczek: Reaction Mining for Reaction Systems. UCNC 2018: 131-144
A. Meski, M. Koutny, W. Penczek: Verification of Linear-Time Temporal Properties for Reaction Systems with Discrete Concentrations. Fundam. Informaticae 154(1-4): 289-306 (2017)
A. Meski, M. Koutny, W. Penczek: Towards Quantitative Verification of Reaction Systems. UCNC 2016: 142-154
A. Meski, W. Penczek, G. Rozenberg: Model checking temporal properties of reaction systems. Inf. Sci. 313: 22-42 (2015)