Mats Carlsson

	2009
44		Magnus Ågren, Nicolas Beldiceanu, Mats Carlsson, Mohamed Sbihi, Charlotte Truchet, Stéphane Zampelli: Six Ways of Integrating Symmetries within Non-overlapping Constraints. CPAIOR 2009: 11-25
43		Pierre Flener, Mats Carlsson, Christian Schulte: Constraint Programming in Sweden. IEEE Intelligent Systems 24(2): 87-89 (2009)
	2008
42		Mats Carlsson, Nicolas Beldiceanu, Julien Martin: A Geometric Constraint over k-Dimensional Objects and Shapes Subject to Business Rules. CP 2008: 220-234
41		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		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		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		Nicolas Beldiceanu, Mats Carlsson, Sophie Demassey, Thierry Petit: Graph Properties Based Filtering. CP 2006: 59-74
36		Nicolas Beldiceanu, Mats Carlsson, Sven Thiel: Sweep synchronization as a global propagation mechanism. Computers & OR 33(10): 2835-2851 (2006)
	2005
35		Nicolas Beldiceanu, Mats Carlsson, Jean-Xavier Rampon, Charlotte Truchet: Graph Invariants as Necessary Conditions for Global Constraints. CP 2005: 92-106
34		Nicolas Beldiceanu, Mats Carlsson, Romuald Debruyne, Thierry Petit: Reformulation of Global Constraints Based on Constraints Checkers. Constraints 10(4): 339-362 (2005)
	2004
33		Mats Carlsson, Nicolas Beldiceanu: Dispensation Order Generation for Pyrosequencing. APBC 2004: 327-332
32		Nicolas Beldiceanu, Mats Carlsson, Thierry Petit: Deriving Filtering Algorithms from Constraint Checkers. CP 2004: 107-122
31		Mats Carlsson, Nicolas Beldiceanu: From Constraints to Finite Automata to Filtering Algorithms. ESOP 2004: 94-108
30		Adam Ameur, Erik Aurell, Mats Carlsson, Jakub Orzechowski Westholm: Global gene expression analysis by combinatorial optimization. In Silico Biology 4: (2004)
	2002
29		Nicolas Beldiceanu, Mats Carlsson: A New Multi-resource cumulatives Constraint with Negative Heights. CP 2002: 63-79
28		Magnus Ågren, Tamás Szeredi, Nicolas Beldiceanu, Mats Carlsson: Tracing and Explaining Execution of CLP(FD) Programs. WLPE 2002: 1-16
27		Magnus Ågren, Tamás Szeredi, Nicolas Beldiceanu, Mats Carlsson: Tracing and Explaining Execution of CLP(FD) Programs CoRR cs.SE/0207047: (2002)
	2001
26		Nicolas Beldiceanu, Mats Carlsson: Sweep as a Generic Pruning Technique Applied to the Non-overlapping Rectangles Constraint. CP 2001: 377-391
25		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		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		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		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)

Coauthor Index

1	Magnus Ågren	[27] [28] [44]
2	Khayri A. M. Ali	[23]
3	Adam Ameur	[30]
4	Karen Appleby	[7]
5	Emil Åström	[22]
6	Erik Aurell	[30]
7	Nicolas Beldiceanu	[25] [26] [27] [28] [29] [31] [32] [33] [34] [35] [36] [37] [39] [40] [41] [42] [44]
8	Per Brand	[9]
9	Ralph M. Butler (Ralph Butler)	[9]
10	Alan Calderwood	[9]
11	Björn Carlson	[14] [15] [16] [18] [19]
12	Andrzej Ciepielewski	[9]
13	Kenneth J. Danhof	[8]
14	Romuald Debruyne	[34]
15	Sophie Demassey	[37] [39]
16	Terry Disz	[9]
17	Jesper Eskilson	[20] [21]
18	François Fages	[38]
19	Pierre Flener	[43]
20	Mats Grindal	[12]
21	Gopal Gupta	[17] [23]
22	Thomas Hallgren	[13]
23	Seif Haridi	[7] [9]
24	Bogumil Hausman	[9]
25	Manuel V. Hermenegildo	[23]
26	Brahim Hnich	[38]
27	Sverker Janson	[15]
28	Kenneth M. Kahn	[2] [4]
29	Per Kreuger	[22]
30	Ewing L. Lusk	[9]
31	Julien Martin	[42]
32	Henrik Nässén	[24]
33	Robert Olson	[9]
34	Greger Ottosson	[18] [19]
35	Ross A. Overbeek	[8] [9]
36	Thierry Petit	[32] [34] [37] [39]
37	Emmanuel Poder	[40] [41]
38	Enrico Pontelli	[23]
39	Jean-Xavier Rampon	[35]
40	Francesca Rossi	[38]
41	R. Sadek	[40]
42	Konstantinos F. Sagonas	[24]
43	Dan Sahlin	[7]
44	Daniel Díaz Sánchez (Daniel Diaz)	[14]
45	Mohamed Sbihi	[44]
46	Christian Schulte	[43]
47	Rick L. Stevens (Rick Stevens)	[9]
48	Péter Szeredi	[9] [11]
49	Tamás Szeredi	[27] [28]
50	Sven Thiel	[36]
51	Charlotte Truchet	[35] [40] [44]
52	David H. D. Warren	[9]
53	Jakub Orzechowski Westholm	[30]
54	Rong Yang	[11]
55	Stéphane Zampelli	[44]

Colors in the list of coauthors