Mats Carlsson - Google Scholar Citations

Cited by

	All	Since 2015
Citations	4135	811
h-index	31	16
i10-index	65	28

220

110

165

198419851986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202013 19 26 35 26 38 68 95 105 83 126 83 112 75 60 68 73 84 93 112 109 105 172 159 155 151 165 188 217 199 187 146 179 184 159 120 22

Co-authors

Nicolas BeldiceanuFull professor, IMT Atlantique, LS2N-CNRS, FranceVerified email at mines-nantes.fr
Christian SchulteProfessor of Computer Science, KTH Royal Institute of TechnologyVerified email at kth.se
Thomas SjölandKTH Royal Institute of TechnologyVerified email at kth.se
Thierry PetitAssociate professor (HDR)Verified email at imt-atlantique.fr
Seif HaridiProfessor of Computer Systems, KTH, RISEVerified email at ri.se
Justin PearsonIT Department, Uppsala University, SwedenVerified email at it.uu.se
Pierre FlenerProfessor of Computing Science, Uppsala University, SwedenVerified email at it.uu.se
Roberto Castañeda LozanoRISE SICS and KTH Royal Institute of Technology (Sweden)Verified email at sics.se
Gopal GuptaProfessor of Computer Science, The University of Texas at DallasVerified email at utdallas.edu
Charlotte TruchetLS2N, UMR 6004, Université de Nantes, FranceVerified email at univ-nantes.fr
Sophie DemasseyCMA, Mines ParisTechVerified email at mines-paristech.fr
Ewing (Rusty) LuskArgonne National LaboratoryVerified email at mcs.anl.gov
Gabriel Hjort BlindellPh.D., M.Sc.Verified email at kth.se
Manuel HermenegildoIMDEA Software Institute and Technical U. of Madrid (UPM)Verified email at upm.es
Enrico PontelliNew Mexico State UniversityVerified email at cs.nmsu.edu
Khayri A. M. AliPresident of October University for Modern Sciences and Arts (MSA)Verified email at msa.eun.eg
Rick StevensProfessor of Computer Science, University of ChicagoVerified email at ci.uchicago.edu
Terrence DiszANLVerified email at mcs.anl.gov
Robert OlsonArgonne National LaboratoryVerified email at mcs.anl.gov
Daniel DiazAssociate Professor of Computing Science, University Paris 1Verified email at univ-paris1.fr

Mats Carlsson

RISE Research Institutes of Sweden

Verified email at sics.se - Homepage

Constraint Programming Combinatorial Problem Solving Compilation Algorithm Design Programming Languages


Title	Cited by	Year
An open-ended finite domain constraint solver M Carlsson, G Ottosson, B Carlson International Symposium on Programming Language Implementation and Logic …, 1997	414	1997
The Aurora or-parallel Prolog system E Lusk, R Butler, T Disz, R Olson, R Overbeek, R Stevens, DHD Warren, ... New Generation Computing 7 (2-3), 243-271, 1990	411	1990
SICStus Prolog user's manual M Carlsson, J Widen, J Andersson, S Andersson, K Boortz, H Nilsson, ... Swedish Institute of Computer Science 3 (1), 1988	282	1988
Parallel execution of prolog programs: a survey G Gupta, E Pontelli, KAM Ali, M Carlsson, MV Hermenegildo ACM Transactions on Programming Languages and Systems (TOPLAS) 23 (4), 472-602, 2001	251	2001
Global constraint catalog N Beldiceanu, M Carlsson, JX Rampon Swedish Institute of Computer Science, 2010	226	2010
Global constraint catalogue: Past, present and future N Beldiceanu, M Carlsson, S Demassey, T Petit Constraints 12 (1), 21-62, 2007	142*	2007
Freeze, indexing, and other implementation issues in the WAM M Carlsson Swedish Institute of Computer Science, 1986	137	1986
Garbarge collection for Prolog based on WAM K Appleby, M Carlsson, S Haridi, D Sahlin Communications of the ACM 31 (6), 719-741, 1988	125	1988
Deriving filtering algorithms from constraint checkers N Beldiceanu, M Carlsson, T Petit International Conference on Principles and Practice of Constraint …, 2004	111	2004
Sweep as a generic pruning technique applied to the non-overlapping rectangles constraint N Beldiceanu, M Carlsson International Conference on Principles and Practice of Constraint …, 2001	93	2001
A New Multi-resource cumulatives Constraint with Negative Heights N Beldiceanu, M Carlsson International Conference on Principles and Practice of Constraint …, 2002	91	2002
SICStus Prolog user's manual M Carlsson Swedish Institute of Computer Science, 1995	90	1995
Design and implementation of an OR-parallel Prolog engine. M Carlsson	76	1992
Finite domain constraint programming systems C Schulte, M Carlsson Foundations of Artificial Intelligence 2, 495-526, 2006	74	2006
SICStus Prolog—the first 25 years M Carlsson, P Mildner Theory and Practice of Logic Programming 12 (1-2), 35-66, 2012	61	2012
A Generic Geometrical Constraint Kernel in Space and Time for Handling Polymorphic k-Dimensional Objects N Beldiceanu, M Carlsson, E Poder, R Sadek, C Truchet International Conference on Principles and Practice of Constraint …, 2007	60	2007
Revisiting the Cardinality Operator and Introducing the Cardinality-PathConstraint Family N Beldiceanu, M Carlsson International conference on logic programming, 59-73, 2001	57	2001
On implementing Prolog in functional programming M Carlsson New Generation Computing 2 (4), 347-359, 1984	56	1984
Arc-consistency for a chain of lexicographic ordering constraints M Carlsson, N Beldiceanu SICS Research Report, 2002	50	2002
Entailment of finite domain constraints B Carlson, M Carlsson, D Diaz ICLP'94, Int. Conf. on Logic Programming, 1994	48	1994

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors