Daniel Diaz - Google Scholar

Cited by

	All	Since 2015
Citations	2891	990
h-index	25	14
i10-index	49	24

240

120

180

19941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202042 47 56 36 90 69 90 41 71 100 93 82 81 84 49 54 73 118 147 167 221 177 238 146 211 158 60

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 RichouxAssociate Professor, University of NantesVerified email at polytechnique.edu
Mats CarlssonRISE Research Institutes of SwedenVerified email at sics.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	506*	2012
Compiling constraints in clp (FD) P Codognet, D Diaz The Journal of Logic Programming 27 (3), 185-226, 1996	352	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	144	2001
Yet another local search method for constraint solving P Codognet, D Diaz Stochastic Algorithms: Foundations and Applications, 342-344, 2001	143	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	139	2014
wamcc: Compiling Prolog to C P Codognet, D Diaz 12th International Conference on Logic Programming, Tokyo, Japan, MIT Press, 1995	118*	1995
GNU Prolog: A Native Prolog Compiler with Constraint Solving over Finite Domains D Diaz	98*	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	85	2000
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	56	2012
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	56*	2012
Entailment of finite domain constraints B Carlson, M Carlsson, D Diaz ICLP'94, Int. Conf. on Logic Programming, 1994	50	1994
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
Transforming attribute and clone-enabled feature models into constraint programs over finite domains R Mazo, C Salinesi, D Diaz, A Lora-Michiels	45	2011
Boolean constraint solving using clp (FD) P Codognet, D Diaz Proc. International Logic Programming Symposium, 525-539, 1993	41	1993
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	39	2007
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	38	2011
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	37	2010
Recommendation heuristics for improving product line configuration processes R Mazo, C Dumitrescu, C Salinesi, D Diaz Recommendation Systems in Software Engineering, 511-537, 2014	36	2014
Experiments in parallel constraint-based local search Y Caniou, P Codognet, D Diaz, S Abreu European Conference on Evolutionary Computation in Combinatorial …, 2011	34	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