Publications

of Pierre Deransart

Articles in journal, book chapters

  1. P. Deransart. Conception de traces et applications (vers une méta-théorie des traces)‘‘document de travail’’8 février 2010. 2010.

Conference articles

  1. Armando Gonçalves, Marcos Aurélio Almeida da Silva, Pierre Deransart, and Jacques Robin. Towards a Generic Trace for Rule Based Constraint Reasoning. In Jon Sneyers, editor, CHR11l, pages 32-47, September 2011. GUC, Technical report. [PDF] Keyword(s): debugging, CHR 2011, CHR 2011.

Internal reports

  1. Pierre Deransart and Rafael Oliveira. Towards a Generic Framework to Generate Explanatory Traces of Constraint Solving and Rule-Based Reasoning. Technical report 7165, INRIA, Paris -- Rocquenfourt, December 2010. [WWW] Keyword(s): applications.

BACK TO INDEX