Daniel Diaz
Orcid: 0000-0002-2700-2271Affiliations:
- University of Paris 1, France
According to our database1,
Daniel Diaz
authored at least 67 papers
between 1993 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2022
Proceedings of the IEEE International Conference on Quantum Software, 2022
2021
Proceedings of the Optimization and Learning - 4th International Conference, 2021
2019
A Self-certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence.
Proceedings of the Computer Safety, Reliability, and Security, 2019
2018
Proceedings of the Parallel Problem Solving from Nature - PPSN XV, 2018
Proceedings of the 2018 IEEE International Parallel and Distributed Processing Symposium Workshops, 2018
Proceedings of the IEEE 30th International Conference on Tools with Artificial Intelligence, 2018
Proceedings of the Handbook of Parallel Constraint Reasoning., 2018
2016
Proceedings of the Tenth IEEE International Conference on Research Challenges in Information Science, 2016
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
J. Syst. Softw., 2014
Proceedings of the XL Latin American Computer Conference - Selected Papers, 2014
Proceedings of the Symposium on Applied Computing, 2014
Proceedings of the Evolutionary Computation in Combinatorial Optimisation, 2014
Proceedings of the Recommendation Systems in Software Engineering, 2014
2013
Proceedings of the IEEE 7th International Conference on Research Challenges in Information Science, 2013
Proceedings of the Practical Aspects of Declarative Languages, 2013
Proceedings of the Declarative Programming and Knowledge Management, 2013
Proceedings of the Eighth International Conference on P2P, 2013
2012
Constraints: The Heart of Domain and Application Engineering in the Product Lines Engineering Strategy.
Int. J. Inf. Syst. Model. Des., 2012
Concurr. Comput. Pract. Exp., 2012
Computer, 2012
Proceedings of the 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, 2012
Proceedings of the Learning and Intelligent Optimization - 6th International Conference, 2012
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
Proceedings of the Fifth International Workshop on Variability Modelling of Software-Intensive Systems, 2011
Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011
Proceedings of the Fifth IEEE International Conference on Research Challenges in Information Science, 2011
Proceedings of the Practical Aspects of Declarative Languages, 2011
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
Proceedings of the 35th Annual IEEE International Computer Software and Applications Conference, 2011
2010
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
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
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
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
Proceedings of the Seventh International Conference on Information Visualization, 2003
Proceedings of the 8th International Conference on Intelligent User Interfaces, 2003
Proceedings of the Logic Programming, 19th International Conference, 2003
2001
Design and Implementation of the GNU Prolog System.
J. Funct. Log. Program., 2001
Proceedings of the Stochastic Algorithms: Foundations and Applications, 2001
2000
Proceedings of the Applied Computing 2000, 2000
Proceedings of the Practical Aspects of Declarative Languages, 2000
1996
J. Autom. Reason., 1996
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1996
1995
The clp(FD) system.
Proceedings of the JFPLC'95, 1995
WAMCC: Compiling Prolog to C.
Proceedings of the Logic Programming, 1995
1994
Proceedings of the Programming Language Implementation and Logic Programming, 1994
Entailment of Finite Domain Constraints.
Proceedings of the Logic Programming, 1994
1993
A Minimal Extension of the WAM for clp(FD).
Proceedings of the Logic Programming, 1993
Boolean Constraint Solving Using clp(FD).
Proceedings of the ICLP'93 Post-Conference Workshop on Concurrent Constraint Programming, 1993