| 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 | 124 | 2008 |
| Verification of multiagent systems via unbounded model checking M Kacprzak, A Lomuscio, W Penczek Proceedings of the Third International Joint Conference on Autonomous Agents …, 2004 | 86 | 2004 |
| Complete genome sequence of Gluconacetobacter xylinus E25 strain—valuable and effective producer of bacterial nanocellulose K Kubiak, M Kurzawa, M Jędrzejczak-Krzepkowska, K Ludwicka, ... Journal of Biotechnology 176, 18-19, 2014 | 63 | 2014 |
| 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 | 56 | 2006 |
| Unbounded model checking for alternating-time temporal logic M Kacprzak, W Penczek Proceedings of the Third International Joint Conference on Autonomous Agents …, 2004 | 45 | 2004 |
| From bounded to unbounded model checking for temporal epistemic logic M Kacprzak, A Lomuscio, W Penczek Fundamenta Informaticae 63 (2-3), 221-240, 2004 | 35 | 2004 |
| A logic for reasoning about persuasion K Budzyńska, M Kacprzak Fundamenta Informaticae 85 (1-4), 51-65, 2008 | 32 | 2008 |
| Perseus. software for analyzing persuasion process K Budzyńska, M Kacprzak, P Rembelski Fundamenta Informaticae 93 (1-3), 65-79, 2009 | 27 | 2009 |
| Proving propositional tautologies in a natural dialogue O Yaskorska, K Budzynska, M Kacprzak Fundamenta Informaticae 128 (1-2), 239-253, 2013 | 24 | 2013 |
| Fully Symbolic Unbounded Model Checking for Alternating-time Temporal Logic1 M Kacprzak, W Penczek Autonomous Agents and Multi-Agent Systems 11, 69-89, 2005 | 24 | 2005 |
| The polish school of argumentation: A manifesto K Budzynska, M Araszkiewicz, B Bogołȩbska, P Cap, T Ciecierski, ... Argumentation 28, 267-282, 2014 | 22 | 2014 |
| Dialogue protocols for formal fallacies M Kacprzak, O Yaskorska Argumentation 28, 349-369, 2014 | 22 | 2014 |
| Unbounded model checking for knowledge and time M Kacprzak, A Lomuscio, W Penczek IPI PAN, 2003 | 21 | 2003 |
| Strategies in dialogues: A game-theoretic approach M Kacprzak, M Dziubiński, K Budzynska Computational Models of Argument, 333-344, 2014 | 20 | 2014 |
| Verifying multi-agent systems via unbounded model checking M Kacprzak, A Lomuscio, T Łasica, W Penczek, M Szreter Formal Approaches to Agent-Based Systems: Third International Workshop …, 2005 | 18 | 2005 |
| Modeling Persuasiveness: change of uncertainty through agents' interactions. K Budzynska, M Kacprzak, P Rembelski Frontiers in Artificial Intelligence and Applications 172, 85, 2008 | 16 | 2008 |
| A SAT-based approach to unbounded model checking for alternating-time temporal epistemic logic M Kacprzak, W Penczek Synthese 142, 203-227, 2004 | 16 | 2004 |
| On lattice structure and implications on ordered fuzzy numbers M Kacprzak, W Kosinski Proceedings of the 7th conference of the European Society for Fuzzy Logic …, 2011 | 14 | 2011 |
| Identification of formal fallacies in a natural dialogue M Kacprzak, A Sawicka Fundamenta Informaticae 135 (4), 403-417, 2014 | 13 | 2014 |
| New approach to decision making M Kacprzak, B Starosta, K Wȩgrzyn-Wolska Proceedings of the Second International Afro-European Conference for …, 2016 | 9 | 2016 |
