Type Inference by Program Transformation and Partial Evaluation. - Thom W. Frühwirth (META, 1988)

Polymorphic Type Checking with Subtypes in Prolog. - Thom W. Frühwirth (DISCO, 1990)

Polymorphically Typed Logic Programs. - Eyal Yardeni; Thom W. Frühwirth; Ehud Shapiro (ICLP, 1991)

Logic Programs as Types for Logic Programs - Thom W. Frühwirth; Ehud Shapiro; Moshe Y. Vardi; Eyal Yardeni (LICS, 1991)

Book reviews. - Thom W. Frühwirth; Terry Dartnall; Charles G. Button; Richard Shillcock; Tony Kalus; Carl M. Kadie; Michael B. Twidale; Andrew Eliasz; Gordon D. A. Brown (Artif. Intell. Rev., 1991)

Polymorphically Typed Logic Programs. - Eyal Yardeni; Thom W. Frühwirth; Ehud Shapiro (Types in Logic Programming, 1992)

Contraint Logic Programming - An Informal Introduction. - Thom W. Frühwirth; Alexander Herold; Volker Küchenhoff; Thierry Le Provost; Pierre Lim; Éric Monfroy; Mark Wallace 001 (Logic Programming Summer School, 1992)

User-Defined Constraint Handling. - Thom W. Frühwirth (ICLP, 1993)

Temporal Logic and Annotated Constraint Logic Programming. - Thom W. Frühwirth (Executable Modal and Temporal Logics, 1993)

Terminological Reasoning with Constraint Handling Rules. - Thom W. Frühwirth; Philipp Hanschke (PPCP, 1993)

Annotated Constraint Logic Programming Applied to Temporal Reasoning. - Thom W. Frühwirth (PLILP, 1994)

Constraint Handling Rules (Extended Abstract). - Thom W. Frühwirth (WLP, 1994)

Constraint Handling Rules - Thom W. Frühwirth (Constraint Programming, 1994)

On Confluence of Constraint Handling Rules. - Slim Abdennadher; Thom W. Frühwirth; Holger Meuss (CP, 1996)

Planning Cordless Business Communication Systems. - Thom W. Frühwirth; Pascal Brisset; Jörg-Rainer Molwitz (IEEE Expert, 1996)

Temporal Annotated Constraint Logic Programming. - Thom W. Frühwirth (J. Symb. Comput., 1996)

Constraint-Programmierung - Grundlagen und Anwendungen. - Thom W. Frühwirth; Slim Abdennadher (Springer, 1997)

Anwendungen Constraintbasierter Programmierung. - Thom W. Frühwirth; Slim Abdennadher (GI Jahrestagung, 1997)

Optimal Planning of Digital Cordless Telecommunication Systems. - Thom W. Frühwirth; Pascal Brisset (PACT, 1997)

Der Mietspiegel im Internet: Ein Fall für Constraint-Logikprogrammierung. - Thom W. Frühwirth; Slim Abdennadher (Künstliche Intell., 1997)

On Completion of Constraint Handling Rules. - Slim Abdennadher; Thom W. Frühwirth (CP, 1998)

Optimal Placement of Base Stations in Wireless Indoor Telecommunication. - Thom W. Frühwirth; Pascal Brisset (CP, 1998)

Theory and Practice of Constraint Handling Rules. - Thom W. Frühwirth (J. Log. Program., 1998)

Proving Termination of Constraint Solver Programs. - Thom W. Frühwirth (New Trends in Constraints, 1999)

Operational Equivalence of CHR Programs and Constraints. - Slim Abdennadher; Thom W. Frühwirth (CP, 1999)

JACK - Java Constraint Kit. - Luis Mandel; Marcelo Campo; Analía Amandi; Thom W. Frühwirth; Bernd Meyer 001; Slim Abdennadher; Bernhard Bauer 001 (German-Argentinian Workshop on Information Technology, 1999)

Symbolic Execution for the Derivation of Meaningful Properties of Hybrid Systems. - Angelo E. M. Ciarlini; Thom W. Frühwirth (ICLP, 1999)

Compiling Constraint Handling Rules into Prolog with Attributed Variables. - Christian Holzbaur; Thom W. Frühwirth (PPDP, 1999)

Confluence and Semantics of Constraint Simplification Rules. - Slim Abdennadher; Thom W. Frühwirth; Holger Meuss (Constraints An Int. J., 1999)

