BibTeX records: Jutta Eusterbrock

• > Home > Persons > Jutta Eusterbrock

@inproceedings{DBLP:conf/kbse/Eusterbrock04,
  author       = {Jutta Eusterbrock},
  title        = {Context-Aware Code Certification},
  booktitle    = {19th {IEEE} International Conference on Automated Software Engineering
                  {(ASE} 2004), 20-25 September 2004, Linz, Austria},
  pages        = {358--361},
  publisher    = {{IEEE} Computer Society},
  year         = {2004},
  url          = {https://doi.ieeecomputersociety.org/10.1109/ASE.2004.10044},
  doi          = {10.1109/ASE.2004.10044},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/Eusterbrock04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/birthday/Eusterbrock00,
  author       = {Jutta Eusterbrock},
  editor       = {Steffen H{\"{o}}lldobler},
  title        = {Compsing Re-usable Synthesis Methods through Graph-based Viewpoints},
  booktitle    = {Intellectics and Computational Logic (to Wolfgang Bibel on the occasion
                  of his 60th birthday)},
  series       = {Applied Logic Series},
  volume       = {19},
  pages        = {143--158},
  publisher    = {Kluwer},
  year         = {2000},
  timestamp    = {Thu, 03 Jan 2002 11:54:05 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/Eusterbrock00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ismis/Eusterbrock97,
  author       = {Jutta Eusterbrock},
  editor       = {Zbigniew W. Ras and
                  Andrzej Skowron},
  title        = {Program Synthesis from Examples by Theory Formation},
  booktitle    = {Foundations of Intelligent Systems, 10th International Symposium,
                  {ISMIS} '97, Charlotte, North Carolina, USA, October 15-18, 1997,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1325},
  pages        = {370--380},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/3-540-63614-5\_36},
  doi          = {10.1007/3-540-63614-5\_36},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/ismis/Eusterbrock97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/ismis/Eusterbrock96,
  author       = {Jutta Eusterbrock},
  editor       = {Zbigniew W. Ras and
                  Maciej Michalewicz},
  title        = {A Multi-Layer Architecture for Knowledge-Based System Synthesis},
  booktitle    = {Foundations of Intelligent Systems, 9th International Symposium, {ISMIS}
                  '96, Zakopane, Poland, June 9-13, 1996, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1079},
  pages        = {582--592},
  publisher    = {Springer},
  year         = {1996},
  url          = {https://doi.org/10.1007/3-540-61286-6\_182},
  doi          = {10.1007/3-540-61286-6\_182},
  timestamp    = {Tue, 14 May 2019 10:00:41 +0200},
  biburl       = {https://dblp.org/rec/conf/ismis/Eusterbrock96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/amast/Eusterbrock95,
  author       = {Jutta Eusterbrock},
  editor       = {Vangalur S. Alagar and
                  Maurice Nivat},
  title        = {{SEAMLESS:} Knowledge Based Evolutionary System Synthesis},
  booktitle    = {Algebraic Methodology and Software Technology, 4th International Conference,
                  {AMAST} '95, Montreal, Canada, July 3-7, 1995, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {936},
  pages        = {578--580},
  publisher    = {Springer},
  year         = {1995},
  url          = {https://doi.org/10.1007/3-540-60043-4\_80},
  doi          = {10.1007/3-540-60043-4\_80},
  timestamp    = {Tue, 14 May 2019 10:00:38 +0200},
  biburl       = {https://dblp.org/rec/conf/amast/Eusterbrock95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/dam/Eusterbrock93,
  author       = {Jutta Eusterbrock},
  title        = {Errata to "Selecting the Top Three Elements" by M. Aigner:
                  {A} Result of a Computer-Assisted Proof Search},
  journal      = {Discret. Appl. Math.},
  volume       = {41},
  number       = {2},
  pages        = {131--137},
  year         = {1993},
  url          = {https://doi.org/10.1016/0166-218X(93)90033-K},
  doi          = {10.1016/0166-218X(93)90033-K},
  timestamp    = {Thu, 11 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dam/Eusterbrock93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@phdthesis{DBLP:books/infix/Eusterbrock92,
  author       = {Jutta Eusterbrock},
  title        = {Wissensbasierte Verfahren zur Synthese mathematischer Beweise: Eine
                  kombinatorische Anwendung},
  school       = {University of Stuttgart, Germany},
  year         = {1992},
  url          = {https://d-nb.info/920933866},
  isbn         = {3-929037-10-6},
  timestamp    = {Sat, 17 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/books/infix/Eusterbrock92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/lopstr/Eusterbrock91,
  author       = {Jutta Eusterbrock},
  editor       = {Timothy Paul Clement and
                  Kung{-}Kiu Lau},
  title        = {Speed-up Transformations of Logic Programs by Abstraction and Learning},
  booktitle    = {Logic Program Synthesis and Transformation, Proceedings of {LOPSTR}
                  91, International Workshop on Logic Program Synthesis and Transformation,
                  University of Manchester, UK, 4-5 July 1991},
  series       = {Workshops in Computing},
  pages        = {167--182},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/978-1-4471-3494-7\_13},
  doi          = {10.1007/978-1-4471-3494-7\_13},
  timestamp    = {Fri, 21 Jun 2019 13:08:59 +0200},
  biburl       = {https://dblp.org/rec/conf/lopstr/Eusterbrock91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}