Thom W. Frühwirth Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
66Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFrank Raiser, Thom W. Frühwirth: Strong Joinability Analysis for Graph Transformation Systems in CHR. Electr. Notes Theor. Comput. Sci. 253(4): 91-111 (2009)
2008
65Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTom Schrijvers, Thom W. Frühwirth: Constraint Handling Rules, Current Research Topics Springer 2008
64Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThom W. Frühwirth: Welcome to Constraint Handling Rules. Constraint Handling Rules 2008: 1-15
63Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKhalil Djelloul, Thi-Bich-Hanh Dao, Thom W. Frühwirth: Theory of finite or infinite trees revisited. TPLP 8(4): 431-489 (2008)
2007
62Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThom W. Frühwirth: Quasi-Linear-Time Algorithms by Generalisation of Union-Find in CHR. CSCLP 2007: 91-108
61Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKhalil 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
60Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKhalil Djelloul, Thi-Bich-Hanh Dao, Thom W. Frühwirth: Theory of Finite or Infinite Trees Revisited CoRR abs/0706.4323: (2007)
2006
59Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarc Meister, Khalil Djelloul, Thom W. Frühwirth: Complexity of a CHR Solver for Existentially Quantified Conjunctions of Equations over Trees. CSCLP 2006: 139-153
58Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThom W. Frühwirth: Constraint handling rules: the story so far. PPDP 2006: 13-14
57Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTom 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)
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTom Schrijvers, Thom W. Frühwirth: Optimal union-find in Constraint Handling Rules. TPLP 6(1-2): 213-224 (2006)
2005
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLArmin Wolf, Thom W. Frühwirth, Marc Meister: 19th Workshop on (Constraint) Logic Programming, Ulm, Germany, February 21-23, 2005 Universität Ulm, Germany 2005
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHariolf Betz, Thom W. Frühwirth: A Linear-Logic Semantics for Constraint Handling Rules. CP 2005: 137-151
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThom W. Frühwirth: Complete Propagation Rules for Lexicographic Order Constraints over Arbitrary Domains. CSCLP 2005: 14-28
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThom W. Frühwirth: Parallelizing Union-Find in Constraint Handling Rules Using Confluence Analysis. ICLP 2005: 113-127
51no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTom Schrijvers, Thom W. Frühwirth: Analysing the CHR Implementation of Union-Find. W(C)LP 2005: 135-146
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTom Schrijvers, Thom W. Frühwirth: Optimal Union-Find in Constraint Handling Rules CoRR abs/cs/0501073: (2005)
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSlim Abdennadher, Thom W. Frühwirth, Christian Holzbaur: Introduction to the Special Issue on Constraint Handling Rules. TPLP 5(4-5): 401-402 (2005)
2004
48no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSusanne 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
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThom W. Frühwirth: Specialization of Concurrent Guarded Multi-set Transformation Rules. LOPSTR 2004: 133-148
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThom W. Frühwirth, Slim Abdennadher: The Munich Rent Advisor: A Success for Logic Programming on the Internet CoRR cs.AI/0402019: (2004)
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefano Bistarelli, Thom W. Frühwirth, Michael Marte, Francesca Rossi: Soft Constraint Propagation and Solving in Constraint Handling Rules. Computational Intelligence 20(2): 287-307 (2004)
2003
44no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThom W. Frühwirth, Christian Holzbaur: Source-to-Source Transformation for a Class of Expressive Rules. APPIA-GULP-PRODE 2003: 386-397
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSlim Abdennadher, Thom W. Frühwirth: Integration and Optimization of Rule-Based Constraint Solvers. LOPSTR 2003: 198-213
2002
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThom W. Frühwirth, Slim Abdennadher: Tutorial: Reasoning with, about and for Constraint Handling Rules. FroCos 2002: 192
41no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSlim Abdennadher, Thom W. Frühwirth: Using Program Analysis for Integration and Optimization of Rule-based Constraint Solvers. JFPLC 2002: 257-
40no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThom W. Frühwirth: As Time Goes by: Automatic Complexity Analysis of Simplified Rules. KR 2002: 547-557
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefano Bistarelli, Thom W. Frühwirth, Michael Marte: Soft constraint propagation and solving in CHRs. SAC 2002: 1-5
38no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPeggy S. Eaton, Thom W. Frühwirth, Milind Tambe: Special Issue on Constraint Agents. Constraints 7(1): 5-6 (2002)
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThom W. Frühwirth, Alessandra Di Pierro, Herbert Wiklicky: Probabilistic Constraint Handling Rules. Electr. Notes Theor. Comput. Sci. 76: (2002)
2001
36Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlessandra Raffaetà, Thom W. Frühwirth: Spatio-temporal Annotated Constraint Logic Programming. PADL 2001: 259-273
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThom W. Frühwirth: On the number of rule applications in constraint programs. Electr. Notes Theor. Comput. Sci. 48: (2001)
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThom W. Frühwirth: As Time Goes By II: More Automatic Complexity Analysis of Concurrent Rule Programs. Electr. Notes Theor. Comput. Sci. 59(3): (2001)
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThom W. Frühwirth, Slim Abdennadher: The Munich Rent Advisor: A Success for Logic Programming on the Internet. TPLP 1(3): 303-319 (2001)
2000
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThom W. Frühwirth: Predicting Derivation Lengths in Rule-based Constraint Programs. JFPLC 2000: 89-108
31no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSlim Abdennadher, Thom W. Frühwirth: Definition von angepaßten Constraint-Solvern mit Constraint-Handling-Rules. WLP 2000: 15
30no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Holzbaur, Thom W. Frühwirth: Guest Editorial. Applied Artificial Intelligence 14(4): 309-310 (2000)
29no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Holzbaur, Thom W. Frühwirth: A PROLOG Constraint Handling Rules Compiler and Runtime System. Applied Artificial Intelligence 14(4): 369-388 (2000)
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThom W. Frühwirth, Pascal Brisset: Placing Base Stations in Wireless Indoor Communication Networks. IEEE Intelligent Systems 15(1): 49-53 (2000)
1999
27no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSlim Abdennadher, Thom W. Frühwirth: Operational Equivalence of CHR Programs and Constraints. CP 1999: 43-57
26no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuis 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
25no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAngelo E. M. Ciarlini, Thom W. Frühwirth: Symbolic Execution for the Derivation of Meaningful Properties of Hybrid Systems. ICLP 1999: 606
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThom W. Frühwirth: Proving Termination of Constraint Solver Programs. New Trends in Constraints 1999: 298-317
23no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLChristian Holzbaur, Thom W. Frühwirth: Compiling Constraint Handling Rules into Prolog with Attributed Variables. PPDP 1999: 117-133
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSlim Abdennadher, Thom W. Frühwirth, Holger Meuss: Confluence and Semantics of Constraint Simplification Rules. Constraints 4(2): 133-165 (1999)
1998
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSlim Abdennadher, Thom W. Frühwirth: On Completion of Constraint Handling Rules. CP 1998: 25-39
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThom W. Frühwirth, Pascal Brisset: Optimal Placement of Base Stations in Wireless Indoor Telecommunication. CP 1998: 476-480
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThom W. Frühwirth: Theory and Practice of Constraint Handling Rules. J. Log. Program. 37(1-3): 95-138 (1998)
1997
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThom W. Frühwirth, Slim Abdennadher: Anwendungen Constraintbasierter Programmierung. GI Jahrestagung 1997: 317-326
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThom W. Frühwirth, Slim Abdennadher: Der Mietspiegel im Internet: Ein Fall für Constraint-Logikprogrammierung. KI 11(1): 33-36 (1997)
1996
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSlim Abdennadher, Thom W. Frühwirth, Holger Meuss: On Confluence of Constraint Handling Rules. CP 1996: 1-15
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThom W. Frühwirth, Pascal Brisset, Jörg-Rainer Molwitz: Planning Cordless Business Communication Systems. IEEE Expert 11(1): 50-55 (1996)
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThom W. Frühwirth: Temporal Annotated Constraint Logic Programming. J. Symb. Comput. 22(5/6): 555-583 (1996)
1994
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThom W. Frühwirth: Constraint Handling Rules Constraint Programming 1994: 90-107
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThom W. Frühwirth: Annotated Constraint Logic Programming Applied to Temporal Reasoning. PLILP 1994: 230-243
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThom W. Frühwirth: Constraint Handling Rules (Extended Abstract). WLP 1994: 120-129
1993
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThom W. Frühwirth: Temporal Logic and Annotated Constraint Logic Programming. Executable Modal and Temporal Logics 1993: 58-68
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThom W. Frühwirth: User-Defined Constraint Handling. ICLP 1993: 837-838
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThom W. Frühwirth, Philipp Hanschke: Terminological Reasoning with Constraint Handling Rules. PPCP 1993: 80-89
1992
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThom 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
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEyal Yardeni, Thom W. Frühwirth, Ehud Y. Shapiro: Polymorphically Typed Logic Programs. Types in Logic Programming 1992: 63-90
1991
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLEyal Yardeni, Thom W. Frühwirth, Ehud Y. Shapiro: Polymorphically Typed Logic Programs. ICLP 1991: 379-393
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThom W. Frühwirth, Ehud Y. Shapiro, Moshe Y. Vardi, Eyal Yardeni: Logic Programs as Types for Logic Programs LICS 1991: 300-309
1990
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThom W. Frühwirth: Polymorphic Type Checking with Subtypes in Prolog. DISCO 1990: 121-130
1988
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThom W. Frühwirth: Type inference by program transformation and partial evaluation. ICCL 1988: 347-354
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThom W. Frühwirth: Type Inference by Program Transformation and Partial Evaluation. META 1988: 263-282

