Programming Systems Lab: Publications by Christian Schulte

Saarland University Computer Science

Select author:

2020

A History of the Oz Multiparadigm Language   (pdf)
Peter Van Roy, Seif Haridi, Christian Schulte, Gert Smolka
Proceedings of the ACM on Programming Languages

2009

View-based Propagator Derivation   (pdf)
Christian Schulte, Guido Tack
Technical Report

Maintaining State in Propagation Solvers   (pdf)
Raphael M. Reischuk, Christian Schulte, Peter J. Stuckey, Guido Tack
Proceedings of the 15th international conference on principles and practice of constraint programming

Weakly Monotonic Propagators   (pdf)
Christian Schulte, Guido Tack
Proceedings of the 15th international conference on principles and practice of constraint programming

2008

Perfect Derived Propagators   (pdf)
Christian Schulte, Guido Tack
14th International Conference on Principles and Practice of Constraint Programming

Perfect Derived Propagators   (pdf)
Christian Schulte, Guido Tack
Technical Report, Available from http://arxiv.org/abs/0806.1806

2006

Generating Propagators for Finite Set Constraints   (pdf)
Guido Tack, Christian Schulte, Gert Smolka
12th International Conference on Principles and Practice of Constraint Programming

Views and Iterators for Generic Constraint Implementations   (pdf)
Christian Schulte, Guido Tack
Recent Advances in Constraints

2005

Views and Iterators for Generic Constraint Implementations   (pdf)
Christian Schulte, Guido Tack
11th International Conference on Principles and Practice of Constraint Programming

Views and Iterators for Generic Constraint Implementations   (pdf)
Christian Schulte, Guido Tack
Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS)

2001

When Do Bounds and Domain Propagation Lead to the Same Search Space   (pdf)
Christian Schulte, Peter J. Stuckey
Third International Conference on Principles and Practice of Declarative Programming

2000

Programming Deep Concurrent Constraint Combinators   (pdf)
Christian Schulte
Practical Aspects of Declarative Languages, Second International Workshop, PADL 2000

Parallel Search Made Simple   (pdf)
Christian Schulte
Technical Report, To appear.

Programming Constraint Services   (pdf)
Christian Schulte
Doctoral dissertation, Universität des Saarlandes, Naturwissenschaftlich-Technische Fakultät I, Fachrichtung Informatik

1999

Comparing Trailing and Copying for Constraint Programming   (pdf)
Christian Schulte
Proceedings of the Sixteenth International Conference on Logic Programming

1998

Programming Languages for Distributed Applications   (pdf)
Seif Haridi, Peter Van Roy, Per Brand, Christian Schulte
New Generation Computing

Futures and By-need Synchronization   (pdf)
Michael Mehl, Christian Schulte, Gert Smolka
Technical Report, DRAFT

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

1997

Oz Explorer: A Visual Constraint Programming Tool   (pdf)
Christian Schulte
Proceedings of the Fourteenth International Conference on Logic Programming

Programming Constraint Inference Engines   (pdf)
Christian Schulte
Proceedings of the Third International Conference on Principles and Practice of Constraint Programming

1995

An Abstract Machine for Oz   (pdf)
Michael Mehl, Ralf Scheidhauer, Christian Schulte
Technical Report, Also in: \em Proceedings of PLILP'95\/, Springer-Verlag, LNCS, Utrecht, The Netherlands

1994

Encapsulated Search in Higher-order Concurrent Constraint Programming   (pdf)
Christian Schulte, Gert Smolka
Logic Programming: Proceedings of the 1994 International Symposium

Encapsulated Search and Constraint Programming in Oz   (pdf)
Christian Schulte, Gert Smolka, Jörg Würtz
Second Workshop on Principles and Practice of Constraint Programming


Login to edit


Legal notice, Privacy policy