![]() | ![]() |
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] |