Discover open access scientific publications

Search, annotate, share and cite publications

Publications by Oliver Niggemann

Managing Complexity: Towards Intelligent Error-Handling Assistance Trough Interactive Alarm Flood Reduction

Lecture Notes in Computer Science

Computer Science

Theoretical Computer Science

English

Model-Based Diagnosis of Hybrid Systems Using Satisfiability Modulo Theory

Proceedings of the AAAI Conference on Artificial Intelligence

English

Exposing Design Mistakes During Requirements Engineering by Solving Constraint Satisfaction Problems to Obtain Minimum Correction Subsets

English