dblp.uni-trier.dewww.uni-trier.de

Christian Schulte

KTH - Royal Institute of Technology in Stockholm, Sweden

List of publications from the DBLP Bibliography Server - FAQ

other persons with the same name:


Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo
Home Page

2009
31EEChristian Schulte, Peter J. Stuckey: Erratum to "Efficient constraint propagation engines". ACM Trans. Program. Lang. Syst. 31(2): (2009)
2008
30EEChristian Schulte, Guido Tack: Perfect Derived Propagators. CP 2008: 571-575
29EEChristian Schulte, Peter J. Stuckey: Dynamic Analysis of Bounds Versus Domain Propagation. ICLP 2008: 332-346
28EEChristian Schulte, Peter J. Stuckey: Dynamic variable elimination during propagation solving. PPDP 2008: 247-257
27EEChristian Schulte, Peter J. Stuckey: Efficient constraint propagation engines. ACM Trans. Program. Lang. Syst. 31(1): (2008)
26EEChristian Schulte, Guido Tack: Perfect Derived Propagators CoRR abs/0806.1806: (2008)
2007
25EEMikael Z. Lagerkvist, Christian Schulte: Advisors for Incremental Propagation. CP 2007: 409-422
2006
24EEGuido Tack, Christian Schulte, Gert Smolka: Generating Propagators for Finite Set Constraints. CP 2006: 575-589
23EEChristian Schulte, Peter J. Stuckey: Efficient constraint propagation engines CoRR abs/cs/0611009: (2006)
2005
22EEChristian Schulte, Guido Tack: Views and Iterators for Generic Constraint Implementations. CP 2005: 817-821
21EEChristian Schulte, Guido Tack: Views and Iterators for Generic Constraint Implementations. CSCLP 2005: 118-132
20EEChristian 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
19EEChristian Schulte, Peter J. Stuckey: Speeding Up Constraint Propagation. CP 2004: 619-633
18EEDragan Havelka, Christian Schulte, Per Brand, Seif Haridi: Thread-Based Mobility in Oz. MOZ 2004: 137-148
2003
17EEFrej 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
14EEPeter 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
12EEChristian 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

Coauthor Index

1Per Brand [10] [14] [16] [17] [18]
2Marco Comini [7]
3Wlodzimierz Drabent (Wlodek Drabent) [7]
4Frej Drejhammar [17]
5Mireille Ducassé [7]
6Denys Duchier [14] [16]
7Massimo Fabris [7]
8Seif Haridi [10] [14] [16] [17] [18]
9Dragan Havelka [18]
10Martin Henz [14] [16]
11Mikael Z. Lagerkvist [25]
12Michael Mehl [4]
13Germán Puebla (German Puebla) [7]
14Peter Van Roy [10] [14] [16]
15Ralf Scheidhauer [4]
16Gert Smolka [2] [3] [24]
17Peter J. Stuckey [13] [19] [20] [23] [27] [28] [29] [31]
18Guido Tack [21] [22] [24] [26] [30]
19Jörg Würtz [3]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)