( en | de | ru )

 

Disambiguation of "Pietrzak, Pawel"

Author of the publication

copydeleteadd this publication to your clipboard
Context-Sensitive Multivariant Assertion Checking in Modular Programs.

, , , and . LPAR, volume 4246 of Lecture Notes in Computer Science, page 392-406. Springer, (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Krzysztof Pietrzak

Reiner Pietrzak

Thomas Pietrzak

Alexandra Pietrzak

Agnieszka Pietrzak

 

Other publications of authors with the same name

Parametric Descriptive Types for CLP., , and . JFPLC, page 239-256. Hermes, (2001)Automatic Binding-Related Error Diagnosis in Logic Programs., and . ICLP, volume 4670 of Lecture Notes in Computer Science, page 333-347. Springer, (2007)A SOA approach to delay and jitter tolerant distributed real-time Complex Event Processing., , , , and . ISIE, page 1-7. IEEE, (2013)Type-based Diagnosis of CLP Programs., , and . WLPE@ICLP, volume 30 of Electronic Notes in Theoretical Computer Science, page 215-234. Elsevier, (1999)A practical type analysis for verification of modular prolog programs., , , and . PEPM, page 61-70. ACM, (2008)Exocytotic vesicle fusion classification for early disease diagnosis using a mobile GPU microsystem., and . Neural Comput. Appl., 34 (6): 4843-4854 (2022)Overview of Spiking Neural Network Learning Approaches and Their Computational Complexities., , , and . Sensors, 23 (6): 3037 (March 2023)Type Inference for CLP(FD).. ILPS, page 407. MIT Press, (1997)Locating Type Errors in Untyped CLP Programs., , and . Analysis and Visualization Tools for Constraint Programming, volume 1870 of Lecture Notes in Computer Science, page 121-150. Springer, (2000)Type Analysis for CHIP., and . AMAST, volume 1548 of Lecture Notes in Computer Science, page 389-405. Springer, (1998)