Daniel Diaz

Affiliations:
  • University of Paris 1


According to our database1, Daniel Diaz authored at least 75 papers between 1993 and 2022.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
50 Years of Prolog and Beyond.
CoRR, 2022

2021
Particle Graph Autoencoders and Differentiable, Learned Energy Mover's Distance.
CoRR, 2021

Explaining machine-learned particle-flow reconstruction.
CoRR, 2021

Applications and Techniques for Fast Machine Learning in Science.
CoRR, 2021

A FAIR and AI-ready Higgs Boson Decay Dataset.
CoRR, 2021

Solving QAP with Auto-parameterization in Parallel Hybrid Metaheuristics.
Proceedings of the Optimization and Learning - 4th International Conference, 2021

2020
Psique: Computerised Neuropsychological Assessment.
Proceedings of the pHealth 2020 - Proceedings of the 17th International Conference on Wearable Micro and Nano Technologies for Personalized Health, 2020

2019
A Self-certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence.
Proceedings of the Computer Safety, Reliability, and Security, 2019

2018
Weaving of Metaheuristics with Cooperative Parallelism.
Proceedings of the Parallel Problem Solving from Nature - PPSN XV, 2018

On Integrating Population-Based Metaheuristics with Cooperative Parallelism.
Proceedings of the 2018 IEEE International Parallel and Distributed Processing Symposium Workshops, 2018

Improving Constraint Solving on Parallel Hybrid Systems.
Proceedings of the IEEE 30th International Conference on Tools with Artificial Intelligence, 2018

Parallel Local Search.
Proceedings of the Handbook of Parallel Constraint Reasoning., 2018

2016
Improved Multiplierless Architecture for Header Detection in DVB-S2 Standard.
Proceedings of the 2016 IEEE International Workshop on Signal Processing Systems, 2016

Run-time planning of case-based business processes.
Proceedings of the Tenth IEEE International Conference on Research Challenges in Information Science, 2016

Hybridization as Cooperative Parallelism for the Quadratic Assignment Problem.
Proceedings of the Hybrid Metaheuristics - 10th International Workshop, 2016

Solving the Quadratic Assignment Problem with Cooperative Parallel Extremal Optimization.
Proceedings of the Evolutionary Computation in Combinatorial Optimization, 2016

2015
Large-scale parallelism for constraint-based local search: the costas array case study.
Constraints An Int. J., 2015

Solving Hard Stable Matching Problems via Local Search and Cooperative Parallelization.
Proceedings of the Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015

2014
Dynamic adaptation of service compositions with variability models.
J. Syst. Softw., 2014

Method to Identify Corrections of Defects on Product Line Models.
Proceedings of the XL Latin American Computer Conference - Selected Papers, 2014

Flexible cooperation in parallel local search.
Proceedings of the Symposium on Applied Computing, 2014

A Parametric Framework for Cooperative Parallel Local Search.
Proceedings of the Evolutionary Computation in Combinatorial Optimisation, 2014

Recommendation Heuristics for Improving Product Line Configuration Processes.
Proceedings of the Recommendation Systems in Software Engineering, 2014

2013
Comparison of Boost-Based MPPT Topologies for Space Applications.
IEEE Trans. Aerosp. Electron. Syst., 2013

Parallel Local Search: Experiments with a PGAS-based programming model
CoRR, 2013

Experimenting with X10 for Parallel Constraint-Based Local Search.
CoRR, 2013

A polar-based demapper of 8PSK demodulation for DVB-S2 systems.
Proceedings of the IEEE Workshop on Signal Processing Systems, 2013

Towards constraint-informed information systems.
Proceedings of the IEEE 7th International Conference on Research Challenges in Information Science, 2013

Parallel Performance of Declarative Programming Using a PGAS Model.
Proceedings of the Practical Aspects of Declarative Languages, 2013

Towards Parallel Constraint-Based Local Search with the X10 Language.
Proceedings of the Declarative Programming and Knowledge Management, 2013

PER-MARE: Adaptive Deployment of MapReduce over Pervasive Grids.
Proceedings of the Eighth International Conference on P2P, 2013

2012
On the implementation of GNU Prolog.
Theory Pract. Log. Program., 2012

Three-Level Cell Topology for a Multilevel Power Supply to Achieve High Efficiency Envelope Amplifier.
IEEE Trans. Circuits Syst. I Regul. Pap., 2012

Constraints: The Heart of Domain and Application Engineering in the Product Lines Engineering Strategy.
Int. J. Inf. Syst. Model. Des., 2012

Targeting the Cell Broadband Engine for constraint-based local search.
Concurr. Comput. Pract. Exp., 2012

Using Constraint Programming to Manage Configurations in Self-Adaptive Systems.
Computer, 2012

Performance analysis of parallel constraint-based local search.
Proceedings of the 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2012

Constraint-Based Local Search for the Costas Array Problem.
Proceedings of the Learning and Intelligent Optimization - 6th International Conference, 2012

