deutsch | english

Publications

  • Jutta Eusterbrock:
    Co-Synthesis of New Complex Selection Algorithms and their Human-Comprehensible XML Documentation
    Workshop on Empirically Successful Automated Reasoning in Higher-Order Logics ESHOL 2005, Montego Bay, Jamaica, December 2, 2005
  • Jutta Eusterbrock:
    Context-Aware Code Certification
  • Jutta Eusterbrock:
    Synthesizing Safety Conditions for Code Certification using Meta-Level Programming
    RIACS Technical Report, 2003
    • PDF (374 KB)
  • Jutta Eusterbrock:
    Intelligente Agenten im E-Commerce
    Frauenarbeit und Informatik, Dezember, 2001, S. 16-20
  • Jutta Eusterbrock:
    Knowledge Mediation in the WWW Based on Labelled DAGs with Attached Constraints
    Electronic Transactions on Artificial Intelligence, Vol 5 (2001), Section D
  • Jutta Eusterbrock:
    Composing re-usable synthesis methods through graph-based viewpoints
    In Proc COCL'98 (Component-based Software Development in Computational Logic), Pisa, 1998, pages 17-29
  • Jutta Eusterbrock:
    Program synthesis from examples by theory formation
    Proc. ISMIS'97 (Methodologies for Intelligent Systems), Springer, 1997, pages 370-380
    • PDF (231 KB)
  • Jutta Eusterbrock:
    Canonical term representations of isomorphic transitive DAGS for efficient knowledge-based reasoning
    In Proc KRUSE'97 (International Symposium, Knowledge Retrieval, Use and Storage for Efficiency), Simon Fraser University, Vancouver, 1997, pages 235-249
    • PDF (263 KB)
  • Jutta Eusterbrock and Michalis Nicolaides:
    The Visualization of Constructive Proofs by Compositional Graph Layout: A World-Wide Web Interface
    CADE Visual Reasoning Workshop, Rutgers University, July 1996
    • PDF (200 KB)
  • Jutta Eusterbrock:
    A Multi-Layer Architecture for Knowledge-Based System Synthesis
    Arbeitspapiere der GMD, 950, 1995. Short version: Proc. Methodologies for Intelligent Systemes, Springer Verlag 1996, pages 582-592
    • PDF (231 KB)
  • Jutta Eusterbrock:
    Efficient Knowledge Based Reasoning with transitive DAG's
    Proceedings of the International KRUSE Symposium, Knowledge Retrieval, Use and Storage for Efficiency, pages 97-101, 1995
  • Jutta Eusterbrock:
    SEAMLESS: Knowledge Based Evolutionary System Synthesis
    ERCIM News No. 23, October 95
  • Jutta Eusterbrock:
    SEAMLESS: Knowledge Based Evolutionary System Synthesis
    Proceedings of the 4th International Conference on Algebraic Methodology and Software Technology, AMAST'95, LNCS 936, pages 578 -580, 1995
  • Jutta Eusterbrock, W. Orth, St. Uellner and A. Böhm:
    Kundenindividuelle Konfiguration von Telekommunikations-Diensten
    Gemeinsame Studie der GMD – Institut für Telekooperationstechnik und des Telekom-Forschungszentrums, August 1994
  • Jutta Eusterbrock:
    Beobachtung, Strukturierung und Synthese: weibliche Vorgehensweisen? In welchen Themengebieten finden Informatikerinnen ihre Nische?
    in Koryphäe, Medium für feministische Naturwissenschaft und Technik, pages 26-31, 1994
  • Jutta Eusterbrock:
    Knowledge Modeling for Evolutionary Program Synthesis
    in Proceedings of the 8th International Symposium on Methodologies for Intelligent Systems, pages 17-30, Oak Ridge National Laboratory, N00014-94-1-0799, 1994
  • Jutta Eusterbrock:
    Knowledge Modeling for Evolutionary Program Synthesis
    in J.-P. Finance, St. Jähnichen, J. Loeckx and D. Smith, editors, Logic Theory of Program Construction, Dagstuhl-Seminar-Report; 84, 7.3.-11.3.94, 38, 1994
  • Jutta Eusterbrock:
    Constructive Program Synthesis by Theory Formation
    Technical Report AIDA--92--07, Technische Hochschule Darmstadt, FG Intellektik, June 1992
  • Jutta Eusterbrock:
    Errata to »Selecting the top three elements« by M. Aigner: A Result of a computer assisted proof search
    in Discrete Applied Mathematics, 41:131-137, 1992
  • Jutta Eusterbrock:
    Speed-up Transformations of Logic Programs by Abstraction and Learning
    in K.K. Lau and T. Clement, editors, Logic Program Synthesis and Transformation, pages 167-182, Springer Verlag, 1992
  • Jutta Eusterbrock:
    Wissensbasierte Verfahren zur Synthese mathematischer Beweise: Eine kombinatorische Anwendung
    DISKI 10:276, INFIX, 1992
  • Jutta Eusterbrock:
    Algorithmensynthese: Integration deduktiver und induktiver Komponenten
    Institut für Informatik, Universität Stuttgart, 90-2, 1990
  • Jutta Eusterbrock:
    Kombinatorik, Vorlesungsskript
    Institut für Informatik, Universität Stuttgart, 90-7, 56, 1990
  • Jutta Eusterbrock:
    Lösung kombinatorischer Anzahlprobleme mittels rekursiver Zergliederung des Problems: Das Selektionsproblem als Fallstudie
    Jahrestagung der DMV Berlin, 345, 1987