Gert Smolka

publications relevant to SFB 378

1999

Efficient Logic Variables for Distributed Computing
(Seif Haridi and Peter Van Roy and Per Brand and Michael Mehl and Ralf Scheidhauer and Gert Smolka)

1998

A Higher-order Module Discipline with Separate Compilation, Dynamic Linking, and Pickling
(Denys Duchier and Leif Kornstaedt and Christian Schulte and Gert Smolka)

Futures and By-need Synchronization
(Michael Mehl and Christian Schulte and Gert Smolka)

Concurrent Constraint Programming Based on Functional Programming
(Gert Smolka)

1997

Typed Concurrent Programming with Logic Variables
(Martin Müller and Joachim Niehren and Gert Smolka)

Mobile Objects in Distributed Oz
(Peter Van Roy and Seif Haridi and Per Brand and Gert Smolka and Michael Mehl and Ralf Scheidhauer)

An Overview of the Design of Distributed Oz
(Seif Haridi and Peter Van Roy and Gert Smolka)

1996

Problem Solving with Constraints and Programming
(Gert Smolka)

Oz: Nebenläufige Programmierung mit Constraints
(Martin Müller and Gert Smolka)

1995

Situated Simplification
(Andreas Podelski and Gert Smolka)