Predicting Derivation Lengths in Rule-based Constraint Programs. - Thom W. Frühwirth (JFPLC, 2000)

Definition von angepaßten Constraint-Solvern mit Constraint-Handling-Rules. - Slim Abdennadher; Thom W. Frühwirth (WLP, 2000)

Guest Editorial. - Christian Holzbaur; Thom W. Frühwirth (Appl. Artif. Intell., 2000)

A PROLOG Constraint Handling Rules Compiler and Runtime System. - Christian Holzbaur; Thom W. Frühwirth (Appl. Artif. Intell., 2000)

Placing Base Stations in Wireless Indoor Communication Networks. - Thom W. Frühwirth; Pascal Brisset (IEEE Intell. Syst., 2000)

Spatio-temporal Annotated Constraint Logic Programming. - Alessandra Raffaetà; Thom W. Frühwirth (PADL, 2001)

On the number of rule applications in constraint programs. - Thom W. Frühwirth (APPIA-GULP-PRODE, 2001)

As Time Goes By II: More Automatic Complexity Analysis of Concurrent Rule Programs. - Thom W. Frühwirth (QAPL, 2001)

The Munich Rent Advisor: A Success for Logic Programming on the Internet. - Thom W. Frühwirth; Slim Abdennadher (Theory Pract. Log. Program., 2001)

Tutorial: Reasoning with, about and for Constraint Handling Rules. - Thom W. Frühwirth; Slim Abdennadher (FroCoS, 2002)

Using Program Analysis for Integration and Optimization of Rule-based Constraint Solvers. - Slim Abdennadher; Thom W. Frühwirth (JFPLC, 2002)

As Time Goes by: Automatic Complexity Analysis of Simplified Rules. - Thom W. Frühwirth (KR, 2002)

Soft constraint propagation and solving in CHRs. - Stefano Bistarelli; Thom W. Frühwirth; Michael Marte (SAC, 2002)

Special Issue on Constraint Agents. - Peggy S. Eaton; Thom W. Frühwirth; Milind Tambe (Constraints An Int. J., 2002)

Probabilistic Constraint Handling Rules. - Thom W. Frühwirth; Alessandra Di Pierro; Herbert Wiklicky (WFLP, 2002)

Essentials of constraint programming. - Thom W. Frühwirth; Slim Abdennadher (Springer, 2003)

Source-to-Source Transformation for a Class of Expressive Rules. - Thom W. Frühwirth; Christian Holzbaur (APPIA-GULP-PRODE, 2003)

Integration and Optimization of Rule-Based Constraint Solvers. - Slim Abdennadher; Thom W. Frühwirth (LOPSTR, 2003)

Specialization of Concurrent Guarded Multi-set Transformation Rules. - Thom W. Frühwirth (LOPSTR, 2004)

Soft Constraint Propagation and Solving in Constraint Handling Rules. - Stefano Bistarelli; Thom W. Frühwirth; Michael Marte; Francesca Rossi 001 (Comput. Intell., 2004)

A Linear-Logic Semantics for Constraint Handling Rules. - Hariolf Betz; Thom W. Frühwirth (CP, 2005)

Complete Propagation Rules for Lexicographic Order Constraints over Arbitrary Domains. - Thom W. Frühwirth (CSCLP, 2005)

Parallelizing Union-Find in Constraint Handling Rules Using Confluence Analysis. - Thom W. Frühwirth (ICLP, 2005)

Analysing the CHR Implementation of Union-Find. - Tom Schrijvers; Thom W. Frühwirth (W(C)LP, 2005)

Automatic Implication Checking for CHR Constraints. - Tom Schrijvers; Bart Demoen; Gregory J. Duck; Peter J. Stuckey; Thom W. Frühwirth (RULE@RDP, 2005)

Introduction to the Special Issue on Constraint Handling Rules. - Slim Abdennadher; Thom W. Frühwirth; Christian Holzbaur (Theory Pract. Log. Program., 2005)

Complexity of a CHR Solver for Existentially Quantified Conjunctions of Equations over Trees. - Marc Meister; Khalil Djelloul; Thom W. Frühwirth (CSCLP, 2006)

Constraint handling rules: the story so far. - Thom W. Frühwirth (PPDP, 2006)

Optimal union-find in Constraint Handling Rules. - Tom Schrijvers; Thom W. Frühwirth (Theory Pract. Log. Program., 2006)

