Mats Carlsson - Citas de Google Académico

Citado por

	Total	Desde 2015
Citas	4205	846
Índice h	31	16
Índice i10	66	29

220

110

165

198419851986198719881989199019911992199319941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202012 19 27 37 26 40 68 95 105 83 126 84 111 79 60 68 73 81 96 119 110 102 173 164 157 149 185 205 193 197 189 148 180 185 155 127 49

Coautores

Nicolas BeldiceanuFull professor, IMT Atlantique, LS2N-CNRS, FranceDirección de correo verificada de mines-nantes.fr
Christian SchulteProfessor of Computer Science, KTH Royal Institute of TechnologyDirección de correo verificada de kth.se
Thomas SjölandKTH Royal Institute of TechnologyDirección de correo verificada de kth.se
Thierry PetitAssociate professor (HDR)Dirección de correo verificada de imt-atlantique.fr
Seif HaridiProfessor of Computer Systems, KTH, RISEDirección de correo verificada de ri.se
Justin PearsonIT Department, Uppsala University, SwedenDirección de correo verificada de it.uu.se
Pierre FlenerProfessor of Computing Science, Uppsala University, SwedenDirección de correo verificada de it.uu.se
Roberto Castañeda LozanoUniversity of EdinburghDirección de correo verificada de ed.ac.uk
Charlotte TruchetLS2N, UMR 6004, Université de Nantes, FranceDirección de correo verificada de univ-nantes.fr
Sophie DemasseyCMA, Mines ParisTechDirección de correo verificada de mines-paristech.fr
Gopal GuptaProfessor of Computer Science, The University of Texas at DallasDirección de correo verificada de utdallas.edu
Ewing (Rusty) LuskArgonne National LaboratoryDirección de correo verificada de mcs.anl.gov
Manuel HermenegildoIMDEA Software Institute and Technical U. of Madrid (UPM)Dirección de correo verificada de upm.es
Enrico PontelliNew Mexico State UniversityDirección de correo verificada de cs.nmsu.edu
Khayri A. M. AliPresident of October University for Modern Sciences and Arts (MSA)Dirección de correo verificada de msa.eun.eg
Rick StevensProfessor of Computer Science, University of ChicagoDirección de correo verificada de ci.uchicago.edu
Terrence DiszANLDirección de correo verificada de mcs.anl.gov
Robert OlsonArgonne National LaboratoryDirección de correo verificada de mcs.anl.gov
Daniel DiazAssociate Professor of Computing Science, University Paris 1Dirección de correo verificada de univ-paris1.fr
Maria Andreina Francisco RodriguezPostdoctoral Researcher, Uppsala UniversityDirección de correo verificada de farmbio.uu.se

Mats Carlsson

RISE Research Institutes of Sweden

Dirección de correo verificada de sics.se - Página principal

Constraint Programming Combinatorial Problem Solving Compilation Algorithm Design Programming Languages


Título Ordenar por citas Ordenar por año Ordenar por título	Citado por Citado por	Año
An open-ended finite domain constraint solver M Carlsson, G Ottosson, B Carlson International Symposium on Programming Language Implementation and Logic …, 1997	418	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	413	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	285	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	261	2001
Global constraint catalog N Beldiceanu, M Carlsson, JX Rampon Swedish Institute of Computer Science, 2010	234	2010
Global constraint catalogue: Past, present and future N Beldiceanu, M Carlsson, S Demassey, T Petit Constraints 12 (1), 21-62, 2007	145*	2007
Freeze, indexing, and other implementation issues in the WAM M Carlsson Swedish Institute of Computer Science, 1986	139	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	124	1988
Deriving filtering algorithms from constraint checkers N Beldiceanu, M Carlsson, T Petit International Conference on Principles and Practice of Constraint …, 2004	112	2004
A New Multi-resource cumulatives Constraint with Negative Heights N Beldiceanu, M Carlsson International Conference on Principles and Practice of Constraint …, 2002	93	2002
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
SICStus Prolog user's manual M Carlsson Swedish Institute of Computer Science, 1995	90	1995
Finite domain constraint programming systems C Schulte, M Carlsson Foundations of Artificial Intelligence 2, 495-526, 2006	76	2006
Design and implementation of an OR-parallel Prolog engine. M Carlsson	76	1992
SICStus Prolog--the first 25 years M Carlsson, P Mildner arXiv preprint arXiv:1011.5640, 2010	62	2010
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	50	1994

El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.

Artículos 1–20

Citas por año

Citas duplicadas

Citas combinadas

Añadir coautoresCoautores

Subir PDF

Seguir a este autor

Citado por

Coautores