Christian Schulte

70 papers A* 1A 19B 10C 3Journal 18Unranked 13

Year	Rank	Type	Title / Venue / Authors
2023	J	`jnl`	A constraint programming model for the scheduling and workspace layout design of a dual-arm multi-tool assembly robot. Constraints An Int. J. Johan Wessén, Mats Carlsson, Christian Schulte, Pierre Flener, Federico Pecora, Mihhail Matskin
2020	J	`jnl`	A history of the Oz multiparadigm language. Proc. ACM Program. Lang. Peter Van Roy, Seif Haridi, Christian Schulte, Gert Smolka
2020	B	`conf`	Efficient Real-Time Traffic Generation for 5G RAN. NOMS Diarmuid Corcoran, Per Kreuger, Christian Schulte
2020	B	`conf`	Scheduling of Dual-Arm Multi-tool Assembly Robots and Workspace Layout Optimization. CPAIOR Johan Wessén, Mats Carlsson, Christian Schulte
2019	—	`conf`	Arc: an IR for batch and stream programming. DBPL Lars Kroll, Klas Segeljakt, Paris Carbone, Christian Schulte, Seif Haridi
2019	—	`conf`	Arcon: Continuous and Deep Data Stream Analytics. BIRTE Max Meldrum, Klas Segeljakt, Lars Kroll, Paris Carbone, Christian Schulte, Seif Haridi
2019	J	`jnl`	Combinatorial Register Allocation and Instruction Scheduling. ACM Trans. Program. Lang. Syst. Roberto Castañeda Lozano, Mats Carlsson, Gabriel Hjort Blindell, Christian Schulte
2019	A	`conf`	Models for Radiation Therapy Patient Scheduling. CP Sara Frimodig, Christian Schulte
2019	J	`jnl`	Survey on Combinatorial Register Allocation and Instruction Scheduling. ACM Comput. Surv. Roberto Castañeda Lozano, Christian Schulte
2018	J	`jnl`	Combinatorial Register Allocation and Instruction Scheduling. CoRR Roberto Castañeda Lozano, Mats Carlsson, Gabriel Hjort Blindell, Christian Schulte
2018	A	`conf`	Making Compact-Table Compact. CP Linnea Ingmar, Christian Schulte
2017	J	`jnl`	Complete and Practical Universal Instruction Selection. ACM Trans. Embed. Comput. Syst. Gabriel Hjort Blindell, Mats Carlsson, Roberto Castañeda Lozano, Christian Schulte
2017	B	`conf`	Data driven selection of DRX for energy efficient 5G RAN. CNSM Diarmuid Corcoran, Loghman Andimeh, Andreas Ermedahl, Per Kreuger, Christian Schulte
2017	B	`conf`	Design and Implementation of Bounded-Length Sequence Variables. CPAIOR Joseph D. Scott, Pierre Flener, Justin Pearson, Christian Schulte
2016	A*	`conf`	Increasing Nogoods in Restart-Based Search. AAAI Jimmy H. M. Lee, Christian Schulte, Zichen Zhu
2016	B	`conf`	Register allocation and instruction scheduling in Unison. CC Roberto Castañeda Lozano, Mats Carlsson, Gabriel Hjort Blindell, Christian Schulte
2015	A	`conf`	Erratum to: Modeling Universal Instruction Selection. CP Gabriel Hjort Blindell, Roberto Castañeda Lozano, Mats Carlsson, Christian Schulte
2015	A	`conf`	Modeling Universal Instruction Selection. CP Gabriel Hjort Blindell, Roberto Castañeda Lozano, Mats Carlsson, Christian Schulte
2014	B	`conf`	Combinatorial spill code optimization and ultimate coalescing. LCTES Roberto Castañeda Lozano, Mats Carlsson, Gabriel Hjort Blindell, Christian Schulte
2014	J	`jnl`	Survey on Combinatorial Register Allocation and Instruction Scheduling. CoRR Roberto Castañeda Lozano, Christian Schulte
2014	A	`conf`	View-Based Propagator Derivation - (Extended Abstract). CP Christian Schulte, Guido Tack
2013	—	`conf`	Constraint-based code generation. M-SCOPES Roberto Castañeda Lozano, Gabriel Hjort Blindell, Mats Carlsson, Frej Drejhammar, Christian Schulte
2013	—	`conf`	Hybridizing Constraint Programming and Monte-Carlo Tree Search: Application to the Job Shop Problem. LION Manuel Loth, Michèle Sebag, Youssef Hamadi, Marc Schoenauer, Christian Schulte
2013	A	`ed.`	Principles and Practice of Constraint Programming - 19th International Conference, CP 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings CP Christian Schulte
2013	J	`jnl`	View-based propagator derivation. Constraints An Int. J. Christian Schulte, Guido Tack
2012	A	`conf`	Constraint-Based Register Allocation and Instruction Scheduling. CP Roberto Castañeda Lozano, Mats Carlsson, Frej Drejhammar, Christian Schulte
2011	—	`conf`	Optimization of task assignment to collaborating agents. CISched Irfan Younas, Farzad Kamrani, Christian Schulte, Rassul Ayani
2010	A	`conf`	Testing Continuous Double Auctions with a Constraint-Based Oracle. CP Roberto Castañeda Lozano, Christian Schulte, Lars Wahlberg
2009	A	`conf`	Confidence-Based Work Stealing in Parallel Constraint Programming. CP Geoffrey Chu, Christian Schulte, Peter J. Stuckey
2009	J	`jnl`	Constraint Programming in Sweden. IEEE Intell. Syst. Pierre Flener, Mats Carlsson, Christian Schulte
2009	J	`jnl`	Erratum to "Efficient constraint propagation engines". ACM Trans. Program. Lang. Syst. Christian Schulte, Peter J. Stuckey
2009	A	`conf`	Generating Optimal Stowage Plans for Container Vessel Bays. CP Alberto Delgado, Rune Møller Jensen, Christian Schulte
2009	A	`conf`	Maintaining State in Propagation Solvers. CP Raphael M. Reischuk, Christian Schulte, Peter J. Stuckey, Guido Tack
2009	A	`conf`	Propagator Groups. CP Mikael Z. Lagerkvist, Christian Schulte
2009	J	`jnl`	View-based Propagator Derivation CoRR Christian Schulte, Guido Tack
2009	A	`conf`	Weakly Monotonic Propagators. CP Christian Schulte, Guido Tack
2008	B	`conf`	Dynamic Analysis of Bounds Versus Domain Propagation. ICLP Christian Schulte, Peter J. Stuckey
2008	C	`conf`	Dynamic variable elimination during propagation solving. PPDP Christian Schulte, Peter J. Stuckey
2008	J	`jnl`	Efficient constraint propagation engines. ACM Trans. Program. Lang. Syst. Christian Schulte, Peter J. Stuckey
2008	J	`jnl`	Perfect Derived Propagators CoRR Christian Schulte, Guido Tack
2008	A	`conf`	Perfect Derived Propagators. CP Christian Schulte, Guido Tack
2007	A	`conf`	Advisors for Incremental Propagation. CP Mikael Z. Lagerkvist, Christian Schulte
2006	—	`ch.`	Constraints in Procedural and Concurrent Languages. Handbook of Constraint Programming Thom W. Frühwirth, Laurent Michel, Christian Schulte
2006	J	`jnl`	Efficient constraint propagation engines CoRR Christian Schulte, Peter J. Stuckey
2006	—	`ch.`	Finite Domain Constraint Programming Systems. Handbook of Constraint Programming Christian Schulte, Mats Carlsson
2006	A	`conf`	Generating Propagators for Finite Set Constraints. CP Guido Tack, Christian Schulte, Gert Smolka
2005	A	`conf`	Views and Iterators for Generic Constraint Implementations. CP Christian Schulte, Guido Tack
2005	—	`conf`	Views and Iterators for Generic Constraint Implementations. CSCLP Christian Schulte, Guido Tack
2005	J	`jnl`	When do bounds and domain propagation lead to the same search space? ACM Trans. Program. Lang. Syst. Christian Schulte, Peter J. Stuckey
2004	A	`conf`	Speeding Up Constraint Propagation. CP Christian Schulte, Peter J. Stuckey
2004	—	`conf`	Thread-Based Mobility in Oz. MOZ Dragan Havelka, Christian Schulte, Per Brand, Seif Haridi
2003	B	`conf`	Flow Java: Declarative Concurrency for Java. ICLP Frej Drejhammar, Christian Schulte, Per Brand, Seif Haridi
2003	J	`jnl`	Logic programming in the context of multiparadigm programming: the Oz experience. Theory Pract. Log. Program. Peter Van Roy, Per Brand, Denys Duchier, Seif Haridi, Martin Henz, Christian Schulte
2002	J	`jnl`	Logic programming in the context of multiparadigm programming: the Oz experience CoRR Peter Van Roy, Per Brand, Denys Duchier, Seif Haridi, Martin Henz, Christian Schulte
2002	—	`book`	Programming Constraint Services: High-Level Programming of Standard and New Constraint Services Christian Schulte
2001	C	`conf`	When Do Bounds and Domain Propagation Lead to the Same Search Space? PPDP Christian Schulte, Peter J. Stuckey
2000	C	`conf`	Programming Deep Concurrent Constraint Combinators. PADL Christian Schulte
2000	—	`—`	Programming constraint services. Christian Schulte
1999	B	`conf`	Comparing Trailing and Copying for Constraint Programming. ICLP Christian Schulte
1998	J	`jnl`	Programming Languages for Distributed Applications. New Gener. Comput. Seif Haridi, Peter Van Roy, Per Brand, Christian Schulte
1997	B	`conf`	Oz Explorer: A Visual Constraint Programming Tool. ICLP Christian Schulte
1997	A	`conf`	Programming Constraint Inference Engines. CP Christian Schulte
1997	—	`conf`	Tools and Environments for (Constraint) Logic Programming (Workshop Overview). ILPS Germán Puebla, Marco Comini, Wlodzimierz Drabent, Mireille Ducassé, Massimo Fabris, Christian Schulte
1997	—	`conf`	Using the Oz Explorer for the Development of Constraint Programs. LPE Christian Schulte
1996	—	`conf`	Oz Explorer: A Visual Constraint Programming Tool. PLILP Christian Schulte
1995	—	`conf`	An Abstract Machine for Oz PLILP Michael Mehl, Ralf Scheidhauer, Christian Schulte
1994	—	`conf`	Encapsulated Search and Constraint Programming in Oz. PPCP Christian Schulte, Gert Smolka, Jörg Würtz
1994	—	`conf`	Encapsulated Search for Higher-order Concurrent Constraint Programming. ILPS Christian Schulte, Gert Smolka
1993	—	`ed.`	Proceedings of the ICLP'93 Post-Conference Workshop on Concurrent Constraint Programming, Budapest, Hungary, June 24-25, 1993 ICLP Workshop on Concurrent Constraint Programming Christian Schulte, Gert Smolka
1991	—	`—`	Entwurf und Implementierung eines übersetzenden Systems für das intuitionistische logische Programmieren auf der Warren Abstract Machine. Christian Schulte