| 2008 |
|---|
| 42 | EE | Mats Carlsson,
Nicolas Beldiceanu,
Julien Martin:
A Geometric Constraint over k-Dimensional Objects and Shapes Subject to Business Rules.
CP 2008: 220-234 |
| 41 | EE | Nicolas Beldiceanu,
Mats Carlsson,
Emmanuel Poder:
New Filtering for the cumulative Constraint in the Context of Non-Overlapping Rectangles.
CPAIOR 2008: 21-35 |
| 2007 |
|---|
| 40 | EE | Nicolas Beldiceanu,
Mats Carlsson,
Emmanuel Poder,
R. Sadek,
Charlotte Truchet:
A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic k-Dimensional Objects.
CP 2007: 180-194 |
| 39 | EE | Nicolas Beldiceanu,
Mats Carlsson,
Sophie Demassey,
Thierry Petit:
Global Constraint Catalogue: Past, Present and Future.
Constraints 12(1): 21-62 (2007) |
| 2006 |
|---|
| 38 | | Brahim Hnich,
Mats Carlsson,
François Fages,
Francesca Rossi:
Recent Advances in Constraints, Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2005, Uppsala, Sweden, June 20-22, 2005, Revised Selected and Invited Papers
Springer 2006 |
| 37 | EE | Nicolas Beldiceanu,
Mats Carlsson,
Sophie Demassey,
Thierry Petit:
Graph Properties Based Filtering.
CP 2006: 59-74 |
| 36 | EE | Nicolas Beldiceanu,
Mats Carlsson,
Sven Thiel:
Sweep synchronization as a global propagation mechanism.
Computers & OR 33(10): 2835-2851 (2006) |
| 2005 |
|---|
| 35 | EE | Nicolas Beldiceanu,
Mats Carlsson,
Jean-Xavier Rampon,
Charlotte Truchet:
Graph Invariants as Necessary Conditions for Global Constraints.
CP 2005: 92-106 |
| 34 | EE | Nicolas Beldiceanu,
Mats Carlsson,
Romuald Debruyne,
Thierry Petit:
Reformulation of Global Constraints Based on Constraints Checkers.
Constraints 10(4): 339-362 (2005) |
| 2004 |
|---|
| 33 | EE | Mats Carlsson,
Nicolas Beldiceanu:
Dispensation Order Generation for Pyrosequencing.
APBC 2004: 327-332 |
| 32 | EE | Nicolas Beldiceanu,
Mats Carlsson,
Thierry Petit:
Deriving Filtering Algorithms from Constraint Checkers.
CP 2004: 107-122 |
| 31 | EE | Mats Carlsson,
Nicolas Beldiceanu:
From Constraints to Finite Automata to Filtering Algorithms.
ESOP 2004: 94-108 |
| 30 | EE | Adam Ameur,
Erik Aurell,
Mats Carlsson,
Jakub Orzechowski Westholm:
Global gene expression analysis by combinatorial optimization.
In Silico Biology 4: (2004) |
| 2002 |
|---|
| 29 | EE | Nicolas Beldiceanu,
Mats Carlsson:
A New Multi-resource cumulatives Constraint with Negative Heights.
CP 2002: 63-79 |
| 28 | EE | Magnus Ågren,
Tamás Szeredi,
Nicolas Beldiceanu,
Mats Carlsson:
Tracing and Explaining Execution of CLP(FD) Programs.
WLPE 2002: 1-16 |
| 27 | EE | Magnus Ågren,
Tamás Szeredi,
Nicolas Beldiceanu,
Mats Carlsson:
Tracing and Explaining Execution of CLP(FD) Programs
CoRR cs.SE/0207047: (2002) |
| 2001 |
|---|
| 26 | EE | Nicolas Beldiceanu,
Mats Carlsson:
Sweep as a Generic Pruning Technique Applied to the Non-overlapping Rectangles Constraint.
CP 2001: 377-391 |
| 25 | EE | Nicolas Beldiceanu,
Mats Carlsson:
Revisiting the Cardinality Operator and Introducing the Cardinality-Path Constraint Family.
ICLP 2001: 59-73 |
| 24 | | Henrik Nässén,
Mats Carlsson,
Konstantinos F. Sagonas:
Instruction Merging and Specialization in the SICStus Prolog Virtual Machine.
PPDP 2001: 49-60 |
| 23 | EE | Gopal Gupta,
Enrico Pontelli,
Khayri A. M. Ali,
Mats Carlsson,
Manuel V. Hermenegildo:
Parallel execution of prolog programs: a survey.
ACM Trans. Program. Lang. Syst. 23(4): 472-602 (2001) |
| 1999 |
|---|
| 22 | EE | Mats Carlsson,
Per Kreuger,
Emil Åström:
Constraint-Based Resource Allocation and Scheduling in Steel Manufacturing.
PADL 1999: 335-349 |
| 1998 |
|---|
| 21 | | Jesper Eskilson,
Mats Carlsson:
SICStus MT - Multithreaded Execution Environment for SICStus Prolog.
Implementation Technology for Programming Languages based on Logic 1998: 59-71 |
| 20 | EE | Jesper Eskilson,
Mats Carlsson:
SICStus MT - A Multithreaded Execution Environment for SICStus Prolog.
PLILP/ALP 1998: 36-53 |
| 1997 |
|---|
| 19 | | Mats Carlsson,
Greger Ottosson,
Björn Carlson:
An Open-Ended Finite Domain Constraint Solver.
PLILP 1997: 191-206 |
| 1996 |
|---|
| 18 | | Mats Carlsson,
Björn Carlson,
Greger Ottosson:
Towards an Open Finite Domain Constraint Solver.
CP 1996: 531-532 |
| 17 | | Gopal Gupta,
Mats Carlsson:
Guest Editors' Introduction: High-Performance Implementations of Logic Programming Systems.
J. Log. Program. 29(1-3): 1-3 (1996) |
| 1995 |
|---|
| 16 | | Björn Carlson,
Mats Carlsson:
Compiling and Executing Disjunctions of Finite Domain Constraints.
ICLP 1995: 117-131 |
| 15 | | Björn Carlson,
Mats Carlsson,
Sverker Janson:
The implementation of AKL(FD).
ILPS 1995: 227-241 |
| 1994 |
|---|
| 14 | | Björn Carlson,
Mats Carlsson,
Daniel Diaz:
Entailment of Finite Domain Constraints.
ICLP 1994: 339-353 |
| 1993 |
|---|
| 13 | | Mats Carlsson,
Thomas Hallgren:
FUDGETS: A Graphical User Interface in a Lazy Functional Language.
FPCA 1993: 321-330 |
| 12 | | Mats Carlsson,
Mats Grindal:
Automatic Frequency Assignment for Cellular Telephones Using Constraint Satisfaction Techniques.
ICLP 1993: 647-665 |
| 1991 |
|---|
| 11 | | Péter Szeredi,
Rong Yang,
Mats Carlsson:
Interfacing Engines and Schedulers in OR-Parallel Prolog Systems.
PARLE (2) 1991: 439-453 |
| 1989 |
|---|
| 10 | | Mats Carlsson:
On the Efficiency of Optimising Shallow Backtracking in Compiled Prolog.
ICLP 1989: 3-16 |
| 1988 |
|---|
| 9 | | Ewing L. Lusk,
Ralph Butler,
Terry Disz,
Robert Olson,
Ross A. Overbeek,
Rick L. Stevens,
David H. D. Warren,
Alan Calderwood,
Péter Szeredi,
Seif Haridi,
Per Brand,
Mats Carlsson,
Andrzej Ciepielewski,
Bogumil Hausman:
The Aurora Or-Parallel Prolog System.
FGCS 1988: 819-830 |
| 8 | | Mats Carlsson,
Kenneth J. Danhof,
Ross A. Overbeek:
A Simplified Approach to the Implementation of AND-Parallelism in an OR-Parallel Environment.
ICLP/SLP 1988: 1565-1577 |
| 7 | | Karen Appleby,
Mats Carlsson,
Seif Haridi,
Dan Sahlin:
Garbage Collection for Prolog Based on WAM.
Commun. ACM 31(6): 719-741 (1988) |
| 1987 |
|---|
| 6 | | Mats Carlsson:
Freeze, Indexing, and Other Implementation Issues in the WAM.
ICLP 1987: 40-58 |
| 1985 |
|---|
| 5 | | Mats Carlsson:
A Microcoded Unifier for Lisp Machine Prolog.
SLP 1985: 162-171 |
| 1984 |
|---|
| 4 | | Kenneth M. Kahn,
Mats Carlsson:
The Compilation of Prolog Programs without the Use of a Prolog Compiler.
FGCS 1984: 348-355 |
| 3 | | Mats Carlsson:
On Implementing Prolog in Functional Programming.
SLP 1984: 154-159 |
| 2 | | Kenneth M. Kahn,
Mats Carlsson:
How to Implement Prolog on a LISP Machine.
Implementations of Prolog 1984: 117-134 |
| 1 | | Mats Carlsson:
On Implementing Prolog in Functional Programming.
New Generation Comput. 2(4): 347-359 (1984) |
