The SCEAS System
Navigation Menu

Search the dblp DataBase


Bernd Baumgarten: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Bernd Baumgarten
    On Internal and External Characterizations of PT- net Building Block Behaviors. [Citation Graph (0, 0)][DBLP]
    European Workshop on Applications and Theory of Petri Nets, 1987, pp:44-61 [Conf]
  2. Bernd Baumgarten, Heinz Jürgen Burkhardt, Peter Ochsenschläger, Rainer Prinoth
    The signing of a contract - a tree-structured application. [Citation Graph (0, 0)][DBLP]
    Applications and Theory in Petri Nets, 1985, pp:1-18 [Conf]
  3. Bernd Baumgarten
    A Minimal Framework for Specification Theory. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:1861- [Conf]
  4. Bernd Baumgarten, Peter Ochsenschläger
    Modeling and verification of a checkpoint-restart-protocol. [Citation Graph (0, 0)][DBLP]
    Fehlertolerierende Rechensysteme, 1984, pp:353-363 [Conf]
  5. Bernd Baumgarten, Peter Ochsenschläger, Rainer Prinoth
    Building blocks for distributed system design. [Citation Graph (0, 0)][DBLP]
    PSTV, 1985, pp:19-38 [Conf]
  6. Bernd Baumgarten, Olaf Henniger
    Testability with Unbounded Testing Strategies. [Citation Graph (0, 0)][DBLP]
    IWTCS, 1999, pp:43-60 [Conf]
  7. Bernd Baumgarten, H. Wiland
    Qualitative Notions of Testability. [Citation Graph (0, 0)][DBLP]
    IWTCS, 1998, pp:345-360 [Conf]
  8. Bernd Baumgarten, Peter Ochsenschläger
    On Termination and Phase Changes in the Presence of Unreliable Communication. [Citation Graph (0, 0)][DBLP]
    Inf. Process. Lett., 1986, v:22, n:1, pp:15-20 [Journal]

Search in 0.002secs, Finished in 0.002secs
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