| 2022 | ICAART | SMT-based BMC for Dense Timed Interpreted Systems and EMTLK Properties. | Agnieszka M. Zbrzezny, Andrzej Zbrzezny, Bozena Wozna-Szczesniak |
| 2021 | IJCAI | On Guaranteed Optimal Robust Explanations for NLP Models. | Emanuele La Malfa, Rhiannon Michelmore, Agnieszka M. Zbrzezny, Nicola Paoletti, Marta Kwiatkowska |
| 2019 | PDCAT | SMT Solvers as Efficient Tools for Automatic Time Properties Verification of Security Protocols. | Agnieszka M. Zbrzezny, Olga Siedlecka-Lamch, Sabina Szymoniak, Miroslaw Kurkowski |
| 2018 | AICCSA | SAT-Based BMC Approach to Verifying Real-Time Properties of Multi-Agent Systems. | Agnieszka M. Zbrzezny, 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 | PAAMS | Selected Methods of Model Checking Using SAT and SMT-Solvers. | Agnieszka M. Zbrzezny |
| 2015 | PRIMA | Checking WELTLK Properties of Weighted Interpreted Systems via SMT-Based Bounded Model Checking. | Agnieszka M. Zbrzezny, Andrzej Zbrzezny |