Theo dõi
Daniel Diaz
Daniel Diaz
Associate Professor of Computing Science, University Paris 1 Pantheon-Sorbonne
Email được xác minh tại univ-paris1.fr - Trang chủ
Tiêu đề
Trích dẫn bởi
Trích dẫn bởi
Năm
On the implementation of GNU Prolog
D Diaz, S Abreu, P Codognet
Theory and Practice of Logic Programming 12 (1-2), 253-282, 2012
803*2012
Compiling constraints in clp (FD)
P Codognet, D Diaz
The Journal of Logic Programming 27 (3), 185-226, 1996
3741996
A Minimal Extension of the WAM for clp (FD)
D Diaz, P Codognet
ICLP, 774-790, 1993
2051993
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
1732014
Yet another local search method for constraint solving
P Codognet, D Diaz
Stochastic Algorithms: Foundations and Applications, 342-344, 2001
1672001
Design and implementation of the GNU Prolog system
D Diaz, P Codognet
Journal of Functional and Logic Programming 6 (2001), 542, 2001
1522001
wamcc: Compiling Prolog to C
P Codognet, D Diaz
12th International Conference on Logic Programming, Tokyo, Japan, MIT Press, 1995
130*1995
GNU Prolog: A Native Prolog Compiler with Constraint Solving over Finite Domains
D Diaz
103*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
932000
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
90*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
652012
Recommendation heuristics for improving product line configuration processes
R Mazo, C Dumitrescu, C Salinesi, D Diaz
Recommendation Systems in Software Engineering, 511-537, 2014
582014
Fifty years of Prolog and beyond
P Körner, M Leuschel, J Barbosa, VS Costa, V Dahl, MV Hermenegildo, ...
Theory and Practice of Logic Programming 22 (6), 776-858, 2022
542022
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
542011
Entailment of finite domain constraints
B Carlson, M Carlsson, D Diaz
ICLP'94, Int. Conf. on Logic Programming, 1994
541994
A simple and efficient boolean solver for constraint logic programming
P Codognet, D Diaz
Journal of Automated Reasoning 17 (1), 97-128, 1996
52*1996
Transforming attribute and clone-enabled feature models into constraint programs over finite domains
R Mazo, C Salinesi, D Diaz, A Lora-Michiels
6th International Conference on Evaluation of Novel Approaches to Software …, 2011
492011
Boolean constraint solving using clp (FD)
P Codognet, D Diaz
Proc. International Logic Programming Symposium, 525-539, 1993
491993
Experiments in parallel constraint-based local search
Y Caniou, P Codognet, D Diaz, S Abreu
European Conference on Evolutionary Computation in Combinatorial …, 2011
442011
An efficient library for solving CSP with local search
P Codognet, D Diaz
MIC 3, 2003
422003
Hệ thống không thể thực hiện thao tác ngay bây giờ. Hãy thử lại sau.
Bài viết 1–20