Rainer Prinoth

According to our database, Rainer Prinoth authored at least 18 papers between 1977 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2018

Divide et impera.

Heinz Jürgen Burkhardt, Rainer Prinoth

Inform. Spektrum, 2018

2016

Von Sachertorte und anderen Dingen.

Heinz Jürgen Burkhardt, Rainer Prinoth

Inform. Spektrum, 2016

2015

Leider - ein Kommentar zur heutigen IT.

Heinz Jürgen Burkhardt, Rainer Prinoth

Inform. Spektrum, 2015

2014

Ein Auto ist kein Computer.

Heinz Jürgen Burkhardt, Rainer Prinoth

Inform. Spektrum, 2014

2012

Höhere IT-Sicherheit durch Context Computer - Plädoyer für einen Paradigmenwechsel.

Heinz Jürgen Burkhardt, Rainer Prinoth

Inform. Spektrum, 2012

1995

Modellierung verteilter Systeme - Konzeption, formale Spezifikation und Verifikation mit Produktnetzen.

Peter Ochsenschläger, Rainer Prinoth

Vieweg, ISBN: 978-3-528-05433-5, 1995

1994

Strukturierter Entwurf eines Protokolls zum Auf- und Abbau von Verbindungen und dessen Analyse.

Rainer Prinoth

Prax. Inf.verarb. Kommun., 1994

1993

Architekturen für ISDN-basierte Multimedia-Endgeräte und Programmschnittstellen.

Rainer Prinoth

Prax. Inf.verarb. Kommun., 1993

Formale Spezifikation und dynamische Analyse verteilter Systeme mit Produktionsnetzen.

Peter Ochsenschläger, Rainer Prinoth

Proceedings of the Kommunikation in Verteilten Systemen, 1993

1986

Implementing OSI Communication Protocols - A Systematic Approach to Derive SDL-Implementation Specifications from Global Protocol Specifications.

Heinz Jürgen Burkhardt, Hans Eckert, Rainer Prinoth

Proceedings of the New Communication Services: A Challenge to Computer Technology, 1986

1985

Building blocks for distributed system design.

Bernd Baumgarten, Peter Ochsenschläger, Rainer Prinoth

Proceedings of the Protocol Specification, 1985

Modellierung von OSI-Kommunikationsdiensten und Protokollen mit Hilfe von Prädikat-Transitionsnetzen.

Heinz Jürgen Burkhardt, Hans Eckert, Rainer Prinoth

Proceedings of the Kommunikation in Verteilten Systemen I, 1985

The signing of a contract - a tree-structured application.

Bernd Baumgarten, Heinz Jürgen Burkhardt, Peter Ochsenschläger, Rainer Prinoth

Proceedings of the Advances in Petri Nets 1985, 1985

1984

Modelling of OSI-Communication Services and Protocols Using Predicate/Transition Nets.

Heinz Jürgen Burkhardt, Hans Eckert, Rainer Prinoth

Proceedings of the Protocol Specification, 1984

1983

A Computation-System Based Method for Automated Proving of Protocols Against Services.

Hans Eckert, Rainer Prinoth

Proceedings of the Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May, 1983

1982

An Algorithm to Construct Distributed Systems from State-Machines.

Rainer Prinoth

Proceedings of the Protocol Specification, 1982

Construction of Distributed Systems from Cycle-Free Finite Automata.

Rainer Prinoth

Proceedings of the Applications and Theory of Petri Nets, 1982

1977

Eigenschaften färbbarer Petri-Netze.

Rainer Prinoth

Proceedings of the Theoretical Computer Science, 1977