Artur Niewiadomski

	2009
3		Artur Niewiadomski, Wojciech Penczek, Maciej Szreter: A New Approach to Model Checking of UML State Machines. Fundam. Inform. 93(1-3): 289-303 (2009)
	2008
2		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		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] [3]
5	Agata Pólrola	[2]
6	Franco Raimondi	[1]
7	Maciej Szreter	[1] [2] [3]
8	Bozena Wozna	[2]
9	Andrzej Zbrzezny	[2]