| Verics 2007-a model checker for knowledge and real-time M Kacprzak, W Nabiałek, A Niewiadomski, W Penczek, A Półrola, ... Fundamenta Informaticae 85 (1-4), 313-328, 2008 | 127 | 2008 |
| √ erics: a tool for verifying timed automata and estelle specifications P Dembiński, A Janowska, P Janowski, W Penczek, A Półrola, M Szreter, ... Tools and Algorithms for the Construction and Analysis of Systems, 278-283, 2003 | 91 | 2003 |
| Comparing BDD and SAT based techniques for model checking Chaum's dining cryptographers protocol M Kacprzak, A Lomuscio, A Niewiadomski, W Penczek, F Raimondi, ... Fundamenta Informaticae 72 (1-3), 215-234, 2006 | 57 | 2006 |
| Improving partial order reductions for universal branching time properties W Penczek, M Szreter, R Gerth, R Kuiper Fundamenta Informaticae 43 (1-4), 245-267, 2000 | 47 | 2000 |
| 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, 558-604, 2014 | 45 | 2014 |
| Planics-a web service composition toolset D Doliwa, W Horzelski, M Jarocki, A Niewiadomski, W Penczek, A Półrola, ... Fundamenta Informaticae 112 (1), 47-71, 2011 | 40 | 2011 |
| VerICS 2004: A model checker for real time and multi-agent systems W Nabialek, A Niewiadomski, W Penczek, A Polrola, M Szreter Proceedings of the International Workshop on Concurrency, Specification and …, 2004 | 35 | 2004 |
| Partial order reductions preserving simulations W Penczek, R Gerth, R Kuiper, M Szreter Submitted for publication, 1999 | 25 | 1999 |
| A new approach to model checking of UML state machines A Niewiadomski, W Penczek, M Szreter Fundamenta Informaticae 93 (1-3), 289-303, 2009 | 23 | 2009 |
| Verifying multi-agent systems via unbounded model checking M Kacprzak, A Lomuscio, T Łasica, W Penczek, M Szreter International Workshop on Formal Approaches to Agent-Based Systems, 189-212, 2004 | 19 | 2004 |
| Modularity and openness in modeling multi-agent systems W Jamroga, A Mȩski, M Szreter arXiv preprint arXiv:1307.4477, 2013 | 15 | 2013 |
| Runtime monitoring of contract regulated web services. A Lomuscio, M Solanki, W Penczek, M Szreter AAMAS, 1449-1450, 2010 | 15 | 2010 |
| SMT versus genetic and OpenOpt algorithms: Concrete planning in the PlanICS framework A Niewiadomski, J Skaruz, W Penczek, M Szreter, M Jarocki Fundamenta Informaticae 135 (4), 451-466, 2014 | 14 | 2014 |
| Parametric Model Checking with VerICS M Knapik, A Niewiadomski, W Penczek, A Półrola, M Szreter, A Zbrzezny Transactions on Petri nets and other models of concurrency IV, 98-120, 2010 | 12 | 2010 |
| Bounded parametric verification for distributed time Petri nets with discrete-time semantics M Knapik, W Penczek, M Szreter Fundamenta Informaticae 101 (1-2), 9-27, 2010 | 12 | 2010 |
| Towards checking parametric reachability for UML state machines A Niewiadomski, W Penczek, M Szreter International Andrei Ershov Memorial Conference on Perspectives of System …, 2009 | 11 | 2009 |
| Web services composition-from ontology to plan by query D Doliwa, W Horzelski, M Jarocki, A Niewiadomski, W Penczek, A Półrola, ... Control and Cybernetics 40 (2), 315-336, 2011 | 9 | 2011 |
| Runtime monitoring of contract regulated web services A Lomuscio, W Penczek, M Solanki, M Szreter Fundamenta Informaticae 111 (3), 339-355, 2011 | 9 | 2011 |
| Bounded parametric model checking for elementary net systems M Knapik, M Szreter, W Penczek Transactions on Petri Nets and Other Models of Concurrency IV, 42-71, 2010 | 9 | 2010 |
| Towards automatic composition of web services: Abstract planning phase M Jarocki, A Niewiadomski, W Penczek, A Półrola, M Szreter Polish Academy of Sciences [PAS]. Institute of Computer Science, 2010 | 8 | 2010 |
Wojciech PenczekProfessor of Computer Science, ICS PAS (Warsaw)Overená e-mailová adresa na: ipipan.waw.pl
