Accéder directement au contenu

Daniel Diaz

Maître de Conférences à l'Université Paris 1 - Panthéon-Sorbonne
89
Documents
Affiliations actuelles
  • 74131

Présentation

### Maître de Conférences en Informatique Université Paris 1 Panthéon-Sorbonne Centre Pierre Mendès France CRI - Centre de Recherche en Informatique Bureau C1407 90 Rue de Tolbiac 75013 Paris ### Domaines de recherche - Porgrammation Logique - Programmation par Contraintes - Meta-heuristiques - Parallélisme ### Publications

Publications

Fifty Years of Prolog and Beyond

Philipp Körner , Michael Leuschel , João Barbosa , Vítor Santos Costa , Verónica Dahl
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

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
Image document

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

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
Image document

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

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 hal-00663776v1
Image document

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
Image document

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

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 Diaz
International Workshop on Artificial Intelligence Safety Engineering, 2019, Turku, Finland
Communication dans un congrès hal-02297049v1
Image document

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

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

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
Image document

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
Image document

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
Image document

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
Image document

A Local Search Algorithm for SMTI and its extension to HRT Problems

Danny Munera , Daniel Diaz , Salvador Abreu , Francesca Rossi , Vijay Saraswat
3rd International Workshop on Matching Under Preferences, University of Glasgow, Apr 2015, Glasgow, United Kingdom
Communication dans un congrès hal-01144208v1
Image document

Solving Hard Stable Matching Problems via Local Search and Cooperative Parallelization

Danny Munera , Daniel Diaz , Salvador Abreu , Francesca Rossi , Vijay Saraswat
29th AAAI Conference on Artificial Intelligence, Jan 2015, Austin, TX, United States
Communication dans un congrès hal-01144214v1
Image document

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
Image document

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
Image document

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
Image document

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

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

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
Image document

PER-MARE: Adaptive Deployment of MapReduce over Pervasive Grids

Luiz Angelo Steffenel , Olivier Flauzac , Andrea Schwertner Charão , Patricia Pitthan Barcelos , Benhur Stein
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
Image document

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
Image document

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
Image document

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

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

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

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: 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
Image document

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

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

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

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

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
Image document

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
Image document

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
Image document

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
Image document

Using Constraint Programming to Verify DOPLER Variability Models

Raul Mazo , Paul Grünbacher , Wolfgang Heider , Rick Rabiser , Camille Salinesi
5th International Workshop on Variability Modelling of Software-intensive Systems (VaMos'11), Jan 2011, Namur, Belgium
Communication dans un congrès hal-00707543v1
Image document

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

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 hal-00663816v1
Image document

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
Image document

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

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

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
Image document

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

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

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

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

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

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

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 hal-00667951v1

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

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

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

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

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 hal-00667806v1

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 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 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

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

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

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

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 hal-00668859v1

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

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

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
Image document

Recommendation Heuristics for Improving Product Line Configuration 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