QUASIMODIS: Modellbasierte Diagnose dynamischer Systeme mit qualitativer Simulation. - Martin Helmut Alt; Robert Rehbold; Ralf Scheidhauer (GWAI, 1990)

An Abstract Machine for Oz - Michael Mehl; Ralf Scheidhauer; Christian Schulte 001 (PLILP, 1995)

Integrating Efficient Records into Concurrent Constraint Programming. - Peter Van Roy; Michael Mehl; Ralf Scheidhauer (PLILP, 1996)

Mobile Objects in Distributed Oz. - Peter Van Roy; Seif Haridi; Per Brand; Gert Smolka; Michael Mehl; Ralf Scheidhauer (ACM Trans. Program. Lang. Syst., 1997)

Design, Implementierung und Evaluierung einer virtuellen Maschine für Oz. - Ralf Scheidhauer (1998)

Design, Implementierung und Evaluierung einer virtuellen Maschine für Oz. - Ralf Scheidhauer (Künstliche Intell., 1999)

Efficient logic variables for distributed computing. - Seif Haridi; Peter Van Roy; Per Brand; Michael Mehl; Ralf Scheidhauer; Gert Smolka (ACM Trans. Program. Lang. Syst., 1999)