Publications

of year 1999

Books and proceedings

  1. J. Jaffar, editor. CP99l, volume 1713 of LNCS, October 1999. SV. ISBN: 3-540-66626-5.

Thesis

  1. Armin Wolf. Adaptive Constraintverarbeitung mit Constraint-Handling-Rules -- Ein allgemeiner Ansatz zur Lösung dynamischer Constraint-probleme. PhD thesis, Technical University Berlin, Germany, 1999.

Articles in journal, book chapters

  1. Slim Abdennadher, Thom Frühwirth, and Holger Meuss. Confluence and Semantics of Constraint Simplification Rules. Constraints, 4(2):133-165, 1999. ISSN: 1383-7133. [doi:10.1023/A:1009842826135] Keyword(s): confluence, semantics.
  2. Mireille Ducassé. Opium: an extendable trace analyzer for Prolog. J. Logic Programming, 39(1--3):177-223, 1999.

Conference articles

  1. Slim Abdennadher and Thom Frühwirth. Operational Equivalence of CHR Programs and Constraints. In J. Jaffar, editor, CP99l, volume 1713 of LNCS, pages 43-57, October 1999. SV. ISBN: 3-540-66626-5. Keyword(s): semantics.
  2. Christian Holzbaur and Thom Frühwirth. Compiling Constraint Handling Rules into Prolog with Attributed Variables. In G. Nadathur, editor, PPDP99, volume 1702 of LNCS, pages 117-133, 1999. SV. Keyword(s): implementation.
  3. Carlos Ribeiro and Paulo Guedes. Verifying workflow processes against organization security policies. In WETICE '99: Proc. 8th Workshop on Enabling Technologies on Infrastructure for Collaborative Enterprises, 1999. IEEE Computer Society. [doi:10.1109/ENABL.1999.805198]

Miscellaneous

  1. Matthias Schmauss. An Implementation of CHR in Java. Diplomarbeit, Institute of Computer Science, LMU, Munich, Germany, November 1999. Keyword(s): implementation, Java.

BACK TO INDEX