Search the dblp DataBase
Martin Kronenburg: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]
Publications of Author
- 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] - 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] - Jörg Denzinger, Martin Kronenburg
Planning for Distributed Theorem Proving: The Teamwork Approach. [Citation Graph (0, 0)][DBLP]
KI, 1996, pp:43-56 [Conf] - 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] - 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] - 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
| 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 |
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002