The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Oliver Niggemann: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.002secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002