Skip to Main content
Number of documents

83

Daniel Diaz


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

Publications


Journal articles13 documents

  • Irene Rodrigues, Rui Quaresma, Daniel Diaz, Salvador Abreu. Constraint-Informed Information Systems in Space Management Optimization. Coimbra Business Review, 2016. ⟨hal-02295928⟩
  • Luisa Rincón-Perez, Gloria-Lucia Giraldo-Gómez, Raúl Mazo, Camille Salinesi, Daniel Diaz. Method to Identify Corrections of Defects on Product Line Models. Electronic Notes in Theoretical Computer Science, Elsevier, 2015, 314, pp.61-81. ⟨10.1016/j.entcs.2015.05.005⟩. ⟨hal-02296117⟩
  • Yves Caniou, Philippe Codognet, Florian Richoux, Daniel Diaz, Salvador Abreu. Large-scale parallelism for constraint-based local search: the costas array case study. Constraints, Springer Verlag, 2015, 20 (1), pp.30-56. ⟨10.1007/s10601-014-9168-4⟩. ⟨hal-01084270⟩
  • G.H. Alférez, V. Pelechano, Raúl Mazo, Camille Salinesi, Daniel Diaz. Dynamic adaptation of service compositions with variability models. Journal of Systems and Software, Elsevier, 2014, 91, pp.24-47. ⟨10.1016/j.jss.2013.06.034⟩. ⟨hal-02296121⟩
  • Pete Sawyer, Raul Mazo, Daniel Diaz, Camille Salinesi, Danny Hughes. Constraint Programming as a Means to Manage Configurations in Self-Adaptive Systems. Special Issue in IEEE Computer Dynamic Software Product Lines, 2012, pp.1-12. ⟨hal-00747723⟩
  • Raúl Mazo, Camille Salinesi, Olfa Djebbi, Daniel Diaz, Alberto Lora-Michiels. Constraints: the Heart of Domain and Application Engineering in the Product Lines Engineering Strategy. International Journal of Information System Modeling and Design, IGI Global, 2012, 3 (2), pp.50. ⟨hal-00707522⟩
  • Daniel Diaz, Salvador Abreu, Philippe Codognet. On the implementation of GNU Prolog. Theory and Practice of Logic Programming, Cambridge University Press (CUP), 2012, 12 (1-2), pp.253 - 282. ⟨10.1017/S1471068411000470⟩. ⟨hal-00665748⟩
  • Daniel Diaz, Salvador Abreu, Philippe Codognet. Targeting the Cell Broadband Engine for constraint-based local search. Concurrency and Computation: Practice and Experience, Wiley, 2012, 13 p. ⟨10.1002/cpe.1855⟩. ⟨hal-00663776⟩
  • Raul Mazo, Camille Salinesi, Daniel Diaz. Abstract Constraints: A General Framework for Solver-Independent Reasoning on Product Line Models. INSIGHT - International Council on Systems Engineering (INCOSE), Wiley, 2011, 14 (4), pp.22. ⟨hal-00707418⟩
  • Carlos Calderon, Marc Cavazza, Daniel Diaz. CLP a technology for the interactive resolution of spatial configuration tasks in a virtual environment. Journal of Information Technology in Construction (ITcon), Special Issue Architectural informatics, 2006, 11, pp.325-341. ⟨hal-00693233⟩
  • Daniel Diaz, Philippe Codognet. Design and Implementation of the GNU Prolog System. Journal of Functional and Logic Programming, Westf§lische Wilhelms-Universit§t M?nster, 2001, 6, pp.1. ⟨hal-00693240⟩
  • Philippe Codognet, Daniel Diaz. Compiling Constraints in clp(FD). Journal of Logic Programming, Elsevier, 1996, 27 (3), pp.185-226. ⟨hal-00693245⟩
  • Philippe Codognet, Daniel Diaz. A Simple and Efficient Boolean Solver for Constraint Logic Programming. Journal of Automated Reasoning, Springer Verlag, 1996, 17 (1), pp.97-129. ⟨hal-00693251⟩

