 | 2004 |
|---|
| 8 |       | Jutta Eusterbrock:
Context-Aware Code Certification.
ASE 2004: 358-361 |
| 2000 |
|---|
| 7 |  | Jutta Eusterbrock:
Compsing Re-usable Synthesis Methods through Graph-based Viewpoints.
Intellectics and Computational Logic 2000: 143-158 |
| 1997 |
|---|
| 6 | | Jutta Eusterbrock:
Program Synthesis from Examples by Theory Formation.
ISMIS 1997: 370-380 |
| 1996 |
|---|
| 5 | | Jutta Eusterbrock:
A Multi-Layer Architecture for Knowledge-Based System Synthesis.
ISMIS 1996: 582-592 |
| 1995 |
|---|
| 4 | | Jutta Eusterbrock:
SEAMLESS: Knowledge Based Evolutionary System Synthesis.
AMAST 1995: 578-580 |
| 1993 |
|---|
| 3 | | Jutta Eusterbrock:
Errata to "Selecting the Top Three Elements" by M. Aigner: A Result of a Computer-Assisted Proof Search.
Discrete Applied Mathematics 41(2): 131-137 (1993) |
| 1992 |
|---|
| 2 | | Jutta Eusterbrock:
Wissensbasierte Verfahren zur Synthese mathematischer Beweise: Eine kombinatorische Anwendung.
Infix Verlag, St. Augustin, Germany 1992 |
| 1991 |
|---|
| 1 | | Jutta Eusterbrock:
Speed-up Transformations of Logic Programs by Abstraction and Learning.
LOPSTR 1991: 167-182 |
