@COMMENT{{This file has been generated by bib2bib 1.75}}

@COMMENT{{Command line: bib2bib -c 'author : "Frühwirth" or editor : "Frühwirth"' -oc /dev/null -ob fruehwirth.bib -q -w pm.bib}}

@STRING{ENTCS = {{E}lectronic {N}otes in {T}heoretical {C}omputer {S}cience}}

@STRING{LNAI = {{L}ecture {N}otes in {A}rtificial {I}ntelligence}}

@STRING{LNCS = {{L}ecture {N}otes in {C}omputer {S}cience}}

@STRING{SV = {{S}pringer-{V}erlag}}

@STRING{UIB = {{U}lmer {I}nformatik-{B}erichte}}

@STRING{UU = {{U}niversität {U}lm}}

@ARTICLE{AbdennadherEtAl2005,
  AUTHOR = {Abdennadher, S. and Frühwirth, T. and Holzbaur, C.},
  TITLE = {Editors, Special Issue on Constraint Handling Rules},
  JOURNAL = {Theory and Practice of Logic Programming (TPLP)},
  VOLUME = 5,
  NUMBER = {4--5},
  YEAR = 2005,
  URL = {http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/tplp-chr/index.html},
  NOTE = {}
}

@INPROCEEDINGS{BetzFruehwirth2005,
  AUTHOR = {Betz, H. and Frühwirth, T.},
  TITLE = {A Linear-Logic Semantics for Constraint Handling Rules},
  EDITOR = {van Beek, P.},
  BOOKTITLE = {11th Conference on Principles and Practice of Constraint Programming CP 2005},
  PUBLISHER = SV,
  SERIES = LNCS,
  VOLUME = 3709,
  MONTH = OCT,
  YEAR = 2005,
  PAGES = {137--151},
  URL = {http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/Papers/llchr-final0.pdf},
  NOTE = {}
}

