Pawel Pietrzak

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