Entwurf und Implementierung eines übersetzenden Systems für das intuitionistische logische Programmieren auf der Warren Abstract Machine. - Christian Schulte 001 (1991)

Encapsulated Search and Constraint Programming in Oz. - Christian Schulte 001; Gert Smolka; Jörg Würtz (PPCP, 1994)

Encapsulated Search for Higher-order Concurrent Constraint Programming. - Christian Schulte 001; Gert Smolka (ILPS, 1994)

An Abstract Machine for Oz - Michael Mehl; Ralf Scheidhauer; Christian Schulte 001 (PLILP, 1995)

Programming Constraint Inference Engines. - Christian Schulte 001 (CP, 1997)

Oz Explorer: A Visual Constraint Programming Tool. - Christian Schulte 001 (ICLP, 1997)

Using the Oz Explorer for the Development of Constraint Programs. - Christian Schulte 001 (LPE, 1997)

Tools and Environments for (Constraint) Logic Programming (Workshop Overview). - Germán Puebla; Marco Comini; Wlodzimierz Drabent; Mireille Ducassé; Massimo Fabris; Christian Schulte 001 (ILPS, 1997)

Programming Languages for Distributed Applications. - Seif Haridi; Peter Van Roy; Per Brand; Christian Schulte 001 (New Gener. Comput., 1998)

Comparing Trailing and Copying for Constraint Programming. - Christian Schulte 001 (ICLP, 1999)

Programming Deep Concurrent Constraint Combinators. - Christian Schulte 001 (PADL, 2000)

Programming constraint services. - Christian Schulte 001 (2000)

Programming Constraint Services: High-Level Programming of Standard and New Constraint Services - Christian Schulte 001 (Springer, 2002)

Flow Java: Declarative Concurrency for Java. - Frej Drejhammar; Christian Schulte 001; Per Brand; Seif Haridi (ICLP, 2003)

Logic programming in the context of multiparadigm programming: the Oz experience. - Peter Van Roy; Per Brand; Denys Duchier; Seif Haridi; Martin Henz; Christian Schulte 001 (Theory Pract. Log. Program., 2003)

Speeding Up Constraint Propagation. - Christian Schulte 001; Peter J. Stuckey (CP, 2004)

Thread-Based Mobility in Oz. - Dragan Havelka; Christian Schulte 001; Per Brand; Seif Haridi (MOZ, 2004)

Views and Iterators for Generic Constraint Implementations. - Christian Schulte 001; Guido Tack (CSCLP, 2005)

When do bounds and domain propagation lead to the same search space? - Christian Schulte 001; Peter J. Stuckey (ACM Trans. Program. Lang. Syst., 2005)

Generating Propagators for Finite Set Constraints. - Guido Tack; Christian Schulte 001; Gert Smolka (CP, 2006)

Constraints in Procedural and Concurrent Languages. - Thom W. Frühwirth; Laurent Michel; Christian Schulte 001 (Handbook of Constraint Programming, 2006)

Finite Domain Constraint Programming Systems. - Christian Schulte 001; Mats Carlsson (Handbook of Constraint Programming, 2006)

Advisors for Incremental Propagation. - Mikael Z. Lagerkvist; Christian Schulte 001 (CP, 2007)

Perfect Derived Propagators. - Christian Schulte 001; Guido Tack (CP, 2008)

Dynamic Analysis of Bounds Versus Domain Propagation. - Christian Schulte 001; Peter J. Stuckey (ICLP, 2008)

Dynamic variable elimination during propagation solving. - Christian Schulte 001; Peter J. Stuckey (PPDP, 2008)

Efficient constraint propagation engines. - Christian Schulte 001; Peter J. Stuckey (ACM Trans. Program. Lang. Syst., 2008)

Confidence-Based Work Stealing in Parallel Constraint Programming. - Geoffrey Chu; Christian Schulte 001; Peter J. Stuckey (CP, 2009)

Generating Optimal Stowage Plans for Container Vessel Bays. - Alberto Delgado; Rune Møller Jensen; Christian Schulte 001 (CP, 2009)

Propagator Groups. - Mikael Z. Lagerkvist; Christian Schulte 001 (CP, 2009)

Maintaining State in Propagation Solvers. - Raphael M. Reischuk; Christian Schulte 001; Peter J. Stuckey; Guido Tack (CP, 2009)

Weakly Monotonic Propagators. - Christian Schulte 001; Guido Tack (CP, 2009)

Constraint Programming in Sweden. - Pierre Flener; Mats Carlsson; Christian Schulte 001 (IEEE Intell. Syst., 2009)

Erratum to "Efficient constraint propagation engines". - Christian Schulte 001; Peter J. Stuckey (ACM Trans. Program. Lang. Syst., 2009)

