| 2000 |
|---|
| 12 | | Helmut Seidl,
Christian Fecht:
Interprocedural Analyses: A Comparison.
J. Log. Program. 43(2): 123-156 (2000) |
| 1999 |
|---|
| 11 | | Christian Fecht,
Helmut Seidl:
A Faster Solver for General Systems of Equations.
Sci. Comput. Program. 35(2): 137-161 (1999) |
| 1998 |
|---|
| 10 | EE | Christian Fecht,
Helmut Seidl:
Propagating Differences: An Efficient New Fixpoint Algorithm for Distributive Constraint Systems.
ESOP 1998: 90-104 |
| 9 | | Christian Fecht,
Helmut Seidl:
Propagating Differences: An Efficient New Fixpoint Algorithm for Distributive Constraint Systems.
Nord. J. Comput. 5(4): 304-329 (1998) |
| 1997 |
|---|
| 8 | | Helmut Seidl,
Christian Fecht:
Disjuntive Completion Is Not "Optimal".
ILPS 1997: 408 |
| 7 | | Helmut Seidl,
Christian Fecht:
Interprocedural Analysis Based on PDAs
Universität Trier, Mathematik/Informatik, Forschungsbericht 97-06: (1997) |
| 6 | | Helmut Seidl,
Christian Fecht:
Propagating Differences: An Efficient New Fixpoint Algorithm for Distributive Constraint Systems
Universität Trier, Mathematik/Informatik, Forschungsbericht 97-13: (1997) |
| 1996 |
|---|
| 5 | | Christian Fecht:
An Efficient and Precise Sharing Domain for Logic Programs.
PLILP 1996: 469-470 |
| 4 | | Christian Fecht,
Helmut Seidl:
An Even Faster Solver for General Systems of Equations.
SAS 1996: 189-204 |
| 3 | | Christian Fecht,
Helmut Seidl:
An Even Faster Solver for General Systems of Equations
Universität Trier, Mathematik/Informatik, Forschungsbericht 96-11: (1996) |
| 1995 |
|---|
| 2 | | Christian Fecht:
GENA - A Tool for Generating Prolog Analyzers from Specifications
SAS 1995: 418-419 |
| 1993 |
|---|
| 1 | | Martin Alt,
Christian Fecht,
Christian Ferdinand,
Reinhard Wilhelm:
Transformation Development: TrafoLa-H Subsystem.
PROSPECTRA Book 1993: 539-576 |
