Selected Research Papers on Oz
- Multiparadigm Programming in Mozart/Oz, Second International Conference, MOZ 2004 (2005)
- Peter Van Roy (Ed.)
- Concepts, Techniques, and Models of Computer Programming (2004)
- Peter Van Roy and Seif Haridi
- Programming Constraint Services (2002)
- Christian Schulte
- Concurrent Constraint Programming in Oz for Natural Language Processing (1998)
- Denys Duchier and Claire Gardent and Joachim Niehren
- Objects for Concurrent Constraint Programming (1997)
- Martin Henz
- Logic programming in the context of multiparadigm programming: the Oz experience (2003)
- Peter Van Roy, Per Brand, Denys Duchier, Seif Haridi, Martin Henz, and Christian Schulte
- QTk -- An Integrated Model-Based Approach to Designing
Executable User Interfaces (2001)
- Donatien Grolaux, Peter Van Roy, Jean Vanderdonckt
- Beta Reduction Constraints (2001)
- Manuel Bodirsky
- QTk - A Mixed Declarative/Procedural Approach for Designing Executable User Interfaces (2001)
- Donatien Grolaux, Peter Van Roy, and Jean Vanderdonckt
- Uniform Confluence in Concurrent Computation (2000)
- Joachim Niehren
- Der Oz Inspector - Browsen: Interaktiver, einfacher, effizienter (2000)
- Thorsten Brunklaus
- Mozart: A Programming System for Agent Applications (1999)
- Peter Van Roy and Seif Haridi
- Logic Programming in Oz with Mozart (1999)
- Peter Van Roy
- Ein Debugger f�r Oz (1999)
- Benjamin Lorenz
- A Higher-order Module Discipline with Separate Compilation, Dynamic Linking, and Pickling (1998)
- Denys Duchier, Leif Kornstaedt, Christian Schulte, and Gert Smolka
- Futures and By-need synchronization (1998)
- Michael Mehl, Christian Schulte, Gert Smolka
- Concurrent Constraint Programming
Based on Functional Programming (1998)
- Gert Smolka
- Objects in Oz (1997)
- Martin Henz
- Definition und Implementierung eines
Front-End-Generators f�r Oz (1996)
- Leif Kornstaedt
- Functional Computation as Concurrent Computation (1996)
- Joachim Niehren
- Object-Oriented Concurrent Constraint Programming in Oz (1995)
- Martin Henz, Gert Smolka, and J�rg W�rtz
- Constraints for Free in Concurrent Computation (1995)
- Joachim Niehren and Martin M�ller
- The Oz Programming Model (1995)
- Gert Smolka
- Multi-Paradigm Programming in Oz (1995)
- Martin M�ller, Tobias M�ller, and Peter Van Roy
- A Calculus for Higher-Order Concurrent Constraint
Programming with Deep Guards (1994)
- Gert Smolka
- A Foundation for Higher-order Concurrent Constraint
Programming (1994)
- Gert Smolka
- Constraint Propagation in Mozart (2001)
- Tobias M�ller
- Programming Constraint Services (2000)
- Christian Schulte
- Promoting Constraints to First-class Status (2000)
- Tobias M�ller
- Parallel Search Made Simple (2000)
- Christian Schulte
- Programming Deep Concurrent Constraint Combinators (2000)
- Christian Schulte
- Comparing Trailing and Copying for Constraint Programming (1999)
- Christian Schulte
- A Constraint-Based Treatment of Descriptions (1999)
- Denys Duchier and Claire Gardent
- Scheduling a Major College Basketball Conference - Revisited (1998)
- Martin Henz
- Off-Line Scheduling of a Real-Time System (1998)
- Klaus Schild and J�rg W�rtz
- Solving Set Partitioning Problems with Constraint
Programming (1998)
- Tobias M�ller
- Finite Set Constraints in Oz (1997)
- Tobias M�ller and Martin M�ller
- Programming Constraint Inference Engines (1997)
- Christian Schulte
- Oz Explorer: A Visual Constraint Programming Tool (1997)
- Christian Schulte
- Situated Simplification (1997)
- Andreas Podelski and Gert Smolka
- Constraint-Based Scheduling in Oz (1997)
- J�rg W�rtz
- Problem Solving with Constraints and Programming (1996)
- Gert Smolka
- Interfacing Propagators with a Concurrent Constraint Language (1996)
- Tobias M�ller and J�rg W�rtz
- Oz Scheduler: A Workbench for Scheduling Problems (1996)
- J�rg W�rtz
- COMPOzE-Intention-based Music Composition through
Constraint Programming (1996)
- Martin Henz, Stefan Lauer, and Detlev Zimmermann
- Don't Be Puzzled! (1996)
- Martin Henz
- Feasible Cellular Frequency Assignment Using Constraint Programming Abstractions (1996)
- Joachim P. Walser
- Using Oz for College Time Tabling (1995)
- Martin Henz and J�rg W�rtz
- Records for Logic Programming (1994)
- Gert Smolka and Ralf Treinen
- Encapsulated Search and Constraint Programming in Oz (1994)
- Christian Schulte, Gert Smolka, and J�rg W�rtz
- Encapsulated Search in Higher-order Concurrent
Constraint Programming (1994)
- Christian Schulte and Gert Smolka
- The Limits of Network Transparency in a Distributed Programming Language (2007)
- Raphaël Collet
- Fault-Tolerant Mobile Agents in Mozart (2000)
- Ili�s Alouini, Peter Van Roy
- On the separation of concerns in distributed programming: Application to distribution structure and fault tolerance in Mozart (1999)
- Peter Van Roy
- A Lightweight Reliable Object Migration Protocol (1999)
- Peter Van Roy, Per Brand, Seif Haridi, and Raphaël Collet
- A new mobile state protocol for Distributed Oz (1999)
- Mustapha Hadim and Peter Van Roy
- Le protocole r�parti de Distributed Oz (In French) (1999)
- Ili�s Alouini and Peter Van Roy
- Efficient Logic Variables for Distributed Computing (1999)
- Seif Haridi, Peter Van Roy, Per Brand, Michael Mehl, Ralf Scheidhauer, and Gert Smolka
- A Platform for Constructing Virtual Spaces (1998)
- Per Brand, Nils Franzen, Erik Klintskog, and Seif Haridi
- Programming Languages for Distributed Applications (1998)
- Seif Haridi, Peter Van Roy, Per Brand, and Christian Schulte
- Mobile Objects in Distributed Oz (1997)
- Peter Van Roy, Seif Haridi, Per Brand, Gert Smolka, Michael Mehl, and Ralf Scheidhauer
- An Overview of the Design of Distributed Oz (1997)
- Seif Haridi, Peter Van Roy, and Gert Smolka
- The Oz Virtual Machine - Records, Transients, and Deep Guards (1999)
- Michael Mehl
- Design, Implementierung und Evaluierung einer virtuellen Maschine f�r Oz (1998)
- Ralf Scheidhauer
- A Parallel Abstract Machine for the Thread-Based Concurrent Constraint Language Oz (1997)
- Konstantin Popov
- Integrating Efficient Records into Concurrent Constraint Programming (1996)
- Peter Van Roy, Michael Mehl, and Ralf Scheidhauer
- Constructive Disjunction Revisited (1996)
- J�rg W�rtz and Tobias M�ller
- An Abstract Machine for Oz (1995)
- Michael Mehl, Ralf Scheidhauer, and Christian Schulte
- Constructive Disjunction in Oz (1995)
- Tobias M�ller and J�rg W�rtz
- Adding Constraint Systems to DFKI Oz (1995)
- Tobias M�ller