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