Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.

Jutta Eusterbrock

2000 – 2009

see FAQ

What is the meaning of the colors in the publication list?

2004
[c6]
- view
  - electronic edition @ ieeecomputersociety.org
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/kbse/Eusterbrock04
- ask others
Jutta Eusterbrock: Context-Aware Code Certification. ASE 2004: 358-361
2000
[c5]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/birthday/Eusterbrock00
- ask others
Jutta Eusterbrock: Compsing Re-usable Synthesis Methods through Graph-based Viewpoints. Intellectics and Computational Logic 2000: 143-158

1990 – 1999

see FAQ

What is the meaning of the colors in the publication list?

1997
[c4]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ismis/Eusterbrock97
- ask others
Jutta Eusterbrock: Program Synthesis from Examples by Theory Formation. ISMIS 1997: 370-380
1996
[c3]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/ismis/Eusterbrock96
- ask others
Jutta Eusterbrock: A Multi-Layer Architecture for Knowledge-Based System Synthesis. ISMIS 1996: 582-592
1995
[c2]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/amast/Eusterbrock95
- ask others
Jutta Eusterbrock: SEAMLESS: Knowledge Based Evolutionary System Synthesis. AMAST 1995: 578-580
1993
[j1]
- view
  - electronic edition via DOI
- export record as
  - BibTeX
  - XML
  dblp key:
  - journals/dam/Eusterbrock93
- ask others
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
[b1]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - books/infix/Eusterbrock92
- ask others
Jutta Eusterbrock: Wissensbasierte Verfahren zur Synthese mathematischer Beweise: Eine kombinatorische Anwendung. DISKI 10, Infix Verlag, St. Augustin, Germany 1992, ISBN 3-929037-10-6
1991
[c1]
- no documents available
- export record as
  - BibTeX
  - XML
  dblp key:
  - conf/lopstr/Eusterbrock91
- ask others
Jutta Eusterbrock: Speed-up Transformations of Logic Programs by Abstraction and Learning. LOPSTR 1991: 167-182