Piotr Dembinski

	2009
18		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)
	2003
17		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
	2002
16		Piotr Dembinski, Wojciech Penczek, Agata Pólrola: Verification of Timed Automata Based on Similarity. Fundam. Inform. 51(1-2): 59-89 (2002)
	2001
15		Piotr Dembinski, Wojciech Penczek, Agata Pólrola: Automated Verification of Infinite State Concurrent Systems. PPAM 2001: 247-255
	1998
14		Piotr Dembinski: Enumeration Protocol in Estelle: an exercise in stepwise development. FORTE 1998: 147-162
	1997
13		Piotr Dembinski: Semantics of Times Concurrent Systems. Fundam. Inform. 29(1-2): 27-50 (1997)
	1996
12		Piotr Dembinski, Marek Sredniawa: Protocol Specification, Testing and Verification XV, Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Warsaw, Poland, June 1995 Chapman & Hall 1996
11		Jean-Pierre Courtiat, Piotr Dembinski, Gerard J. Holzmann, Luigi Logrippo, Harry Rudin, Pamela Zave: Formal Methods after 15 Years: Status and Trends (Paper based on contributions of the panelists at the FORmal TEchnique '95, Conference, Montreal, October 1995). Computer Networks and ISDN Systems 28(13): 1845-1855 (1996)
	1993
10		Stanislaw Budkowski, A. B. Alkhechi, Mohamed-Lyes Benalycherif, Piotr Dembinski, M. Gardie, E. Lallet, J. P. Mouchel La Fosse, Younes Souissi: Formal Specification, Validation and Performance Evaluation of the Xpress Transfer Protocol. PSTV 1993: 191-206
	1992
9		Piotr Dembinski: Queueing network model for Estelle. FORTE 1992: 73-86
	1990
8		Piotr Dembinski: Interfacing ASN.1 and Estelle: A Practical Approach. FORTE 1990: 361-368
	1987
7		Piotr Dembinski, Stanislaw Budkowski: Simulating Estelle Specifications with Time Parameters. PSTV 1987: 265-279
6		Stanislaw Budkowski, Piotr Dembinski: An Introduction to Estelle: A Specification Language for Distributed Systems. Computer Networks 14: 3-23 (1987)
	1985
5		Piotr Dembinski, Jan Maluszynski: AND-Parallelism with Intelligent Backtracking for Annotated Logic Programs. SLP 1985: 29-38
	1980
4		Piotr Dembinski: Mathematical Foundations of Computer Science 1980 (MFCS'80), Proceedings of the 9th Symposium, Rydzyna, Poland, September 1-5, 1980 Springer 1980
	1979
3		Piotr Dembinski, Jan Maluszynski: Two Level Grammars: CF-Grammars with Equation Schemes. ICALP 1979: 171-187
	1978
2		Piotr Dembinski, Jan Maluszynski: Attribute Grammars and Two-Level Grammars: A Unifying Approach. MFCS 1978: 143-154
	1974
1		Piotr Dembinski: Towards an Understanding of Complex Processes. MFCS 1974: 175-185

Coauthor Index

1	A. B. Alkhechi	[10]
2	Mohamed-Lyes Benalycherif	[10]
3	Stanislaw Budkowski	[6] [7] [10]
4	Jean-Pierre Courtiat	[11]
5	J. P. Mouchel La Fosse	[10]
6	M. Gardie	[10]
7	Gerard J. Holzmann	[11]
8	Gizela Jakubowska	[18]
9	Agata Janowska	[17]
10	Pawel Janowski	[17]
11	E. Lallet	[10]
12	Luigi Logrippo	[11]
13	Jan Maluszynski	[2] [3] [5]
14	Wojciech Penczek	[15] [16] [17] [18]
15	Agata Pólrola	[15] [16] [17]
16	Harry Rudin	[11]
17	Younes Souissi	[10]
18	Marek Sredniawa	[12]
19	Maciej Szreter	[17] [18]
20	Bozena Wozna	[17]
21	Pamela Zave	[11]
22	Andrzej Zbrzezny	[17]

Colors in the list of coauthors