The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Christian Schulte 0001" ( http://dblp.L3S.de/Authors/Christian_Schulte_0001 )

URL (Homepage):  https://chschulte.github.io/  Author page on DBLP  Author page in RDF  Community of Christian Schulte 0001 in ASPL-2

Publication years (Num. hits)
1991-2001 (15) 2002-2008 (19) 2009-2013 (15) 2014-2019 (17)
Publication types (Num. hits)
article(16) book(1) incollection(2) inproceedings(43) mastersthesis(1) phdthesis(1) proceedings(2)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 10 occurrences of 8 keywords

Results
Found 67 publication records. Showing 66 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Roberto Castañeda Lozano, Christian Schulte 0001 Survey on Combinatorial Register Allocation and Instruction Scheduling. Search on Bibsonomy ACM Comput. Surv. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Roberto Castañeda Lozano, Mats Carlsson, Gabriel Hjort Blindell, Christian Schulte 0001 Combinatorial Register Allocation and Instruction Scheduling. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Max Meldrum, Klas Segeljakt, Lars Kroll, Paris Carbone, Christian Schulte 0001, Seif Haridi Arcon: Continuous and Deep Data Stream Analytics. Search on Bibsonomy BIRTE The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Sara Frimodig, Christian Schulte 0001 Models for Radiation Therapy Patient Scheduling. Search on Bibsonomy CP The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Lars Kroll, Klas Segeljakt, Paris Carbone, Christian Schulte 0001, Seif Haridi Arc: an IR for batch and stream programming. Search on Bibsonomy DBPL The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Roberto Castañeda Lozano, Mats Carlsson, Gabriel Hjort Blindell, Christian Schulte 0001 Combinatorial Register Allocation and Instruction Scheduling. Search on Bibsonomy CoRR The full citation details ... 2018 DBLP  BibTeX  RDF
1Linnea Ingmar, Christian Schulte 0001 Making Compact-Table Compact. Search on Bibsonomy CP The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Gabriel Hjort Blindell, Mats Carlsson, Roberto Castañeda Lozano, Christian Schulte 0001 Complete and Practical Universal Instruction Selection. Search on Bibsonomy ACM Trans. Embedded Comput. Syst. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Joseph D. Scott, Pierre Flener, Justin Pearson, Christian Schulte 0001 Design and Implementation of Bounded-Length Sequence Variables. Search on Bibsonomy CPAIOR The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Diarmuid Corcoran, Loghman Andimeh, Andreas Ermedahl, Per Kreuger, Christian Schulte 0001 Data driven selection of DRX for energy efficient 5G RAN. Search on Bibsonomy CNSM The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Roberto Castañeda Lozano, Mats Carlsson, Gabriel Hjort Blindell, Christian Schulte 0001 Register allocation and instruction scheduling in Unison. Search on Bibsonomy CC The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
1Jimmy H. M. Lee, Christian Schulte 0001, Zichen Zhu Increasing Nogoods in Restart-Based Search. Search on Bibsonomy AAAI The full citation details ... 2016 DBLP  BibTeX  RDF
1Gabriel Hjort Blindell, Roberto Castañeda Lozano, Mats Carlsson, Christian Schulte 0001 Modeling Universal Instruction Selection. Search on Bibsonomy CP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Gabriel Hjort Blindell, Roberto Castañeda Lozano, Mats Carlsson, Christian Schulte 0001 Erratum to: Modeling Universal Instruction Selection. Search on Bibsonomy CP The full citation details ... 2015 DBLP  DOI  BibTeX  RDF
1Roberto Castañeda Lozano, Christian Schulte 0001 Survey on Combinatorial Register Allocation and Instruction Scheduling. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
1Roberto Castañeda Lozano, Mats Carlsson, Gabriel Hjort Blindell, Christian Schulte 0001 Combinatorial spill code optimization and ultimate coalescing. Search on Bibsonomy LCTES The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Christian Schulte 0001, Guido Tack View-Based Propagator Derivation - (Extended Abstract). Search on Bibsonomy CP The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
1Christian Schulte 0001, Guido Tack View-based propagator derivation. Search on Bibsonomy Constraints The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Roberto Castañeda Lozano, Gabriel Hjort Blindell, Mats Carlsson, Frej Drejhammar, Christian Schulte 0001 Constraint-based code generation. Search on Bibsonomy M-SCOPES The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Manuel Loth, Michèle Sebag, Youssef Hamadi, Marc Schoenauer, Christian Schulte 0001 Hybridizing Constraint Programming and Monte-Carlo Tree Search: Application to the Job Shop Problem. Search on Bibsonomy LION The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Christian Schulte 0001 (eds.) Principles and Practice of Constraint Programming - 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings Search on Bibsonomy CP The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
1Roberto Castañeda Lozano, Mats Carlsson, Frej Drejhammar, Christian Schulte 0001 Constraint-Based Register Allocation and Instruction Scheduling. Search on Bibsonomy CP The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Irfan Younas, Farzad Kamrani, Christian Schulte 0001, Rassul Ayani Optimization of task assignment to collaborating agents. Search on Bibsonomy CISched The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Roberto Castañeda Lozano, Christian Schulte 0001, Lars Wahlberg Testing Continuous Double Auctions with a Constraint-Based Oracle. Search on Bibsonomy CP The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Christian Schulte 0001, Guido Tack View-based Propagator Derivation Search on Bibsonomy CoRR The full citation details ... 2009 DBLP  BibTeX  RDF
1Pierre Flener, Mats Carlsson, Christian Schulte 0001 Constraint Programming in Sweden. Search on Bibsonomy IEEE Intelligent Systems The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Christian Schulte 0001, Peter J. Stuckey Erratum to "Efficient constraint propagation engines". Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Mikael Z. Lagerkvist, Christian Schulte 0001 Propagator Groups. Search on Bibsonomy CP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Raphael M. Reischuk, Christian Schulte 0001, Peter J. Stuckey, Guido Tack Maintaining State in Propagation Solvers. Search on Bibsonomy CP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Alberto Delgado, Rune Møller Jensen, Christian Schulte 0001 Generating Optimal Stowage Plans for Container Vessel Bays. Search on Bibsonomy CP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Christian Schulte 0001, Guido Tack Weakly Monotonic Propagators. Search on Bibsonomy CP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Geoffrey Chu, Christian Schulte 0001, Peter J. Stuckey Confidence-Based Work Stealing in Parallel Constraint Programming. Search on Bibsonomy CP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Christian Schulte 0001, Guido Tack Perfect Derived Propagators Search on Bibsonomy CoRR The full citation details ... 2008 DBLP  BibTeX  RDF
1Christian Schulte 0001, Peter J. Stuckey Efficient constraint propagation engines. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF Constraint (logic) programming, fixpoint reasoning, events, priorities, constraint propagation, finite domain constraints
1Christian Schulte 0001, Peter J. Stuckey Dynamic Analysis of Bounds Versus Domain Propagation. Search on Bibsonomy ICLP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Christian Schulte 0001, Peter J. Stuckey Dynamic variable elimination during propagation solving. Search on Bibsonomy PPDP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF constraint (logic) programming, analysis, redundancy, constraint propagation
1Christian Schulte 0001, Guido Tack Perfect Derived Propagators. Search on Bibsonomy CP The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Mikael Z. Lagerkvist, Christian Schulte 0001 Advisors for Incremental Propagation. Search on Bibsonomy CP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Christian Schulte 0001, Mats Carlsson Finite Domain Constraint Programming Systems. Search on Bibsonomy Handbook of Constraint Programming The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Thom W. Frühwirth, Laurent Michel, Christian Schulte 0001 Constraints in Procedural and Concurrent Languages. Search on Bibsonomy Handbook of Constraint Programming The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Christian Schulte 0001, Peter J. Stuckey Efficient constraint propagation engines Search on Bibsonomy CoRR The full citation details ... 2006 DBLP  BibTeX  RDF
1Guido Tack, Christian Schulte 0001, Gert Smolka Generating Propagators for Finite Set Constraints. Search on Bibsonomy CP The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Christian Schulte 0001, Peter J. Stuckey When do bounds and domain propagation lead to the same search space? Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Constraint (logic) programming, bounds propagation, domain propagation, program analysis, abstract interpretation, finite domain constraints
1Christian Schulte 0001, Guido Tack Views and Iterators for Generic Constraint Implementations. Search on Bibsonomy CP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Christian Schulte 0001, Guido Tack Views and Iterators for Generic Constraint Implementations. Search on Bibsonomy CSCLP The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
1Christian Schulte 0001, Peter J. Stuckey Speeding Up Constraint Propagation. Search on Bibsonomy CP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Dragan Havelka, Christian Schulte 0001, Per Brand, Seif Haridi Thread-Based Mobility in Oz. Search on Bibsonomy MOZ The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Peter Van Roy, Per Brand, Denys Duchier, Seif Haridi, Martin Henz, Christian Schulte 0001 Logic programming in the context of multiparadigm programming: the Oz experience. Search on Bibsonomy TPLP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Frej Drejhammar, Christian Schulte 0001, Per Brand, Seif Haridi Flow Java: Declarative Concurrency for Java. Search on Bibsonomy ICLP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Peter Van Roy, Per Brand, Denys Duchier, Seif Haridi, Martin Henz, Christian Schulte 0001 Logic programming in the context of multiparadigm programming: the Oz experience Search on Bibsonomy CoRR The full citation details ... 2002 DBLP  BibTeX  RDF
1Christian Schulte 0001 Programming Constraint Services: High-Level Programming of Standard and New Constraint Services Search on Bibsonomy 2002   DOI  RDF
1Christian Schulte 0001, Peter J. Stuckey When Do Bounds and Domain Propagation Lead to the Same Search Space? Search on Bibsonomy PPDP The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Christian Schulte 0001 Programming Deep Concurrent Constraint Combinators. Search on Bibsonomy PADL The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
1Christian Schulte 0001 Programming constraint services. Search on Bibsonomy 2000   RDF
1Christian Schulte 0001 Comparing Trailing and Copying for Constraint Programming. Search on Bibsonomy ICLP The full citation details ... 1999 DBLP  BibTeX  RDF
1Seif Haridi, Peter Van Roy, Per Brand, Christian Schulte 0001 Programming Languages for Distributed Applications. Search on Bibsonomy New Generation Comput. The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Germán Puebla, Marco Comini, Wlodzimierz Drabent, Mireille Ducassé, Massimo Fabris, Christian Schulte 0001 Tools and Environments for (Constraint) Logic Programming (Workshop Overview). Search on Bibsonomy ILPS The full citation details ... 1997 DBLP  BibTeX  RDF
1Christian Schulte 0001 Using the Oz Explorer for the Development of Constraint Programs. Search on Bibsonomy LPE The full citation details ... 1997 DBLP  BibTeX  RDF
1Christian Schulte 0001 Oz Explorer: A Visual Constraint Programming Tool. Search on Bibsonomy ICLP The full citation details ... 1997 DBLP  BibTeX  RDF
1Christian Schulte 0001 Programming Constraint Inference Engines. Search on Bibsonomy CP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
1Christian Schulte 0001 Oz Explorer: A Visual Constraint Programming Tool. Search on Bibsonomy PLILP The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
1Michael Mehl, Ralf Scheidhauer, Christian Schulte 0001 An Abstract Machine for Oz Search on Bibsonomy PLILP The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
1Christian Schulte 0001, Gert Smolka Encapsulated Search for Higher-order Concurrent Constraint Programming. Search on Bibsonomy ILPS The full citation details ... 1994 DBLP  BibTeX  RDF
1Christian Schulte 0001, Gert Smolka, Jörg Würtz Encapsulated Search and Constraint Programming in Oz. Search on Bibsonomy PPCP The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
1Christian Schulte 0001, Gert Smolka (eds.) Proceedings of the ICLP'93 Post-Conference Workshop on Concurrent Constraint Programming, Budapest, Hungary, June 24-25, 1993 Search on Bibsonomy ICLP Workshop on Concurrent Constraint Programming The full citation details ... 1993 DBLP  BibTeX  RDF
1Christian Schulte 0001 Entwurf und Implementierung eines übersetzenden Systems für das intuitionistische logische Programmieren auf der Warren Abstract Machine. Search on Bibsonomy 1991   RDF
Displaying result #1 - #66 of 66 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license