Conference papers66 documents

  • Jacques Robin, Raúl Mazo, Henrique Madeira, Raul Barbosa, Daniel Diaz, et al.. A Self-Certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence. International Workshop on Artificial Intelligence Safety Engineering, 2019, Turku, Finland. ⟨hal-02297049⟩
  • Jheisson Lopez, Danny Munera, Daniel Diaz, Salvador Abreu. On Integrating Population-Based Metaheuristics with Cooperative Parallelism. 8th IEEE Workshop on Parallel / Distributed Computing and Optimization (PDCO 2018), May 2018, Vancouver, Canada. ⟨10.1109/IPDPSW.2018.00100⟩. ⟨hal-01802097⟩
  • Pedro Roque, Vasco Pedro, Daniel Diaz, Salvador Abreu. Improving Constraint Solving on Parallel Hybrid Systems. 2018 IEEE 30th International Conference on Tools with Artificial Intelligence (ICTAI), Nov 2018, Volos, Greece. pp.726-732, ⟨10.1109/ictai.2018.00114⟩. ⟨hal-02296435⟩
  • Jheisson Lopez, Danny Munera, Daniel Diaz, Salvador Abreu. Weaving of Metaheuristics with Cooperative Parallelism. International Conference on Parallel Problem Solving from Nature, 2018, Coimbra, Portugal. pp.436-448, ⟨10.1007/978-3-319-99253-2_35⟩. ⟨hal-02296454⟩
  • Irene Rodrigues, Daniel Diaz, Salvador Abreu. CLP(FD)-based Information Systems in Space Management Optimization. Language & Technology Conference, 2017, Poznan, Poland. ⟨hal-02297063⟩
  • Danillo Sprovieri, Daniel Diaz, Raúl Mazo, Knut Hinkelmann. Run-time planning of case-based business processes. IEEE 10th International Conference on Research Challenges in Information Science, Jun 2016, Grenoble, France. pp.1 - 6, ⟨10.1109/RCIS.2016.7549282⟩. ⟨hal-01423708⟩
  • Danny Munera, Daniel Diaz, Salvador Abreu. Solving the Quadratic Assignment Problem with Cooperative Parallel Extremal Optimization. 16th European Conference on Evolutionary Computation in Combinatorial Optimization, EvoCOP 2016, Mar 2016, Porto, Portugal. ⟨10.1007/978-3-319-30698-8_17⟩. ⟨hal-01332524⟩
  • Danny Munera, Daniel Diaz, Salvador Abreu. Hybridization as Cooperative Parallelism for the Quadratic Assignment Problem. 10th International Workshop on Hybrid Metaheuristics, Jun 2016, Plymouth, United Kingdom. ⟨10.1007/978-3-319-39636-1_4⟩. ⟨hal-01332529⟩
  • Danny Munera, Daniel Diaz, Salvador Abreu, Francesca Rossi, Vijay Saraswat, et al.. A Local Search Algorithm for SMTI and its extension to HRT Problems. 3rd International Workshop on Matching Under Preferences, University of Glasgow, Apr 2015, Glasgow, United Kingdom. ⟨hal-01144208⟩
  • Danny Munera, Daniel Diaz, Salvador Abreu, Francesca Rossi, Vijay Saraswat, et al.. Solving Hard Stable Matching Problems via Local Search and Cooperative Parallelization. 29th AAAI Conference on Artificial Intelligence, Jan 2015, Austin, TX, United States. ⟨hal-01144214⟩
  • Salvador Abreu, Danny Munera, Daniel Diaz. Towards a Parallel Hierarchical Adaptive Solver Tool. Workshop on Parallel Methods for Search & Optimization (ParSearchOpt14), Jul 2014, Vienna, Austria. ⟨hal-01195526⟩
  • Luisa Rincón-Perez, Gloria-Lucia Giraldo-Gómez, Raúl Mazo, Camille Salinesi, Daniel Diaz. 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. XL Latin American Computing Conference (CLEI), Sep 2014, Montevideo, Uruguay. ⟨hal-01071278⟩
  • Danny Munera, Daniel Diaz, Salvador Abreu, Philippe Codognet. A Parametric Framework for Cooperative Parallel Local Search. European Conference on Evolutionary Computation in Combinatorial Optimization (EvoCOP), Apr 2014, Grenada, Spain. pp.13 - 24, ⟨10.1007/978-3-662-44320-0_2⟩. ⟨hal-01117524⟩
  • Danny Munera, Daniel Diaz, Salvador Abreu, Philippe Codognet. Flexible cooperation in parallel local search (extended abstract). ACM Symposium on Applied Computing (SAC), Mar 2014, Gyeongju, South Korea. pp.1360 - 1361, ⟨10.1145/2554850.2555140⟩. ⟨hal-01117539⟩
  • Bloemen Vincent, Daniel Diaz, Salvador Abreu. Extending the Finite Domain Solver of GNU Prolog. International Joint Workshop on Implementation of Constraint and Logic Programming Systems and Logic-based Methods in Programming Environments (CICLOPS), 2014, Vienne, Austria. ⟨hal-01220207⟩
  • Rui Machado, Salvador Abreu, Daniel Diaz. Parallel Performance of Declarative Programming using a PGAS Model. Practical Aspects of Declarative Languages (PADL), 2013, Rome, Italy. ⟨hal-00760624⟩
  • Danny Munera, Daniel Diaz, Salvador Abreu. Towards Parallel Constraint-Based Local Search with the X10 Language. 20th International Conference on Applications of Declarative Programming and Knowledge Management (INAP 2013), Sep 2013, Kiel, Germany. pp.168-182. ⟨hal-00874633⟩
  • Danny Munera, Daniel Diaz, Salvador Abreu. Experimenting with X10 for Parallel Constraint-Based Local Search. 13th International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS 2013), Aug 2013, Istanbul, Turkey. pp.33-47. ⟨hal-00874645⟩
  • Irene Rodrigues, Nuno Matos, Salvador Abreu, Rebecca Deneckere, Daniel Diaz. Towards Constraint-Informed Information Systems. RCIS 2013, May 2013, Paris, France. pp.1. ⟨hal-00812059⟩
  • Luisa Rincón, Gloria Lucia Giraldo, Raúl Mazo, Camille Salinesi, Daniel Diaz. 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. 8th Computer Colombian Conference (CCC), Aug 2013, Armenia, Colombia. ⟨hal-00914015⟩
  • Luiz Angelo Steffenel, Olivier Flauzac, Andrea Schwertner Charão, Patricia Pitthan Barcelos, Benhur Stein, et al.. PER-MARE: Adaptive Deployment of MapReduce over Pervasive Grids. 8th International Conference on P2P, Parallel, Grid, Cloud and Internet Computing (3PGCIC'13), Oct 2013, COMPIEGNE, FRANCE, France. pp.17-24. ⟨hal-00903718⟩
  • Daniel Diaz, Florian Richoux, Philippe Codognet, Yves Caniou, Salvador Abreu. Constraint-Based Local Search for the Costas Array Problem. Learning and Intelligent OptimizatioN Conference (LION 6), 2012, Paris, France. ⟨hal-00760628⟩
  • Raúl Mazo, Camille Salinesi, Daniel Diaz. VariaMos: a Tool for Product Line Driven Systems Engineering with a Constraint Based Approach. 24th International Conference on Advanced Information Systems Engineering (CAiSE Forum'12), Jun 2012, Gdansk, Poland. ⟨hal-00707551⟩
  • Yves Caniou, Daniel Diaz, Florian Richoux, Philippe Codognet, Salvador Abreu. Performance analysis of parallel constraint-based local search. Principles and Practice of Parallel Programming, Feb 2012, New Orleans, United States. pp.337-338, ⟨10.1145/2145816.2145883⟩. ⟨hal-00693266⟩
  • Daniel Diaz, Florian Richoux, Yves Caniou, Philippe Codognet, Salvador Abreu. Parallel local search for the Costas Array Problem. Parallel Computing and Optimization, 2012, Shanghai, China. ⟨hal-00693275⟩
  • Rui Machado, Salvador Abreu, Daniel Diaz. Parallel Local Search: Experiments with a PGAS-based programming model. International Colloquium on Implementation of Constraint and LOgic Programming Systems (CICLOPS), Sep 2012, Budapest, Hungary. pp.1. ⟨hal-00735787⟩
  • Raúl Mazo, Paul Grünbacher, Wolfgang Heider, Rick Rabiser, Camille Salinesi, et al.. Using Constraint Programming to Verify DOPLER Variability Models. 5th International Workshop on Variability Modelling of Software-intensive Systems (VaMos'11), Jan 2011, Namur, Belgium. ⟨hal-00707543⟩
  • Raúl Mazo, Roberto Erick Lopez-Herrejon, Camille Salinesi, Daniel Diaz, Alexander Egyed. Conformance Checking with Constraint Logic Programming: The Case of Feature Models. In 35th IEEE International Computer Software and Applications Conference (COMPSAC), Jul 2011, Munich, Germany. ⟨hal-00707545⟩
  • Camille Salinesi, Raúl Mazo, Olfa Djebbi, Daniel Diaz, Alberto Lora-Michiels. Constraints: the Core of Product Line Engineering. Fifth IEEE International Conference on Research Challenges in Information Science (RCIS), May 2011, Guadeloupe, France. ⟨hal-00707544⟩
  • Raúl Mazo, Camille Salinesi, Daniel Diaz, Alberto Lora-Michiels. Transforming Attribute and Clone-Enabled Feature Models Into Constraint Programs Over Finite Domains. 6th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE), Jun 2011, Beijing, China. ⟨hal-00707546⟩
  • Yves Caniou, Philippe Codognet, Daniel Diaz, Salvador Abreu. Experiments in Parallel Constraint-Based Local Search. 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⟩. ⟨hal-00663789⟩
  • Yves Caniou, Philippe Codognet, Daniel Diaz, Salvador Abreu. Parallel constraint-based local search on the HA8000 supercomputer (extended abstract). the 2011 ACM Symposium, Mar 2011, TaiChung, Taiwan. pp.920, ⟨10.1145/1982185.1982386⟩. ⟨hal-02296485⟩
  • Pedro Salgueiro, Daniel Diaz, Isabel Brito, Salvador Abreu. Using Constraints for Intrusion Detection: the NeMODe System. 13th International Symposium, PADL 2011, Jan 2011, Austin, Texas, United States. pp.115-129, ⟨10.1007/978-3-642-18378-2_11⟩. ⟨hal-00663805⟩
  • Camille Salinesi, Raúl Mazo, Daniel Diaz. Criteria for the verification of feature models. INFORSID 2010, May 2010, Marseille, France. ⟨hal-00707534⟩
  • Camille Salinesi, Raúl Mazo, Daniel Diaz, Olfa Djebbi. Solving Integer Constraint in Reuse Based Requirements Engineering. 18th IEEE International Conference on Requirements Engineering (RE'10), Sep 2010, Sydney, Australia. pp.50. ⟨hal-00707542⟩
  • Camille Salinesi, Raul Mazo, Daniel Diaz, Olfa Djebbi. Using Integer Constraint Solving in Reuse Based Requirements Engineering. 18th IEEE International Requirements Engineering Conference (RE), 2010, Sep 2010, Sydney, Australia. pp.243-251, ⟨10.1109/RE.2010.36⟩. ⟨hal-00662891⟩
  • Daniel Diaz, Salvador Abreu, Philippe Codognet. Parallel Constraint-Based Local Search on the Cell/BE Multicore Architecture. IDC 2010 - 4th International Symposium on Intelligent Distributed Computing, Sep 2010, Tangier, Morocco. pp.265-274, ⟨10.1007/978-3-642-15211-5_28⟩. ⟨hal-00663816⟩
  • Camille Salinesi, Daniel Diaz, Raul Mazo, Olfa Djebbi. Spécification d'Exigences dans le Contexte de Lignes de Produits.. Journée Action IDM - INFORSID Exigence, Traçabilité et Co-conception dans les processus de développement, Oct 2009, France. ⟨hal-00706100⟩
  • Salvador Abreu, Vitor Nogueira, Daniel Diaz. On Structuring Contextual Logic Programs. Simposio de Informatica (INForum), 2009, France. pp.1. ⟨hal-00702245⟩
  • Camille Salinesi, Colette Rolland, Daniel Diaz, Raul Mazo. Looking for Product Line Feature Models Defects: Towards a Systematic Classification of Verification Criteria. 17th IEEE International Requirements Engineering Conference, 2009. RE '09., Aug 2009, Atlanta, United States. pp.385-386, ⟨10.1109/RE.2009.57⟩. ⟨hal-00663343⟩
  • Camille Salinesi, Daniel Diaz, Olfa Djebbi, Raul Mazo, Colette Rolland. Exploiting the Versatility of Constraint Programming over Finite Domains to Integrate Product Line Models. (Poster). 17th IEEE International Requirements Engineering Conference, 2009. RE '09., Aug 2009, Atlanta, United States. pp.375-376, ⟨10.1109/RE.2009.52⟩. ⟨hal-00663346⟩
  • Salvador Abreu, Philippe Codognet, Daniel Diaz. Parallel local search for solving Constraint Problems on the Cell Broadband Engine (Preliminary Results). Sixth International Workshop on Local Search Techniques in Constraint Satisfaction (LSCS'09)., Sep 2009, Lisbon, Portugal. pp.97-111, ⟨10.4204/EPTCS.5.8⟩. ⟨hal-00663842⟩
  • Olfa Djebbi, Camille Salinesi, Daniel Diaz. Deriving Product Line Requirements: the RED-PL Guidance Approach. Software Engineering Conference, 2007. APSEC 2007. 14th Asia-Pacific, Dec 2007, Nagoya, Japan. pp.494 - 501, ⟨10.1109/ASPEC.2007.63⟩. ⟨hal-00667789⟩
  • Salvador Abreu, Daniel Diaz. Contexts for Organizational Information System Design and Implementation. International Conference on Enterprise Information Systems, 2004, Porto, Portugal. 6 p. ⟨hal-00668255⟩
  • Salvador Abreu, Daniel Diaz, Vitor Nogueira. Organizational Information Systems Design and Implementation with Contextual Constraint Logic Programming. International Conference of European University Information Systems, 2004, Ljubljana, Slovenia. ⟨hal-02296517⟩
  • Philippe Codognet, Daniel Diaz. An Efficient Library for Solving CSP with Local Search. International Conference on Metaheuristics, 2003, Kyoto, Japan. ⟨hal-00693282⟩
  • Fabrice Baray, Philippe Codognet, Daniel Diaz, Henri Michel. Validation of Functional Processor Descriptions by Test Generation. International Conference on Using Hardware Design and Verification Languages, 2003, San Jose, United States. pp.569-584, ⟨10.1.1.6.8847⟩. ⟨hal-00668242⟩
  • Salvador Abreu, Daniel Diaz. Objective: in Minimum Context. International Conference on Logic Programming, 2003, Mumbai, India. pp.128-147. ⟨hal-00668260⟩
  • Fabrice Baray, Philippe Codognet, Daniel Diaz, Henri Michel. Code-based Test Generation for Validation of Functional Processor Descriptions. 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⟩. ⟨hal-00667951⟩
  • C. Calderon, M. Cavazza, D. Diaz. A new approach to virtual design for spatial configuration problems. International Conference on Information Visualization, 2003, London, France. pp.518-523, ⟨10.1109/IV.2003.1218034⟩. ⟨hal-02296534⟩
  • Carlos Calderon, Marc Cavazza, Daniel Diaz. Interactive problem solving in an intelligent virtual environment. International Conference on Intelligent User Interfaces, Jan 2003, Miami, United States. pp.319, ⟨10.1145/604045.604112⟩. ⟨hal-02296553⟩
  • Philippe Codognet, Daniel Diaz, Charlotte Truchet. The Adaptive Search Method for Constraint Solving and its application to musical CSPs. International Workshop on Heuristics, 2002, Beijing, China. 9 p. ⟨hal-00668300⟩
  • Philippe Codognet, Daniel Diaz. Constraint-based Local Search For Discrete Optimization. International Conference on Optimization Methods and Software, 2002, Hangzhou, China. pp.ND. ⟨hal-00668305⟩
  • Carlos Calderon, Marc Cavazza, Daniel Diaz. A New Approach to the Interactive Resolution of Configuration Problems in Virtual Environments. Third International Symposium on Smart Graphics (SG 2003), Jul 2002, Heidelberg, Germany. pp.99-130, ⟨10.1007/3-540-37620-8_11⟩. ⟨hal-00667806⟩
  • Philippe Codognet, Daniel Diaz. A Local Search Method for Constraint Solving. AAAI Fall Symposium "Using Uncertainty within Computation", 2001, North Falmouth, Cape Cod, United States. pp.38-46. ⟨hal-00668309⟩
  • Philippe Codognet, Daniel Diaz. Yet Another Local Search Method for Constraint Solving. Stochastic Algorithms, Foundations and Applications, Dec 2001, Berlin, Germany. pp.73-90, ⟨10.1007/3-540-45322-9_5⟩. ⟨hal-00667941⟩
  • Daniel Diaz, Philippe Codognet. GNU Prolog: Beyond Compiling Prolog to C. Practical Aspects of Declarative Languages (PADL), 2000, Boston, United States. pp.81-92. ⟨hal-00668314⟩
  • Daniel Diaz, Philippe Codognet. The GNU Prolog System and its Implementation. ACM Symposium on Applied Computing, 2000, Villa Olmo, Como, Italy. pp.ND. ⟨hal-00667976⟩
  • Philippe Codognet, Daniel Diaz, Francesca Rossi. Constraint Retraction in FD. Conference on Foundations of Software Technology and Theoretical Computer Science (FST&TCS), 1996, Hyderabad, India. pp.ND, ⟨10.1.1.48.9662⟩. ⟨hal-00668318⟩
  • Philippe Codognet, Daniel Diaz. wamcc: Compiling Prolog to C. International Conference on Logic Programming, 1995, Tokyo, Japan. pp.81-92, ⟨10.1.1.6.7804⟩. ⟨hal-00668817⟩
  • Philippe Codognet, Daniel Diaz. Finite Domain Constraints in Constraint Logic Programming. European Conference on Operational Research, 1995, Jerusalem, Israel. pp.ND. ⟨hal-00668846⟩
  • Denise Chemla, Daniel Diaz, Philippe Kerlirzin, Serge Manchon. Using clp(FD) to Support Air Traffic Flow Management. 3rd Practical Applications of Prolog (PAP), 1995, Paris, France. pp.ND, ⟨10.1.1.7.1135⟩. ⟨hal-00668327⟩
  • Philippe Codognet, Daniel Diaz. clp(B): Combinig Simplicity and Efficiency in Boolean Constraint Solving. Programming Language Implementation and Logic Programming, 1994, Madrid, Spain. pp.244-260, ⟨10.1.1.42.4343⟩. ⟨hal-00668859⟩
  • Björn Carlson, Matts Carlsson, Daniel Diaz. Entailment of Finite Domain Constraints. International Conference on Logic Programming, 1994, Santa Margherita, Italy. 15 p. ⟨hal-00668885⟩
  • Philippe Codognet, Daniel Diaz. A Minimal Extension of the WAM for clp(FD). International Conference on Logic Programming, 1993, Vancouver, Canada. pp.774-790. ⟨hal-00668913⟩
  • Philippe Codognet, Daniel Diaz. Boolean Constraint Solving Using clp(FD). International Logic Programming Symposium, 1993, Vancouver, British Columbia, Canada. 15 p. ⟨hal-00668897⟩

Book sections2 documents

  • Philippe Codognet, Danny Munera, Daniel Diaz, Salvador Abreu. Parallel Local Search. Springer. Handbook of Parallel Constraint Reasoning, 2017. ⟨hal-01511022⟩
  • Raúl Mazo, Cosmin Dumitrescu, Camille Salinesi, Daniel Diaz. Recommendation Heuristics for Improving Product Line Configuration Processes. Robillard M, Maalej W., Walker R. and Zimmermann T. Recommendation Systems in Software Engineering, Springer, pp.100, 2014, 978-3-642-45135-5. ⟨hal-00914021⟩

Reports1 document

  • Camille Salinesi, Daniel Diaz, Olfa Djebbi, Colette Rolland. Improving Product Line Engineering Based on the Versatility of Constraint Programming over Finite Domains. 2009. ⟨hal-00663522⟩

Theses1 document

  • Daniel Diaz. Etude de la compilation des langages logiques de programmation par contraintes sur les domaines finis: le système clp(FD). Informatique et langage [cs.CL]. Université d'Orléans, 1995. Français. ⟨tel-00981853⟩