2002
The Monadic Second-Order Dominance Logic and Parallelism Constraints
(Joachim Niehren and Mateu Villaret)
On Lambda Binding, Parallelism Constraints, and Context Unification
(Joachim Niehren and Mateu Villaret)
First-Order Theory of Subtyping Constraints
(Zhendong Su, Alexander Aiken, Joachim Niehren, Tim Priesnitz, and Ralf Treinen)
An Efficient Graph Algorithm for Dominance Constraints
(Ernst Althaus and Denys Duchier and Alexander Koller
and Kurt Mehlhorn and Joachim Niehren and Sven Thiel)
2001
Movement as well-formedness conditions
(Ralph Debusmann)
A Declarative Grammar Formalism For Dependency Grammar
(Ralph Debusmann)
Constraint Propagation in Mozart
(Tobias Müller)
Tree Descriptions, Constraints and Incrementality
(Denys Duchier and Claire Gardent)
Alice in the Land of Oz -- An Interoperability-based
Implementation of a Functional Language on Top of a Relational Language
(Leif Kornstaedt)
When Do Bounds and Domain Propagation Lead to the
Same Search Space
(Christian Schulte and Peter J. Stuckey)
The Constraint Language for Lambda Structures
(Markus Egg and Alexander Koller and Joachim Niehren)
Lexicalized Syntax and Topology for Non-projective Dependency Grammar
(Denys Duchier)
Topological Dependency Trees: A Constraint-based Account of Linear Precedence
(Denys Duchier and Ralph Debusmann)
Non-Structural Subtype Entailment in Automata Theory
(Joachim Niehren and Tim Priesnitz)
The first-order theory of ordering constraints over feature
trees
(Martin Müller and Joachim Niehren and Ralf Treinen )
An Efficient Algorithm for the Configuration Problem
of Dominance Graphs
(Ernst Althaus and Denys Duchier and Alexander Koller
and Kurt Mehlhorn and Joachim Niehren and Sven Thiel)
Dominance Constraints: Algorithms and Complexity
(Alexander Koller, Joachim Niehren, Ralf Treinen)
2000
Programming Constraint Services
(Christian Schulte)
Configuration Of Labeled Trees Under Lexicalized Constraints And Principles
(Denys Duchier)
ML mit Typklassen
(Gerhard Schneider)
Die Verarbeitung von Parallelismus-Constraints
(Katrin Erk)
Extensions of Constraint Solving for Proof Planning
(Erica Melis and Jürgen Zimmer and Tobias Müller)
GIFT: a Generic Interface for Reusing Filtering
Algorithms.
(Ka Boon Ng and Chiu Wo Choi and Martin Henz and Tobias
Müller)
Practical Investigation of Constraints with Graph Views
(Tobias Müller)
Uniform Confluence in Concurrent Computation
(Joachim Niehren)
Oz
(Thorsten Brunklaus)
Promoting Constraints to First-class Status
(Tobias Müller)
Parallel Search Made Simple
(Christian Schulte)
Entailment von nicht-strukturellen Teiltyp-Constraints
(Tim Priesnitz)
An Overview of Finite Domain Constraint
Programming
(Martin Henz and Tobias Müller)
Integrating Constraint Solving
into Proof Planning
(Erica Melis and Jürgen
Zimmer and Tobias Müller)
An Implementation of the Programming Language DML in Java:
Runtime Environment
(Daniel Simon)
An Implementation of the Programming Language DML in Java:
Compiler
(Andreas Walter)
Dominance Constraints with Set Operators
(Denys Duchier and Joachim Niehren)
Parallelism Constraints
(Katrin Erk and Joachim Niehren)
Constraint Programming in Computational Linguistics
(Alexander Koller and Joachim Niehren)
Programming Deep Concurrent Constraint Combinators
(Christian Schulte)
On Rewrite Constraints and Context Unification
(Joachim Niehren and Ralf Treinen and Sophie Tison)
Ordering Constraints over Feature Trees
(Martin Müller and Joachim Niehren and Andreas Podelski)
Ordering Constraints over Feature Trees Expressed in
Second-order Monadic Logic
(Martin Müller and Joachim Niehren)
1999
Figaro: Yet Another Constraint Programming Library
(Martin Henz and Tobias Müller and Ka Boon Ng)
Comparing Trailing and Copying for
Constraint Programming
(Christian Schulte)
Uniform Confluence in Concurrent Computation (Unabridged)
(Joachim Niehren)
Parsing with Tree Descriptions: a constraint-based approach
(Denys Duchier and Stefan Thater)
Axiomatizing Dependency Parsing Using Set Constraints
(Denys Duchier)
Set Constraints in Computational Linguistics -- Solving Tree Descriptions
(Denys Duchier)
Practical Investigation of Constraints with Graph Views
(Tobias Müller)
Embedding Propagators in a Concurrent Constraint Language
(Tobias Müller and Jörg Würtz)
Entailment of Atomic Set Constraints is PSPACE-Complete
(Joachim Niehren and Martin Müller and Jean-Marc Talbot)
Ein Debugger für Oz
(Benjamin Lorenz)
The Oz Virtual Machine - Records, Transients, and
Deep Guards
(Michael Mehl)
Entailment of Non-Structural Subtype Constraints
(Joachim Niehren and Tim Priesnitz)
Set-based Failure Analysis for Logic Programs and
Concurrent Constraint Programs
(Andreas Podelski and Witold Charatonik and Martin
Müller)
A Constraint-Based Treatment of Descriptions
(Denys Duchier and Claire Gardent)
Efficient Logic Variables for Distributed Computing
(Seif Haridi and Peter Van Roy and Per Brand and Michael Mehl
and Ralf Scheidhauer and Gert Smolka)
Uniform Confluence in Concurrent Computation
(Joachim Niehren)
1998
Design, Implementierung und Evaluierung einer virtuellen Maschine
für Oz
(Ralf Scheidhauer)
Entailment of Atomic Set Constraints is PSPACE-Complete
(Joachim Niehren and Martin Müller and Jean-Marc Talbot)
Dominance Constraints: Algorithms and Complexity
(Alexander Koller, Joachim Niehren, Ralf Treinen)
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)
Set-based Failure Diagnosis for Concurrent
Constraint Programming
(Martin Müller)
Type Inference for First-Class Messages with Feature Constraints
(Martin Müller and Susumu Nishimura)
Scheduling a Major College Basketball Conference - Revisited
(Martin Henz)
Off-Line Scheduling of a Real-Time System
(Klaus Schild and Jörg Würtz)
Lösen kombinatorischer Probleme mit
Constraintprogrammierung in Oz
(Jörg Würtz)
Programming Languages for Distributed Applications
(Seif Haridi and Peter Van Roy and Per Brand and
Christian Schulte)
Concurrent Constraint Programming
Based on Functional Programming
(Gert Smolka)
Dominance Constraints in Context Unification
(Joachim Niehren and Alexander Koller)
Ordering Constraints over Feature Trees Expressed in
Second-order Monadic Logic
(Martin Müller and Joachim Niehren)
The First-Order Theory of Ordering Constraints over
Feature Trees
(Martin Müller and Joachim Niehren and Ralf Treinen)
1997
A Parallel Abstract Machine for the Thread-Based
Concurrent Constraint Language Oz
(Konstantin Popov)
Typed Concurrent Programming with Logic Variables
(Martin Müller and Joachim Niehren and Gert Smolka)
Set-based Error Diagnosis of Concurrent Constraint Programs
(Andreas Podelski and Witold Charatonik and Martin Müller)
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)
Finite Set Constraints in Oz
(Tobias Müller and Martin Müller)
Extending a Concurrent Constraint Language by
Propagators
(Tobias Müller and Jörg Würtz)
Ordering Constraints over Feature Trees
(Martin Müller and Joachim Niehren and Andreas
Podelski)
Programming Constraint Inference Engines
(Christian Schulte)
Entailment of Set Constraints is not Feasible
(Martin Müller and Joachim Niehren)
On Equality Up-to Constraints over Finite Trees,
Context Unification and One-Step Rewriting
(Joachim Niehren and Manfred Pinkal and Peter Ruhrberg)
Objects in Oz
(Martin Henz)
Oz Explorer: A Visual Constraint Programming Tool
(Christian Schulte)
Inclusion Constraints over Non-Empty Sets of Trees
(Joachim Niehren and Martin Müller and Andreas
Podelski)
Constraint-Based Scheduling in Oz
(Jörg Würtz)
1996
Definition und Implementierung eines
Front-End-Generators für Oz
(Leif Kornstaedt)
Problem Solving with Constraints and Programming
(Gert Smolka)
Oz: Nebenläufige Programmierung mit Constraints
(Martin Müller and Gert Smolka)
Interfacing Propagators with a Concurrent Constraint Language
(Tobias Müller and Jörg Würtz)
Oz Scheduler: A Workbench for Scheduling Problems
(Jörg Würtz)
COMPOzE --- Intention-based Music Composition through
Constraint Programming
(Martin Henz and Stefan Lauer and Detlev Zimmermann)
Integrating Efficient Records into Concurrent Constraint
Programming
(Peter Van Roy and Michael Mehl and Ralf Scheidhauer)
Constraint-based Time Tabling---A Case Study
(Martin Henz and Jörg Würtz)
Constructive Disjunction Revisited
(Jörg Würtz and Tobias Müller)
Smallest Horn Clause Programs
(P. Devienne and P. Lebegue and A. Parrain and J.C. Routier
and J. Würtz)
Don't Be Puzzled!
(Martin Henz)
Functional Computation as Concurrent Computation
(Niehren, Joachim)
1995
Situated Simplification
(Andreas Podelski and Gert Smolka)
| 
