Maciej Szreter

	2009
12		Gizela Jakubowska, Piotr Dembinski, Wojciech Penczek, Maciej Szreter: Simulation of Security Protocols based on Scenarios of Attacks. Fundam. Inform. 93(1-3): 185-203 (2009)
11		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
10		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)
9		Wojciech Penczek, Maciej Szreter: SAT-based Unbounded Model Checking of Timed Automata. Fundam. Inform. 85(1-4): 425-440 (2008)
	2007
8		Wojciech Penczek, Maciej Szreter: SAT-based Unbounded Model Checking of Timed Automata. ACSD 2007: 236-237
	2006
7		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)
	2005
6		Maciej Szreter: Selective Search in Bounded Model Checking of Reachability Properties. ATVA 2005: 159-173
	2004
5		Magdalena Kacprzak, Alessio Lomuscio, T. Lasica, Wojciech Penczek, Maciej Szreter: Verifying Multi-agent Systems via Unbounded Model Checking. FAABS 2004: 189-212
	2003
4		Agata Pólrola, Wojciech Penczek, Maciej Szreter: Towards Efficient Partition Refinement for Checking Reachability in Timed Automata. FORMATS 2003: 2-17
3		Piotr Dembinski, Agata Janowska, Pawel Janowski, Wojciech Penczek, Agata Pólrola, Maciej Szreter, Bozena Wozna, Andrzej Zbrzezny: Verics: A Tool for Verifying Timed Automata and Estelle Specifications. TACAS 2003: 278-283
2		Agata Pólrola, Wojciech Penczek, Maciej Szreter: Reachability Analysis for Timed Automata Using Partitioning Algorithms. Fundam. Inform. 55(2): 203-221 (2003)
	2000
1		Wojciech Penczek, Maciej Szreter, Rob Gerth, Ruurd Kuiper: Improving Partial Order Reductions for Universal Branching Time Properties. Fundam. Inform. 43(1-4): 245-267 (2000)

Coauthor Index

1	Piotr Dembinski	[3] [12]
2	Rob Gerth	[1]
3	Gizela Jakubowska	[12]
4	Agata Janowska	[3]
5	Pawel Janowski	[3]
6	Magdalena Kacprzak	[5] [7] [10]
7	Ruurd Kuiper	[1]
8	T. Lasica	[5]
9	Alessio Lomuscio	[5] [7]
10	Wojciech Nabialek	[10]
11	Artur Niewiadomski	[7] [10] [11]
12	Wojciech Penczek	[1] [2] [3] [4] [5] [7] [8] [9] [10] [11] [12]
13	Agata Pólrola	[2] [3] [4] [10]
14	Franco Raimondi	[7]
15	Bozena Wozna	[3] [10]
16	Andrzej Zbrzezny	[3] [10]