Wojciech Nabialek

According to our database, Wojciech Nabialek authored at least 3 papers between 2008 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2021

SMT-Based Unbounded Model Checking for ATL.

Michal Kanski, Artur Niewiadomski, Magdalena Kacprzak, Wojciech Penczek, Wojciech Nabialek

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2021

2008

Translation of Timed Promela to Timed Automata with Discrete Data.

Wojciech Nabialek, Agata Janowska, Pawel Janowski

Fundam. Informaticae, 2008

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

Magdalena Kacprzak, Wojciech Nabialek, Artur Niewiadomski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Bozena Wozna, Andrzej Zbrzezny

Fundam. Informaticae, 2008