Kp. First-order temporal logic over trace systems / Wojciech Penczek and Marian Srebrny. - Warszawa, 1995.

Kp. Half a century of inspirational research / ed. by Wojciech Penczek and Grzegorz Rozenberg. - Amsterdam [etc.], 2007.

Kp. Rozwój aplikacji logik temporalnych w zastosowaniach informatycznych / Marek Adamek. - Warszawa, 2019. Recenzent

Strona autora, 16.01.2020 (I am Professor of Computer Science and Director of the Institute of Computer Science PAS and Professor of Computer Science at the University of Natural Sciences and Humanities; Moje główne zainteresowania badawcze to modele systemów rozproszonych, systemy wieloagentowe, modelowanie wiedzy i przekonań, logika czasowa dla systemów współbieżnych, automatyczna weryfikacja, planowanie, skład usług sieciowych oraz sprawdzanie modeli systemów współbieżnych) https://home.ipipan.waw.pl/w.penczek/

Strona autora, 16.01.2020 (Zespół Teorii Systemów Rozproszonych i Obliczeniowych, Instytut Podstaw Informatyki PAN, ul. Jana Kazimierza 5, 01-248 Warszawa; penczek@ipipan.waw.pl; Instytut Informatyki Uniwersytet Przyrodniczo-Humanistyczny, ul. Sienkiewicza 51, 08-110 Siedlce) https://home.ipipan.waw.pl/w.penczek/WPenczek/affiliation.html

Petri Nets and related system models.- Bonn, 2014. S.9: (Wojciech Penczek is the head of the Theory of Distributed Systems group at ICS PAS. He was awarded a PhD in 1989, habilitation in 1996 from ICS PAS, and the professor title in 2007 from the president of Poland. He was a research fellow in the Department of Computer Science, Technical University of Eindhoven, 1989,1993-1995, and Manchester University, 1990-1991. In 1996 he worked as a consultant at AT&T for two months. His research now is focused on verification methods for (timed) distributed and multi-agent systems. He has been a project leader of the EC-founded project CRIT-2 and played a main role in several national projects [...]) https://www.informatik.uni-augsburg.de/pnnl/PDFs/PNNL83_WWW.pdf