![]() |
KTH - Royal Institute of Technology in Stockholm, Sweden
List of publications from the DBLP Bibliography Server - FAQother persons with the same name:
| 2009 | ||
|---|---|---|
| 31 | EE | Christian Schulte, Peter J. Stuckey: Erratum to "Efficient constraint propagation engines". ACM Trans. Program. Lang. Syst. 31(2): (2009) |
| 2008 | ||
| 30 | EE | Christian Schulte, Guido Tack: Perfect Derived Propagators. CP 2008: 571-575 |
| 29 | EE | Christian Schulte, Peter J. Stuckey: Dynamic Analysis of Bounds Versus Domain Propagation. ICLP 2008: 332-346 |
| 28 | EE | Christian Schulte, Peter J. Stuckey: Dynamic variable elimination during propagation solving. PPDP 2008: 247-257 |
| 27 | EE | Christian Schulte, Peter J. Stuckey: Efficient constraint propagation engines. ACM Trans. Program. Lang. Syst. 31(1): (2008) |
| 26 | EE | Christian Schulte, Guido Tack: Perfect Derived Propagators CoRR abs/0806.1806: (2008) |
| 2007 | ||
| 25 | EE | Mikael Z. Lagerkvist, Christian Schulte: Advisors for Incremental Propagation. CP 2007: 409-422 |
| 2006 | ||
| 24 | EE | Guido Tack, Christian Schulte, Gert Smolka: Generating Propagators for Finite Set Constraints. CP 2006: 575-589 |
| 23 | EE | Christian Schulte, Peter J. Stuckey: Efficient constraint propagation engines CoRR abs/cs/0611009: (2006) |
| 2005 | ||
| 22 | EE | Christian Schulte, Guido Tack: Views and Iterators for Generic Constraint Implementations. CP 2005: 817-821 |
| 21 | EE | Christian Schulte, Guido Tack: Views and Iterators for Generic Constraint Implementations. CSCLP 2005: 118-132 |
| 20 | EE | 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) |
| 2004 | ||
| 19 | EE | Christian Schulte, Peter J. Stuckey: Speeding Up Constraint Propagation. CP 2004: 619-633 |
| 18 | EE | Dragan Havelka, Christian Schulte, Per Brand, Seif Haridi: Thread-Based Mobility in Oz. MOZ 2004: 137-148 |
| 2003 | ||
| 17 | EE | Frej Drejhammar, Christian Schulte, Per Brand, Seif Haridi: Flow Java: Declarative Concurrency for Java. ICLP 2003: 346-360 |
| 16 | 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) | |
| 2002 | ||
| 15 | Christian Schulte: Programming Constraint Services: High-Level Programming of Standard and New Constraint Services Springer 2002 | |
| 14 | EE | 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 | ||
| 13 | Christian Schulte, Peter J. Stuckey: When Do Bounds and Domain Propagation Lead to the Same Search Space? PPDP 2001: 115-126 | |
| 2000 | ||
| 12 | EE | Christian Schulte: Programming Deep Concurrent Constraint Combinators. PADL 2000: 215-229 |
| 1999 | ||
| 11 | Christian Schulte: Comparing Trailing and Copying for Constraint Programming. ICLP 1999: 275-289 | |
| 1998 | ||
| 10 | Seif Haridi, Peter Van Roy, Per Brand, Christian Schulte: Programming Languages for Distributed Applications. New Generation Comput. 16(3): 223-261 (1998) | |
| 1997 | ||
| 9 | Christian Schulte: Programming Constraint Inference Engines. CP 1997: 519-533 | |
| 8 | Christian Schulte: Oz Explorer: A Visual Constraint Programming Tool. ICLP 1997: 286-300 | |
| 7 | 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 | |
| 6 | Christian Schulte: Using the Oz Explorer for the Development of Constraint Programs. LPE 1997: 55-56 | |
| 1996 | ||
| 5 | Christian Schulte: Oz Explorer: A Visual Constraint Programming Tool. PLILP 1996: 477-478 | |
| 1995 | ||
| 4 | Michael Mehl, Ralf Scheidhauer, Christian Schulte: An Abstract Machine for Oz PLILP 1995: 151-168 | |
| 1994 | ||
| 3 | Christian Schulte, Gert Smolka, Jörg Würtz: Encapsulated Search and Constraint Programming in Oz. PPCP 1994: 134-150 | |
| 2 | Christian Schulte, Gert Smolka: Encapsulated Search for Higher-order Concurrent Constraint Programming. SLP 1994: 505-520 | |
| 1991 | ||
| 1 | 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 | |
| 1 | Per Brand | [10] [14] [16] [17] [18] |
| 2 | Marco Comini | [7] |
| 3 | Wlodzimierz Drabent (Wlodek Drabent) | [7] |
| 4 | Frej Drejhammar | [17] |
| 5 | Mireille Ducassé | [7] |
| 6 | Denys Duchier | [14] [16] |
| 7 | Massimo Fabris | [7] |
| 8 | Seif Haridi | [10] [14] [16] [17] [18] |
| 9 | Dragan Havelka | [18] |
| 10 | Martin Henz | [14] [16] |
| 11 | Mikael Z. Lagerkvist | [25] |
| 12 | Michael Mehl | [4] |
| 13 | Germán Puebla (German Puebla) | [7] |
| 14 | Peter Van Roy | [10] [14] [16] |
| 15 | Ralf Scheidhauer | [4] |
| 16 | Gert Smolka | [2] [3] [24] |
| 17 | Peter J. Stuckey | [13] [19] [20] [23] [27] [28] [29] [31] |
| 18 | Guido Tack | [21] [22] [24] [26] [30] |
| 19 | Jörg Würtz | [3] |