Daniel Diaz

Cited by

	All	Since 2015
Citations	2946	1032
h-index	25	14
i10-index	49	24

260

130

195

19941995199619971998199920002001200220032004200520062007200820092010201120122013201420152016201720182019202042 47 56 36 90 69 90 41 71 100 93 83 81 84 49 53 74 117 156 169 222 175 241 146 211 156 103

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 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	519*	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
Yet another local search method for constraint solving P Codognet, D Diaz Stochastic Algorithms: Foundations and Applications, 342-344, 2001	144	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	143	2014
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	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	88	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	58	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	58*	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	48	2011
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	42	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	40	2007
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	38	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	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