Maciej Szreter

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

Improving Partial Order Reductions for Universal Branching Time Properties

Wojciech Penczek, Maciej Szreter, Rob Gerth et al. · Fundamenta Informaticae · 2000 · 42 citations

Computing, Computer Science, Algorithms +13

BDD-versus SAT-based bounded model checking for the existential fragment of linear temporal logic with knowledge: algorithms and their performance

Artur Męski, Wojciech Penczek, Maciej Szreter et al. · Autonomous Agents and Multi-Agent Systems · 2013 · 37 citations · Full text

Computing, Computer Science, Algorithms +13

Verics: A Tool for Verifying Timed Automata and Estelle Specifications

Piotr Dembiński, Agata Janowska, Paweł Janowski et al. · 2003 · 25 citations

Computing, Computer Engineering, Computer Science +17