A Formal Framework for Representing Diagnosis Strategies in Model-Based Diagnosis Systems. - Wolfgang Nejdl; Peter Fröhlich 001; Michael Schroeder 001 (IJCAI, 1995)

A Model-based Reasoning Approach to Circumscription. - Peter Fröhlich 001; Wolfgang Nejdl (ECAI, 1996)

Design and Implementation of Diagnostic Strategies Using Modal Logic. - Peter Fröhlich 001; Wolfgang Nejdl; Michael Schroeder 001 (JELIA, 1996)

Semantically Guided Theorem Proving for Diagnosis Applications. - Peter Baumgartner 001; Peter Fröhlich 001; Ulrich Furbach; Wolfgang Nejdl (IJCAI (1), 1997)

A Static Model-Based Engine for Model-Based Reasoning. - Peter Fröhlich 001; Wolfgang Nejdl (IJCAI (1), 1997)

Model-Based Alarm Correlation in Cellular Phone Networks. - Peter Fröhlich 001; Wolfgang Nejdl; Klaus Jobmann; Hermann Wietgrefe (MASCOTS, 1997)

Meta-Modeling for Hypermedia Design. - Peter Fröhlich 001; Nicola Henze; Wolfgang Nejdl (MD, 1997)

Diagnostic Agents for Distributed Systems. - Peter Fröhlich 001; Iara de Almeida Móra; Wolfgang Nejdl; Michael Schroeder 001 (ModelAge Workshop, 1997)

WebRC: Configuration Management for a Cooperation Tool. - Peter Fröhlich 001; Wolfgang Nejdl (SCM, 1997)

Tableaux for Diagnosis Applications. - Peter Baumgartner 001; Peter Fröhlich 001; Ulrich Furbach; Wolfgang Nejdl (TABLEAUX, 1997)

DRUM-II - efficient model-based diagnosis of technical systems. - Peter Fröhlich 001 (Infix, 1998)

Hyperbook Data Modeling. - Peter Fröhlich 001; Nicola Henze; Wolfgang Nejdl (EP, 1998)

Strategies in Model-Based Diagnosis. - Peter Fröhlich 001; Wolfgang Nejdl; Michael Schroeder 001 (J. Autom. Reason., 1998)

Model-Based Diagnosis for Open Systems Fault Management. - Friedrich Steimann; Peter Fröhlich 001; Wolfgang Nejdl (AI Commun., 1999)

Automated Test Case Generation from Dynamic Models. - Peter Fröhlich 001; Johannes Link (ECOOP, 2000)

Imposing Modeling Rules on Industrial Applications through Meta-modeling. - Peter Fröhlich 001; Zaijun Hu; Manfred Schoelzke (ER (Workshops), 2001)

Enabling Local SPI in a Multi-national Company. - Peter Fröhlich 001; Horst Lichter; Manfred Zeller (PROFES, 2001)

Unit Tests mit Java - der Test-First-Ansatz. - Johannes Link; Peter Fröhlich 001 (dpunkt.verlag, 2002)

Using UML for Information Modeling in Industrial Systems with Multiple Hierarchies. - Peter Fröhlich 001; Zaijun Hu; Manfred Schoelzke (UML, 2002)

Using Extended Logic Programming for Alarm-Correlation in Cellular Phone Networks. - Carlos Viegas Damásio; Peter Fröhlich 001; Wolfgang Nejdl; Luís Moniz Pereira; Michael Schroeder 001 (Appl. Intell., 2002)