| 2008 |
|---|
| 62 | EE | Khalil Djelloul,
Thi-Bich-Hanh Dao,
Thom W. Frühwirth:
Theory of finite or infinite trees revisited.
TPLP 8(4): 431-489 (2008) |
| 2007 |
|---|
| 61 | EE | Thom W. Frühwirth:
Quasi-Linear-Time Algorithms by Generalisation of Union-Find in CHR.
CSCLP 2007: 91-108 |
| 60 | EE | Khalil Djelloul,
Thi-Bich-Hanh Dao,
Thom W. Frühwirth:
Toward a first-order extension of Prolog's unification using CHR: a CHR first-order constraint solver over finite or infinite trees.
SAC 2007: 58-64 |
| 59 | EE | Khalil Djelloul,
Thi-Bich-Hanh Dao,
Thom W. Frühwirth:
Theory of Finite or Infinite Trees Revisited
CoRR abs/0706.4323: (2007) |
| 2006 |
|---|
| 58 | EE | Marc Meister,
Khalil Djelloul,
Thom W. Frühwirth:
Complexity of a CHR Solver for Existentially Quantified Conjunctions of Equations over Trees.
CSCLP 2006: 139-153 |
| 57 | EE | Thom W. Frühwirth:
Constraint handling rules: the story so far.
PPDP 2006: 13-14 |
| 56 | EE | Tom Schrijvers,
Bart Demoen,
Gregory J. Duck,
Peter J. Stuckey,
Thom W. Frühwirth:
Automatic Implication Checking for CHR Constraints.
Electr. Notes Theor. Comput. Sci. 147(1): 93-111 (2006) |
| 55 | EE | Tom Schrijvers,
Thom W. Frühwirth:
Optimal union-find in Constraint Handling Rules.
TPLP 6(1-2): 213-224 (2006) |
| 2005 |
|---|
| 54 | EE | Armin Wolf,
Thom W. Frühwirth,
Marc Meister:
19th Workshop on (Constraint) Logic Programming, Ulm, Germany, February 21-23, 2005
Universität Ulm, Germany 2005 |
| 53 | EE | Hariolf Betz,
Thom W. Frühwirth:
A Linear-Logic Semantics for Constraint Handling Rules.
CP 2005: 137-151 |
| 52 | EE | Thom W. Frühwirth:
Complete Propagation Rules for Lexicographic Order Constraints over Arbitrary Domains.
CSCLP 2005: 14-28 |
| 51 | EE | Thom W. Frühwirth:
Parallelizing Union-Find in Constraint Handling Rules Using Confluence Analysis.
ICLP 2005: 113-127 |
| 50 | | Tom Schrijvers,
Thom W. Frühwirth:
Analysing the CHR Implementation of Union-Find.
W(C)LP 2005: 135-146 |
| 49 | EE | Tom Schrijvers,
Thom W. Frühwirth:
Optimal Union-Find in Constraint Handling Rules
CoRR abs/cs/0501073: (2005) |
| 48 | EE | Slim Abdennadher,
Thom W. Frühwirth,
Christian Holzbaur:
Introduction to the Special Issue on Constraint Handling Rules.
TPLP 5(4-5): 401-402 (2005) |
| 2004 |
|---|
| 47 | | Susanne Biundo,
Thom W. Frühwirth,
Günther Palm:
KI 2004: Advances in Artificial Intelligence, 27th Annual German Conference on AI, KI 2004, Ulm, Germany, September 20-24, 2004, Proceedings
Springer 2004 |
| 46 | EE | Thom W. Frühwirth:
Specialization of Concurrent Guarded Multi-set Transformation Rules.
LOPSTR 2004: 133-148 |
| 45 | EE | Thom W. Frühwirth,
Slim Abdennadher:
The Munich Rent Advisor: A Success for Logic Programming on the Internet
CoRR cs.AI/0402019: (2004) |
| 2003 |
|---|
| 44 | | Thom W. Frühwirth,
Christian Holzbaur:
Source-to-Source Transformation for a Class of Expressive Rules.
APPIA-GULP-PRODE 2003: 386-397 |
| 43 | EE | Slim Abdennadher,
Thom W. Frühwirth:
Integration and Optimization of Rule-Based Constraint Solvers.
LOPSTR 2003: 198-213 |
| 2002 |
|---|
| 42 | EE | Thom W. Frühwirth,
Slim Abdennadher:
Tutorial: Reasoning with, about and for Constraint Handling Rules.
FroCos 2002: 192 |
| 41 | | Slim Abdennadher,
Thom W. Frühwirth:
Using Program Analysis for Integration and Optimization of Rule-based Constraint Solvers.
JFPLC 2002: 257- |
| 40 | | Thom W. Frühwirth:
As Time Goes by: Automatic Complexity Analysis of Simplified Rules.
KR 2002: 547-557 |
| 39 | EE | Stefano Bistarelli,
Thom W. Frühwirth,
Michael Marte:
Soft constraint propagation and solving in CHRs.
SAC 2002: 1-5 |
| 38 | | Peggy S. Eaton,
Thom W. Frühwirth,
Milind Tambe:
Special Issue on Constraint Agents.
Constraints 7(1): 5-6 (2002) |
| 37 | EE | Thom W. Frühwirth,
Alessandra Di Pierro,
Herbert Wiklicky:
Probabilistic Constraint Handling Rules.
Electr. Notes Theor. Comput. Sci. 76: (2002) |
| 2001 |
|---|
| 36 | EE | Alessandra Raffaetà,
Thom W. Frühwirth:
Spatio-temporal Annotated Constraint Logic Programming.
PADL 2001: 259-273 |
| 35 | EE | Thom W. Frühwirth:
On the number of rule applications in constraint programs.
Electr. Notes Theor. Comput. Sci. 48: (2001) |
| 34 | EE | Thom W. Frühwirth:
As Time Goes By II: More Automatic Complexity Analysis of Concurrent Rule Programs.
Electr. Notes Theor. Comput. Sci. 59(3): (2001) |
| 33 | | Thom W. Frühwirth,
Slim Abdennadher:
The Munich Rent Advisor: A Success for Logic Programming on the Internet.
TPLP 1(3): 303-319 (2001) |
| 2000 |
|---|
| 32 | | Thom W. Frühwirth:
Predicting Derivation Lengths in Rule-based Constraint Programs.
JFPLC 2000: 89-108 |
| 31 | | Slim Abdennadher,
Thom W. Frühwirth:
Definition von angepaßten Constraint-Solvern mit Constraint-Handling-Rules.
WLP 2000: 15 |
| 30 | | Christian Holzbaur,
Thom W. Frühwirth:
Guest Editorial.
Applied Artificial Intelligence 14(4): 309-310 (2000) |
| 29 | | Christian Holzbaur,
Thom W. Frühwirth:
A PROLOG Constraint Handling Rules Compiler and Runtime System.
Applied Artificial Intelligence 14(4): 369-388 (2000) |
| 28 | EE | Thom W. Frühwirth,
Pascal Brisset:
Placing Base Stations in Wireless Indoor Communication Networks.
IEEE Intelligent Systems 15(1): 49-53 (2000) |
| 1999 |
|---|
| 27 | | Slim Abdennadher,
Thom W. Frühwirth:
Operational Equivalence of CHR Programs and Constraints.
CP 1999: 43-57 |
| 26 | | Luis Mandel,
Marcelo Campo,
Analía Amandi,
Thom W. Frühwirth,
Bernd Meyer,
Slim Abdennadher,
Bernhard Bauer:
JACK - Java Constraint Kit.
German-Argentinian Workshop on Information Technology 1999: 47-58 |
| 25 | | Angelo E. M. Ciarlini,
Thom W. Frühwirth:
Symbolic Execution for the Derivation of Meaningful Properties of Hybrid Systems.
ICLP 1999: 606 |
| 24 | EE | Thom W. Frühwirth:
Proving Termination of Constraint Solver Programs.
New Trends in Constraints 1999: 298-317 |
| 23 | | Christian Holzbaur,
Thom W. Frühwirth:
Compiling Constraint Handling Rules into Prolog with Attributed Variables.
PPDP 1999: 117-133 |
| 22 | | Slim Abdennadher,
Thom W. Frühwirth,
Holger Meuss:
Confluence and Semantics of Constraint Simplification Rules.
Constraints 4(2): 133-165 (1999) |
| 1998 |
|---|
| 21 | EE | Slim Abdennadher,
Thom W. Frühwirth:
On Completion of Constraint Handling Rules.
CP 1998: 25-39 |
| 20 | EE | Thom W. Frühwirth,
Pascal Brisset:
Optimal Placement of Base Stations in Wireless Indoor Telecommunication.
CP 1998: 476-480 |
| 19 | | Thom W. Frühwirth:
Theory and Practice of Constraint Handling Rules.
J. Log. Program. 37(1-3): 95-138 (1998) |
| 1997 |
|---|
| 18 | | Thom W. Frühwirth,
Slim Abdennadher:
Anwendungen Constraintbasierter Programmierung.
GI Jahrestagung 1997: 317-326 |
| 17 | | Thom W. Frühwirth,
Slim Abdennadher:
Der Mietspiegel im Internet: Ein Fall für Constraint-Logikprogrammierung.
KI 11(1): 33-36 (1997) |
| 1996 |
|---|
| 16 | | Slim Abdennadher,
Thom W. Frühwirth,
Holger Meuss:
On Confluence of Constraint Handling Rules.
CP 1996: 1-15 |
| 15 | EE | Thom W. Frühwirth,
Pascal Brisset,
Jörg-Rainer Molwitz:
Planning Cordless Business Communication Systems.
IEEE Expert 11(1): 50-55 (1996) |
| 14 | | Thom W. Frühwirth:
Temporal Annotated Constraint Logic Programming.
J. Symb. Comput. 22(5/6): 555-583 (1996) |
| 1994 |
|---|
| 13 | | Thom W. Frühwirth:
Constraint Handling Rules
Constraint Programming 1994: 90-107 |
| 12 | | Thom W. Frühwirth:
Annotated Constraint Logic Programming Applied to Temporal Reasoning.
PLILP 1994: 230-243 |
| 11 | | Thom W. Frühwirth:
Constraint Handling Rules (Extended Abstract).
WLP 1994: 120-129 |
| 1993 |
|---|
| 10 | | Thom W. Frühwirth:
Temporal Logic and Annotated Constraint Logic Programming.
Executable Modal and Temporal Logics 1993: 58-68 |
| 9 | | Thom W. Frühwirth:
User-Defined Constraint Handling.
ICLP 1993: 837-838 |
| 8 | | Thom W. Frühwirth,
Philipp Hanschke:
Terminological Reasoning with Constraint Handling Rules.
PPCP 1993: 80-89 |
| 1992 |
|---|
| 7 | | Thom W. Frühwirth,
Alexander Herold,
Volker Küchenhoff,
Thierry Le Provost,
Pierre Lim,
Eric Monfroy,
Mark Wallace:
Contraint Logic Programming - An Informal Introduction.
Logic Programming Summer School 1992: 3-35 |
| 6 | | Eyal Yardeni,
Thom W. Frühwirth,
Ehud Y. Shapiro:
Polymorphically Typed Logic Programs.
Types in Logic Programming 1992: 63-90 |
| 1991 |
|---|
| 5 | | Eyal Yardeni,
Thom W. Frühwirth,
Ehud Y. Shapiro:
Polymorphically Typed Logic Programs.
ICLP 1991: 379-393 |
| 4 | | Thom W. Frühwirth,
Ehud Y. Shapiro,
Moshe Y. Vardi,
Eyal Yardeni:
Logic Programs as Types for Logic Programs
LICS 1991: 300-309 |
| 1990 |
|---|
| 3 | | Thom W. Frühwirth:
Polymorphic Type Checking with Subtypes in Prolog.
DISCO 1990: 121-130 |
| 1988 |
|---|
| 2 | EE | Thom W. Frühwirth:
Type inference by program transformation and partial evaluation.
ICCL 1988: 347-354 |
| 1 | | Thom W. Frühwirth:
Type Inference by Program Transformation and Partial Evaluation.
META 1988: 263-282 |
