Thom W. Frühwirth

	2011
73		Frank Raiser, Thom W. Frühwirth: Analysing graph transformation systems through constraint handling rules. TPLP 11(1): 65-109 (2011)
	2010
72		Frank Raiser, Thom W. Frühwirth: Analyzing Graph Transformation Systems through Constraint Handling Rules CoRR abs/1006.1497: (2010)
71		Hariolf Betz, Frank Raiser, Thom W. Frühwirth: A Complete and Terminating Execution Model for Constraint Handling Rules CoRR abs/1007.3829: (2010)
70		Hariolf Betz, Thom W. Frühwirth: Linear-Logic Based Analysis of Constraint Handling Rules with Disjunction CoRR abs/1009.2900: (2010)
69		Hariolf Betz, Frank Raiser, Thom W. Frühwirth: A complete and terminating execution model for Constraint Handling Rules. TPLP 10(4-6): 597-610 (2010)
	2009
68		Frank 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
67		Tom Schrijvers, Thom W. Frühwirth: Constraint Handling Rules, Current Research Topics Springer 2008
66		Thom W. Frühwirth: Welcome to Constraint Handling Rules. Constraint Handling Rules 2008: 1-15
65		Khalil Djelloul, Thi-Bich-Hanh Dao, Thom W. Frühwirth: Theory of finite or infinite trees revisited. TPLP 8(4): 431-489 (2008)
	2007
64		Thom W. Frühwirth: Quasi-Linear-Time Algorithms by Generalisation of Union-Find in CHR. CSCLP 2007: 91-108
63		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
62		Khalil Djelloul, Thi-Bich-Hanh Dao, Thom W. Frühwirth: Theory of Finite or Infinite Trees Revisited CoRR abs/0706.4323: (2007)
	2006
61		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
60		Thom W. Frühwirth: Constraint handling rules: the story so far. PPDP 2006: 13-14
59		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)
58		Tom Schrijvers, Thom W. Frühwirth: Optimal union-find in Constraint Handling Rules. TPLP 6(1-2): 213-224 (2006)
	2005
57		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
56		Hariolf Betz, Thom W. Frühwirth: A Linear-Logic Semantics for Constraint Handling Rules. CP 2005: 137-151
55		Thom W. Frühwirth: Complete Propagation Rules for Lexicographic Order Constraints over Arbitrary Domains. CSCLP 2005: 14-28
54		Thom W. Frühwirth: Parallelizing Union-Find in Constraint Handling Rules Using Confluence Analysis. ICLP 2005: 113-127
53		Tom Schrijvers, Thom W. Frühwirth: Analysing the CHR Implementation of Union-Find. W(C)LP 2005: 135-146
52		Tom Schrijvers, Thom W. Frühwirth: Optimal Union-Find in Constraint Handling Rules CoRR abs/cs/0501073: (2005)
51		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
50		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
49		Thom W. Frühwirth: Specialization of Concurrent Guarded Multi-set Transformation Rules. LOPSTR 2004: 133-148
48		Thom W. Frühwirth, Slim Abdennadher: The Munich Rent Advisor: A Success for Logic Programming on the Internet CoRR cs.AI/0402019: (2004)
47		Stefano 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
46		Thom W. Frühwirth, Slim Abdennadher: Essentials of constraint programming. Springer 2003: I-IX, 1-144
45		Thom W. Frühwirth, Christian Holzbaur: Source-to-Source Transformation for a Class of Expressive Rules. APPIA-GULP-PRODE 2003: 386-397
44		Slim Abdennadher, Thom W. Frühwirth: Integration and Optimization of Rule-Based Constraint Solvers. LOPSTR 2003: 198-213
	2002
43		Thom W. Frühwirth, Slim Abdennadher: Tutorial: Reasoning with, about and for Constraint Handling Rules. FroCos 2002: 192
42		Slim Abdennadher, Thom W. Frühwirth: Using Program Analysis for Integration and Optimization of Rule-based Constraint Solvers. JFPLC 2002: 257-
41		Thom W. Frühwirth: As Time Goes by: Automatic Complexity Analysis of Simplified Rules. KR 2002: 547-557
40		Stefano Bistarelli, Thom W. Frühwirth, Michael Marte: Soft constraint propagation and solving in CHRs. SAC 2002: 1-5
39		Peggy S. Eaton, Thom W. Frühwirth, Milind Tambe: Special Issue on Constraint Agents. Constraints 7(1): 5-6 (2002)
38		Thom W. Frühwirth, Alessandra Di Pierro, Herbert Wiklicky: Probabilistic Constraint Handling Rules. Electr. Notes Theor. Comput. Sci. 76: 115-130 (2002)
	2001
37		Alessandra Raffaetà, Thom W. Frühwirth: Spatio-temporal Annotated Constraint Logic Programming. PADL 2001: 259-273
36		Thom W. Frühwirth: On the number of rule applications in constraint programs. Electr. Notes Theor. Comput. Sci. 48: 147-166 (2001)
35		Thom W. Frühwirth: As Time Goes By II: More Automatic Complexity Analysis of Concurrent Rule Programs. Electr. Notes Theor. Comput. Sci. 59(3): 185-206 (2001)
34		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
33		Thom W. Frühwirth: Predicting Derivation Lengths in Rule-based Constraint Programs. JFPLC 2000: 89-108
32		Slim Abdennadher, Thom W. Frühwirth: Definition von angepaßten Constraint-Solvern mit Constraint-Handling-Rules. WLP 2000: 15
31		Christian Holzbaur, Thom W. Frühwirth: Guest Editorial. Applied Artificial Intelligence 14(4): 309-310 (2000)
30		Christian Holzbaur, Thom W. Frühwirth: A PROLOG Constraint Handling Rules Compiler and Runtime System. Applied Artificial Intelligence 14(4): 369-388 (2000)
29		Thom W. Frühwirth, Pascal Brisset: Placing Base Stations in Wireless Indoor Communication Networks. IEEE Intelligent Systems 15(1): 49-53 (2000)
	1999
28		Slim Abdennadher, Thom W. Frühwirth: Operational Equivalence of CHR Programs and Constraints. CP 1999: 43-57
27		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
26		Angelo E. M. Ciarlini, Thom W. Frühwirth: Symbolic Execution for the Derivation of Meaningful Properties of Hybrid Systems. ICLP 1999: 606
25		Thom W. Frühwirth: Proving Termination of Constraint Solver Programs. New Trends in Constraints 1999: 298-317
24		Christian Holzbaur, Thom W. Frühwirth: Compiling Constraint Handling Rules into Prolog with Attributed Variables. PPDP 1999: 117-133
23		Slim Abdennadher, Thom W. Frühwirth, Holger Meuss: Confluence and Semantics of Constraint Simplification Rules. Constraints 4(2): 133-165 (1999)
	1998
22		Slim Abdennadher, Thom W. Frühwirth: On Completion of Constraint Handling Rules. CP 1998: 25-39
21		Thom W. Frühwirth, Pascal Brisset: Optimal Placement of Base Stations in Wireless Indoor Telecommunication. CP 1998: 476-480
20		Thom W. Frühwirth: Theory and Practice of Constraint Handling Rules. J. Log. Program. 37(1-3): 95-138 (1998)
	1997
19		Thom W. Frühwirth, Slim Abdennadher: Constraint-Programmierung - Grundlagen und Anwendungen. Springer 1997: I-IX, 1-165
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		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		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

Coauthor Index

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

Colors in the list of coauthors

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page