Constraints in Procedural and Concurrent Languages. - Thom W. Frühwirth; Laurent Michel; Christian Schulte 001 (Handbook of Constraint Programming, 2006)

Quasi-Linear-Time Algorithms by Generalisation of Union-Find in CHR. - Thom W. Frühwirth (CSCLP, 2007)

Toward a first-order extension of Prolog's unification using CHR: a CHR first-order constraint solver over finite or infinite trees. - Khalil Djelloul; Thi-Bich-Hanh Dao; Thom W. Frühwirth (SAC, 2007)

Theory of finite or infinite trees revisited. - Khalil Djelloul; Thi-Bich-Hanh Dao; Thom W. Frühwirth (Theory Pract. Log. Program., 2008)

Welcome to Constraint Handling Rules. - Thom W. Frühwirth (Constraint Handling Rules, 2008)

Strong Joinability Analysis for Graph Transformation Systems in CHR. - Frank Raiser; Thom W. Frühwirth (TERMGRAPH@ETAPS, 2009)

Analyzing Graph Transformation Systems through Constraint Handling Rules - Frank Raiser; Thom W. Frühwirth (CoRR, 2010)

A complete and terminating execution model for Constraint Handling Rules. - Hariolf Betz; Frank Raiser; Thom W. Frühwirth (Theory Pract. Log. Program., 2010)

Analysing graph transformation systems through constraint handling rules. - Frank Raiser; Thom W. Frühwirth (Theory Pract. Log. Program., 2011)

Compiling CHR to parallel hardware. - Andrea Triossi; Salvatore Orlando 001; Alessandra Raffaetà; Thom W. Frühwirth (PPDP, 2012)

Linear-Logic Based Analysis of Constraint Handling Rules with Disjunction. - Hariolf Betz; Thom W. Frühwirth (ACM Trans. Comput. Log., 2013)

Probabilistic legal reasoning in CHRiSM. - Jon Sneyers; Danny De Schreye; Thom W. Frühwirth (Theory Pract. Log. Program., 2013)

Towards Inverse Execution of Constraint Handling Rules. - Amira Zaki; Thom W. Frühwirth; Slim Abdennadher (Theory Pract. Log. Program., 2013)

A Formal Semantics for the Cognitive Architecture ACT-R. - Daniel Gall; Thom W. Frühwirth (LOPSTR, 2014)

CHRAnimation: An Animation Tool for Constraint Handling Rules. - Nada Sharaf; Slim Abdennadher; Thom W. Frühwirth (LOPSTR, 2014)

From XML Schema to JSON Schema: Translation with CHR. - Falco Nogatz; Thom W. Frühwirth (CoRR, 2014)

Visualization of Constraint Handling Rules. - Nada Sharaf; Slim Abdennadher; Thom W. Frühwirth (CoRR, 2014)

Exchanging Conflict Resolution in an Adaptable Implementation of ACT-R. - Daniel Gall; Thom W. Frühwirth (Theory Pract. Log. Program., 2014)

The P-Box CDF-Intervals: A Reliable Constraint Reasoning with Quantifiable Information. - Aya Saad; Thom W. Frühwirth; Carmen Gervet (Theory Pract. Log. Program., 2014)

Combining Forward and Backward Propagation. - Amira Zaki; Slim Abdennadher; Thom W. Frühwirth (FroCos, 2015)

Imperfect Querying through Womb Grammars plus Ontologies. - Verónica Dahl; Sergio Tessaris; Thom W. Frühwirth (JOWO@IJCAI, 2015)

DiagrammaticCHR: A Diagrammatic Representation of CHR Programs. - Nada Sharaf; Slim Abdennadher; Thom W. Frühwirth (IV, 2015)

A devil's advocate against termination of direct recursion. - Thom W. Frühwirth (PPDP, 2015)

A refined operational semantics for ACT-R: investigating the relations between different ACT-R formalizations. - Daniel Gall; Thom W. Frühwirth (PPDP, 2015)

Constraint Handling Rules - What Else? - Thom W. Frühwirth (RuleML, 2015)

Animating Cognitive Models and Architectures: A Rule-Based Approach. - Nada Sharaf; Slim Abdennadher; Thom W. Frühwirth; Daniel Gall (GCAI, 2016)

A Rule-Based Approach for Animating Java Algorithms. - Nada Sharaf; Slim Abdennadher; Thom W. Frühwirth (IV, 2016)

