Pawel Pietrzak
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2006–2012
Best venue rank
C
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2012 | IECON | Towards a lightweight CEP engine for embedded systems. | Pawel Pietrzak, Per Lindgren, Henrik Mkitaavola |
| 2010 | APLAS | Live Heap Space Bounds for Real-Time Systems. | Martin Kero, Pawel Pietrzak, Johan Nordlander |
| 2008 | PEPM | A practical type analysis for verification of modular prolog programs. | Pawel Pietrzak, Jess Correas, Germn Puebla, Manuel V. Hermenegildo |
| 2007 | ICLP | Automatic Binding-Related Error Diagnosis in Logic Programs. | Pawel Pietrzak, Manuel V. Hermenegildo |
| 2006 | LPAR | Context-Sensitive Multivariant Assertion Checking in Modular Programs. | Pawel Pietrzak, Jess Correas, Germn Puebla, Manuel V. Hermenegildo |