BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Schulte:Christian

Contributed to:

ECIR 20152015
LCTES 20142014
DAC 20122012
ICLP 20082008
PPDP 20082008
ICLP 20032003
PPDP 20012001
PADL 20002000
ICLP 19991999
ICLP 19971997
PLILP 19961996
PPDP 19951995
ILPS 19941994

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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.