Search

Proceedings


2019

2018

2019

  • AutoAnalyze in Systems Biology
    Christian Saad, Bernhard Bauer, Ulrich R. Mansmann, Jian Li
    Bioinformatics and biology insights, 13, 1177932218818458

2018

2017

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

1999

1998

1996

1995

1994

  • Behavioural Program Development With the ISAR System
    Bauer, B., Hennicker, R
    Technischer Bericht, Systems for Computer-Aided Specification, Development and Verification, Workshop, Kiel, Deutschland, 4.-5. Juli 1994, Ed.: B. Buth, R. Berghammer, Christian-Albrechts-Universität Kiel, Institut für Informatik und Praktische Mathematik, Bericht 9416
  • Proving Properties over Attribute Grammars
    Bauer, B.
    Technischer Bericht, Semantikgestützte Analyse, Entwicklung und Generierung von Programmen, Workshop der GI-Fachgruppe 2.1.3, Schloß Rauischholzhausen, Deutschland, 10.-11. März 1994, Ed.: U. Meyer, G. Snelting, Justus-Liebig-Universität Giessen, AG Informatik, Bericht 9402
  • Attributed Term Induction - A Proof Principle for Attribute Grammars
    Bauer, B.
    Technischer Bericht, Technische Universität München, Institut für Informatik, 1994, p. 24 (Bericht 9403)

1993

1992

2013