Mats Carlsson - Google Scholar Citations

Cited by

	All	Since 2014
Citations	4035	921
h-index	31	16
i10-index	63	29

220

110

165

19841985198619871988198919901991199219931994199519961997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201912 18 23 31 25 38 64 96 100 88 128 86 114 75 62 69 69 80 94 117 109 106 175 156 154 152 158 189 207 192 188 138 177 181 164 72

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, SICSVerified email at ri.se
Justin PearsonComputer 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
Pierre FlenerProfessor of Computing Science, Uppsala University, SwedenVerified email at it.uu.se
Sophie DemasseyCMA, Mines ParisTechVerified email at mines-paristech.fr
Charlotte TruchetLS2N, UMR 6004, Université de Nantes, FranceVerified email at univ-nantes.fr
Gabriel Hjort BlindellPh.D., M.Sc.Verified email at kth.se
Ewing (Rusty) LuskArgonne National LaboratoryVerified email at mcs.anl.gov
Gopal GuptaProfessor of Computer Science, The University of Texas at DallasVerified email at utdallas.edu
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
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
Maria Andreina Francisco RodriguezResearch Fellow, National University of SingaporeVerified email at comp.nus.edu.sg

Mats Carlsson

Expert Computer Scientist, SICS

Verified email at sics.se - Homepage

Constraint Programming Combinatorial Problem Solving Compilation Algorithm Design Programming Languages


Title	Cited by	Year
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	410	1990
An open-ended finite domain constraint solver M Carlsson, G Ottosson, B Carlson International Symposium on Programming Language Implementation and Logic …, 1997	403	1997
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	287	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	229	2010
Freeze, indexing, and other implementation issues in the WAM M Carlsson Swedish Institute of Computer Science, 1986	139	1986
Global constraint catalogue: Past, present and future N Beldiceanu, M Carlsson, S Demassey, T Petit Constraints 12 (1), 21-62, 2007	132	2007
Garbarge collection for Prolog based on WAM K Appleby, M Carllson, S Haridi, D Sawhlin 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	106	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	91	2001
SICStus Prolog user's manual M Carlsson Swedish Institute of Computer Science, 1995	88	1995
A New Multi-resource cumulatives Constraint with Negative Heights N Beldiceanu, M Carlsson International Conference on Principles and Practice of Constraint …, 2002	85	2002
Design and implementation of an OR-parallel Prolog engine. M Carlsson	78	1992
Finite domain constraint programming systems C Schulte, M Carlsson Foundations of Artificial Intelligence 2, 495-526, 2006	72	2006
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	61	2007
On implementing Prolog in functional programming M Carlsson New Generation Computing 2 (4), 347-359, 1984	56	1984
Revisiting the Cardinality Operator and Introducing the Cardinality-PathConstraint Family N Beldiceanu, M Carlsson International conference on logic programming, 59-73, 2001	53	2001
SICStus Prolog—the first 25 years M Carlsson, P Mildner Theory and Practice of Logic Programming 12 (1-2), 35-66, 2012	51	2012
Arc-consistency for a chain of lexicographic ordering constraints M Carlsson, N Beldiceanu Swedish Institute of Computer Science, 2002	49	2002
Entailment of finite domain constraints B Carlson, M Carlsson, D Diaz ICLP'94, International Conference on Logic Programming, 13-18 June 1994 …, 1994	49	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