Parallel Local Search for the Costas Array Problem.
Proceedings of the 26th IEEE International Parallel and Distributed Processing Symposium Workshops & PhD Forum, 2012

VariaMos: a Tool for Product Line Driven Systems Engineering with a Constraint Based Approach.
Proceedings of the CAiSE'12 Forum at the 24<sup>th</sup> International Conference on Advanced Information Systems Engineering (CAiSE), 2012

2011
Using constraint programming to verify DOPLER variability models.
Proceedings of the Fifth International Workshop on Variability Modelling of Software-Intensive Systems, 2011

Parallel constraint-based local search on the HA8000 supercomputer (abstract).
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

Constraints: The core of product line engineering.
Proceedings of the Fifth IEEE International Conference on Research Challenges in Information Science, 2011

Using Constraints for Intrusion Detection: The NeMODe System.
Proceedings of the Practical Aspects of Declarative Languages, 2011

Experiments in Parallel Constraint-Based Local Search.
Proceedings of the Evolutionary Computation in Combinatorial Optimization, 2011

Transforming Attribute and Clone-enabled Feature Models into Constraint Programs over Finite Domains.
Proceedings of the ENASE 2011, 2011

Conformance Checking with Constraint Logic Programming: The Case of Feature Models.
Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011

2010
Using Integer Constraint Solving in Reuse Based Requirements Engineering.
Proceedings of the RE 2010, 18th IEEE International Requirements Engineering Conference, Sydney, New South Wales, Australia, September 27, 2010

Criteria for the verification of feature models.
Proceedings of the Actes du XXVIIIème Congrès INFORSID, Marseille, France, 25-28 mai 2010, 2010

Parallel Constraint-Based Local Search on the Cell/BE Multicore Architecture.
Proceedings of the Intelligent Distributed Computing IV - Proceedings of the 4th International Symposium on Intelligent Distributed Computing, 2010

2009
Parallel local search for solving Constraint Problems on the Cell Broadband Engine (Preliminary Results)
Proceedings of the Proceedings 6th International Workshop on Local Search Techniques in Constraint Satisfaction, 2009

Looking for Product Line Feature Models Defects: Towards a Systematic Classification of Verification Criteria.
Proceedings of the RE 2009, 17th IEEE International Requirements Engineering Conference, Atlanta, Georgia, USA, August 31, 2009

Exploiting the Versatility of Constraint Programming over Finite Domains to Integrate Product Line Models.
Proceedings of the RE 2009, 17th IEEE International Requirements Engineering Conference, Atlanta, Georgia, USA, August 31, 2009

2007
Deriving Product Line Requirements: the RED-PL Guidance Approach.
Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 2007

2006
CLP a technology for the interactive resolution of spatial configuration tasks in a virtual environment.
J. Inf. Technol. Constr., 2006

2004
Contexts for Organizational Information System Design and Implementation.
Proceedings of the ICEIS 2004, 2004

2003
Code-Based Test Generation for Validation of Functional Processor Descriptions.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

A New Approach to the Interactive Resolution of Configuration Problems in Virtual Environments.
Proceedings of the Smart Graphics, Third International Symposium, 2003

A new approach to virtual design for spatial configuration problems.
Proceedings of the Seventh International Conference on Information Visualization, 2003

Interactive problem solving in an intelligent virtual environment.
Proceedings of the 8th International Conference on Intelligent User Interfaces, 2003

Objective: In Minimum Context.
Proceedings of the Logic Programming, 19th International Conference, 2003

2001
Design and Implementation of the GNU Prolog System.
J. Funct. Log. Program., 2001

Yet Another Local Search Method for Constraint Solving.
Proceedings of the Stochastic Algorithms: Foundations and Applications, 2001

2000
The GNU Prolog System and its Implementation.
Proceedings of the Applied Computing 2000, 2000

GNU Prolog: Beyond Compiling Prolog to C.
Proceedings of the Practical Aspects of Declarative Languages, 2000

1996
Compiling Constraints in clp(FD).
J. Log. Program., 1996

A Simple and Efficient Boolean Solver for Constraint Logic Programming.
J. Autom. Reason., 1996

Constraint Reaction in FD.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1996

1995
Etude de la compilation des langages logiques de programmation par contraintes sur les domaines finis: le système clp(FD). (Study of the Compilation of Contraint Logic Programming Languages over Finite Domains: the clp(FD) system).
PhD thesis, 1995

The clp(FD) system.
Proceedings of the JFPLC'95, 1995

WAMCC: Compiling Prolog to C.
Proceedings of the Logic Programming, 1995

1994
clp(B): Combining Simplicity and Efficiency in Boolean Constraint Solving.
Proceedings of the Programming Language Implementation and Logic Programming, 1994

Entailment of Finite Domain Constraints.
Proceedings of the Logic Programming, 1994

1993
Boolean Constraint Solving Using clp(FD).
Proceedings of the Logic Programming, 1993

A Minimal Extension of the WAM for clp(FD).
Proceedings of the Logic Programming, 1993


  Loading...