Why Can't You Behave? Non-termination Analysis of Direct Recursive Rules with Constraints. - Thom W. Frühwirth (RuleML, 2016)

Translation of Cognitive Models from ACT-R to Constraint Handling Rules. - Daniel Gall; Thom W. Frühwirth (RuleML, 2016)

A Rule Based Approach to teach Mathematics using Animation. - Nada Sharaf; Slim Abdennadher; Thom W. Frühwirth (RuleML (Supplement), 2016)

Implementation of Logical Retraction in Constraint Handling Rules with Justifications. - Thom W. Frühwirth (DECLARE, 2017)

A Rule-Based Approach for Automatic Interaction Detection and Annotation. - Nada Sharaf; Slim Abdennadher; Thom W. Frühwirth (IV, 2017)

CHR-Graph: A Platform for Animating Tree and Graph Algorithms. - Nada Sharaf; Slim Abdennadher; Thom W. Frühwirth (IV, 2017)

Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms. - Thom W. Frühwirth (LOPSTR, 2017)

A Decidable Confluence Test for Cognitive Models in ACT-R. - Daniel Gall; Thom W. Frühwirth (RuleML+RR, 2017)

Using Rules to Animate Prolog Programs. - Nada Sharaf; Slim Abdennadher; Thom W. Frühwirth (RuleML+RR (Supplement), 2017)

Parallelism, Concurreny and Distribution in Constraint Handling Rules: A Survey (Draft). - Thom W. Frühwirth (CoRR, 2017)

Visualization of Constraint Handling Rules: Semantics and Applications. - Nada Sharaf; Slim Abdennadher; Thom W. Frühwirth (CoRR, 2017)

Confluence Modulo Equivalence with Invariants in Constraint Handling Rules. - Daniel Gall; Thom W. Frühwirth (FLOPS, 2018)

CHR^vis: Syntax and Semantics. - Nada Sharaf; Slim Abdennadher; Thom W. Frühwirth (ICLP (Technical Communications), 2018)

Rule-Based Visualization of Tableau Calculus for Propositional Logic. - Nada Sharaf; Slim Abdennadher; Thom W. Frühwirth (IV, 2018)

Rule-Based Drawing, Analysis and Generation of Graphs Applied to Mason's Mark Design. - Thom W. Frühwirth (RuleML+RR, 2018)

CHR.js: A CHR Implementation in JavaScript. - Falco Nogatz; Thom W. Frühwirth; Dietmar Seipel (RuleML+RR, 2018)

Rule-Based Drawing, Analysis and Generation of Graphs for Mason's Mark Design. - Thom W. Frühwirth (CoRR, 2018)

Exploring Parallel Execution Strategies for Constraint Handling Rules - Work-in-Progress Report. - Thom W. Frühwirth; Daniel Gall (CoRR, 2018)

An Operational Semantics for the Cognitive Architecture ACT-R and Its Translation to Constraint Handling Rules. - Daniel Gall; Thom W. Frühwirth (ACM Trans. Comput. Log., 2018)

Parallelism, concurrency and distribution in constraint handling rules: A survey. - Thom W. Frühwirth (Theory Pract. Log. Program., 2018)

Repeated Recursion Unfolding for Super-Linear Speedup within Bounds. - Thom W. Frühwirth (CoRR, 2020)

Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms: Theory, Implementations, and Complexity. - Thom W. Frühwirth (Fundam. Informaticae, 2020)

FreeCHR: An Algebraic Framework for CHR-Embeddings. - Sascha Rechenberger; Thom W. Frühwirth (RuleML+RR, 2023)

Runtime Repeated Recursion Unfolding: A Just-In-Time Online Program Optimization That Can Achieve Super-Linear Speedup. - Thom W. Frühwirth (CoRR, 2023)

FreeCHR - An Algebraic Framework for Constraint Handling Rules Embeddings. - Sascha Rechenberger; Thom W. Frühwirth (Theory Pract. Log. Program., 2025)

A refined operational semantics for FreeCHR. - Sascha Rechenberger; Thom W. Frühwirth (CoRR, 2025)

An instance of FreeCHR with refined operational semantics. - Sascha Rechenberger; Thom W. Frühwirth (CoRR, 2025)

Optimized Execution of FreeCHR. - Sascha Rechenberger; Thom W. Frühwirth (CoRR, 2025)