@INPROCEEDINGS{Fruehwirth2005a,
  AUTHOR = {Frühwirth, T.},
  TITLE = {Specialization of Concurrent Guarded Multi-Set Transformation Rules},
  EDITOR = {Etalle, S.},
  BOOKTITLE = {Logic-based Program Synthesis and Transformation (LOPSTR'04)},
  PUBLISHER = SV,
  SERIES = LNCS,
  VOLUME = 3573,
  YEAR = 2005,
  PAGES = {133--148},
  URL = {http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/Papers/trans1.pdf},
  NOTE = {}
}

@INPROCEEDINGS{Fruehwirth2005b,
  AUTHOR = {Frühwirth, T.},
  TITLE = {Parallelizing Union-Find in Constraint Handling Rules Using Confluence},
  EDITOR = {Gabbrielli, M. and Gupta G.},
  BOOKTITLE = {Logic Programming: 21st International Conference, ICLP 2005},
  PUBLISHER = SV,
  SERIES = LNCS,
  VOLUME = 3668,
  MONTH = OCT,
  YEAR = 2005,
  PAGES = {113--127},
  URL = {http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/Papers/puf0.pdf},
  NOTE = {}
}

@INPROCEEDINGS{Fruehwirth2005c,
  AUTHOR = {Frühwirth, T.},
  TITLE = {Logical Rules for a Lexicographic Order Constraint Solver},
  EDITOR = {Schrijvers, T. and Frühwirth, T.},
  BOOKTITLE = {Proceedings of CHR 2005, Second Workshop on Constraint Handling Rules},
  ORGANIZATION = {Departement Computerwetenschappen, Katholieke Universiteit Leuven},
  MONTH = SEP,
  YEAR = 2005,
  SERIES = {Technical Report},
  NUMBER = {CW 421},
  PAGES = {79--91},
  URL = {http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/Papers/chr05-lex0.ps},
  NOTE = {}
}

@ARTICLE{Fruehwirth2005d,
  AUTHOR = {Frühwirth, T.},
  TITLE = {Constraint Systems and Solvers for Constraint Programming},
  JOURNAL = {Special Issue of Archives of Control Sciences (ACS) on Constraint Programming for Decision and Control},
  YEAR = 2005,
  URL = {http://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/Papers/acs-systems3.pdf},
  NOTE = {To appear}
}

@ARTICLE{SchrijversFruehwirth2005a,
  AUTHOR = {Schrijvers, T. and Frühwirth, T.},
  TITLE = {Programming Pearl: Optimal Union-Find in Constraint Handling Rules},
  JOURNAL = {Theory and Practice of Logic Programming},
  YEAR = 2005,
  URL = {http://arxiv.org/abs/cs.PL/0501073},
  NOTE = {To appear}
}

@INPROCEEDINGS{SchrijversFruehwirth2005b,
  AUTHOR = {Schrijvers, T. and Frühwirth, T.},
  TITLE = {Analysing the CHR Implementation of Union-Find},
  EDITOR = {Wolf, A. and Frühwirth, T. and Meister, M.},
  BOOKTITLE = {19th Workshop on (Constraint) Logic Programming W(C)LP 2005},
  ORGANIZATION = UU,
  MONTH = FEB,
  YEAR = 2005,
  SERIES = UIB,
  NUMBER = {2005--01},
  PAGES = {135--146},
  URL = {http://www.cs.kuleuven.ac.be/~toms/Research/CHR/docs/wclp-union-find.ps},
  NOTE = {}
}

@PROCEEDINGS{SchrijversFruehwirth2005c,
  TITLE = {Proceedings of CHR 2005, Second Workshop on Constraint Handling Rules},
  EDITOR = {Schrijvers, T. and Frühwirth, T.},
  ORGANIZATION = {Departement Computerwetenschappen, Katholieke Universiteit Leuven},
  MONTH = SEP,
  YEAR = 2005,
  SERIES = {Technical Report},
  NUMBER = {CW 421},
  URL = {http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW421.abs.html},
  NOTE = {}
}

@INPROCEEDINGS{SchrijversEtAl2005a,
  AUTHOR = {Schrijvers, T. and Demoen, B. and Duck, G. and Stuckey, P. and Frühwirth, T.},
  TITLE = {Automatic implication checking for CHR constraints},
  BOOKTITLE = {6th International Workshop on Rule-Based Programming},
  MONTH = APR,
  YEAR = 2005,
  URL = {http://www.cs.kuleuven.ac.be/~dtai/publications/files/41606.pdf},
  NOTE = {}
}

@TECHREPORT{SchrijversEtAl2005b,
  AUTHOR = {Schrijvers, T. and Demoen, B. and Duck, G.J. and Stuckey, P.J. and Frühwirth, T.},
  TITLE = {Automatic implication checking for CHR constraint solvers},
  INSTITUTION = {Departement Computerwetenschappen, Katholieke Universiteit Leuven},
  MONTH = JAN,
  YEAR = 2005,
  NUMBER = {CW 402},
  URL = {http://www.cs.kuleuven.ac.be/publicaties/rapporten/cw/CW402.abs.html},
  NOTE = {}
}

@PROCEEDINGS{WolfEtAl2005,
  TITLE = {19th Workshop on (Constraint) Logic Programming W(C)LP 2005},
  EDITOR = {Wolf, A. and Frühwirth, T. and Meister, M.},
  ORGANIZATION = UU,
  MONTH = FEB,
  YEAR = 2005,
  SERIES = UIB,
  NUMBER = {2005--01},
  URL = {http://www.informatik.uni-ulm.de/epin/pw/11541},
  NOTE = {}
}

@INPROCEEDINGS{AbdennadherFruehwirth2004,
  AUTHOR = {Abdennadher, S. and Frühwirth, T.},
  TITLE = {Integration and Optimization of Rule-based Constraint Solvers},
  EDITOR = {Bruynooghe, M.},
  BOOKTITLE = {Logic-based Program Synthesis and Transformation (LOPSTR'03)},
  PUBLISHER = SV,
  SERIES = LNCS,
  VOLUME = 3018,
  YEAR = 2004,
  PAGES = {198--213},
  URL = {http://www.informatik.uni-ulm.de/pm/fileadmin/pm/home/fruehwirth/Papers/paper3.pdf},
  NOTE = {}
}

@ARTICLE{BistarelliEtAl2004,
  AUTHOR = {Bistarelli, S. and Frühwirth, T. and Marte, M. and Rossi, F.},
  TITLE = {Soft Constraint Propagation and Solving in Constraint Handling Rules},
  JOURNAL = {Computational Intelligence: Special Issue on Preferences in AI and CP},
  VOLUME = 20,
  NUMBER = 2,
  MONTH = MAY,
  YEAR = 2004,
  PAGES = {287--307},
  NOTE = {}
}

@PROCEEDINGS{BiundoEtAl2004a,
  TITLE = {KI 2004: Advances in Artificial Intelligence, Proccedings of the 27th Annual German Conference on Artificial Intelligence},
  EDITOR = {Biundo, S. and Frühwirth, T. and Palm, G.},
  PUBLISHER = SV,
  SERIES = LNAI,
  NUMBER = 3238,
  YEAR = 2004,
  URL = {http://www.springeronline.com/sgw/cda/frontpage/0,11855,5-156-22-34544453-0,00.html},
  NOTE = {}
}

@PROCEEDINGS{BiundoEtAl2004b,
  TITLE = {Poster Proceedings of the 27th Annual German Conference on Artificial Intelligence},
  EDITOR = {Biundo, S. and Frühwirth, T. and Palm, G.},
  ORGANIZATION = UU,
  MONTH = SEP,
  YEAR = 2004,
  SERIES = UIB,
  NUMBER = {2004--03},
  URL = {http://www.informatik.uni-ulm.de/epin/pw/11123},
  NOTE = {}
}

@PROCEEDINGS{FruehwirthMeister2004,
  TITLE = {First Workshop on Constraint Handling Rules: Selected Contributions},
  EDITOR = {Frühwirth, T. and Meister, M.},
  ORGANIZATION = UU,
  MONTH = MAY,
  YEAR = 2004,
  SERIES = UIB,
  NUMBER = {2004--01},
  URL = {http://www.informatik.uni-ulm.de/epin-data/user/10481.218,UIB_2004-01.pdf},
  NOTE = {}
}

@TECHREPORT{SchrijversFruehwirth2004,
  AUTHOR = {Schrijvers, T. and Frühwirth, T.},
  TITLE = {Implementing and Analysing Union-Find in CHR},
  INSTITUTION = {Departement Computerwetenschappen, Katholieke Universiteit Leuven},
  MONTH = JUL,
  YEAR = 2004,
  NUMBER = {CW 389},
  URL = {http://www.cs.kuleuven.ac.be/publicaties/rapporten/cw/CW389.abs.html},
  NOTE = {}
}

@INPROCEEDINGS{AbdennadherFruehwirth2003,
  AUTHOR = {Abdennadher, S. and Frühwirth, T.},
  TITLE = {Integration and Optimization of Rule-based Constraint Solvers},
  BOOKTITLE = {International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR'03)},
  YEAR = 2003,
  URL = {http://www.informatik.uni-ulm.de/pm/fileadmin/pm/home/fruehwirth/Papers/LOPSTR03-final.ps},
  NOTE = {}
}

@BOOK{FruehwirthAbdennadher2003,
  AUTHOR = {Frühwirth, T. and Abdennadher, S.},
  TITLE = {Essentials of Constraint Programming},
  PUBLISHER = SV,
  MONTH = FEB,
  YEAR = 2003,
  URL = {http://www.springer.de/cgi-bin/search_book.pl?isbn=3-540-67623-6},
  NOTE = {}
}

@INPROCEEDINGS{FruehwirthHolzbaur2003,
  AUTHOR = {Frühwirth, T. and Holzbaur, C.},
  TITLE = {Source-to-Source Transformation for a Class of Expressive Rules},
  EDITOR = {Buccafurri, F.},
  BOOKTITLE = {Joint Conference on Declarative Programming APPIA-GULP-PRODE 2003 (AGP 2003)},
  YEAR = 2003,
  PAGES = {386--397},
  URL = {http://www.informatik.uni-ulm.de/pm/fileadmin/pm/home/fruehwirth/Papers/gulp03-final.ps},
  NOTE = {}
}

@ARTICLE{Fruehwirth2002,
  AUTHOR = {Frühwirth, T.},
  TITLE = {As Time Goes By II: More Automatic Complexity Analysis of Concurrent Rule Programs},
  JOURNAL = ENTCS,
  VOLUME = 59,
  NUMBER = 3,
  YEAR = 2002,
  URL = {http://www.elsevier.com/gej-ng/31/29/23/89/54/25/59.3.003.ps},
  NOTE = {Di Pierro, A. and Wiklicky, H.: QAPL'01 -- Quantitative Aspects of Programming Laguages}
}

@INPROCEEDINGS{FruehwirthEtAl2002,
  AUTHOR = {Frühwirth, T. and di Pierro, A. and Wiklicky, H.},
  TITLE = {Probabilistic Constraint Handling Rules},
  EDITOR = {Comini, M. and Falaschi, M.},
  BOOKTITLE = {11th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2002)},
  SERIES = ENTCS,
  VOLUME = 76,
  YEAR = 2002,
  URL = {http://www.elsevier.com/gej-ng/31/29/23/126/23/38/76009.ps},
  NOTE = {}
}