Rainer Prinoth

Publication Activity (10 Years)

Years Active: 1977-2018
Publications (10 Years): 3

Top Topics

Context Sensitive

Artificial Neural Networks

Top Venues

Inform. Spektrum

Publications

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