The SCEAS System
Navigation Menu

Search the dblp DataBase


Martin Kronenburg: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Reinhard Gotzhein, Martin Kronenburg, Christian Peper
    Reuse in Requirements Engineering: Discovery and Application of a Real-Time Requirement Pattern. [Citation Graph (0, 0)][DBLP]
    FTRTFT, 1998, pp:65-74 [Conf]
  2. Christian Peper, Reinhard Gotzhein, Martin Kronenburg
    A Generic Approach to the Formal Specification of Requirements. [Citation Graph (0, 0)][DBLP]
    ICFEM, 1997, pp:252-0 [Conf]
  3. Jörg Denzinger, Martin Kronenburg
    Planning for Distributed Theorem Proving: The Teamwork Approach. [Citation Graph (0, 0)][DBLP]
    KI, 1996, pp:43-56 [Conf]
  4. Jörg Denzinger, Martin Kronenburg, Stephan Schulz
    DISCOUNT - A Distributed and Learning Equational Prover. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1997, v:18, n:2, pp:189-198 [Journal]
  5. Martin Kronenburg, Christian Peper
    Application of the FOREST Approach to the Light Control Case Study. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2000, v:6, n:7, pp:679-703 [Journal]
  6. Stefan Queins, Gerhard Zimmermann, Martin Becker, Martin Kronenburg, Christian Peper, Rolf Merz, Jürgen Schäfer
    The Light Control Case Study: Problem Description. [Citation Graph (0, 0)][DBLP]
    J. UCS, 2000, v:6, n:7, pp:586-596 [Journal]

Search in 0.001secs, Finished in 0.001secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002