CHR Bibliography

Constraint Handling Rules (CHR) is an elegant, high-level programming language based on multi-headed multiset rewrite rules. During the last decade, CHR-related research has surged, and CHR has been used for many interesting applications. This thorough bibliography of over 300 publications by over 150 authors, covers a wide range of CHR research areas, from semantics and analysis to systems, language extensions and applications.

This bibliography is originally based on the recent survey article As Time Goes By: Constraint Handling Rules — A Survey of CHR Research from 1998 to 2007 (draft). Please send BibTEX entries of missing CHR-related publications to Peter Van Weert.

Selection by year

2010 2009 2008 2007 2006 2005 2004 2003 2002 2001
2000 1999 1998 1997 1996 1995 1994 1993 1992 1991

Selection by category

Books and proceedings Thesis Articles in journal or book chapters
Conference articles Internal reports Miscellaneous

Selection by author

A B C D E F G H I J K L M N
O P Q R S T U V W X Y Z

A Slim Abdennadher Dulce Aguilar-Solis Bernhard K. Aichernig Ernst Aiglstorfer
Kiyoshi Akama Marco Alberti Sandra Alves T. Andreasen
Krzysztof R. Apt Molham Aref Marcos Aurélio de Almeida Silva Marcos Aurelio
B L. Badea P. Barahona Alma Barranco-Mendoza Bernhard Bauer
Maryam Bavarian Michael Berger Gabriel G. Bès Hariolf Betz
Stefano Bistarelli Philippe Blache Mathieu Boespflug A. Bossi
Olivier Bouissou Sebastian Brand Stéphane Bressan Pascal Brisset
Maurice Bruynooghe F. Buccafurri
C Lledó Museros Cabedo Federico Chesani Wei-Ngan Chin Henning Christiansen
Duc Hiep Chu Emmanuel Coquery Florin Craciun
D Verónica Dahl Thi-Bich-Hanh Dao Davide Daolio Leslie De Koninck
R. De Nicola Danny De Schreye François Degrave Giorgio Delzanno
Bart Demoen Cinzia Di Giusto Alessandra Di Pierro Atze Dijkstra
Laura K. Dillon Khalil Djelloul Mireille Ducassé Gregory J. Duck
E Marìa Teresa Escrig Monferrer Marìa Teresa Escrig S. Etalle
F François Fages Shehab Fawzy A.P. Felty Antonio J. Fernández
Paulo Ferreira M. Fink Aykut Firat Mário Florido
Thom Frühwirth
G Maurizio Gabbrielli Harald Ganzinger Diego Garat Marìa Garcìa de la Banda
Marco Gavanelli Ulrich Geske Joost Geurts Cheng Hian Goh
Arnaud Gotlieb Sandrine-Dominique Gouraud Benjamin Grosof Thomas Gruenhagen
Baohua Gu Paulo Guedes G. Gupta
H Rémy Haemmerlé Philipp Hanschke Michael Hanus Koji Hara
Lynda Hardman Christian Theil Have Thomas Hecksher Bastiaan Heeren
Patricia M. Hill Christian Holzbaur A. Hotaran
I Haythem Ismail
J J. Jaffar He Jifeng
K Martin Kaeser A.C. Kakas Norio Kato Siau-Cheng Khoo
Frederick Khoury A. King N. Kobayashi Hidekatsu Koike
Nikolai Kosmatov Ekkerhard Krämer Ben Krause Stefan Kriebel
L Edmund S.L. Lam Evelina Lamma H.L. Larsen Thomas Lee
M. Leuschel Jonathan Lever V. Lifschitz F.J. López-Fraguas
Heiko Lötzbeyer Scientific Software & Systems Ltd.
M Hiroshi Mabuchi Stuart Madnick Erez Maharshak Michael J. Maher
Cleyton Mário de Oliveira Rodrigues Michael Marte Julien Martin Davide Martinenghi
Thierry Martinez Jacopo Mauro David A. McAllester Wannes Meert
Mark Meister Paola Mello Luis Menezes Maria Chiara Meo
Holger Meuss Bernd Meyer Michela Milano Ken Mizuno
Jörq-Rainer Molwitz Eric Monfroy Frank Morawietz
N Sune T.B. Nielsen I. Niemelä
O Abdellatif Olama
P Emir Pasalic Gerald Penn Simon Peyton-Jones Alexis Pigeon
Paolo Pilozzi A. Podelski E. Pontelli Corneliu Popeea
Alexander Pretschner J.-F. Puget
R Ersha Rahimikia Frank Raiser C.R. Ramakrishnan Carlos Ribeiro
Barry Richards Christophe Rigotti Georg Ringwelski Jacques Robin
Francesca Rossi
S Matthias Saft Noha Salem Beata Sarna-Starosta Anders Schack-Nielsen
Stephan Schiffel Hans Schlenker Matthias Schmauss Tom Schrijvers
Eduardo Torres Schumann Carsten Schürmann Heribert Schütz Christian Seitz
Yoshinori Shigeta Michael Siege Hugo Simões Oscar Slotosch
Jon Sneyers Ingi Sobhi H. Sondergaard R. E. Kurt Stirewalt
Peter J. Stuckey Martin Sulzmann S. Doaitse Swierstra
T Paolo Tacchella Amira Thabet Dao Thi-Bich-Hanh Michael Thielscher
D. Tilivea Francisco Toledo Francisco Toledo Lobo H. Tompits
Paolo Torroni M. Truszczynski
U Kazunori Ueda
V Gerrit van den Geest Jacco van Ossenbruggen Peter Van Weert Wim Vanhoof
Joost Vennekens Jairson Vitorino Dean Voets Kimberly Voll
W Tim Wahls Mark Wallace Meng Wang David S. Warren
Mathias Wasserthal Jeremy Wazny Jan Wielemaker Herbert Wiklicky
Sebastian Will Armin Wolf S. Woltran Dina Wonsever
Pieter Wuille
Z Neng-Fa Zhou David Zook André Zúquete

Selection by keyword

A B C D E F G H I J K L M N
O P Q R S T U V W X Y Z

C CHR 2004 CHR 2005 CHR 2006
CHR 2007 CHR 2008 CHR 2009
confluence
T termination

Complete bibliography

Complete bibliography sorted by year
Complete bibliography sorted by name
Complete bibliography sorted by category
Complete bibliography as a single pdf
Original BibTEX file: biblio.bib.gz

Disclaimer:

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All person copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.

The contents of this webpage is provided by the authors stated below. K.U.Leuven is not bound by the information provided. It is possible that the information is not or no longer completely accurate. Where necessary, the authors can adjust and update faulty information. The authors have taken all reasonable care to ensure that all information available on this website is accurate at the time of publication and on the basis of the current state of knowledge. K.U.Leuven nor the authors are responsible for the content of any links to external organisations that are referred to on this website.


Last modified: Fri Feb 5 12:10:52 2010
This bibliography was compiled by the following authors:

This document was translated from BibTEX by bibtex2html