Daniel Diaz

Maître de Conférences à l'Université Paris 1 - Panthéon-Sorbonne
91
Documents
Affiliation actuelle
  • Centre de Recherche en Informatique de Paris 1 (CRI)

Présentation

Publications

Publications

Fifty Years of Prolog and Beyond

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

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

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

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

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 et al.

International Workshop on Artificial Intelligence Safety Engineering, 2019, Turku, Finland

Communication dans un congrès hal-02297049v1
Deposit thumbnail

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

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

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

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

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

Danny Munera , Daniel Diaz , Salvador Abreu , Francesca Rossi , Vijay Saraswat et al.

3rd International Workshop on Matching Under Preferences, University of Glasgow, Apr 2015, Glasgow, United Kingdom

Communication dans un congrès hal-01144208v1
Deposit thumbnail

Solving Hard Stable Matching Problems via Local Search and Cooperative Parallelization

Danny Munera , Daniel Diaz , Salvador Abreu , Francesca Rossi , Vijay Saraswat et al.

29th AAAI Conference on Artificial Intelligence, Jan 2015, Austin, TX, United States

Communication dans un congrès hal-01144214v1
Deposit thumbnail

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

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

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

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

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

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

PER-MARE: Adaptive Deployment of MapReduce over Pervasive Grids

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

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

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

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

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

Using Constraint Programming to Verify DOPLER Variability Models

Raul Mazo , Paul Grünbacher , Wolfgang Heider , Rick Rabiser , Camille Salinesi et al.

5th International Workshop on Variability Modelling of Software-intensive Systems (VaMos'11), Jan 2011, Namur, Belgium

Communication dans un congrès hal-00707543v1
Deposit thumbnail

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

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

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

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

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

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

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

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

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

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

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

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

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