Wojciech Penczek

Communication and concurrency

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

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 · 127 citations

Computing, Computer Science, Distributed Systems +12

Bounded Model Checking for the Universal Fragment of CTL

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

Computing, Computer Science, Logic +12

A Partial Order Approach to Branching Time Logic Model Checking

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

Computing, Computer Science, Algorithms +12

Model-checking of causality properties

Rajeev Alur, Doron Peled, Wojciech Penczek · 2002 · 89 citations

Computing, Computer Science, Algorithms +8