Towards an Understanding of Complex Processes. - Piotr Dembinski (MFCS, 1974)

The taming of the pointer. - Piotr Dembinski; Richard L. Schwartz (ACM SIGPLAN Notices, 1977)

Attribute Grammars and Two-Level Grammars: A Unifying Approach. - Piotr Dembinski; Jan Maluszynski (MFCS, 1978)

Firmware versus software verification. - Stanislaw Budkowski; Piotr Dembinski (MICRO, 1978)

An introduction to the verification oriented microprogramming language "MIDDLE". - Piotr Dembinski; Stanislaw Budkowski (MICRO, 1978)

Two Level Grammars: CF-Grammars with Equation Schemes. - Piotr Dembinski; Jan Maluszynski (ICALP, 1979)

AND-Parallelism with Intelligent Backtracking for Annotated Logic Programs. - Piotr Dembinski; Jan Maluszynski (SLP, 1985)

Simulating Estelle Specifications with Time Parameters. - Piotr Dembinski; Stanislaw Budkowski (PSTV, 1987)

An Introduction to Estelle: A Specification Language for Distributed Systems. - Stanislaw Budkowski; Piotr Dembinski (Comput. Networks, 1987)

Interfacing ASN.1 and Estelle: A Practical Approach. - Piotr Dembinski (FORTE, 1990)

Queueing network model for Estelle. - Piotr Dembinski (FORTE, 1992)

Formal Specification, Validation and Performance Evaluation of the Xpress Transfer Protocol. - Stanislaw Budkowski; A. B. Alkhechi; Mohamed-Lyes Benalycherif; Piotr Dembinski; M. Gardie; E. Lallet; J. P. Mouchel La Fosse; Younes Souissi (PSTV, 1993)

Formal Methods after 15 Years: Status and Trends (Paper based on contributions of the panelists at the FORmal TEchnique '95, Conference, Montreal, October 1995). - Jean-Pierre Courtiat; Piotr Dembinski; Gerard J. Holzmann; Luigi Logrippo; Harry Rudin; Pamela Zave (Comput. Networks ISDN Syst., 1996)

Semantics of Times Concurrent Systems. - Piotr Dembinski (Fundam. Informaticae, 1997)

Enumeration Protocol in Estelle: an exercise in stepwise development. - Piotr Dembinski (FORTE, 1998)

Distributed and randomized enumeration. - Piotr Dembinski (PDP, 2000)

Automated Verification of Infinite State Concurrent Systems. - Piotr Dembinski; Wojciech Penczek; Agata Pólrola (PPAM, 2001)

Verification of Timed Automata Based on Similarity. - Piotr Dembinski; Wojciech Penczek; Agata Pólrola (Fundam. Informaticae, 2002)

Verics: A Tool for Verifying Timed Automata and Estelle Specifications. - Piotr Dembinski; Agata Janowska; Pawel Janowski; Wojciech Penczek; Agata Pólrola; Maciej Szreter; Bozena Wozna; Andrzej Zbrzezny (TACAS, 2003)

Simulation of Security Protocols based on Scenarios of Attacks. - Gizela Jakubowska; Piotr Dembinski; Wojciech Penczek; Maciej Szreter (Fundam. Informaticae, 2009)

Towards Partial Order Reductions for Strategic Ability. - Wojciech Jamroga; Wojciech Penczek; Piotr Dembinski; Antoni W. Mazurkiewicz (AAMAS, 2018)

Towards Partial Order Reductions for Strategic Ability. - Wojciech Jamroga; Wojciech Penczek; Teofil Sidoruk; Piotr Dembinski; Antoni W. Mazurkiewicz (J. Artif. Intell. Res., 2020)