Boolean Constraint Solving Using clp(FD). - Philippe Codognet; Daniel Diaz 001 (ICLP Workshop on Concurrent Constraint Programming, 1993)

A Minimal Extension of the WAM for clp(FD). - Daniel Diaz 001; Philippe Codognet (ICLP, 1993)

Entailment of Finite Domain Constraints. - Björn Carlson; Mats Carlsson; Daniel Diaz 001 (ICLP, 1994)

clp(B): Combining Simplicity and Efficiency in Boolean Constraint Solving. - Philippe Codognet; Daniel Diaz 001 (PLILP, 1994)

WAMCC: Compiling Prolog to C. - Philippe Codognet; Daniel Diaz 001 (ICLP, 1995)

The clp(FD) system. - Philippe Codognet; Daniel Diaz 001 (JFPLC, 1995)

Constraint Reaction in FD. - Philippe Codognet; Daniel Diaz 001; Francesca Rossi 001 (FSTTCS, 1996)

A Simple and Efficient Boolean Solver for Constraint Logic Programming. - Philippe Codognet; Daniel Diaz 001 (J. Autom. Reason., 1996)

Compiling Constraints in clp(FD). - Philippe Codognet; Daniel Diaz 001 (J. Log. Program., 1996)

GNU Prolog: Beyond Compiling Prolog to C. - Daniel Diaz 001; Philippe Codognet (PADL, 2000)

The GNU Prolog System and its Implementation. - Daniel Diaz 001; Philippe Codognet (SAC (2), 2000)

Yet Another Local Search Method for Constraint Solving. - Philippe Codognet; Daniel Diaz 001 (SAGA, 2001)

Design and Implementation of the GNU Prolog System. - Daniel Diaz 001; Philippe Codognet (J. Funct. Log. Program., 2001)

Objective: In Minimum Context. - Salvador Abreu; Daniel Diaz 001 (ICLP, 2003)

Interactive problem solving in an intelligent virtual environment. - Carlos Calderon; Marc Cavazza; Daniel Diaz 001 (IUI, 2003)

A new approach to virtual design for spatial configuration problems. - Carlos Calderon; Marc Cavazza; Daniel Diaz 001 (IV, 2003)

A New Approach to the Interactive Resolution of Configuration Problems in Virtual Environments. - Carlos Calderon; Marc Cavazza; Daniel Diaz 001 (Smart Graphics, 2003)

Code-Based Test Generation for Validation of Functional Processor Descriptions. - Fabrice Baray; Philippe Codognet; Daniel Diaz 001; Henri Michel (TACAS, 2003)

Contexts for Organizational Information System Design and Implementation. - Salvador Abreu; Daniel Diaz 001 (ICEIS (1), 2004)

CLP a technology for the interactive resolution of spatial configuration tasks in a virtual environment. - Carlos Calderon; Marc Cavazza; Daniel Diaz 001 (J. Inf. Technol. Constr., 2006)

Deriving Product Line Requirements: the RED-PL Guidance Approach. - Olfa Djebbi; Camille Salinesi; Daniel Diaz 001 (APSEC, 2007)

Exploiting the Versatility of Constraint Programming over Finite Domains to Integrate Product Line Models. - Camille Salinesi; Daniel Diaz 001; Olfa Djebbi; Raúl Mazo; Colette Rolland (RE, 2009)

Looking for Product Line Feature Models Defects: Towards a Systematic Classification of Verification Criteria. - Camille Salinesi; Colette Rolland; Daniel Diaz 001; Raúl Mazo (RE, 2009)

Parallel local search for solving Constraint Problems on the Cell Broadband Engine (Preliminary Results) - Salvador Abreu; Daniel Diaz 001; Philippe Codognet (LSCS, 2009)

Parallel Constraint-Based Local Search on the Cell/BE Multicore Architecture. - Daniel Diaz 001; Salvador Abreu; Philippe Codognet (IDC, 2010)

Criteria for the verification of feature models. - Camille Salinesi; Raúl Mazo; Daniel Diaz 001 (INFORSID, 2010)

Using Integer Constraint Solving in Reuse Based Requirements Engineering. - Camille Salinesi; Raúl Mazo; Daniel Diaz 001; Olfa Djebbi (RE, 2010)

