| 2018 | FLOPS | Confluence Modulo Equivalence with Invariants in Constraint Handling Rules. | Daniel Gall, Thom W. Frhwirth |
| 2018 | ICLP | CHR^vis: Syntax and Semantics. | Nada Sharaf, Slim Abdennadher, Thom W. Frhwirth |
| 2018 | IV | Rule-Based Visualization of Tableau Calculus for Propositional Logic. | Nada Sharaf, Slim Abdennadher, Thom W. Frhwirth |
| 2017 | IV | A Rule-Based Approach for Automatic Interaction Detection and Annotation. | Nada Sharaf, Slim Abdennadher, Thom W. Frhwirth |
| 2017 | IV | CHR-Graph: A Platform for Animating Tree and Graph Algorithms. | Nada Sharaf, Slim Abdennadher, Thom W. Frhwirth |
| 2017 | LOPSTR | Justifications in Constraint Handling Rules for Logical Retraction in Dynamic Algorithms. | Thom W. Frhwirth |
| 2016 | IV | A Rule-Based Approach for Animating Java Algorithms. | Nada Sharaf, Slim Abdennadher, Thom W. Frhwirth |
| 2015 | IJCAI | Imperfect Querying through Womb Grammars plus Ontologies. | Vernica Dahl, Sergio Tessaris, Thom W. Frhwirth |
| 2015 | IV | DiagrammaticCHR: A Diagrammatic Representation of CHR Programs. | Nada Sharaf, Slim Abdennadher, Thom W. Frhwirth |
| 2015 | PPDP | A devil's advocate against termination of direct recursion. | Thom W. Frhwirth |
| 2015 | PPDP | A refined operational semantics for ACT-R: investigating the relations between different ACT-R formalizations. | Daniel Gall, Thom W. Frhwirth |
| 2014 | LOPSTR | A Formal Semantics for the Cognitive Architecture ACT-R. | Daniel Gall, Thom W. Frhwirth |
| 2014 | LOPSTR | CHRAnimation: An Animation Tool for Constraint Handling Rules. | Nada Sharaf, Slim Abdennadher, Thom W. Frhwirth |
| 2012 | PPDP | Compiling CHR to parallel hardware. | Andrea Triossi, Salvatore Orlando, Alessandra Raffaet, Thom W. Frhwirth |
| 2007 | SAC | 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. Frhwirth |
| 2006 | PPDP | Constraint handling rules: the story so far. | Thom W. Frhwirth |
| 2005 | CP | A Linear-Logic Semantics for Constraint Handling Rules. | Hariolf Betz, Thom W. Frhwirth |
| 2005 | ICLP | Parallelizing Union-Find in Constraint Handling Rules Using Confluence Analysis. | Thom W. Frhwirth |
| 2004 | LOPSTR | Specialization of Concurrent Guarded Multi-set Transformation Rules. | Thom W. Frhwirth |
| 2003 | LOPSTR | Integration and Optimization of Rule-Based Constraint Solvers. | Slim Abdennadher, Thom W. Frhwirth |
| 2002 | KR | As Time Goes by: Automatic Complexity Analysis of Simplified Rules. | Thom W. Frhwirth |
| 2002 | SAC | Soft constraint propagation and solving in CHRs. | Stefano Bistarelli, Thom W. Frhwirth, Michael Marte |
| 2001 | PADL | Spatio-temporal Annotated Constraint Logic Programming. | Alessandra Raffaet, Thom W. Frhwirth |
| 1999 | CP | Operational Equivalence of CHR Programs and Constraints. | Slim Abdennadher, Thom W. Frhwirth |
| 1999 | ICLP | Symbolic Execution for the Derivation of Meaningful Properties of Hybrid Systems. | Angelo E. M. Ciarlini, Thom W. Frhwirth |
| 1999 | PPDP | Compiling Constraint Handling Rules into Prolog with Attributed Variables. | Christian Holzbaur, Thom W. Frhwirth |
| 1998 | CP | On Completion of Constraint Handling Rules. | Slim Abdennadher, Thom W. Frhwirth |
| 1998 | CP | Optimal Placement of Base Stations in Wireless Indoor Telecommunication. | Thom W. Frhwirth, Pascal Brisset |
| 1997 | GI | Anwendungen Constraintbasierter Programmierung. | Thom W. Frhwirth, Slim Abdennadher |
| 1996 | CP | On Confluence of Constraint Handling Rules. | Slim Abdennadher, Thom W. Frhwirth, Holger Meuss |
| 1993 | ICLP | User-Defined Constraint Handling. | Thom W. Frhwirth |
| 1993 | IJCAI | Temporal Logic and Annotated Constraint Logic Programming. | Thom W. Frhwirth |
| 1991 | ICLP | Polymorphically Typed Logic Programs. | Eyal Yardeni, Thom W. Frhwirth, Ehud Shapiro |
| 1991 | LICS | Logic Programs as Types for Logic Programs | Thom W. Frhwirth, Ehud Shapiro, Moshe Y. Vardi, Eyal Yardeni |