Peter Fröhlich
Affiliations:- ABB Corporate Research Center, Heidelberg, Germany
- University of Hanover, Institut fur Rechnergestützte Wissensverarbeitung, Hannover, Germany (PhD 1998)
According to our database1,
Peter Fröhlich
authored at least 20 papers
between 1995 and 2002.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2002
Appl. Intell., 2002
Proceedings of the UML 2002 - The Unified Modeling Language, 5th International Conference, Dresden, Germany, September 30, 2002
Unit Tests mit Java - der Test-First-Ansatz.
dpunkt.verlag, ISBN: 978-3-89864-150-0, 2002
2001
Proceedings of the Product Focused Software Process Improvement, 2001
Proceedings of the ER 2001 Workshops, 2001
2000
Proceedings of the ECOOP 2000, 2000
1999
1998
1997
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1997
Proceedings of the System Configuration Management, 1997
Proceedings of the Formal Models of Agents, 1997
Proceedings of the Second IEEE Metadata Conference, MD 1997, Silver Spring, 1997
Proceedings of the MASCOTS 1997, 1997
A Static Model-Based Engine for Model-Based Reasoning.
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997
Semantically Guided Theorem Proving for Diagnosis Applications.
Proceedings of the Fifteenth International Joint Conference on Artificial Intelligence, 1997
1996
Proceedings of the Logics in Artificial Intelligence, European Workshop, 1996
A Model-based Reasoning Approach to Circumscription.
Proceedings of the 12th European Conference on Artificial Intelligence, 1996
1995
A Formal Framework for Representing Diagnosis Strategies in Model-Based Diagnosis Systems.
Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, 1995