Travelled to:
1 × Austria
1 × Belgium
1 × Germany
1 × India
1 × Spain
1 × The Netherlands
1 × United Kingdom
2 × Italy
4 × USA
Collaborated with:
∅ P.J.Stuckey G.Smolka B.Taneva G.Weikum M.Mehl R.Scheidhauer R.C.Lozano M.Carlsson G.H.Blindell F.Drejhammar P.Brand S.Haridi M.Gester D.Müller T.Nieberg C.Panten J.Vygen
Talks about:
constraint (5) program (5) concurr (3) propag (3) visual (2) search (2) explor (2) domain (2) dynam (2) bound (2)
Person: Christian Schulte
DBLP: Schulte:Christian
Contributed to:
Wrote 13 papers:
- ECIR-2015-SchulteTW #topic
- On-topic Cover Stories from News Archives (CS, BT, GW), pp. 37–42.
- LCTES-2014-LozanoCBS #combinator #optimisation
- Combinatorial spill code optimization and ultimate coalescing (RCL, MC, GHB, CS), pp. 23–32.
- DAC-2012-Gester0NPSV #algorithm #data type #performance
- Algorithms and data structures for fast and good VLSI routing (MG, DM, TN, CP, CS, JV), pp. 459–464.
- ICLP-2008-SchulteS #bound #dynamic analysis
- Dynamic Analysis of Bounds Versus Domain Propagation (CS, PJS), pp. 332–346.
- PPDP-2008-SchulteS
- Dynamic variable elimination during propagation solving (CS, PJS), pp. 247–257.
- ICLP-2003-DrejhammarSBH #concurrent #declarative #java
- Flow Java: Declarative Concurrency for Java (FD, CS, PB, SH), pp. 346–360.
- PPDP-2001-SchulteS #bound #question
- When Do Bounds and Domain Propagation Lead to the Same Search Space? (CS, PJS), pp. 115–126.
- PADL-2000-Schulte #combinator #concurrent #constraints #programming
- Programming Deep Concurrent Constraint Combinators (CS), pp. 215–229.
- ICLP-1999-Schulte #constraints #programming
- Comparing Trailing and Copying for Constraint Programming (CS), pp. 275–289.
- ICLP-1997-Schulte #constraints #programming #visual notation
- Oz Explorer: A Visual Constraint Programming Tool (CS), pp. 286–300.
- PLILP-1996-Schulte #constraints #programming #visual notation
- Oz Explorer: A Visual Constraint Programming Tool (CS), pp. 477–478.
- PLILP-1995-MehlSS #automaton
- An Abstract Machine for Oz (MM, RS, CS), pp. 151–168.
- ILPS-1994-SchulteS #concurrent #constraints #encapsulation #higher-order #programming
- Encapsulated Search for Higher-order Concurrent Constraint Programming (CS, GS), pp. 505–520.