Daniel Diaz Maître de Conférences à l'Université Paris 1 - Panthéon-Sorbonne

Présentation

Publications

Article dans une revue (17)

Fifty Years of Prolog and Beyond Philipp Körner,Michael Leuschel,João Barbosa,Vítor Santos Costa,Verónica Dahlet al. Theory and Practice of Logic Programming, 2022, 22 (6), pp.776-858. ⟨10.1017/S1471068422000102⟩ Article dans une revue hal-03946907v1
Solving QAP with Auto-parameterization in Parallel Hybrid Metaheuristics Jonathan Duque,Danny Múnera,Daniel Díaz,Salvador Abreu Communications in Computer and Information Science, 2021, Communications in Computer and Information Science, 1443, pp.294-309. ⟨10.1007/978-3-030-85672-4_22⟩ Article dans une revue hal-03947253v1
Characterization of the depocenters and the basement structure, below the central Chile Andean Forearc: A 3D geophysical modelling in Santiago Basin area Felipe Andrés González,Andrei Maksymowicz,Daniel Díaz,Luis Villegas,Maximiliano Leivaet al. Basin Research, 2018, 30 (4), pp.799-815. ⟨10.1111/bre.12281⟩ Article dans une revue hal-05192716v1
Constraint-Informed Information Systems in Space Management Optimization Irene Rodrigues,Rui Quaresma,Daniel Diaz,Salvador Abreu Coimbra Business Review, 2016 Article dans une revue hal-02295928v1
Constraint-Informed Information Systems in Space Management Optimization Irene Rodrigues,Rui Quaresma,Daniel Diaz,Salvador Abreu Coimbra Business Review, 2016, 2 (1) Article dans une revue hal-03947424v1
Large-scale parallelism for constraint-based local search: the costas array case study Yves Caniou,Philippe Codognet,Florian Richoux,Daniel Diaz,Salvador Abreu Constraints, 2015, 20 (1), pp.30-56. ⟨10.1007/s10601-014-9168-4⟩ Article dans une revue hal-01084270v1
Method to Identify Corrections of Defects on Product Line Models Luisa Rincón-Perez,Gloria-Lucia Giraldo-Gómez,Raul Mazo,Camille Salinesi,Daniel Diaz Electronic Notes in Theoretical Computer Science, 2015, 314, pp.61-81. ⟨10.1016/j.entcs.2015.05.005⟩ Article dans une revue hal-02296117v1
Dynamic adaptation of service compositions with variability models G.H. Alférez,V. Pelechano,Raul Mazo,Daniel Diaz,Camille Salinesi Journal of Systems and Software, 2014, 91, pp.24-47. ⟨10.1016/j.jss.2013.06.034⟩ Article dans une revue hal-02296121v1
Constraints: the Heart of Domain and Application Engineering in the Product Lines Engineering Strategy Raul Mazo,Camille Salinesi,Olfa Djebbi,Daniel Diaz,Alberto Lora-Michiels International Journal of Information System Modeling and Design, 2012, 3 (2), pp.50 Article dans une revue hal-00707522v1
On the implementation of GNU Prolog Daniel Diaz,Salvador Abreu,Philippe Codognet Theory and Practice of Logic Programming, 2012, 12 (1-2), pp.253 - 282. ⟨10.1017/S1471068411000470⟩ Article dans une revue hal-00665748v1
Constraint Programming as a Means to Manage Configurations in Self-Adaptive Systems Pete Sawyer,Raul Mazo,Daniel Diaz,Camille Salinesi,Danny Hughes Special Issue in IEEE Computer Dynamic Software Product Lines, 2012, pp.1-12 Article dans une revue hal-00747723v1
Targeting the Cell Broadband Engine for constraint-based local search Daniel Diaz,Salvador Abreu,Philippe Codognet Concurrency and Computation: Practice and Experience, 2012, 13 p. ⟨10.1002/cpe.1855⟩ Article dans une revue istex hal-00663776v1
Abstract Constraints: A General Framework for Solver-Independent Reasoning on Product Line Models Raul Mazo,Camille Salinesi,Daniel Diaz INSIGHT - International Council on Systems Engineering (INCOSE), 2011, 14 (4), pp.22 Article dans une revue hal-00707418v1
CLP a technology for the interactive resolution of spatial configuration tasks in a virtual environment Carlos Calderon,Marc Cavazza,Daniel Diaz Journal of Information Technology in Construction (ITcon), Special Issue Architectural informatics, 2006, 11, pp.325-341 Article dans une revue hal-00693233v1
Design and Implementation of the GNU Prolog System Daniel Diaz,Philippe Codognet Journal of Functional and Logic Programming, 2001, 6, pp.1 Article dans une revue hal-00693240v1
Compiling Constraints in clp(FD) Philippe Codognet,Daniel Diaz Journal of Logic Programming, 1996, 27 (3), pp.185-226 Article dans une revue hal-00693245v1
A Simple and Efficient Boolean Solver for Constraint Logic Programming Philippe Codognet,Daniel Diaz Journal of Automated Reasoning, 1996, 17 (1), pp.97-129 Article dans une revue hal-00693251v1