Testing Continuous Double Auctions with a Constraint-Based Oracle. - Roberto Castañeda Lozano; Christian Schulte 001; Lars Wahlberg (CP, 2010)

Optimization of task assignment to collaborating agents. - Irfan Younas; Farzad Kamrani; Christian Schulte 001; Rassul Ayani (CISched, 2011)

Constraint-Based Register Allocation and Instruction Scheduling. - Roberto Castañeda Lozano; Mats Carlsson; Frej Drejhammar; Christian Schulte 001 (CP, 2012)

Hybridizing Constraint Programming and Monte-Carlo Tree Search: Application to the Job Shop Problem. - Manuel Loth; Michèle Sebag; Youssef Hamadi; Marc Schoenauer; Christian Schulte 001 (LION, 2013)

Constraint-based code generation. - Roberto Castañeda Lozano; Gabriel Hjort Blindell; Mats Carlsson; Frej Drejhammar; Christian Schulte 001 (M-SCOPES, 2013)

View-based propagator derivation. - Christian Schulte 001; Guido Tack (Constraints An Int. J., 2013)

View-Based Propagator Derivation - (Extended Abstract). - Christian Schulte 001; Guido Tack (CP, 2014)

Combinatorial spill code optimization and ultimate coalescing. - Roberto Castañeda Lozano; Mats Carlsson; Gabriel Hjort Blindell; Christian Schulte 001 (LCTES, 2014)

Modeling Universal Instruction Selection. - Gabriel Hjort Blindell; Roberto Castañeda Lozano; Mats Carlsson; Christian Schulte 001 (CP, 2015)

Erratum to: Modeling Universal Instruction Selection. - Gabriel Hjort Blindell; Roberto Castañeda Lozano; Mats Carlsson; Christian Schulte 001 (CP, 2015)

Increasing Nogoods in Restart-Based Search. - Jimmy H. M. Lee; Christian Schulte 001; Zichen Zhu (AAAI, 2016)

Register allocation and instruction scheduling in Unison. - Roberto Castañeda Lozano; Mats Carlsson; Gabriel Hjort Blindell; Christian Schulte 001 (CC, 2016)

Data driven selection of DRX for energy efficient 5G RAN. - Diarmuid Corcoran; Loghman Andimeh; Andreas Ermedahl; Per Kreuger; Christian Schulte 001 (CNSM, 2017)

Design and Implementation of Bounded-Length Sequence Variables. - Joseph D. Scott; Pierre Flener; Justin Pearson; Christian Schulte 001 (CPAIOR, 2017)

Complete and Practical Universal Instruction Selection. - Gabriel Hjort Blindell; Mats Carlsson; Roberto Castañeda Lozano; Christian Schulte 001 (ACM Trans. Embed. Comput. Syst., 2017)

Making Compact-Table Compact. - Linnea Ingmar; Christian Schulte 001 (CP, 2018)

Arcon: Continuous and Deep Data Stream Analytics. - Max Meldrum; Klas Segeljakt; Lars Kroll; Paris Carbone; Christian Schulte 001; Seif Haridi (BIRTE, 2019)

Models for Radiation Therapy Patient Scheduling. - Sara Frimodig; Christian Schulte 001 (CP, 2019)

Arc: an IR for batch and stream programming. - Lars Kroll; Klas Segeljakt; Paris Carbone; Christian Schulte 001; Seif Haridi (DBPL, 2019)

Survey on Combinatorial Register Allocation and Instruction Scheduling. - Roberto Castañeda Lozano; Christian Schulte 001 (ACM Comput. Surv., 2019)

Combinatorial Register Allocation and Instruction Scheduling. - Roberto Castañeda Lozano; Mats Carlsson; Gabriel Hjort Blindell; Christian Schulte 001 (ACM Trans. Program. Lang. Syst., 2019)

Scheduling of Dual-Arm Multi-tool Assembly Robots and Workspace Layout Optimization. - Johan Wessén; Mats Carlsson; Christian Schulte 001 (CPAIOR, 2020)

Efficient Real-Time Traffic Generation for 5G RAN. - Diarmuid Corcoran; Per Kreuger; Christian Schulte 001 (NOMS, 2020)

A history of the Oz multiparadigm language. - Peter Van Roy; Seif Haridi; Christian Schulte 001; Gert Smolka (Proc. ACM Program. Lang., 2020)

A constraint programming model for the scheduling and workspace layout design of a dual-arm multi-tool assembly robot. - Johan Wessén; Mats Carlsson; Christian Schulte 001; Pierre Flener; Federico Pecora; Mihhail Matskin (Constraints An Int. J., 2023)