Magdalena Kacprzak

VerICS 2007 - a Model Checker for Knowledge and Real-Time

Magdalena Kacprzak, Wojciech Nabiałek, Artur Niewiadomski et al. · Fundamenta Informaticae · 2008 · 88 citations

Computing, Computer Science, Formal Methods +11

Comparing BDD and SAT Based Techniques for Model Checking Chaum's Dining Cryptographers Protocol

Magdalena Kacprzak, Alessio Lomuscio, Artur Niewiadomski et al. · UCL Discovery (University College London) · 2006 · 46 citations · Full text

Computing, Computer Science, Cryptography +16

From Bounded to Unbounded Model Checking for Temporal Epistemic Logic

Magdalena Kacprzak, Alessio Lomuscio, Wojciech Penczek · Fundamenta Informaticae · 2004 · 31 citations

Computing, Computer Science, Formal Methods +13

Dialogue Protocols for Formal Fallacies

Magdalena Kacprzak, Olena Yaskorska · Argumentation · 2014 · 20 citations · Full text

Humanities, Philosophy, Discourse Analysis +15

Fully Symbolic Unbounded Model Checking for Alternating-time Temporal Logic1

Magdalena Kacprzak, Wojciech Penczek · Autonomous Agents and Multi-Agent Systems · 2005 · 20 citations

Computing, Computer Science, Formal Methods +11