Conformance Checking with Constraint Logic Programming: The Case of Feature Models. - Raúl Mazo; Roberto Erick Lopez-Herrejon; Camille Salinesi; Daniel Diaz 001; Alexander Egyed (COMPSAC, 2011)

Transforming Attribute and Clone-enabled Feature Models into Constraint Programs over Finite Domains. - Raúl Mazo; Camille Salinesi; Daniel Diaz 001; Alberto Lora-Michiels (ENASE, 2011)

Experiments in Parallel Constraint-Based Local Search. - Yves Caniou; Philippe Codognet; Daniel Diaz 001; Salvador Abreu (EvoCOP, 2011)

Using Constraints for Intrusion Detection: The NeMODe System. - Pedro D. Salgueiro; Daniel Diaz 001; Isabel Brito 001; Salvador Abreu (PADL, 2011)

Constraints: The core of product line engineering. - Camille Salinesi; Olfa Djebbi; Raúl Mazo; Daniel Diaz 001; Alberto Lora-Michiels (RCIS, 2011)

Parallel constraint-based local search on the HA8000 supercomputer (abstract). - Yves Caniou; Philippe Codognet; Daniel Diaz 001; Salvador Abreu (SAC, 2011)

Using constraint programming to verify DOPLER variability models. - Raúl Mazo; Paul Grünbacher; Wolfgang Heider; Rick Rabiser; Camille Salinesi; Daniel Diaz 001 (VaMoS, 2011)

VariaMos: a Tool for Product Line Driven Systems Engineering with a Constraint Based Approach. - Raúl Mazo; Camille Salinesi; Daniel Diaz 001 (CAiSE Forum, 2012)

Parallel Local Search for the Costas Array Problem. - Daniel Diaz 001; Florian Richoux; Yves Caniou; Philippe Codognet; Salvador Abreu (IPDPS Workshops, 2012)

Constraint-Based Local Search for the Costas Array Problem. - Daniel Diaz 001; Florian Richoux; Philippe Codognet; Yves Caniou; Salvador Abreu (LION, 2012)

Performance analysis of parallel constraint-based local search. - Yves Caniou; Daniel Diaz 001; Florian Richoux; Philippe Codognet; Salvador Abreu (PPoPP, 2012)

Using Constraint Programming to Manage Configurations in Self-Adaptive Systems. - Pete Sawyer; Raúl Mazo; Daniel Diaz 001; Camille Salinesi; Danny Hughes 001 (Computer, 2012)

Targeting the Cell Broadband Engine for constraint-based local search. - Daniel Diaz 001; Salvador Abreu; Philippe Codognet (Concurr. Comput. Pract. Exp., 2012)

Constraints: The Heart of Domain and Application Engineering in the Product Lines Engineering Strategy. - Raúl Mazo; Camille Salinesi; Daniel Diaz 001; Olfa Djebbi; Alberto Lora-Michiels (Int. J. Inf. Syst. Model. Des., 2012)

On the implementation of GNU Prolog. - Daniel Diaz 001; Salvador Abreu; Philippe Codognet (Theory Pract. Log. Program., 2012)

PER-MARE: Adaptive Deployment of MapReduce over Pervasive Grids. - Luiz Angelo Steffenel; Olivier Flauzac; Andrea Schwertner Charão; Patrícia Pitthan Barcelos; Benhur de Oliveira Stein; Sergio Nesmachnow; Manuele Kirsch-Pinheiro; Daniel Diaz 001 (3PGCIC, 2013)

Towards Parallel Constraint-Based Local Search with the X10 Language. - Danny Munera; Daniel Diaz 001; Salvador Abreu (KDPD, 2013)

Parallel Performance of Declarative Programming Using a PGAS Model. - Rui Machado; Salvador Abreu; Daniel Diaz 001 (PADL, 2013)

Towards constraint-informed information systems. - Irene Rodrigues 001; Nuno Matos; Salvador Abreu; Rébecca Deneckère; Daniel Diaz 001 (RCIS, 2013)

Experimenting with X10 for Parallel Constraint-Based Local Search. - Danny Munera; Daniel Diaz 001; Salvador Abreu (CoRR, 2013)

