Pawel Pietrzak

Publication Activity (10 Years)

Years Active: 1997-2023
Publications (10 Years): 3

Top Topics

Complex Event Processing

Multiclass Classification

Spiking Neural Networks

Biologically Plausible

Top Venues

Neural Comput. Appl.

Publications

Pawel Pietrzak, Szymon Szczesny, Damian Huderek, Lukasz Przyborowski
Overview of Spiking Neural Network Learning Approaches and Their Computational Complexities. Sensors 23 (6) (2023)
Pawel Pietrzak, David Malec, Antoine Picot, Pascal Maussion, Tahar Hamiti, Loucif Benmamas, Philippe Manfe
Modelling of PDIV evolution over time under multiple ageing factors for insulation of inverter-fed electrical machines. IAS (2022)
Szymon Szczesny, Pawel Pietrzak
Exocytotic vesicle fusion classification for early disease diagnosis using a mobile GPU microsystem. Neural Comput. Appl. 34 (6) (2022)
Per Lindgren, Rumen Kyusakov, Jens Eliasson, Henrik Mäkitaavola, Pawel Pietrzak
A SOA approach to delay and jitter tolerant distributed real-time Complex Event Processing. ISIE (2013)
Pawel Pietrzak, Per Lindgren, Henrik Mäkitaavola
Towards a lightweight CEP engine for embedded systems. IECON (2012)
Martin Kero, Pawel Pietrzak, Johan Nordlander
Live Heap Space Bounds for Real-Time Systems. APLAS (2010)
Pawel Pietrzak, Jesús Correas, Germán Puebla, Manuel V. Hermenegildo
A practical type analysis for verification of modular prolog programs. PEPM (2008)
Pawel Pietrzak, Manuel V. Hermenegildo
Automatic Binding-Related Error Diagnosis in Logic Programs. ICLP (2007)
Pawel Pietrzak, Jesús Correas, Germán Puebla, Manuel V. Hermenegildo
Context-Sensitive Multivariant Assertion Checking in Modular Programs. LPAR (2006)
Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak
Using parametric set constraints for locating errors in CLP programs. Theory Pract. Log. Program. 2 (4-5) (2002)
Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak
Using parametric set constraints for locating errors in CLP programs CoRR (2002)
Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak
Parametric Descriptive Types for CLP. JFPLC (2001)
Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak
Locating Type Errors in Untyped CLP Programs. Analysis and Visualization Tools for Constraint Programming (2000)
Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak
Type-based Diagnosis of CLP Programs. Electron. Notes Theor. Comput. Sci. 30 (4) (1999)
Marco Comini, Wlodzimierz Drabent, Pawel Pietrzak
Diagnosis of CHIP Programs Using Type Information. APPIA-GULP-PRODE (1999)
Wlodzimierz Drabent, Pawel Pietrzak
Type Analysis for CHIP. AMAST (1998)
Pawel Pietrzak
Type Inference for CLP(FD). ILPS (1997)