Wojciech Penczek

Communication and concurrency

Wojciech Penczek · Science of Computer Programming · 1990 · 4K citations

Engineering, Concurrency Theory, Concurrency (Computer Science) +5

Verifying epistemic properties of multi-agent systems via bounded model checking

Wojciech Penczek, Alessio Lomuscio · Proceedings of the second international joint conference on Autonomous agents and multiagent systems - AAMAS '03 · 2003 · 126 citations

Normative Multi-agent System, Engineering, Automated Reasoning +15

Bounded Model Checking for the Universal Fragment of CTL

Wojciech Penczek, Bożena Woźna-Szcześniak, Andrzej Zbrzezny · 2002 · 102 citations

Bounded Model Checking, Engineering, Automated Reasoning +13

A Partial Order Approach to Branching Time Logic Model Checking

Rob Gerth, Ruurd Kuiper, Doron Peled et al. · Information and Computation · 1999 · 101 citations · Full text

Engineering, Program Analysis, Automated Reasoning +11

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

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

Verics 2007, Engineering, Verification +23