Parallel Local Search: Experiments with a PGAS-based programming model - Rui Machado; Salvador Abreu; Daniel Diaz 001 (CoRR, 2013)

Recommendation Heuristics for Improving Product Line Configuration Processes. - Raúl Mazo; Cosmin Dumitrescu; Camille Salinesi; Daniel Diaz 001 (Recommendation Systems in Software Engineering, 2014)

A Parametric Framework for Cooperative Parallel Local Search. - Danny Munera; Daniel Diaz 001; Salvador Abreu; Philippe Codognet (EvoCOP, 2014)

Flexible cooperation in parallel local search. - Danny Munera; Daniel Diaz 001; Salvador Abreu; Philippe Codognet (SAC, 2014)

Method to Identify Corrections of Defects on Product Line Models. - L. F. Rincón; Gloria Lucía Giraldo G.; Raúl Mazo; Camille Salinesi; Daniel Diaz 001 (CLEI Selected Papers, 2014)

Dynamic adaptation of service compositions with variability models. - Germán H. Alférez; Vicente Pelechano; Raúl Mazo; Camille Salinesi; Daniel Diaz 001 (J. Syst. Softw., 2014)

Solving Hard Stable Matching Problems via Local Search and Cooperative Parallelization. - Danny Munera; Daniel Diaz 001; Salvador Abreu; Francesca Rossi 001; Vijay A. Saraswat; Philippe Codognet (AAAI, 2015)

Large-scale parallelism for constraint-based local search: the costas array case study. - Yves Caniou; Philippe Codognet; Florian Richoux; Daniel Diaz 001; Salvador Abreu (Constraints An Int. J., 2015)

Solving the Quadratic Assignment Problem with Cooperative Parallel Extremal Optimization. - Danny Munera; Daniel Diaz 001; Salvador Abreu (EvoCOP, 2016)

Hybridization as Cooperative Parallelism for the Quadratic Assignment Problem. - Danny Munera; Daniel Diaz 001; Salvador Abreu (HM, 2016)

Run-time planning of case-based business processes. - Danillo Sprovieri; Daniel Diaz 001; Raúl Mazo; Knut Hinkelmann (RCIS, 2016)

Parallel Local Search. - Philippe Codognet; Danny Munera; Daniel Diaz 001; Salvador Abreu (Handbook of Parallel Constraint Reasoning, 2018)

Improving Constraint Solving on Parallel Hybrid Systems. - Pedro Roque; Vasco Pedro; Daniel Diaz 001; Salvador Abreu (ICTAI, 2018)

On Integrating Population-Based Metaheuristics with Cooperative Parallelism. - Jheisson López; Danny Munera; Daniel Diaz 001; Salvador Abreu (IPDPS Workshops, 2018)

Weaving of Metaheuristics with Cooperative Parallelism. - Jheisson López; Danny Múnera; Daniel Diaz 001; Salvador Abreu (PPSN (1), 2018)

A Self-certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence. - Jacques Robin; Raúl Mazo; Henrique Madeira; Raul Barbosa; Daniel Diaz 001; Salvador Abreu (SAFECOMP Workshops, 2019)

Solving QAP with Auto-parameterization in Parallel Hybrid Metaheuristics. - Jonathan Duque; Danny A. Múnera; Daniel Diaz 001; Salvador Abreu (OLA, 2021)

Quantum and Digital Annealing for the Quadratic Assignment Problem. - Philippe Codognet; Daniel Diaz 001; Salvador Abreu (QSW, 2022)

50 Years of Prolog and Beyond. - Philipp Körner; Michael Leuschel; João Barbosa; Vítor Santos Costa; Verónica Dahl; Manuel V. Hermenegildo; José F. Morales 001; Jan Wielemaker; Daniel Diaz 001; Salvador Abreu; Giovanni Ciatto (CoRR, 2022)

Fifty Years of Prolog and Beyond. - Philipp Körner; Michael Leuschel; João Barbosa; Vítor Santos Costa; Verónica Dahl; Manuel V. Hermenegildo; José F. Morales 001; Jan Wielemaker; Daniel Diaz 001; Salvador Abreu (Theory Pract. Log. Program., 2022)