Abstractions and Partial Order Reductions for Checking Branching Properties of Time Petri Nets. - Wojciech Penczek; Agata Pólrola (ICATPN, 2001)

Automated Verification of Infinite State Concurrent Systems. - Piotr Dembinski; Wojciech Penczek; Agata Pólrola (PPAM, 2001)

Verification of Timed Automata Based on Similarity. - Piotr Dembinski; Wojciech Penczek; Agata Pólrola (Fundam. Informaticae, 2002)

Towards Efficient Partition Refinement for Checking Reachability in Timed Automata. - Agata Pólrola; Wojciech Penczek; Maciej Szreter (FORMATS, 2003)

Verics: A Tool for Verifying Timed Automata and Estelle Specifications. - Piotr Dembinski; Agata Janowska; Pawel Janowski; Wojciech Penczek; Agata Pólrola; Maciej Szreter; Bozena Wozna; Andrzej Zbrzezny (TACAS, 2003)

Reachability Analysis for Timed Automata Using Partitioning Algorithms. - Agata Pólrola; Wojciech Penczek; Maciej Szreter (Fundam. Informaticae, 2003)

Specification and Model Checking of Temporal Properties in Time Petri Nets and Timed Automata. - Wojciech Penczek; Agata Pólrola (ICATPN, 2004)

Minimization Algorithms for Time Petri Nets. - Agata Pólrola; Wojciech Penczek (Fundam. Informaticae, 2004)

Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach. - Wojciech Penczek; Agata Pólrola (Springer, 2006)

SAT-Based Reachability Checking for Timed Automata with Discrete Data. - Andrzej Zbrzezny; Agata Pólrola (Fundam. Informaticae, 2007)

VerICS 2007 - a Model Checker for Knowledge and Real-Time. - Magdalena Kacprzak; Wojciech Nabialek; Artur Niewiadomski 001; Wojciech Penczek; Agata Pólrola; Maciej Szreter; Bozena Wozna; Andrzej Zbrzezny (Fundam. Informaticae, 2008)

Towards Automatic Composition of Web Services: A SAT-Based Phase. - Wojciech Penczek; Agata Pólrola; Andrzej Zbrzezny (ACSD/Petri Nets Workshops, 2010)

Bounded Parametric Verification for Distributed Time Petri Nets with Discrete-Time Semantics. - Michal Knapik; Wojciech Penczek; Maciej Szreter; Agata Pólrola (Fundam. Informaticae, 2010)

Parametric Model Checking with VerICS. - Michal Knapik; Artur Niewiadomski 001; Wojciech Penczek; Agata Pólrola; Maciej Szreter; Andrzej Zbrzezny (Trans. Petri Nets Other Model. Concurr., 2010)

SAT-Based (Parametric) Reachability for a Class of Distributed Time Petri Nets. - Wojciech Penczek; Agata Pólrola; Andrzej Zbrzezny (Trans. Petri Nets Other Model. Concurr., 2010)

Bounded Model Checking Approaches for Verification of Distributed Time Petri Nets. - Artur Meski; Agata Pólrola; Wojciech Penczek; Bozena Wozna-Szczesniak; Andrzej Zbrzezny (PNSE, 2011)

PlanICS - a Web Service Composition Toolset. - Dariusz Doliwa; Wojciech Horzelski; Mariusz Jarocki; Artur Niewiadomski 001; Wojciech Penczek; Agata Pólrola; Maciej Szreter; Andrzej Zbrzezny (Fundam. Informaticae, 2011)

BDD-based Bounded Model Checking for Temporal Properties of 1-Safe Petri Nets. - Artur Meski; Wojciech Penczek; Agata Pólrola (Fundam. Informaticae, 2011)

HarmonICS - a Tool for Composing Medical Services. - Dariusz Doliwa; Wojciech Horzelski; Mariusz Jarocki; Artur Niewiadomski 001; Wojciech Penczek; Agata Pólrola; Jaroslaw Skaruz (ZEUS, 2012)

Towards Automatic Composition of Web Services: SAT-Based Concretisation of Abstract Scenarios. - Artur Niewiadomski 001; Wojciech Penczek; Agata Pólrola; Maciej Szreter; Andrzej Zbrzezny (Fundam. Informaticae, 2012)

Using Integer Time Steps for Checking Branching Time Properties of Time Petri Nets. - Agata Janowska; Wojciech Penczek; Agata Pólrola; Andrzej Zbrzezny (Trans. Petri Nets Other Model. Concurr., 2013)

SMT-Based Reachability Checking for Bounded Time Petri Nets. - Agata Pólrola; Piotr Cybula; Artur Meski (Fundam. Informaticae, 2014)

Combining ontology reductions with new approaches to automated abstract planning of Planics. - Artur Niewiadomski 001; Wojciech Penczek; Jaroslaw Skaruz; Maciej Szreter; Agata Pólrola (Appl. Soft Comput., 2017)