| 2024 | VTS | Reliable edge machine learning hardware for scientific applications. | Tommaso Baldi, Javier Campos, Benjamin Hawks, Jennifer Ngadiuba, Nhan Tran, Daniel Diaz, Javier M. Duarte, Ryan Kastner, Andres Meza, Melissa Quinnan, Olivia Weng, Caleb Geniesse, Amir Gholami, Michael W. Mahoney, Vladimir Loncar, Philip C. Harris, Joshua Agar, Shuyu Qin |
| 2019 | SAFECOMP | A Self-certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence. | Jacques Robin, Ral Mazo, Henrique Madeira, Raul Barbosa, Daniel Diaz, Salvador Abreu |
| 2018 | ICTAI | Improving Constraint Solving on Parallel Hybrid Systems. | Pedro Roque, Vasco Pedro, Daniel Diaz, Salvador Abreu |
| 2018 | PPSN | Weaving of Metaheuristics with Cooperative Parallelism. | Jheisson Lpez, Danny Mnera, Daniel Diaz, Salvador Abreu |
| 2016 | RCIS | Run-time planning of case-based business processes. | Danillo Sprovieri, Daniel Diaz, Ral Mazo, Knut Hinkelmann |
| 2015 | AAAI | Solving Hard Stable Matching Problems via Local Search and Cooperative Parallelization. | Danny Munera, Daniel Diaz, Salvador Abreu, Francesca Rossi, Vijay A. Saraswat, Philippe Codognet |
| 2014 | SAC | Flexible cooperation in parallel local search. | Danny Munera, Daniel Diaz, Salvador Abreu, Philippe Codognet |
| 2013 | PADL | Parallel Performance of Declarative Programming Using a PGAS Model. | Rui Machado, Salvador Abreu, Daniel Diaz |
| 2013 | RCIS | Towards constraint-informed information systems. | Irene Rodrigues, Nuno Matos, Salvador Abreu, Rbecca Deneckre, Daniel Diaz |
| 2012 | CaiSE | VariaMos: a Tool for Product Line Driven Systems Engineering with a Constraint Based Approach. | Ral Mazo, Camille Salinesi, Daniel Diaz |
| 2012 | PPoPP | Performance analysis of parallel constraint-based local search. | Yves Caniou, Daniel Diaz, Florian Richoux, Philippe Codognet, Salvador Abreu |
| 2011 | COMPSAC | Conformance Checking with Constraint Logic Programming: The Case of Feature Models. | Ral Mazo, Roberto Erick Lopez-Herrejon, Camille Salinesi, Daniel Diaz, Alexander Egyed |
| 2011 | ENASE | Transforming Attribute and Clone-enabled Feature Models into Constraint Programs over Finite Domains. | Ral Mazo, Camille Salinesi, Daniel Diaz, Alberto Lora-Michiels |
| 2011 | PADL | Using Constraints for Intrusion Detection: The NeMODe System. | Pedro D. Salgueiro, Daniel Diaz, Isabel Brito, Salvador Abreu |
| 2011 | RCIS | Constraints: The core of product line engineering. | Camille Salinesi, Olfa Djebbi, Ral Mazo, Daniel Diaz, Alberto Lora-Michiels |
| 2011 | SAC | Parallel constraint-based local search on the HA8000 supercomputer (abstract). | Yves Caniou, Philippe Codognet, Daniel Diaz, Salvador Abreu |
| 2010 | IDC | Parallel Constraint-Based Local Search on the Cell/BE Multicore Architecture. | Daniel Diaz, Salvador Abreu, Philippe Codognet |
| 2010 | RE | Using Integer Constraint Solving in Reuse Based Requirements Engineering. | Camille Salinesi, Ral Mazo, Daniel Diaz, Olfa Djebbi |
| 2009 | RE | Exploiting the Versatility of Constraint Programming over Finite Domains to Integrate Product Line Models. | Camille Salinesi, Daniel Diaz, Olfa Djebbi, Ral Mazo, Colette Rolland |
| 2009 | RE | Looking for Product Line Feature Models Defects: Towards a Systematic Classification of Verification Criteria. | Camille Salinesi, Colette Rolland, Daniel Diaz, Ral Mazo |
| 2007 | APSEC | Deriving Product Line Requirements: the RED-PL Guidance Approach. | Olfa Djebbi, Camille Salinesi, Daniel Diaz |
| 2003 | ICLP | Objective: In Minimum Context. | Salvador Abreu, Daniel Diaz |
| 2003 | IUI | Interactive problem solving in an intelligent virtual environment. | Carlos Calderon, Marc Cavazza, Daniel Diaz |
| 2003 | IV | A new approach to virtual design for spatial configuration problems. | Carlos Calderon, Marc Cavazza, Daniel Diaz |
| 2003 | TACAS | Code-Based Test Generation for Validation of Functional Processor Descriptions. | Fabrice Baray, Philippe Codognet, Daniel Diaz, Henri Michel |
| 2000 | PADL | GNU Prolog: Beyond Compiling Prolog to C. | Daniel Diaz, Philippe Codognet |
| 2000 | SAC | The GNU Prolog System and its Implementation. | Daniel Diaz, Philippe Codognet |
| 1995 | ICLP | WAMCC: Compiling Prolog to C. | Philippe Codognet, Daniel Diaz |
| 1994 | ICLP | Entailment of Finite Domain Constraints. | Bjrn Carlson, Mats Carlsson, Daniel Diaz |
| 1993 | ICLP | Boolean Constraint Solving Using clp(FD). | Philippe Codognet, Daniel Diaz |
| 1993 | ICLP | A Minimal Extension of the WAM for clp(FD). | Daniel Diaz, Philippe Codognet |