| On guaranteed optimal robust explanations for NLP models E La Malfa, A Zbrzezny, R Michelmore, N Paoletti, M Kwiatkowska arXiv preprint arXiv:2105.03640, 2021 | 41 | 2021 |
| The BMC method for the existential part of RTCTLK and interleaved interpreted systems B Woźna-Szcześniak, A Zbrzezny, A Zbrzezny Progress in Artificial Intelligence: 15th Portuguese Conference on …, 2011 | 15 | 2011 |
| SAT-based bounded model checking for weighted interpreted systems and weighted linear temporal logic B Woźna-Szcześniak, AM Zbrzezny, A Zbrzezny International Conference on Principles and Practice of Multi-Agent Systems …, 2013 | 12 | 2013 |
| Sat and smt-based verification of security protocols including time aspects S Szymoniak, O Siedlecka-Lamch, AM Zbrzezny, A Zbrzezny, ... Sensors 21 (9), 3055, 2021 | 11 | 2021 |
| Efficient model checking timed and weighted interpreted systems using SMT and SAT solvers AM Zbrzezny, A Zbrzezny, F Raimondi Agent and Multi-Agent Systems: Technology and Applications: 10th KES …, 2016 | 8 | 2016 |
| Versectis-an agent based model checker for security protocols AM Zbrzezny, A Zbrzezny, S Szymoniak, O Siedlecka-Lamch, ... Proceedings of the 19th International Conference on Autonomous Agents and …, 2020 | 7 | 2020 |
| Efficient verification of security protocols time properties using SMT solvers AM Zbrzezny, S Szymoniak, M Kurkowski International Joint Conference: 12th International Conference on …, 2020 | 7 | 2020 |
| SMT-based Searching for k-quasi-optimal Runs in Weighted Timed Automata B Woźna-Szcześniak, AM Zbrzezny, A Zbrzezny Fundamenta Informaticae 152 (4), 411-433, 2017 | 6* | 2017 |
| SMT-based bounded model checking for weighted epistemic ECTL AM Zbrzezny, B Woźna-Szcześniak, A Zbrzezny Portuguese Conference on Artificial Intelligence, 651-657, 2015 | 6 | 2015 |
| Deceptive Tricks in Artificial Intelligence: Adversarial Attacks in Ophthalmology AM Zbrzezny, AE Grzybowski Journal of Clinical Medicine 12 (9), 3266, 2023 | 5 | 2023 |
| Checking WECTLK properties of timed real-weighted interpreted systems via SMT-based bounded model checking AM Zbrzezny, A Zbrzezny Progress in Artificial Intelligence: 17th Portuguese Conference on …, 2015 | 5 | 2015 |
| SAT-based bounded model checking for RTECTL and simply-timed systems B Woźna-Szcześniak, A Zbrzezny, A Zbrzezny European Workshop on Performance Engineering, 337-349, 2013 | 5 | 2013 |
| Practical approach in verification of security systems using satisfiability modulo theories AM Zbrzezny, S Szymoniak, M Kurkowski Logic Journal of the IGPL 30 (2), 289-300, 2022 | 4 | 2022 |
| Simple SMT-based bounded model checking for timed interpreted systems AM Zbrzezny, A Zbrzezny International Joint Conference on Rough Sets, 487-504, 2017 | 4 | 2017 |
| Simple bounded MTL model checking for discrete timed automata A Zbrzezny, A Zbrzezny CS&P, 37-48, 2016 | 4 | 2016 |
| Checking RTECTL properties of stss via smt-based bounded model checking AM Zbrzezny, A Zbrzezny Distributed Computing and Artificial Intelligence, 12th International …, 2015 | 4 | 2015 |
| Bounded model checking for weighted interpreted systems and for flat weighted epistemic computation tree logic B Woźna-Szcześniak, I Szcześniak, AM Zbrzezny, A Zbrzezny International Conference on Principles and Practice of Multi-Agent Systems …, 2014 | 4 | 2014 |
| A global review of publicly available datasets containing fundus images: characteristics, barriers to access, usability, and generalizability T Krzywicki, P Brona, AM Zbrzezny, AE Grzybowski Journal of Clinical Medicine 12 (10), 3587, 2023 | 3 | 2023 |
| SMT solvers as efficient tools for automatic time properties verification of security protocols AM Zbrzezny, O Siedlecka-Lamch, S Szymoniak, M Kurkowski 2019 20th International Conference on Parallel and Distributed Computing …, 2019 | 3 | 2019 |
| Verifying real-time properties of multi-agent systems via smt-based bounded model checking AM Zbrzezny, A Zbrzezny International Conference on Principles and Practice of Multi-Agent Systems …, 2016 | 3 | 2016 |
Andrzej ZbrzeznyDepartment of Mathematics and Computer Science, Jan Długosz University in CzęstochowaПодтвержден адрес электронной почты в домене ujd.edu.pl
