Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Christian Schulte
Author information
- KTH - Royal Institute of Technology in Stockholm, Sweden
Other persons with the same name
2010 – today
- 2013
[j7]- 2012
[c28]Roberto Castañeda Lozano, Mats Carlsson, Frej Drejhammar, Christian Schulte: Constraint-Based Register Allocation and Instruction Scheduling. CP 2012: 750-766- 2010
[c27]Roberto Castañeda Lozano, Christian Schulte, Lars Wahlberg: Testing Continuous Double Auctions with a Constraint-Based Oracle. CP 2010: 613-627
2000 – 2009
- 2009
[j6]Pierre Flener, Mats Carlsson, Christian Schulte: Constraint Programming in Sweden. IEEE Intelligent Systems 24(2): 87-89 (2009)
[j5]Christian Schulte, Peter J. Stuckey: Erratum to "Efficient constraint propagation engines". ACM Trans. Program. Lang. Syst. 31(2) (2009)
[c26]Alberto Delgado, Rune Møller Jensen, Christian Schulte: Generating Optimal Stowage Plans for Container Vessel Bays. CP 2009: 6-20
[c25]Geoffrey Chu, Christian Schulte, Peter J. Stuckey: Confidence-Based Work Stealing in Parallel Constraint Programming. CP 2009: 226-241
[c24]
[c23]Raphael M. Reischuk, Christian Schulte, Peter J. Stuckey, Guido Tack: Maintaining State in Propagation Solvers. CP 2009: 692-706
[c22]
[i5]- 2008
[j4]Christian Schulte, Peter J. Stuckey: Efficient constraint propagation engines. ACM Trans. Program. Lang. Syst. 31(1) (2008)
[c21]
[c20]Christian Schulte, Peter J. Stuckey: Dynamic Analysis of Bounds Versus Domain Propagation. ICLP 2008: 332-346
[c19]Christian Schulte, Peter J. Stuckey: Dynamic variable elimination during propagation solving. PPDP 2008: 247-257
[i4]- 2007
[c18]- 2006
[c17]Guido Tack, Christian Schulte, Gert Smolka: Generating Propagators for Finite Set Constraints. CP 2006: 575-589
[i3]Christian Schulte, Peter J. Stuckey: Efficient constraint propagation engines. CoRR abs/cs/0611009 (2006)- 2005
[j3]Christian Schulte, Peter J. Stuckey: When do bounds and domain propagation lead to the same search space? ACM Trans. Program. Lang. Syst. 27(3): 388-425 (2005)
[c16]Christian Schulte, Guido Tack: Views and Iterators for Generic Constraint Implementations. CP 2005: 817-821
[c15]Christian Schulte, Guido Tack: Views and Iterators for Generic Constraint Implementations. CSCLP 2005: 118-132- 2004
[b2]
[c14]
[c13]Dragan Havelka, Christian Schulte, Per Brand, Seif Haridi: Thread-Based Mobility in Oz. MOZ 2004: 137-148- 2003
[j2]Peter Van Roy, Per Brand, Denys Duchier, Seif Haridi, Martin Henz, Christian Schulte: Logic programming in the context of multiparadigm programming: the Oz experience. TPLP 3(6): 715-763 (2003)
[c12]Frej Drejhammar, Christian Schulte, Per Brand, Seif Haridi: Flow Java: Declarative Concurrency for Java. ICLP 2003: 346-360- 2002
[b1]Christian Schulte: Programming Constraint Services: High-Level Programming of Standard and New Constraint Services. Lecture Notes in Computer Science 2302, Springer 2002, ISBN 3-540-43371-6
[i2]Peter Van Roy, Per Brand, Denys Duchier, Seif Haridi, Martin Henz, Christian Schulte: Logic programming in the context of multiparadigm programming: the Oz experience. CoRR cs.PL/0208029 (2002)- 2001
[c11]Christian Schulte, Peter J. Stuckey: When Do Bounds and Domain Propagation Lead to the Same Search Space? PPDP 2001: 115-126- 2000
[c10]
1990 – 1999
- 1999
[c9]- 1998
[j1]Seif Haridi, Peter Van Roy, Per Brand, Christian Schulte: Programming Languages for Distributed Applications. New Generation Comput. 16(3): 223-261 (1998)- 1997
[c8]
[c7]
[c6]Christian Schulte: Using the Oz Explorer for the Development of Constraint Programs. LPE 1997: 55-56
[c5]Germán Puebla, Marco Comini, Wlodzimierz Drabent, Mireille Ducassé, Massimo Fabris, Christian Schulte: Tools and Environments for (Constraint) Logic Programming (Workshop Overview). ILPS 1997: 417-418- 1996
[c4]- 1995
[c3]- 1994
[c2]Christian Schulte, Gert Smolka, Jörg Würtz: Encapsulated Search and Constraint Programming in Oz. PPCP 1994: 134-150
[c1]Christian Schulte, Gert Smolka: Encapsulated Search for Higher-order Concurrent Constraint Programming. SLP 1994: 505-520- 1991
[i1]Christian Schulte: Entwurf und Implementierung eines übersetzenden Systems für das intuitionistische logische Programmieren auf der Warren Abstract Machine. Universität Karlsruhe, Institut für Logik, Komplexität und Deduktionssysteme 1991
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-04-27 19:52 CEST by the dblp team



