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 Jon Sneyers.

Selection by year

2012 2011 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 Aichernig Bernhard K. Aichernig
Ernst Aiglstorfer Kiyoshi Akama Marco Alberti Sandra Alves
T. Andreasen Krzysztof R. Apt Molham Aref Marcos Aurélio Almeida da Silva
Marcos Aurélio de Almeida Silva Marcos Aurelio
B Liviu Badea P. Barahona Steve Barker Alma Barranco-Mendoza
Bernhard Bauer Maryam Bavarian Michael Berger N. Berger
Gabriel G. Bès Hariolf Betz Stefano Bistarelli M. Bjareland
Philippe Blache Mathieu Boespflug A. Bossi Olivier Bouissou
Sebastian Brand Susan E. Brennan Stéphane Bressan Pascal Brisset
Maurice Bruynooghe F. Buccafurri
C Lledó Museros Cabedo E. Carrapatoso Carlos Castro A.M. Cheadle
J. Cheney Federico Chesani V.R. Chifu Wei-Ngan Chin
Henning Christiansen Duc Hiep Chu Emmanuel Coquery Florin Craciun
János Csorba
D Verónica Dahl Thi-Bich-Hanh Dao Davide Daolio Marcel Dausend
Leslie De Koninck R. De Nicola Danny De Schreye François Degrave
Giorgio Delzanno Bart Demoen Pierre Deransart Cinzia Di Giusto
Alessandra Di Pierro Atze Dijkstra Laura K. Dillon Khalil Djelloul
Patrick Doherty G. Dondosolla Mireille Ducassé Gregory J. Duck
E S. Eisenbach Marìa Teresa Escrig Monferrer Marìa Teresa Escrig S. Etalle
F François Fages M. Falda Andreas Falkner Shehab Fawzy
A.P. Felty Antonio J. Fernández M. Fernández Paulo Ferreira
M. Fink Aykut Firat Gregory M. Flanagan Mário Florido
Thom Fr uhwirth J.B. Freuer Thom Frühwirth
G Maurizio Gabbrielli John Gallagher T. Gannon Harald Ganzinger
Diego Garat Marìa Garcìa de la Banda Marco Gavanelli Florian Geiselhart
Michael Gelfond Ralf Gerlich Ulrich Geske Joost Geurts
M. Gherga Cheng Hian Goh Armando Gonçalves Arnaud Gotlieb
Sandrine-Dominique Gouraud Benjamin Grosof Thomas Gruenhagen Baohua Gu
Paulo Guedes G. Gupta
H Rémy Haemmerlé Mohammad Haji-Abdolhosseini Philipp Hanschke Michael Hanus
Koji Hara Lynda Hardman I. Harsa W. Harvey
Alois Haselböck Christian Theil Have Thomas Hecksher Bastiaan Heeren
Manuel Hermenegildo M.V. Hermenegildo Patricia M. Hill Christian Holzbaur
Anca Hotaran
I Haythem Ismail
J J. Jaffar G. Jerke He Jifeng M. Jiménez-López
M. Dolores Jiménez-López C. Jin-yi S.P. Jones T.W.D. Jongstra
WAN Jun-peng
K Martin Kaeser A.C. Kakas Yoshitaka Kameya Norio Kato
Arie Kaufman Nima Kaviani Siau-Cheng Khoo Frederick Khoury
A. King N. Kobayashi Hidekatsu Koike Leslie De Koninck
Nikolai Kosmatov Adrian Kostrubiak Ekkerhard Krämer Ben Krause
Stefan Kriebel
L Edmund Soon Lee Lam Evelina Lamma Johannes Langbein H.L. Larsen
Ole Torp Lassen Thomas Lee M. Leuschel Jonathan Lever
Bo Li J. Lienig V. Lifschitz Yisong Liu
Y.S. Liu F.J. López-Fraguas P. Lopez-Garcia Heiko Lötzbeyer
Scientific Software & Systems Ltd.
M Hiroshi Mabuchi Stuart Madnick Stuart E. Madnick Ahmed Magdy
Martin Magnusson Erez Maharask Erez Maharshak Michael J. Maher
Cleyton Mário de Oliveira Rodrigues Michael Marte Julien Martin Fabio Martinelli
Davide Martinenghi Ester Mart'inez-Martìn 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
M. Montali Jose F. Morales Frank Morawietz A. Moulton
Klaus Mueller
N Sune T.B. Nielsen I. Niemelä
O Seiji Ogawa Abdellatif Olama J. Oliveira Rafael Oliveira
Salvatore Orlando
P Emir Pasalic Gerald Penn Olivier Perriquet Matthieu Petit
Simon Peyton-Jones Jan Philipps Alexis Pigeon Paolo Pilozzi
H. Plociniczak A. Podelski E. Pontelli Corneliu Popeea
Alexander Pretschner J.-F. Puget
R Alessandra Raffaeta Ersha Rahimikia Frank Raiser C.R. Ramakrishnan
IV Ramakrishnan Carlos Ribeiro Barry Richards Frank Richter
Christophe Rigotti Fabrizio Riguzzi Georg Ringwelski Jacques Robin
Francesca Rossi Michael Rusinowitch
S M. Sabbouh A.J. Sadler Matthias Saft Amr Hany Saleh
Noha Salem I. Salomie Francesco Santini Beata Sarna-Starosta
Taisuke Sato Anders Schack-Nielsen Torsten Schaub Gottfried Schenner
Stephan Schiffel J. Schimpf Hans Schlenker Matthias Schmauss
René Schott Tom Schrijvers Eduardo Torres Schumann Carsten Schürmann
Heribert Schütz Christian Seitz Z. Shan K. Shen
Yoshinori Shigeta Michael Siege M. Siegel Michael D. Siegel
Hugo Simões Evgeny Skvortsov Oscar Slotosch Jon Sneyers
Ingi Sobhi H. Sondergaard Roland Stelzer R. E. Kurt Stirewalt
Sergio Storari Peter J. Stuckey Martin Sulzmann S. Doaitse Swierstra
Péter Szeredi
T Paolo Tacchella Amira Thabet Dao Thi-Bich-Hanh Michael Thielscher
Peter Thiemann Doina Tilivea Francisco Toledo Francisco Toledo Lobo
H. Tompits Paolo Torroni Andrea Triossi M. Truszczynski
U Kazunori Ueda
V Gerrit van den Geest Jacco van Ossenbruggen Peter Van Weert Wim Vanhoof
Joost Vennekens German Vidal Jairson Vitorino Dean Voets
Kimberly Voll D. Vytiniotis
W Tim Wahls Mark Wallace M.G. Wallace Lili Wang
Meng Wang David S. Warren Mathias Wasserthal Jeremy Wazny
Jan Wielemaker Herbert Wiklicky Sebastian Will Armin Wolf
S. Woltran Dina Wonsever Pieter Wuille
X Y.Q. Xu
Y Zhihua Yin
Z Greg Zelinsky Neng-Fa Zhou Huijuan Zhu H.J. Zhu
M. Zhu Zsolt Zombori 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

A abduction algorithms applications
C CHR 2004 CHR 2005 CHR 2006 CHR 2007 CHR 2008
CHR 2009 CHR 2010 CHR 2011 CHRiSM complexity
computability confluence
D debugging disjunction
E expressivity extensions
F FLUX
G Graph Transformation Systems
I implementation
J Java
L linear logic linguistics
O optimizing compilation
P parallelism priorities probabilistic CHR program generation
R related formalisms
S search semantics survey
T termination testing tutorial type systems
V verification

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: Mon Jan 23 15:04:53 2012
This bibliography was compiled by the following authors:

This document was translated from BibTEX by bibtex2html