Mats Carlsson

Citeras av

	Alla	Sedan 2019
Citat	4822	637
h-index	34	13
i10-index	73	21

220

110

165

198519861987198819891990199119921993199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202425 26 36 26 38 69 107 100 101 128 94 119 85 69 69 76 87 105 117 111 106 178 173 149 160 164 205 219 194 194 138 188 190 161 144 118 106 90 103 76

Offentlig åtkomst

Visa alla

25 artiklar

3 artiklar

tillgänglig

inte tillgänglig

Enligt krav från finansiärer

Medförfattare

Nicolas BeldiceanuFull professor, IMT Atlantique, LS2N-CNRS, FranceVerifierad e-postadress på mines-nantes.fr
Christian SchulteProfessor of Computer Science, KTH Royal Institute of TechnologyVerifierad e-postadress på kth.se
Thierry PetitCSO, EmotiaVerifierad e-postadress på wpi.edu
Thomas SjölandKTH Royal Institute of TechnologyVerifierad e-postadress på kth.se
Seif HaridiProfessor of Computer Systems, KTH, RISEVerifierad e-postadress på ri.se
Justin PearsonIT Department, Uppsala University, SwedenVerifierad e-postadress på it.uu.se
Greger OttossonIBMVerifierad e-postadress på fr.ibm.com
Pierre FlenerProfessor of Computing Science, Uppsala University, SwedenVerifierad e-postadress på it.uu.se
Roberto Castañeda LozanoVerifierad e-postadress på acm.org
Sophie DemasseyCMA, Mines Paris - PSLVerifierad e-postadress på mines-paristech.fr
Péter SzerediBudapest University of Technology and EconomicsVerifierad e-postadress på cs.bme.hu
Gabriel Hjort Åkerlund (ex Blindell)Ph.D., M.Sc.Verifierad e-postadress på hjort.dev
Ken KahnRetiredVerifierad e-postadress på education.ox.ac.uk
Helmut SimonisInsight Centre for Data Analytics, University College CorkVerifierad e-postadress på insight-centre.org
Charlotte TruchetLS2N, UMR 6004, Université de Nantes, FranceVerifierad e-postadress på univ-nantes.fr
Gopal GuptaProfessor of Computer Science, The University of Texas at DallasVerifierad e-postadress på utdallas.edu
Rick StevensProfessor of Computer Science, University of ChicagoVerifierad e-postadress på ci.uchicago.edu
Ewing (Rusty) LuskArgonne National LaboratoryVerifierad e-postadress på mcs.anl.gov
Terrence DiszANLVerifierad e-postadress på mcs.anl.gov
Robert OlsonArgonne National LaboratoryVerifierad e-postadress på mcs.anl.gov

Följ

Mats Carlsson

RISE Research Institutes of Sweden

Verifierad e-postadress på ri.se - Startsida

Constraint Programming Combinatorial Problem Solving Compilation Algorithm Design Programming Languages


Titel Sortera efter citat Sortera efter år Sortera efter titel	Citeras av Citeras av	År
An open-ended finite domain constraint solver M Carlsson, G Ottosson, B Carlson Programming Languages: Implementations, Logics, and Programs: 9th …, 1997	470	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, 243-271, 1990	440	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	386	1988
Global constraint catalogue: Past, present and future N Beldiceanu, M Carlsson, S Demassey, T Petit Constraints 12, 21-62, 2007	329	2007
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	297	2001
Freeze, indexing, and other implementation issues in the WAM M Carlsson Swedish Institute of Computer Science, 1986	147	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	136	1988
Deriving filtering algorithms from constraint checkers N Beldiceanu, M Carlsson, T Petit International Conference on Principles and Practice of Constraint …, 2004	121	2004
A New Multi-resource cumulatives Constraint with Negative Heights N Beldiceanu, M Carlsson International Conference on Principles and Practice of Constraint …, 2002	114	2002
Global constraint catalog N Beldiceanu, M Carlsson, JX Rampon Swedish Institute of Computer Science, 2010	113	2010
SICStus Prolog—the first 25 years M Carlsson, P Mildner Theory and Practice of Logic Programming 12 (1-2), 35-66, 2012	103	2012
Sweep as a generic pruning technique applied to the non-overlapping rectangles constraint N Beldiceanu, M Carlsson Principles and Practice of Constraint Programming—CP 2001: 7th …, 2001	97	2001
Finite domain constraint programming systems C Schulte, M Carlsson Foundations of Artificial Intelligence 2, 495-526, 2006	92	2006
Design and implementation of an OR-parallel Prolog engine. M Carlsson	83	1992
On implementing Prolog in functional programming M Carlsson New Generation Computing 2, 347-359, 1984	68	1984
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	62	2007
Entailment of finite domain constraints B Carlson, M Carlsson, D Diaz	59	1994
Arc-consistency for a chain of lexicographic ordering constraints M Carlsson, N Beldiceanu Swedish Institute of Computer Science, 2002	58	2002
Constraint-based register allocation and instruction scheduling RC Lozano, M Carlsson, F Drejhammar, C Schulte International Conference on Principles and Practice of Constraint …, 2012	54	2012
Revisiting the Cardinality Operator and Introducing the Cardinality-PathConstraint Family N Beldiceanu, M Carlsson International conference on logic programming, 59-73, 2001	52	2001

Systemet kan inte utföra åtgärden just nu. Försök igen senare.

Artiklar 1–20

Citat per år

Dubblettcitat

Sammanfogade citat

Lägg till medförfattareMedförfattare

Följ

Citeras av

Medförfattare