Coauthor Index

1Slim Abdennadher [16] [17] [18] [21] [22] [26] [27] [31] [33] [41] [42] [43] [46] [49]
2Analía Amandi [26]
3Bernhard Bauer [26]
4Hariolf Betz [54]
5Stefano Bistarelli [39] [45]
6Susanne Biundo [48]
7Pascal Brisset [15] [20] [28]
8Marcelo R. Campo (Marcelo Campo) [26]
9Angelo E. M. Ciarlini [25]
10Thi-Bich-Hanh Dao [60] [61] [63]
11Bart Demoen [57]
12Khalil Djelloul [59] [60] [61] [63]
13Gregory J. Duck [57]
14Peggy S. Eaton [38]
15Philipp Hanschke [8]
16Alexander Herold [7]
17Christian Holzbaur [23] [29] [30] [44] [49]
18Volker Küchenhoff [7]
19Pierre Lim [7]
20Luis Mandel [26]
21Michael Marte [39] [45]
22Marc Meister [55] [59]
23Holger Meuss [16] [22]
24Bernd Meyer [26]
25Jörg-Rainer Molwitz [15]
26Eric Monfroy [7]
27Günther Palm [48]
28Alessandra Di Pierro [37]
29Thierry Le Provost [7]
30Alessandra Raffaetà [36]
31Frank Raiser [66]
32Francesca Rossi [45]
33Tom Schrijvers [50] [51] [56] [57] [65]
34Ehud Y. Shapiro [4] [5] [6]
35Peter J. Stuckey [57]
36Milind Tambe [38]
37Moshe Y. Vardi [4]
38Mark Wallace [7]
39Herbert Wiklicky [37]
40Armin Wolf [55]
41Eyal Yardeni [4] [5] [6]

Colors in the list of coauthors

Copyright © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)