Search the dblp DataBase

Publications of Author

1. Benno Stein, Oliver Niggemann, Theodor Lettmann
   Speeding Up Model-based Diagnosis by a Heuristic Approach to Solving SAT. [Citation Graph (0, 0)][DBLP]
   Artificial Intelligence and Applications, 2006, pp:273-278 [Conf]
   
2. Oliver Niggemann, Benno Stein
   A Meta Heuristic for Graph Drawing. [Citation Graph (0, 0)][DBLP]
   Advanced Visual Interfaces, 2000, pp:286-289 [Conf]
   
3. Benno Stein, Oliver Niggemann
   Generation of Similarity Measures from Different Sources. [Citation Graph (0, 0)][DBLP]
   IEA/AIE, 2001, pp:197-206 [Conf]
   
4. Michael Lappe, Jong Park, Oliver Niggemann, Liisa Holm
   Generating protein interaction maps from incomplete data: application to fold assignment. [Citation Graph (0, 0)][DBLP]
   ISMB (Supplement of Bioinformatics), 2001, pp:149-156 [Conf]
   
5. Benno Stein, Oliver Niggemann
   On the Nature of Structure and Its Identification. [Citation Graph (0, 0)][DBLP]
   WG, 1999, pp:122-134 [Conf]
   
6. Matthias Gehrke, Martin Hirsch, Wilhelm Schäfer, Oliver Niggemann, Dirk Stichling, Ulrich Nickel
   Verifikation zeitlicher Anforderungen in automotiven komponentenbasierten Software Systemen. [Citation Graph (0, 0)][DBLP]
   Software Engineering, 2007, pp:251-252 [Conf]
   
7. 
   Models for model's sake: why explicit system models are also an end to themselves. [Citation Graph (, )][DBLP]
   
   
8. 
   A Probabilistic MajorClust Variant for the Clustering of Near-Homogeneous Graphs. [Citation Graph (, )][DBLP]
   
   
9. 
   Vom modellbasierten Architekturentwurf über die Simulation verteilter Systeme zum Serienprojekt. [Citation Graph (, )][DBLP]
   
   
10. 
    Model-based Development of Automation Systems. [Citation Graph (, )][DBLP]
    
    
11. 
    Using Models for Dynamic System Diagnosis: A Case Study in Automotive Engineering. [Citation Graph (, )][DBLP]
    
    
12. 
    Durchgehende Systemverifikation im Automotiven Entwicklungsprozess. [Citation Graph (, )][DBLP]
    
    
13. 
    Typisierung und Verifikation zeitlicher Anforderungen automotiver Software Systeme. [Citation Graph (, )][DBLP]
    
    
14. 
    Scenario-Based Verification of Automotive Software Systems. [Citation Graph (, )][DBLP]