| 2023 | ECAI | SMT-Based Satisfiability Checking of Strategic Metric Temporal Logic. | Magdalena Kacprzak, Artur Niewiadomski, Wojciech Penczek, Andrzej Zbrzezny |
| 2022 | ICAART | SMT-based BMC for Dense Timed Interpreted Systems and EMTLK Properties. | Agnieszka M. Zbrzezny, Andrzej Zbrzezny, Bozena Wozna-Szczesniak |
| 2019 | ICAISC | SMT-Based Encoding of Argumentation Dialogue Games. | Magdalena Kacprzak, Anna Sawicka, Andrzej Zbrzezny |
| 2018 | AICCSA | SAT-Based BMC Approach to Verifying Real-Time Properties of Multi-Agent Systems. | Agnieszka M. Zbrzezny, Andrzej Zbrzezny |
| 2018 | ICAISC | Modelling the Affective Power of Locutions in a Persuasive Dialogue Game. | Magdalena Kacprzak, Anna Sawicka, Andrzej Zbrzezny |
| 2016 | ICAISC | Towards Verification of Dialogue Protocols: A Mathematical Model. | Magdalena Kacprzak, Anna Sawicka, Andrzej Zbrzezny |
| 2016 | PRIMA | Verifying Real-Time Properties of Multi-agent Systems via SMT-Based Bounded Model Checking. | Agnieszka M. Zbrzezny, Andrzej Zbrzezny |
| 2015 | DCAI | Checking RTECTL Properties of STSs via SMT-Based Bounded Model Checking. | Agnieszka M. Zbrzezny, Andrzej Zbrzezny |
| 2015 | EPIA | SMT-Based Bounded Model Checking for Weighted Epistemic ECTL. | Agnieszka M. Zbrzezny, Bozena Wozna-Szczesniak, Andrzej Zbrzezny |
| 2015 | EPIA | Checking WECTLK Properties of Timed Real-Weighted Interpreted Systems via SMT-Based Bounded Model Checking. | Agnieszka M. Zbrzezny, Andrzej Zbrzezny |
| 2015 | PRIMA | Checking WELTLK Properties of Weighted Interpreted Systems via SMT-Based Bounded Model Checking. | Agnieszka M. Zbrzezny, Andrzej Zbrzezny |
| 2014 | PRIMA | Bounded Model Checking for Weighted Interpreted Systems and for Flat Weighted Epistemic Computation Tree Logic. | Bozena Wozna-Szczesniak, Ireneusz Szczesniak, Agnieszka Zbrzezny, Andrzej Zbrzezny |
| 2013 | DCAI | Two Approaches to Bounded Model Checking for a Soft Real-Time Epistemic Computation Tree Logic. | Artur Meski, Bozena Wozna-Szczesniak, Agnieszka Zbrzezny, Andrzej Zbrzezny |
| 2013 | PRIMA | SAT-Based Bounded Model Checking for Weighted Interpreted Systems and Weighted Linear Temporal Logic. | Bozena Wozna-Szczesniak, Agnieszka Zbrzezny, Andrzej Zbrzezny |
| 2012 | AAMAS | Bounded model checking for knowledge and linear time. | Artur Meski, Wojciech Penczek, Maciej Szreter, Bozena Wozna-Szczesniak, Andrzej Zbrzezny |
| 2011 | EPIA | The BMC Method for the Existential Part of RTCTLK and Interleaved Interpreted Systems. | Bozena Wozna-Szczesniak, Agnieszka Zbrzezny, Andrzej Zbrzezny |
| 2003 | TACAS | Verics: A Tool for Verifying Timed Automata and Estelle Specifications. | Piotr Dembinski, Agata Janowska, Pawel Janowski, Wojciech Penczek, Agata Plrola, Maciej Szreter, Bozena Wozna, Andrzej Zbrzezny |