The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Rainer Prinoth: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. Rainer Prinoth
    Construction of Distributed Systems from Cycle-Free Finite Automata. [Citation Graph (0, 0)][DBLP]
    European Workshop on Applications and Theory of Petri Nets, 1982, pp:199-220 [Conf]
  3. Heinz Jürgen Burkhardt, Hans Eckert, Rainer Prinoth
    Implementing OSI Communication Protocols - A Systematic Approach to Derive SDL-Implementation Specifications from Global Protocol Specifications. [Citation Graph (0, 0)][DBLP]
    ICCC, 1986, pp:531-536 [Conf]
  4. Hans Eckert, Rainer Prinoth
    A Computation-System Based Method for Automated Proving of Protocols Against Services. [Citation Graph (0, 0)][DBLP]
    Protocol Specification, Testing, and Verification, 1983, pp:213-228 [Conf]
  5. Heinz Jürgen Burkhardt, Hans Eckert, Rainer Prinoth
    Modellierung von OSI-Kommunikationsdiensten und Protokollen mit Hilfe von Prädikat-Transitionsnetzen. [Citation Graph (0, 0)][DBLP]
    Kommunikation in Verteilten Systemen (1), 1985, pp:610-645 [Conf]
  6. Peter Ochsenschläger, Rainer Prinoth
    Formale Spezifikation und dynamische Analyse verteilter Systeme mit Produktionsnetzen. [Citation Graph (0, 0)][DBLP]
    Kommunikation in Verteilten Systemen, 1993, pp:456-470 [Conf]
  7. Bernd Baumgarten, Peter Ochsenschläger, Rainer Prinoth
    Building blocks for distributed system design. [Citation Graph (0, 0)][DBLP]
    PSTV, 1985, pp:19-38 [Conf]
  8. Heinz Jürgen Burkhardt, Hans Eckert, Rainer Prinoth
    Modelling of OSI-Communication Services and Protocols Using Predicate/Transition Nets. [Citation Graph (0, 0)][DBLP]
    PSTV, 1984, pp:165-192 [Conf]
  9. Rainer Prinoth
    An Algorithm to Construct Distributed Systems from State-Machines. [Citation Graph (0, 0)][DBLP]
    PSTV, 1982, pp:261-282 [Conf]
  10. Rainer Prinoth
    Eigenschaften färbbarer Petri-Netze. [Citation Graph (0, 0)][DBLP]
    Theoretical Computer Science, 1977, pp:306-318 [Conf]

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