Binomialkoeffizienten in freien Monoiden. - Peter Ochsenschläger (1981)

Modeling and verification of a checkpoint-restart-protocol. - Bernd Baumgarten; Peter Ochsenschläger (Fehlertolerierende Rechensysteme, 1984)

Inference of deterministic one-counter languages. - Josef Peter Heger; Juergen Heinz; Willi Kunz; Peter Ochsenschläger; Juergen Watzke; Helmut Weber (Inf. Sci., 1984)

The signing of a contract - a tree-structured application. - Bernd Baumgarten; Heinz Jürgen Burkhardt; Peter Ochsenschläger; Rainer Prinoth (Applications and Theory in Petri Nets, 1985)

Building blocks for distributed system design. - Bernd Baumgarten; Peter Ochsenschläger; Rainer Prinoth (PSTV, 1985)

On Termination and Phase Changes in the Presence of Unreliable Communication. - Bernd Baumgarten; Peter Ochsenschläger (Inf. Process. Lett., 1986)

Formale Spezifikation und dynamische Analyse verteilter Systeme mit Produktionsnetzen. - Peter Ochsenschläger; Rainer Prinoth (Kommunikation in Verteilten Systemen, 1993)

Verifikation verteilter Systeme mit Produktnetzen. - Peter Ochsenschläger (Prax. Inf.verarb. Kommun., 1993)

Modellierung verteilter Systeme - Konzeption, formale Spezifikation und Verifikation mit Produktnetzen. - Peter Ochsenschläger; Rainer Prinoth (Vieweg, 1995)

Verification by Behaviour Abstraction - A Case Study of Service Interaction Detection in Intelligent Telephone Networks. - Carla Capellmann; Ralph Demant; Farhad Fatahi-Vanani; Rafael Galvez-Estrada; Ulrich Nitsche; Peter Ochsenschläger (CAV, 1996)

Approximaely Satisfied Properties of Systems and Simple Language Homomorphisms. - Ulrich Nitsche; Peter Ochsenschläger (Inf. Process. Lett., 1996)

Deterministic omega-regular liveness properties. - Frank Nießner; Ulrich Nitsche; Peter Ochsenschläger (Developments in Language Theory, 1997)

The SH-Verification Tool - Abstraction-Based Verification of Co-operating Systems. - Peter Ochsenschläger; Jürgen Repp; Roland Rieke; Ulrich Nitsche (Formal Aspects Comput., 1998)

The SH-Verification Tool. - Peter Ochsenschläger; Jürgen Repp; Roland Rieke (FLAIRS, 2000)

Verification of Cooperating Systems - An Approach Based on Formal Languages. - Peter Ochsenschläger; Jürgen Repp; Roland Rieke (FLAIRS, 2000)

Elektronische Verträge und ihre verbindliche Aushandlung - Ein formales Modell für verbindliche Telekooperation. - Rüdiger Grimm; Peter Ochsenschläger (Inform. Forsch. Entwickl., 2000)

Abstraction and composition: a verification method for co-operating systems. - Peter Ochsenschläger; Jürgen Repp; Roland Rieke (J. Exp. Theor. Artif. Intell., 2000)

Binding telecooperation - a formal model for electronic commerce. - Rüdiger Grimm; Peter Ochsenschläger (Comput. Networks, 2001)

Role Based Specification and Security Analysis of Cryptographic Protocols Using Asynchronous Product Automata. - Sigrid Gürgens; Peter Ochsenschläger; Carsten Rudolph (DEXA Workshops, 2002)

Authenticity and Provability - A Formal Framework. - Sigrid Gürgens; Peter Ochsenschläger; Carsten Rudolph (InfraSec, 2002)

Parameter-Confidentiality. - Sigrid Gürgens; Peter Ochsenschläger; Carsten Rudolph (GI Jahrestagung (Schwerpunkt "Sicherheit - Schutz und Zuverlässigkeit"), 2003)

Abstractions Preserving Parameter Confidentiality. - Sigrid Gürgens; Peter Ochsenschläger; Carsten Rudolph (ESORICS, 2005)

On a formal framework for security properties. - Sigrid Gürgens; Peter Ochsenschläger; Carsten Rudolph (Comput. Stand. Interfaces, 2005)

Security Properties of Self-Similar Uniformly Parameterised Systems of Cooperations. - Peter Ochsenschläger; Roland Rieke (PDP, 2011)

Security Requirements for Uniformly Parameterised Cooperations. - Peter Ochsenschläger; Roland Rieke (PDP, 2012)

Pairs of Languages Closed under Shuffle Projection. - Peter Ochsenschläger; Roland Rieke (CoRR, 2015)