Pawel Pietrzak

According to our database, Pawel Pietrzak authored at least 17 papers between 1997 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

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

2023

Overview of Spiking Neural Network Learning Approaches and Their Computational Complexities.

Pawel Pietrzak, Szymon Szczesny, Damian Huderek, Lukasz Przyborowski

Sensors, March, 2023

2022

Exocytotic vesicle fusion classification for early disease diagnosis using a mobile GPU microsystem.

Szymon Szczesny, Pawel Pietrzak

Neural Comput. Appl., 2022

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

Proceedings of the IEEE Industry Applications Society Annual Meeting, 2022

2013

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

Proceedings of the 22nd IEEE International Symposium on Industrial Electronics, 2013

2012

Towards a lightweight CEP engine for embedded systems.

Pawel Pietrzak, Per Lindgren, Henrik Mäkitaavola

Proceedings of the 38th Annual Conference on IEEE Industrial Electronics Society, 2012

2010

Live Heap Space Bounds for Real-Time Systems.

Martin Kero, Pawel Pietrzak, Johan Nordlander

Proceedings of the Programming Languages and Systems - 8th Asian Symposium, 2010

2008

A practical type analysis for verification of modular prolog programs.

Pawel Pietrzak, Jesús Correas, Germán Puebla, Manuel V. Hermenegildo

Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, 2008

2007

Automatic Binding-Related Error Diagnosis in Logic Programs.

Pawel Pietrzak, Manuel V. Hermenegildo

Proceedings of the Logic Programming, 23rd International Conference, 2007

2006

Context-Sensitive Multivariant Assertion Checking in Modular Programs.

Pawel Pietrzak, Jesús Correas, Germán Puebla, Manuel V. Hermenegildo

Proceedings of the Logic for Programming, 2006

2002

Using parametric set constraints for locating errors in CLP programs.

Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak

Theory Pract. Log. Program., 2002

2001

Parametric Descriptive Types for CLP.

Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak

Proceedings of the Programmation en logique avec contraintes, Actes des JFPLC'2001, 24 avril, 2001

2000

Locating Type Errors in Untyped CLP Programs.

Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak

Proceedings of the Analysis and Visualization Tools for Constraint Programming, 2000

1999

Type-based Diagnosis of CLP Programs.

Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak

Proceedings of the Tenth Workshop on Logic Programming Environments, 1999

Diagnosis of CHIP Programs Using Type Information.

Marco Comini, Wlodzimierz Drabent, Pawel Pietrzak

Proceedings of the 1999 Joint Conference on Declarative Programming, 1999

1998

Type Analysis for CHIP.

Wlodzimierz Drabent, Pawel Pietrzak

Proceedings of the Algebraic Methodology and Software Technology, 1998

1997

Type Inference for CLP(FD).

Pawel Pietrzak

Proceedings of the Logic Programming, 1997