dblp.uni-trier.dewww.uni-trier.de

Martin Kronenburg Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Martin Becker [6]
2Jörg Denzinger [1] [2]
3Reinhard Gotzhein [3] [4]
4Rolf Merz [6]
5Christian Peper [3] [4] [5] [6]
6Stefan Queins [6]
7Jürgen Schäfer [6]
8Stephan Schulz [2]
9Gerhard Zimmermann [6]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)