Rainer Prinoth

18 papers C 1Journal 7Unranked 9
YearRankTypeTitle / Venue / Authors
2018 J jnl
Divide et impera.
Inform. Spektrum
Heinz Jürgen Burkhardt, Rainer Prinoth
2016 J jnl
Von Sachertorte und anderen Dingen.
Inform. Spektrum
Heinz Jürgen Burkhardt, Rainer Prinoth
2015 J jnl
Leider - ein Kommentar zur heutigen IT.
Inform. Spektrum
Heinz Jürgen Burkhardt, Rainer Prinoth
2014 J jnl
Ein Auto ist kein Computer.
Inform. Spektrum
Heinz Jürgen Burkhardt, Rainer Prinoth
2012 J jnl
Höhere IT-Sicherheit durch Context Computer - Plädoyer für einen Paradigmenwechsel.
Inform. Spektrum
Heinz Jürgen Burkhardt, Rainer Prinoth
1995 — book
Modellierung verteilter Systeme - Konzeption, formale Spezifikation und Verifikation mit Produktnetzen.
Peter Ochsenschläger, Rainer Prinoth
1994 J jnl
Strukturierter Entwurf eines Protokolls zum Auf- und Abbau von Verbindungen und dessen Analyse.
Prax. Inf.verarb. Kommun.
Rainer Prinoth
1993 J jnl
Architekturen für ISDN-basierte Multimedia-Endgeräte und Programmschnittstellen.
Prax. Inf.verarb. Kommun.
Rainer Prinoth
1993 — conf
Formale Spezifikation und dynamische Analyse verteilter Systeme mit Produktionsnetzen.
Kommunikation in Verteilten Systemen
Peter Ochsenschläger, Rainer Prinoth
1986 C conf
Implementing OSI Communication Protocols - A Systematic Approach to Derive SDL-Implementation Specifications from Global Protocol Specifications.
ICCC
Heinz Jürgen Burkhardt, Hans Eckert, Rainer Prinoth
1985 — conf
Building blocks for distributed system design.
PSTV
Bernd Baumgarten, Peter Ochsenschläger, Rainer Prinoth
1985 — conf
Modellierung von OSI-Kommunikationsdiensten und Protokollen mit Hilfe von Prädikat-Transitionsnetzen.
Kommunikation in Verteilten Systemen (1)
Heinz Jürgen Burkhardt, Hans Eckert, Rainer Prinoth
1985 — conf
The signing of a contract - a tree-structured application.
Applications and Theory in Petri Nets
Bernd Baumgarten, Heinz Jürgen Burkhardt, Peter Ochsenschläger, Rainer Prinoth
1984 — conf
Modelling of OSI-Communication Services and Protocols Using Predicate/Transition Nets.
PSTV
Heinz Jürgen Burkhardt, Hans Eckert, Rainer Prinoth
1983 — conf
A Computation-System Based Method for Automated Proving of Protocols Against Services.
Protocol Specification, Testing, and Verification
Hans Eckert, Rainer Prinoth
1982 — conf
An Algorithm to Construct Distributed Systems from State-Machines.
PSTV
Rainer Prinoth
1982 — conf
Construction of Distributed Systems from Cycle-Free Finite Automata.
European Workshop on Applications and Theory of Petri Nets
Rainer Prinoth
1977 — conf
Eigenschaften färbbarer Petri-Netze.
Theoretical Computer Science
Rainer Prinoth