Artur Niewiadomski

2008
2	EE	Magdalena Kacprzak, Wojciech Nabialek, Artur Niewiadomski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Bozena Wozna, Andrzej Zbrzezny: VerICS 2007 - a Model Checker for Knowledge and Real-Time. Fundam. Inform. 85(1-4): 313-328 (2008)
2006
1	EE	Magdalena Kacprzak, Alessio Lomuscio, Artur Niewiadomski, Wojciech Penczek, Franco Raimondi, Maciej Szreter: Comparing BDD and SAT Based Techniques for Model Checking Chaum's Dining Cryptographers Protocol. Fundam. Inform. 72(1-3): 215-234 (2006)

Coauthor Index

1	Magdalena Kacprzak	[1] [2]
2	Alessio Lomuscio	[1]
3	Wojciech Nabialek	[2]
4	Wojciech Penczek	[1] [2]
5	Agata Pólrola	[2]
6	Franco Raimondi	[1]
7	Maciej Szreter	[1] [2]
8	Bozena Wozna	[2]
9	Andrzej Zbrzezny	[2]