Thom W. Frühwirth
11 publications
3 venues
H Index 8
Affiliation
University of Ulm, GermanyLinks
| Name | Venue | Year | citations |
|---|---|---|---|
A refined operational semantics for FreeCHR.
|
ICLP | 2025 | 1 |
| A Linear-Logic Semantics for Constraint Handling Rules.
|
CP | 2005 | 56 |
| Parallelizing Union-Find in Constraint Handling Rules Using Confluence Analysis.
|
ICLP | 2005 | 49 |
| As Time Goes by: Automatic Complexity Analysis of Simplified Rules.
|
KR | 2002 | 17 |
| Operational Equivalence of CHR Programs and Constraints.
|
CP | 1999 | 37 |
| Symbolic Execution for the Derivation of Meaningful Properties of Hybrid Systems.
|
ICLP | 1999 | 2 |
| Optimal Placement of Base Stations in Wireless Indoor Telecommunication.
|
CP | 1998 | 32 |
| On Completion of Constraint Handling Rules.
|
CP | 1998 | 30 |
| On Confluence of Constraint Handling Rules.
|
CP | 1996 | 51 |
| User-Defined Constraint Handling.
|
ICLP | 1993 | 7 |
| Polymorphically Typed Logic Programs.
|
ICLP | 1991 | 40 |