Daniel Diaz

Cited by

	All	Since 2016
Citations	3001	900
h-index	25	14
i10-index	49	21

260

130

195

199419951996199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202142 51 57 36 90 70 91 41 71 100 94 83 81 85 49 53 73 118 156 170 222 177 241 150 220 159 128 2

Co-authors

Philippe CodognetJFLI - CNRS / UPMC / University of TokyoVerified email at lip6.fr
Salvador AbreuProfessor of Computer Science, NOVA LINCS - University of ÉvoraVerified email at uevora.pt
Camille SalinesiProfesseur des Universités, Université Paris 1 Panthéon - SorbonneVerified email at univ-paris1.fr
Raúl MazoProfessor, ENSTA BretagneVerified email at ensta-bretagne.fr
Danny MuneraAssistant Professor, University of AntioquiaVerified email at udea.edu.co
Tom SchrijversProfessor of Computer Science, KU LeuvenVerified email at cs.kuleuven.be
Jan WielemakerResearcher in Computer Science, VU University AmsterdamVerified email at vu.nl
Florian RichouxSenior researcher, AISTVerified email at aist.go.jp
Mats CarlssonRISE Research Institutes of SwedenVerified email at ri.se
Marc CavazzaProfessor, Head of School, University of GreenwichVerified email at gre.ac.uk
Carlos CalderonNewcastle UniversityVerified email at ncl.ac.uk
Vicente PelechanoUniversitat Politècnica de ValènciaVerified email at dsic.upv.es
Germán H. AlférezUniversidad de MontemorelosVerified email at um.edu.mx
Colette RollandProfesseur Université Paris 1 Panthéon-SorbonneVerified email at univ-paris1.fr
Luisa RinconAssistant professor, Pontificia Universidad Javeriana - Cali ORCID:0000-0002-2888-953XVerified email at javerianacali.edu.co
Vijay SaraswatGoldman Sachs ResearchVerified email at saraswat.org
Pete SawyerAston UniversityVerified email at aston.ac.uk
Danny HughesProfessor of Computer Science, KU LeuvenVerified email at cs.kuleuven.be
Roberto Erick Lopez HerrejonETS, FWF Lise Meitner Fellow, Marie Curie Fellow, University of Oxford CD Fellow, Fulbright FellowVerified email at etsmtl.ca
Charlotte TruchetLS2N, UMR 6004, Université de Nantes, FranceVerified email at univ-nantes.fr

Daniel Diaz

Associate Professor of Computing Science, University Paris 1

Verified email at univ-paris1.fr - Homepage

Prolog Constraint Programming Constraint Logic Programming Local Search Metaheuristics


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
On the implementation of GNU Prolog D Diaz, S Abreu, P Codognet Theory and Practice of Logic Programming 12 (1-2), 253-282, 2012	531*	2012
Compiling constraints in clp (FD) P Codognet, D Diaz The Journal of Logic Programming 27 (3), 185-226, 1996	354	1996
A Minimal Extension of the WAM for clp (FD) D Diaz, P Codognet ICLP, 774-790, 1993	189	1993
Design and implementation of the GNU Prolog system D Diaz, P Codognet Journal of Functional and Logic Programming 6 (2001), 542, 2001	147	2001
Dynamic adaptation of service compositions with variability models GH Alférez, V Pelechano, R Mazo, C Salinesi, D Diaz Journal of Systems and Software 91, 24-47, 2014	146	2014
Yet another local search method for constraint solving P Codognet, D Diaz Stochastic Algorithms: Foundations and Applications, 342-344, 2001	146	2001
wamcc: Compiling Prolog to C P Codognet, D Diaz 12th International Conference on Logic Programming, Tokyo, Japan, MIT Press, 1995	119*	1995
GNU Prolog: A Native Prolog Compiler with Constraint Solving over Finite Domains D Diaz	99*	2018
The GNU prolog system and its implementation D Diaz, P Codognet Proceedings of the 2000 ACM symposium on Applied computing-Volume 2, 728-732, 2000	88	2000
Constraint Programming as a Means to Manage Configurations in Self-Adaptive Systems P Sawyer, R Mazo, D Diaz, C Salinesi, D Hughes Special Issue in IEEE Computer Dynamic Software Product Lines, 1-12, 2012	61*	2012
Constraints: The heart of domain and application engineering in the product lines engineering strategy R Mazo, C Salinesi, D Diaz, O Djebbi, A Lora-Michiels International Journal of Information System Modeling and Design (IJISMD) 3 …, 2012	60	2012
Entailment of finite domain constraints B Carlson, M Carlsson, D Diaz ICLP'94, Int. Conf. on Logic Programming, 1994	50	1994
Transforming attribute and clone-enabled feature models into constraint programs over finite domains R Mazo, C Salinesi, D Diaz, A Lora-Michiels	49	2011
A simple and efficient boolean solver for constraint logic programming P Codognet, D Diaz Journal of Automated Reasoning 17 (1), 97-128, 1996	49*	1996
Constraints: The core of product line engineering C Salinesi, R Mazo, O Djebbi, D Diaz, A Lora-Michiels 2011 FIFTH INTERNATIONAL CONFERENCE ON RESEARCH CHALLENGES IN INFORMATION …, 2011	43	2011
Boolean constraint solving using clp (FD) P Codognet, D Diaz Proc. International Logic Programming Symposium, 525-539, 1993	41	1993
Using integer constraint solving in reuse based requirements engineering C Salinesi, R Mazo, D Diaz, O Djebbi Requirements Engineering Conference (RE), 2010 18th IEEE International, 2010	40	2010
Deriving product line requirements: the red-pl guidance approach O Djebbi, C Salinesi, D Diaz 14th Asia-Pacific Software Engineering Conference (APSEC'07), 494-501, 2007	40	2007
Recommendation heuristics for improving product line configuration processes R Mazo, C Dumitrescu, C Salinesi, D Diaz Recommendation Systems in Software Engineering, 511-537, 2014	39	2014
Experiments in parallel constraint-based local search Y Caniou, P Codognet, D Diaz, S Abreu European Conference on Evolutionary Computation in Combinatorial …, 2011	35	2011

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