VerICS 2007 - a Model Checker for Knowledge and Real-Time. - Magdalena Kacprzak; Wojciech Nabialek; Artur Niewiadomski 001; Wojciech Penczek; Agata Pólrola; Maciej Szreter; Bozena Wozna; Andrzej Zbrzezny (Fundam. Informaticae, 2008)

Translation of Timed Promela to Timed Automata with Discrete Data. - Wojciech Nabialek; Agata Janowska; Pawel Janowski (Fundam. Informaticae, 2008)

SMT-Based Unbounded Model Checking for ATL. - Michal Kanski; Artur Niewiadomski 001; Magdalena Kacprzak; Wojciech Penczek; Wojciech Nabialek (VECoS, 2021)