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:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2002
Using Extended Logic Programming for Alarm-Correlation in Cellular Phone Networks.
Appl. Intell., 2002

Using UML for Information Modeling in Industrial Systems with Multiple Hierarchies.
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
Enabling Local SPI in a Multi-national Company.
Proceedings of the Product Focused Software Process Improvement, 2001

Imposing Modeling Rules on Industrial Applications through Meta-modeling.
Proceedings of the ER 2001 Workshops, 2001

2000
Automated Test Case Generation from Dynamic Models.
Proceedings of the ECOOP 2000, 2000

1999
Model-Based Diagnosis for Open Systems Fault Management.
AI Commun., 1999

1998
Strategies in Model-Based Diagnosis.
J. Autom. Reason., 1998

Hyperbook Data Modeling.
Proceedings of the Electronic Publishing, 1998

DRUM-II - efficient model-based diagnosis of technical systems.
PhD thesis, 1998

1997
Tableaux for Diagnosis Applications.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 1997

WebRC: Configuration Management for a Cooperation Tool.
Proceedings of the System Configuration Management, 1997

Diagnostic Agents for Distributed Systems.
Proceedings of the Formal Models of Agents, 1997

Meta-Modeling for Hypermedia Design.
Proceedings of the Second IEEE Metadata Conference, MD 1997, Silver Spring, 1997

Model-Based Alarm Correlation in Cellular Phone Networks.
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
Design and Implementation of Diagnostic Strategies Using Modal Logic.
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


  Loading...