| Model checking temporal properties of reaction systems A Męski, W Penczek, G Rozenberg Information Sciences 313, 22-42, 2015 | 50 | 2015 |
| BDD- versus SAT-based bounded model checking for the existential fragment of linear temporal logic with knowledge: algorithms and their performance A Mȩski, W Penczek, M Szreter, B Woźna-Szcześniak, A Zbrzezny Autonomous Agents and Multi-Agent Systems 28 (4), 558-604, 2014 | 46 | 2014 |
| Modularity and openness in modeling multi-agent systems W Jamroga, A Mȩski, M Szreter arXiv preprint arXiv:1307.4477, 2013 | 15 | 2013 |
| Verification of linear-time temporal properties for reaction systems with discrete concentrations A Męski, M Koutny, W Penczek Fundamenta Informaticae 154 (1-4), 289-306, 2017 | 12 | 2017 |
| Model Checking for Temporal-Epistemic Properties of Distributed Reaction Systems. A Meski, M Koutny, W Penczek School of Computing Technical Report Series, 2019 | 11 | 2019 |
| Towards quantitative verification of reaction systems A Męski, M Koutny, W Penczek Unconventional Computation and Natural Computation: 15th International …, 2016 | 10 | 2016 |
| Action synthesis for branching time logic: Theory and applications M Knapik, A Męski, W Penczek ACM Transactions on Embedded Computing Systems (TECS) 14 (4), 1-23, 2015 | 9 | 2015 |
| SMT-based reachability checking for bounded time Petri nets A Półrola, P Cybula, A Męski Fundamenta Informaticae 135 (4), 467-482, 2014 | 7 | 2014 |
| Bounded model checking linear time and knowledge using decision diagrams A Meski, W Penczek, M Szreter Proc. of CS&P'11, 363-375, 2011 | 7 | 2011 |
| Reaction mining for reaction systems A Męski, M Koutny, Ł Mikulski, W Penczek Natural Computing 23 (2), 323-343, 2024 | 6 | 2024 |
| Bounded model checking for knowledge and linear time A Meski, W Penczek, M Szreter, B Woźna-Szcześniak, A Zbrzezny Proceedings of the 11th International Conference on Autonomous Agents and …, 2012 | 6 | 2012 |
| BDD-based bounded model checking for LTLK over two variants of interpreted systems A Meski, W Penczek, M Szreter Proceedings of 5th International Workshop on Logics, Agents, and Mobility, 35-50, 2012 | 6 | 2012 |
| Two approaches to bounded model checking for linear time logic with knowledge A Męski, W Penczek, M Szreter, B Woźna-Szcześniak, A Zbrzezny KES International Symposium on Agent and Multi-Agent Systems: Technologies …, 2012 | 5 | 2012 |
| Bounded model checking approaches for verificaton of distributed time Petri nets A Meski, W Penczek, A Półrola, B Woźna-Szcześniak, A Zbrzezny Proc. of the Int. Workshop on Petri Nets and Software Engineering (PNSE’11 …, 2011 | 5 | 2011 |
| Model Checking for Reaction and Multi-Agent Systems A Męski PhD thesis. Institute of Computer Science, Polish Academy of Sciences, 2020 | 2 | 2020 |
| Two approaches to bounded model checking for a soft real-time epistemic computation tree logic A Męski, B Woźna-Szcześniak, AM Zbrzezny, A Zbrzezny Distributed Computing and Artificial Intelligence: 10th International …, 2013 | 2 | 2013 |
| BDD-based bounded model checking for temporal properties of 1-safe Petri nets A Męski, W Penczek, A Półrola Fundamenta Informaticae 109 (3), 305-321, 2011 | 2 | 2011 |
| Modularity and openness in modeling MAS W Jamroga, A Meski, M Szreter BNAIC 2013: Proceedings of the 25th Benelux Conference on Artificial …, 2013 | | 2013 |
| Bounded Model Checking for Linear Time Temporal-Epistemic Logic A Meski, W Penczek, M Szreter 2012 Imperial College Computing Student Workshop 28, 88-94, 2012 | | 2012 |
| Modelowanie i weryfikacja protokołu SCTP z wykorzystaniem automatów czasowych ze zmiennymi A Męski, A Półrola Zeszyty Naukowe Wyższej Szkoły Informatyki 7 (1), 49-67, 2008 | | 2008 |
Wojciech PenczekProfessor of Computer Science, ICS PAS (Warsaw)Verified email at ipipan.waw.pl