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