Type Inference for CLP(FD). - Pawel Pietrzak (ILPS, 1997)

Type Analysis for CHIP. - Wlodzimierz Drabent; Pawel Pietrzak (AMAST, 1998)

Diagnosis of CHIP Programs Using Type Information. - Marco Comini; Wlodzimierz Drabent; Pawel Pietrzak (APPIA-GULP-PRODE, 1999)

Type-based Diagnosis of CLP Programs. - Wlodzimierz Drabent; Jan Maluszynski; Pawel Pietrzak (WLPE@ICLP, 1999)

Locating Type Errors in Untyped CLP Programs. - Wlodzimierz Drabent; Jan Maluszynski; Pawel Pietrzak (Analysis and Visualization Tools for Constraint Programming, 2000)

Parametric Descriptive Types for CLP. - Wlodzimierz Drabent; Jan Maluszynski; Pawel Pietrzak (JFPLC, 2001)

Using parametric set constraints for locating errors in CLP programs. - Wlodzimierz Drabent; Jan Maluszynski; Pawel Pietrzak (Theory Pract. Log. Program., 2002)

A type-based framework for locating errors in constraint logic programs. - Pawel Pietrzak (2002)

Context-Sensitive Multivariant Assertion Checking in Modular Programs. - Pawel Pietrzak; Jesús Correas; Germán Puebla; Manuel V. Hermenegildo (LPAR, 2006)

Automatic Binding-Related Error Diagnosis in Logic Programs. - Pawel Pietrzak; Manuel V. Hermenegildo (ICLP, 2007)

A practical type analysis for verification of modular prolog programs. - Pawel Pietrzak; Jesús Correas; Germán Puebla; Manuel V. Hermenegildo (PEPM, 2008)

Live Heap Space Bounds for Real-Time Systems. - Martin Kero; Pawel Pietrzak; Johan Nordlander (APLAS, 2010)

Towards a lightweight CEP engine for embedded systems. - Pawel Pietrzak; Per Lindgren; Henrik Mäkitaavola (IECON, 2012)

A SOA approach to delay and jitter tolerant distributed real-time Complex Event Processing. - Per Lindgren; Rumen Kyusakov; Jens Eliasson; Henrik Mäkitaavola; Pawel Pietrzak (ISIE, 2013)

Modelling of PDIV evolution over time under multiple ageing factors for insulation of inverter-fed electrical machines. - Pawel Pietrzak; David Malec; Antoine Picot; Pascal Maussion; Tahar Hamiti; Loucif Benmamas; Philippe Manfe (IAS, 2022)

Exocytotic vesicle fusion classification for early disease diagnosis using a mobile GPU microsystem. - Szymon Szczesny; Pawel Pietrzak (Neural Comput. Appl., 2022)

Overview of Spiking Neural Network Learning Approaches and Their Computational Complexities. - Pawel Pietrzak; Szymon Szczesny; Damian Huderek; Lukasz Przyborowski (Sensors, 2023)

A spiking neural network based on thalamo-cortical neurons for self-learning agent applications. - Damian Huderek; Szymon Szczesny; Pawel Pietrzak; Raul Rato; Lukasz Przyborowski (Int. J. Appl. Math. Comput. Sci., 2024)