Communication dans un congrès (68)

Quantum and Digital Annealing for the Quadratic Assignment Problem Philippe Codognet,Daniel Diaz,Salvador Abreu IEEE International Conference on Quantum Software (QSW), Jul 2022, Barcelona, Spain. ⟨10.1109/QSW55613.2022.00016⟩ Communication dans un congrès hal-03778602v1
A Self-Certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence Jacques Robin,Raúl Mazo,Henrique Madeira,Raul Barbosa,Daniel Diazet al. International Workshop on Artificial Intelligence Safety Engineering, 2019, Turku, Finland Communication dans un congrès hal-02297049v1
Improving Constraint Solving on Parallel Hybrid Systems Pedro Roque,Vasco Pedro,Daniel Diaz,Salvador Abreu 2018 IEEE 30th International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2018, Volos, Greece. pp.726-732, ⟨10.1109/ictai.2018.00114⟩ Communication dans un congrès hal-02296435v1
On Integrating Population-Based Metaheuristics with Cooperative Parallelism Jheisson Lopez,Danny Munera,Daniel Diaz,Salvador Abreu 8th IEEE Workshop on Parallel / Distributed Computing and Optimization (PDCO 2018), May 2018, Vancouver, Canada. ⟨10.1109/IPDPSW.2018.00100⟩ Communication dans un congrès hal-01802097v1
Weaving of Metaheuristics with Cooperative Parallelism Jheisson Lopez,Danny Munera,Daniel Diaz,Salvador Abreu International Conference on Parallel Problem Solving from Nature, 2018, Coimbra, Portugal. pp.436-448, ⟨10.1007/978-3-319-99253-2_35⟩ Communication dans un congrès hal-02296454v1
CLP(FD)-based Information Systems in Space Management Optimization Irene Rodrigues,Daniel Diaz,Salvador Abreu Language & Technology Conference, 2017, Poznan, Poland Communication dans un congrès hal-02297063v1
Solving the Quadratic Assignment Problem with Cooperative Parallel Extremal Optimization Danny Munera,Daniel Diaz,Salvador Abreu 16th European Conference on Evolutionary Computation in Combinatorial Optimization, EvoCOP 2016, Mar 2016, Porto, Portugal. ⟨10.1007/978-3-319-30698-8_17⟩ Communication dans un congrès hal-01332524v1
Run-time planning of case-based business processes Danillo Sprovieri,Daniel Diaz,Raul Mazo,Knut Hinkelmann IEEE 10th International Conference on Research Challenges in Information Science, Jun 2016, Grenoble, France. pp.1 - 6, ⟨10.1109/RCIS.2016.7549282⟩ Communication dans un congrès hal-01423708v1
Hybridization as Cooperative Parallelism for the Quadratic Assignment Problem Danny Munera,Daniel Diaz,Salvador Abreu 10th International Workshop on Hybrid Metaheuristics, Jun 2016, Plymouth, United Kingdom. ⟨10.1007/978-3-319-39636-1_4⟩ Communication dans un congrès hal-01332529v1
A Local Search Algorithm for SMTI and its extension to HRT Problems Danny Munera,Daniel Diaz,Salvador Abreu,Francesca Rossi,Vijay Saraswatet al. 3rd International Workshop on Matching Under Preferences, University of Glasgow, Apr 2015, Glasgow, United Kingdom Communication dans un congrès hal-01144208v1
Solving Hard Stable Matching Problems via Local Search and Cooperative Parallelization Danny Munera,Daniel Diaz,Salvador Abreu,Francesca Rossi,Vijay Saraswatet al. 29th AAAI Conference on Artificial Intelligence, Jan 2015, Austin, TX, United States Communication dans un congrès hal-01144214v1
A Parametric Framework for Cooperative Parallel Local Search Danny Munera,Daniel Diaz,Salvador Abreu,Philippe Codognet European Conference on Evolutionary Computation in Combinatorial Optimization (EvoCOP), Apr 2014, Grenada, Spain. pp.13 - 24, ⟨10.1007/978-3-662-44320-0_2⟩ Communication dans un congrès hal-01117524v1
Extending the Finite Domain Solver of GNU Prolog Bloemen Vincent,Daniel Diaz,Salvador Abreu International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-based Methods in Programming Environments (CICLOPS), 2014, Vienne, Austria Communication dans un congrès hal-01220207v1
Método para Identificar Correcciones de Defectos en Modelos de Características que representan Líneas de Productos / Method to identify corrections of defects on product line models Luisa Rincón-Perez,Gloria-Lucia Giraldo-Gómez,Raúl Mazo,Camille Salinesi,Daniel Diaz XL Latin American Computing Conference (CLEI), Sep 2014, Montevideo, Uruguay Communication dans un congrès hal-01071278v1
Flexible cooperation in parallel local search (extended abstract) Danny Munera,Daniel Diaz,Salvador Abreu,Philippe Codognet ACM Symposium on Applied Computing (SAC), Mar 2014, Gyeongju, South Korea. pp.1360 - 1361, ⟨10.1145/2554850.2555140⟩ Communication dans un congrès hal-01117539v1
Towards a Parallel Hierarchical Adaptive Solver Tool Salvador Abreu,Danny Munera,Daniel Diaz Workshop on Parallel Methods for Search & Optimization (ParSearchOpt14), Jul 2014, Vienna, Austria Communication dans un congrès hal-01195526v1
Towards Parallel Constraint-Based Local Search with the X10 Language Danny Munera,Daniel Diaz,Salvador Abreu 20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2013), Sep 2013, Kiel, Germany. pp.168-182 Communication dans un congrès hal-00874633v1
Experimenting with X10 for Parallel Constraint-Based Local Search Danny Munera,Daniel Diaz,Salvador Abreu 13th International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2013), Aug 2013, Istanbul, Turkey. pp.33-47 Communication dans un congrès hal-00874645v1
Towards Constraint-Informed Information Systems Irene Rodrigues,Nuno Matos,Salvador Abreu,Rebecca Deneckere,Daniel Diaz RCIS 2013, May 2013, Paris, France. pp.1 Communication dans un congrès hal-00812059v1
Parallel Performance of Declarative Programming using a PGAS Model Rui Machado,Salvador Abreu,Daniel Diaz Practical Aspects of Declarative Languages (PADL), 2013, Rome, Italy Communication dans un congrès hal-00760624v1
PER-MARE: Adaptive Deployment of MapReduce over Pervasive Grids Luiz Angelo Steffenel,Olivier Flauzac,Andrea Schwertner Charão,Patricia Pitthan Barcelos,Benhur Steinet al. 8th International Conference on P2P, Parallel, Grid, Cloud and Internet Computing (3PGCIC'13), Oct 2013, COMPIEGNE, FRANCE, France. pp.17-24 Communication dans un congrès hal-00903718v1
Subconjuntos Mínimos de Corrección para explicar características muertas en Modelos de Líneas de Productos. El caso de los Modelos de Características Luisa Rincón,Gloria Lucia Giraldo,Raúl Mazo,Camille Salinesi,Daniel Diaz 8th Computer Colombian Conference (CCC), Aug 2013, Armenia, Colombia Communication dans un congrès hal-00914015v1
Parallel Local Search: Experiments with a PGAS-based programming model Rui Machado,Salvador Abreu,Daniel Diaz International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS), Sep 2012, Budapest, Hungary. pp.1 Communication dans un congrès hal-00735787v1
Performance analysis of parallel constraint-based local search Yves Caniou,Daniel Diaz,Florian Richoux,Philippe Codognet,Salvador Abreu Principles and Practice of Parallel Programming, Feb 2012, New Orleans, United States. pp.337-338, ⟨10.1145/2145816.2145883⟩ Communication dans un congrès hal-00693266v1
Constraint-Based Local Search for the Costas Array Problem Daniel Diaz,Florian Richoux,Philippe Codognet,Yves Caniou,Salvador Abreu Learning and Intelligent OptimizatioN Conference (LION 6), 2012, Paris, France Communication dans un congrès hal-00760628v1
Parallel local search for the Costas Array Problem Daniel Diaz,Florian Richoux,Yves Caniou,Philippe Codognet,Salvador Abreu Parallel Computing and Optimization, 2012, Shanghai, China Communication dans un congrès hal-00693275v1
VariaMos: a Tool for Product Line Driven Systems Engineering with a Constraint Based Approach Raul Mazo,Camille Salinesi,Daniel Diaz 24th International Conference on Advanced Information Systems Engineering (CAiSE Forum'12), Jun 2012, Gdansk, Poland Communication dans un congrès hal-00707551v1
Using Constraints for Intrusion Detection: the NeMODe System Pedro Salgueiro,Daniel Diaz,Isabel Brito,Salvador Abreu 13th International Symposium, PADL 2011, Jan 2011, Austin, Texas, United States. pp.115-129, ⟨10.1007/978-3-642-18378-2_11⟩ Communication dans un congrès hal-00663805v1
Transforming Attribute and Clone-Enabled Feature Models Into Constraint Programs Over Finite Domains Raul Mazo,Camille Salinesi,Daniel Diaz,Alberto Lora-Michiels 6th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), Jun 2011, Beijing, China Communication dans un congrès hal-00707546v1
Parallel constraint-based local search on the HA8000 supercomputer (extended abstract) Yves Caniou,Philippe Codognet,Daniel Diaz,Salvador Abreu the 2011 ACM Symposium, Mar 2011, TaiChung, Taiwan. pp.920, ⟨10.1145/1982185.1982386⟩ Communication dans un congrès hal-02296485v1
Experiments in Parallel Constraint-Based Local Search Yves Caniou,Philippe Codognet,Daniel Diaz,Salvador Abreu 11th European conference on Evolutionary computation in combinatorial optimization (EvoCOP'11), Apr 2011, Torino, Italy. pp.96-107, ⟨10.1007/978-3-642-20364-0_9⟩ Communication dans un congrès hal-00663789v1
Using Constraint Programming to Verify DOPLER Variability Models Raul Mazo,Paul Grünbacher,Wolfgang Heider,Rick Rabiser,Camille Salinesiet al. 5th International Workshop on Variability Modelling of Software-intensive Systems (VaMos'11), Jan 2011, Namur, Belgium Communication dans un congrès hal-00707543v1
Constraints: the Core of Product Line Engineering Camille Salinesi,Raul Mazo,Olfa Djebbi,Daniel Diaz,Alberto Lora-Michiels Fifth IEEE International Conference on Research Challenges in Information Science (RCIS), May 2011, Guadeloupe, France Communication dans un congrès hal-00707544v1
Conformance Checking with Constraint Logic Programming: The Case of Feature Models Raul Mazo,Roberto Erick Lopez-Herrejon,Camille Salinesi,Daniel Diaz,Alexander Egyed In 35th IEEE International Computer Software and Applications Conference (COMPSAC), Jul 2011, Munich, Germany Communication dans un congrès hal-00707545v1
Solving Integer Constraint in Reuse Based Requirements Engineering Camille Salinesi,Raul Mazo,Daniel Diaz,Olfa Djebbi 18th IEEE International Conference on Requirements Engineering (RE'10), Sep 2010, Sydney, Australia. pp.50 Communication dans un congrès hal-00707542v1
Criteria for the verification of feature models Camille Salinesi,Raul Mazo,Daniel Diaz INFORSID 2010, May 2010, Marseille, France Communication dans un congrès hal-00707534v1
Parallel Constraint-Based Local Search on the Cell/BE Multicore Architecture Daniel Diaz,Salvador Abreu,Philippe Codognet IDC 2010 - 4th International Symposium on Intelligent Distributed Computing, Sep 2010, Tangier, Morocco. pp.265-274, ⟨10.1007/978-3-642-15211-5_28⟩ Communication dans un congrès istex hal-00663816v1
Using Integer Constraint Solving in Reuse Based Requirements Engineering Camille Salinesi,Raul Mazo,Daniel Diaz,Olfa Djebbi 18th IEEE International Requirements Engineering Conference (RE), 2010, Sep 2010, Sydney, Australia. pp.243-251, ⟨10.1109/RE.2010.36⟩ Communication dans un congrès hal-00662891v1
Exploiting the Versatility of Constraint Programming over Finite Domains to Integrate Product Line Models. (Poster) Camille Salinesi,Daniel Diaz,Olfa Djebbi,Raul Mazo,Colette Rolland 17th IEEE International Requirements Engineering Conference, 2009. RE '09., Aug 2009, Atlanta, United States. pp.375-376, ⟨10.1109/RE.2009.52⟩ Communication dans un congrès hal-00663346v1
Spécification d'Exigences dans le Contexte de Lignes de Produits. Camille Salinesi,Daniel Diaz,Raul Mazo,Olfa Djebbi Journée Action IDM - INFORSID Exigence, Traçabilité et Co-conception dans les processus de développement, Oct 2009, France Communication dans un congrès hal-00706100v1
Parallel local search for solving Constraint Problems on the Cell Broadband Engine (Preliminary Results) Salvador Abreu,Philippe Codognet,Daniel Diaz Sixth International Workshop on Local Search Techniques in Constraint Satisfaction (LSCS'09)., Sep 2009, Lisbon, Portugal. pp.97-111, ⟨10.4204/EPTCS.5.8⟩ Communication dans un congrès hal-00663842v1
Looking for Product Line Feature Models Defects: Towards a Systematic Classification of Verification Criteria Camille Salinesi,Colette Rolland,Daniel Diaz,Raul Mazo 17th IEEE International Requirements Engineering Conference, 2009. RE '09., Aug 2009, Atlanta, United States. pp.385-386, ⟨10.1109/RE.2009.57⟩ Communication dans un congrès hal-00663343v1
Deriving Product Line Requirements: the RED-PL Guidance Approach Olfa Djebbi,Camille Salinesi,Daniel Diaz Software Engineering Conference, 2007. APSEC 2007. 14th Asia-Pacific, Dec 2007, Nagoya, Japan. pp.494 - 501, ⟨10.1109/ASPEC.2007.63⟩ Communication dans un congrès hal-00667789v1
Deriving Product Line Requirements: the RED-PL Guidance Approach Olfa Djebbi,Camille Salinesi,Daniel Diaz Software Engineering Conference, 2007. APSEC 2007. 14th Asia-Pacific, Dec 2007, Nagoya, Japan. pp.494 - 501, ⟨10.1109/ASPEC.2007.63⟩ Communication dans un congrès hal-04215199v1
Organizational Information Systems Design and Implementation with Contextual Constraint Logic Programming Salvador Abreu,Daniel Diaz,Vitor Nogueira International Conference of European University Information Systems, 2004, Ljubljana, Slovenia Communication dans un congrès hal-02296517v1
Contexts for Organizational Information System Design and Implementation Salvador Abreu,Daniel Diaz International Conference on Enterprise Information Systems, 2004, Porto, Portugal. 6 p Communication dans un congrès hal-00668255v1
Interactive problem solving in an intelligent virtual environment Carlos Calderon,Marc Cavazza,Daniel Diaz International Conference on Intelligent User Interfaces, Jan 2003, Miami, United States. pp.319, ⟨10.1145/604045.604112⟩ Communication dans un congrès hal-02296553v1
A New Approach to the Interactive Resolution of Configuration Problems in Virtual Environments Carlos Calderon,Marc Cavazza,Daniel Diaz Third International Symposium on Smart Graphics (SG 2003), Jul 2002, Heidelberg, Germany. pp.99-130, ⟨10.1007/3-540-37620-8_11⟩ Communication dans un congrès istex hal-00667806v1
Validation of Functional Processor Descriptions by Test Generation Fabrice Baray,Philippe Codognet,Daniel Diaz,Henri Michel International Conference on Using Hardware Design and Verification Languages, 2003, San Jose, United States. pp.569-584 Communication dans un congrès hal-00668242v1
Code-based Test Generation for Validation of Functional Processor Descriptions Fabrice Baray,Philippe Codognet,Daniel Diaz,Henri Michel 9th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2003, Apr 2003, Warsaw, Poland. pp.569-584, ⟨10.1007/3-540-36577-X_41⟩ Communication dans un congrès istex hal-00667951v1
Objective: in Minimum Context Salvador Abreu,Daniel Diaz International Conference on Logic Programming, 2003, Mumbai, India. pp.128-147 Communication dans un congrès hal-00668260v1
A new approach to virtual design for spatial configuration problems C. Calderon,M. Cavazza,D. Diaz International Conference on Information Visualization, 2003, London, France. pp.518-523, ⟨10.1109/IV.2003.1218034⟩ Communication dans un congrès hal-02296534v1
An Efficient Library for Solving CSP with Local Search Philippe Codognet,Daniel Diaz International Conference on Metaheuristics, 2003, Kyoto, Japan Communication dans un congrès hal-00693282v1
The Adaptive Search Method for Constraint Solving and its application to musical CSPs Philippe Codognet,Daniel Diaz,Charlotte Truchet International Workshop on Heuristics, 2002, Beijing, China. 9 p Communication dans un congrès hal-00668300v1
Constraint-based Local Search For Discrete Optimization Philippe Codognet,Daniel Diaz International Conference on Optimization Methods and Software, 2002, Hangzhou, China. pp.ND Communication dans un congrès hal-00668305v1
A Local Search Method for Constraint Solving Philippe Codognet,Daniel Diaz AAAI Fall Symposium "Using Uncertainty within Computation", 2001, North Falmouth, Cape Cod, United States. pp.38-46 Communication dans un congrès hal-00668309v1
Yet Another Local Search Method for Constraint Solving Philippe Codognet,Daniel Diaz Stochastic Algorithms, Foundations and Applications, Dec 2001, Berlin, Germany. pp.73-90, ⟨10.1007/3-540-45322-9_5⟩ Communication dans un congrès istex hal-00667941v1
The GNU Prolog System and its Implementation Daniel Diaz,Philippe Codognet ACM Symposium on Applied Computing, 2000, Villa Olmo, Como, Italy. pp.ND Communication dans un congrès hal-00667976v1
GNU Prolog: Beyond Compiling Prolog to C Daniel Diaz,Philippe Codognet Practical Aspects of Declarative Languages (PADL), 2000, Boston, United States. pp.81-92 Communication dans un congrès hal-00668314v1
Constraint Retraction in FD Philippe Codognet,Daniel Diaz,Francesca Rossi Conference on Foundations of Software Technology and Theoretical Computer Science (FST&TCS), 1996, Hyderabad, India. pp.ND, ⟨10.1023/A:1009893626769⟩ Communication dans un congrès istex hal-00668318v1
Using clp(FD) to Support Air Traffic Flow Management Denise Chemla,Daniel Diaz,Philippe Kerlirzin,Serge Manchon 3rd Practical Applications of Prolog (PAP), 1995, Paris, France. pp.ND Communication dans un congrès hal-00668327v1
Finite Domain Constraints in Constraint Logic Programming Philippe Codognet,Daniel Diaz European Conference on Operational Research, 1995, Jerusalem, Israel. pp.ND Communication dans un congrès hal-00668846v1
wamcc: Compiling Prolog to C Philippe Codognet,Daniel Diaz International Conference on Logic Programming, 1995, Tokyo, Japan. pp.81-92 Communication dans un congrès hal-00668817v1
clp(B): Combinig Simplicity and Efficiency in Boolean Constraint Solving Philippe Codognet,Daniel Diaz Programming Language Implementation and Logic Programming, 1994, Madrid, Spain. pp.244-260, ⟨10.1007/3-540-58402-1_18⟩ Communication dans un congrès istex hal-00668859v1
Entailment of Finite Domain Constraints Björn Carlson,Matts Carlsson,Daniel Diaz International Conference on Logic Programming, 1994, Santa Margherita, Italy. 15 p Communication dans un congrès hal-00668885v1
A Minimal Extension of the WAM for clp(FD) Philippe Codognet,Daniel Diaz International Conference on Logic Programming, 1993, Vancouver, Canada. pp.774-790 Communication dans un congrès hal-00668913v1
On Structuring Contextual Logic Programs Salvador Abreu,Vitor Nogueira,Daniel Diaz Simposio de Informatica (INForum), 2009, France. pp.1 Communication dans un congrès hal-00702245v1
Boolean Constraint Solving Using clp(FD) Philippe Codognet,Daniel Diaz International Logic Programming Symposium, 1993, Vancouver, British Columbia, Canada. 15 p Communication dans un congrès hal-00668897v1

Chapitre d'ouvrage (2)

Parallel Local Search Philippe Codognet,Danny Munera,Daniel Diaz,Salvador Abreu Handbook of Parallel Constraint Reasoning, Springer International Publishing, pp.381-417, 2018, 978-3-319-63515-6. ⟨10.1007/978-3-319-63516-3_10⟩ Chapitre d'ouvrage hal-01511022v1
Recommendation Heuristics for Improving Product Line Conﬁguration Processes Raúl Mazo,Cosmin Dumitrescu,Camille Salinesi,Daniel Diaz Robillard M, Maalej W., Walker R. and Zimmermann T. Recommendation Systems in Software Engineering, Springer, pp.100, 2014, 978-3-642-45135-5 Chapitre d'ouvrage hal-00914021v1

Pré-publication, Document de travail (1)

Scottish Squares and Fixed Points in the Complex Plane Denise Vella-Chemla,Daniel Diaz 2025 Pré-publication, Document de travail hal-05320901v1

Rapport (1)

Improving Product Line Engineering Based on the Versatility of Constraint Programming over Finite Domains Camille Salinesi,Daniel Diaz,Olfa Djebbi,Colette Rolland 2009 Rapport hal-00663522v1

Thèse (1)

Etude de la compilation des langages logiques de programmation par contraintes sur les domaines finis: le système clp(FD) Daniel Diaz Informatique et langage [cs.CL]. Université d'Orléans, 1995. Français. ⟨NNT : ⟩ Thèse tel-00981853v1

Logiciel (1)

GNU Prolog: A Native Prolog Compiler with Constraint Solving over Finite Domains Daniel Diaz 2021 Logiciel hal-03993921v1