The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Pawel Pietrzak: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Marco Comini, Wlodzimierz Drabent, Pawel Pietrzak
    Diagnosis of CHIP Programs Using Type Information. [Citation Graph (0, 0)][DBLP]
    APPIA-GULP-PRODE, 1999, pp:337-350 [Conf]
  2. Wlodzimierz Drabent, Pawel Pietrzak
    Type Analysis for CHIP. [Citation Graph (0, 0)][DBLP]
    AMAST, 1998, pp:389-405 [Conf]
  3. Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak
    Locating Type Errors in Untyped CLP Programs. [Citation Graph (0, 0)][DBLP]
    Analysis and Visualization Tools for Constraint Programming, 2000, pp:121-150 [Conf]
  4. Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak
    Parametric Descriptive Types for CLP. [Citation Graph (0, 0)][DBLP]
    JFPLC, 2001, pp:239-256 [Conf]
  5. Pawel Pietrzak, Jesús Correas, Germán Puebla, Manuel V. Hermenegildo
    Context-Sensitive Multivariant Assertion Checking in Modular Programs. [Citation Graph (0, 0)][DBLP]
    LPAR, 2006, pp:392-406 [Conf]
  6. Pawel Pietrzak
    Type Inference for CLP(FD). [Citation Graph (0, 0)][DBLP]
    ILPS, 1997, pp:407- [Conf]
  7. Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak
    Using parametric set constraints for locating errors in CLP programs [Citation Graph (0, 0)][DBLP]
    CoRR, 2002, v:0, n:, pp:- [Journal]
  8. Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak
    Type-based Diagnosis of CLP Programs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:30, n:4, pp:- [Journal]
  9. Wlodzimierz Drabent, Jan Maluszynski, Pawel Pietrzak
    Using parametric set constraints for locating errors in CLP programs. [Citation Graph (0, 0)][DBLP]
    TPLP, 2002, v:2, n:4-5, pp:549-610 [Journal]
  10. Pawel Pietrzak, Manuel V. Hermenegildo
    Automatic Binding-Related Error Diagnosis in Logic Programs. [Citation Graph (0, 0)][DBLP]
    ICLP, 2007, pp:333-347 [Conf]

  11. A practical type analysis for verification of modular prolog programs. [Citation Graph (, )][DBLP]


Search in 0.079secs, Finished in 0.081secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002