


Остановите войну!
for scientists:


default search action
Daniel Diaz
Person information

- affiliation: University of Paris 1, France
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2022
- [j14]Maximiliano Pavez
, Daniel Diaz
, Heinrich Brasse, Gerhard Kapinos
, Ingmar Budach, Valentin Goldberg, Diego Morata
, Eva Schill
:
Shallow and Deep Electric Structures in the Tolhuaca Geothermal System (S. Chile) Investigated by Magnetotellurics. Remote. Sens. 14(23): 6144 (2022) - [j13]Philipp Körner
, Michael Leuschel
, João Barbosa, Vítor Santos Costa
, Verónica Dahl, Manuel V. Hermenegildo
, José F. Morales
, Jan Wielemaker
, Daniel Diaz
, Salvador Abreu
:
Fifty Years of Prolog and Beyond. Theory Pract. Log. Program. 22(6): 776-858 (2022) - [c56]Marcus Klang, Daniel Diaz, Dennis Medved, Pierre Nugues, Johan Nilsson:
Using Operative Reports to Predict Heart Transplantation Survival. EMBC 2022: 2258-2261 - [c55]Philippe Codognet, Daniel Diaz, Salvador Abreu:
Quantum and Digital Annealing for the Quadratic Assignment Problem. QSW 2022: 1-8 - [i10]Philipp Körner, Michael Leuschel, João Barbosa, Vítor Santos Costa, Verónica Dahl, Manuel V. Hermenegildo, José F. Morales, Jan Wielemaker, Daniel Diaz, Salvador Abreu, Giovanni Ciatto:
50 Years of Prolog and Beyond. CoRR abs/2201.10816 (2022) - [i9]E. A. Huerta, Ben Blaiszik, L. Catherine Brinson, Kristofer E. Bouchard, Daniel Diaz, Caterina Doglioni, Javier M. Duarte, Murali Emani, Ian T. Foster, Geoffrey C. Fox, Philip C. Harris, Lukas Heinrich, Shantenu Jha, Daniel S. Katz, Volodymyr V. Kindratenko, Christine R. Kirkpatrick, Kati Lassila-Perini, Ravi K. Madduri, Mark S. Neubauer, Fotis E. Psomopoulos, Avik Roy, Oliver Rübel, Zhizhen Zhao, Ruike Zhu:
FAIR for AI: An interdisciplinary, international, inclusive, and diverse community building perspective. CoRR abs/2210.08973 (2022) - [i8]Javier M. Duarte, Haoyang Li, Avik Roy, Ruike Zhu, E. A. Huerta, Daniel Diaz, Philip C. Harris, Raghav Kansal, Daniel S. Katz, Ishaan H. Kavoori, Volodymyr V. Kindratenko, Farouk Mokhtar, Mark S. Neubauer, Sang Eon Park, Melissa Quinnan, Roger Rusack, Zhizhen Zhao:
FAIR AI Models in High Energy Physics. CoRR abs/2212.05081 (2022) - 2021
- [c54]Jonathan Duque
, Danny A. Múnera
, Daniel Diaz
, Salvador Abreu
:
Solving QAP with Auto-parameterization in Parallel Hybrid Metaheuristics. OLA 2021: 294-309 - [i7]Yifan Chen, E. A. Huerta, Javier M. Duarte, Philip C. Harris, Daniel S. Katz, Mark S. Neubauer, Daniel Diaz, Farouk Mokhtar, Raghav Kansal, Sang Eon Park
, Volodymyr V. Kindratenko, Zhizhen Zhao, Roger Rusack:
A FAIR and AI-ready Higgs Boson Decay Dataset. CoRR abs/2108.02214 (2021) - [i6]Allison McCarn Deiana, Nhan Tran, Joshua Agar, Michaela Blott, Giuseppe Di Guglielmo, Javier M. Duarte, Philip C. Harris, Scott Hauck, Mia Liu, Mark S. Neubauer, Jennifer Ngadiuba, Seda Ogrenci Memik, Maurizio Pierini, Thea Aarrestad, Steffen Bähr, Jürgen Becker, Anne-Sophie Berthold, Richard J. Bonventre, Tomás E. Müller-Bravo
, Markus Diefenthaler, Zhen Dong, Nick Fritzsche, Amir Gholami, Ekaterina Govorkova, Kyle J. Hazelwood, Christian Herwig, Babar Khan, Sehoon Kim, Thomas Klijnsma, Yaling Liu, Kin Ho Lo, Tri Nguyen, Gianantonio Pezzullo, Seyedramin Rasoulinezhad, Ryan A. Rivera, Kate Scholberg, Justin Selig, Sougata Sen, Dmitri Strukov, William Tang, Savannah Thais, Kai Lukas Unger, Ricardo Vilalta, Belinavon Krosigk
, Thomas K. Warburton, Maria Acosta Flechas, Anthony Aportela
, Thomas Calvet, Leonardo Cristella, Daniel Diaz, Caterina Doglioni, Maria Domenica Galati, Elham E Khoda, Farah Fahim, Davide Giri, Benjamin Hawks, Duc Hoang, Burt Holzman, Shih-Chieh Hsu, Sergo Jindariani, Iris Johnson, Raghav Kansal, Ryan Kastner, Erik Katsavounidis, Jeffrey D. Krupa, Pan Li, Sandeep Madireddy, Ethan Marx, Patrick McCormack, Andres Meza, Jovan Mitrevski, Mohammed Attia Mohammed, Farouk Mokhtar, Eric A. Moreno, Srishti Nagu, Rohin Narayan, Noah Palladino, Zhiqiang Que, Sang Eon Park
, Subramanian Ramamoorthy, Dylan S. Rankin, Simon Rothman, Ashish Sharma, Sioni Summers, Pietro Vischia, Jean-Roch Vlimant, Olivia Weng:
Applications and Techniques for Fast Machine Learning in Science. CoRR abs/2110.13041 (2021) - [i5]Farouk Mokhtar, Raghav Kansal, Daniel Diaz, Javier M. Duarte, Joosep Pata, Maurizio Pierini, Jean-Roch Vlimant:
Explaining machine-learned particle-flow reconstruction. CoRR abs/2111.12840 (2021) - [i4]Steven Tsan, Raghav Kansal, Anthony Aportela, Daniel Diaz, Javier M. Duarte, Sukanya Krishna, Farouk Mokhtar, Jean-Roch Vlimant, Maurizio Pierini:
Particle Graph Autoencoders and Differentiable, Learned Energy Mover's Distance. CoRR abs/2111.12849 (2021) - 2020
- [c53]Daniel Diaz, Juan Gil, Steban Cadena, María Trujillo:
Psique: Computerised Neuropsychological Assessment. pHealth 2020: 249-251
2010 – 2019
- 2019
- [c52]Jacques Robin, Raúl Mazo, Henrique Madeira, Raul Barbosa
, Daniel Diaz, Salvador Abreu
:
A Self-certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence. SAFECOMP Workshops 2019: 391-397 - 2018
- [c51]Pedro Roque
, Vasco Pedro, Daniel Diaz, Salvador Abreu
:
Improving Constraint Solving on Parallel Hybrid Systems. ICTAI 2018: 726-732 - [c50]Jheisson López, Danny Munera
, Daniel Diaz, Salvador Abreu
:
On Integrating Population-Based Metaheuristics with Cooperative Parallelism. IPDPS Workshops 2018: 601-608 - [c49]Jheisson López, Danny Múnera
, Daniel Diaz, Salvador Abreu
:
Weaving of Metaheuristics with Cooperative Parallelism. PPSN (1) 2018: 436-448 - [p2]Philippe Codognet, Danny Munera
, Daniel Diaz, Salvador Abreu
:
Parallel Local Search. Handbook of Parallel Constraint Reasoning 2018: 381-417 - 2016
- [c48]Danny Munera
, Daniel Diaz, Salvador Abreu
:
Solving the Quadratic Assignment Problem with Cooperative Parallel Extremal Optimization. EvoCOP 2016: 251-266 - [c47]Danny Munera
, Daniel Diaz, Salvador Abreu
:
Hybridization as Cooperative Parallelism for the Quadratic Assignment Problem. HM 2016: 47-61 - [c46]Danillo Sprovieri, Daniel Diaz, Raúl Mazo, Knut Hinkelmann
:
Run-time planning of case-based business processes. RCIS 2016: 1-6 - [c45]Hector Miyashiro, Emmanuel Boutillon, Christian Roland, Joel Vilca, Daniel Diaz:
Improved Multiplierless Architecture for Header Detection in DVB-S2 Standard. SiPS 2016: 248-253 - 2015
- [j12]Yves Caniou, Philippe Codognet, Florian Richoux, Daniel Diaz, Salvador Abreu
:
Large-scale parallelism for constraint-based local search: the costas array case study. Constraints An Int. J. 20(1): 30-56 (2015) - [c44]Danny Munera, Daniel Diaz, Salvador Abreu, Francesca Rossi, Vijay A. Saraswat, Philippe Codognet:
Solving Hard Stable Matching Problems via Local Search and Cooperative Parallelization. AAAI 2015: 1212-1218 - 2014
- [j11]Germán H. Alférez
, Vicente Pelechano
, Raúl Mazo, Camille Salinesi, Daniel Diaz:
Dynamic adaptation of service compositions with variability models. J. Syst. Softw. 91: 24-47 (2014) - [c43]Danny Munera
, Daniel Diaz, Salvador Abreu
, Philippe Codognet:
A Parametric Framework for Cooperative Parallel Local Search. EvoCOP 2014: 13-24 - [c42]Danny Munera
, Daniel Diaz, Salvador Abreu
, Philippe Codognet:
Flexible cooperation in parallel local search. SAC 2014: 1360-1361 - [c41]L. F. Rincón
, Gloria Lucía Giraldo G., Raúl Mazo, Camille Salinesi, Daniel Diaz:
Method to Identify Corrections of Defects on Product Line Models. CLEI Selected Papers 2014: 61-81 - [p1]Raúl Mazo, Cosmin Dumitrescu, Camille Salinesi, Daniel Diaz:
Recommendation Heuristics for Improving Product Line Configuration Processes. Recommendation Systems in Software Engineering 2014: 511-537 - 2013
- [j10]Óscar García, Pedro Alou, Jesús Ángel Oliver, Daniel Diaz, David Meneses, José A. Cobos, Andres Soto, Emilio Lapena, Jesus Rancano:
Comparison of Boost-Based MPPT Topologies for Space Applications. IEEE Trans. Aerosp. Electron. Syst. 49(2): 1091-1107 (2013) - [c40]Luiz Angelo Steffenel, Olivier Flauzac, Andrea Schwertner Charão, Patrícia Pitthan Barcelos, Benhur de Oliveira Stein, Sergio Nesmachnow
, Manuele Kirsch-Pinheiro, Daniel Diaz:
PER-MARE: Adaptive Deployment of MapReduce over Pervasive Grids. 3PGCIC 2013: 17-24 - [c39]Danny Munera
, Daniel Diaz, Salvador Abreu
:
Towards Parallel Constraint-Based Local Search with the X10 Language. KDPD 2013: 169-184 - [c38]Rui Machado, Salvador Abreu
, Daniel Diaz:
Parallel Performance of Declarative Programming Using a PGAS Model. PADL 2013: 244-260 - [c37]Irene Rodrigues
, Nuno Matos, Salvador Abreu
, Rébecca Deneckère, Daniel Diaz:
Towards constraint-informed information systems. RCIS 2013: 1-10 - [c36]Anthony Barré, Emmanuel Boutillon, Neysser Bias, Daniel Diaz:
A polar-based demapper of 8PSK demodulation for DVB-S2 systems. SiPS 2013: 13-17 - [i3]Rui Machado, Salvador Abreu, Daniel Diaz:
Parallel Local Search: Experiments with a PGAS-based programming model. CoRR abs/1301.7699 (2013) - [i2]Danny Munera, Daniel Diaz, Salvador Abreu:
Experimenting with X10 for Parallel Constraint-Based Local Search. CoRR abs/1307.4641 (2013) - 2012
- [j9]Pete Sawyer, Raúl Mazo, Daniel Diaz, Camille Salinesi, Danny Hughes:
Using Constraint Programming to Manage Configurations in Self-Adaptive Systems. Computer 45(10): 56-63 (2012) - [j8]Daniel Diaz, Salvador Abreu
, Philippe Codognet:
Targeting the Cell Broadband Engine for constraint-based local search. Concurr. Comput. Pract. Exp. 24(6): 647-660 (2012) - [j7]Raúl Mazo, Camille Salinesi, Daniel Diaz, Olfa Djebbi, Alberto Lora-Michiels:
Constraints: The Heart of Domain and Application Engineering in the Product Lines Engineering Strategy. Int. J. Inf. Syst. Model. Des. 3(2): 33-68 (2012) - [j6]Daniel Diaz, Miroslav Vasic
, Óscar García, Jesús Ángel Oliver, Pedro Alou
, Roberto Prieto, José A. Cobos:
Three-Level Cell Topology for a Multilevel Power Supply to Achieve High Efficiency Envelope Amplifier. IEEE Trans. Circuits Syst. I Regul. Pap. 59-I(9): 2147-2160 (2012) - [j5]Daniel Diaz, Salvador Abreu
, Philippe Codognet:
On the implementation of GNU Prolog. Theory Pract. Log. Program. 12(1-2): 253-282 (2012) - [c35]Raúl Mazo, Camille Salinesi, Daniel Diaz:
VariaMos: a Tool for Product Line Driven Systems Engineering with a Constraint Based Approach. CAiSE Forum 2012: 147-154 - [c34]Daniel Diaz, Florian Richoux, Yves Caniou, Philippe Codognet, Salvador Abreu
:
Parallel Local Search for the Costas Array Problem. IPDPS Workshops 2012: 1793-1802 - [c33]Daniel Diaz, Florian Richoux, Philippe Codognet, Yves Caniou, Salvador Abreu
:
Constraint-Based Local Search for the Costas Array Problem. LION 2012: 378-383 - [c32]Yves Caniou, Daniel Diaz, Florian Richoux, Philippe Codognet, Salvador Abreu
:
Performance analysis of parallel constraint-based local search. PPoPP 2012: 337-338 - 2011
- [c31]Raúl Mazo, Roberto Erick Lopez-Herrejon, Camille Salinesi, Daniel Diaz, Alexander Egyed:
Conformance Checking with Constraint Logic Programming: The Case of Feature Models. COMPSAC 2011: 456-465 - [c30]Raúl Mazo, Camille Salinesi, Daniel Diaz, Alberto Lora-Michiels:
Transforming Attribute and Clone-enabled Feature Models into Constraint Programs over Finite Domains. ENASE 2011: 188-199 - [c29]Yves Caniou, Philippe Codognet, Daniel Diaz, Salvador Abreu
:
Experiments in Parallel Constraint-Based Local Search. EvoCOP 2011: 96-107 - [c28]Pedro D. Salgueiro
, Daniel Diaz, Isabel Brito
, Salvador Abreu
:
Using Constraints for Intrusion Detection: The NeMODe System. PADL 2011: 115-129 - [c27]Camille Salinesi, Olfa Djebbi, Raúl Mazo, Daniel Diaz, Alberto Lora-Michiels:
Constraints: The core of product line engineering. RCIS 2011: 1-10 - [c26]Yves Caniou, Philippe Codognet, Daniel Diaz, Salvador Abreu
:
Parallel constraint-based local search on the HA8000 supercomputer (abstract). SAC 2011: 920-921 - [c25]Raúl Mazo, Paul Grünbacher
, Wolfgang Heider, Rick Rabiser
, Camille Salinesi, Daniel Diaz:
Using constraint programming to verify DOPLER variability models. VaMoS 2011: 97-103 - 2010
- [c24]Daniel Diaz, Salvador Abreu
, Philippe Codognet:
Parallel Constraint-Based Local Search on the Cell/BE Multicore Architecture. IDC 2010: 265-274 - [c23]Camille Salinesi, Raúl Mazo, Daniel Diaz:
Criteria for the verification of feature models. INFORSID 2010: 293-308 - [c22]Camille Salinesi, Raúl Mazo, Daniel Diaz, Olfa Djebbi:
Using Integer Constraint Solving in Reuse Based Requirements Engineering. RE 2010: 243-251 - [i1]Daniel Diaz, Salvador Abreu, Philippe Codognet:
On the Implementation of GNU Prolog. CoRR abs/1012.2496 (2010)
2000 – 2009
- 2009
- [c21]Camille Salinesi, Daniel Diaz, Olfa Djebbi, Raúl Mazo, Colette Rolland:
Exploiting the Versatility of Constraint Programming over Finite Domains to Integrate Product Line Models. RE 2009: 375-376 - [c20]Camille Salinesi, Colette Rolland, Daniel Diaz, Raúl Mazo:
Looking for Product Line Feature Models Defects: Towards a Systematic Classification of Verification Criteria. RE 2009: 385-386 - [c19]Salvador Abreu
, Daniel Diaz, Philippe Codognet:
Parallel local search for solving Constraint Problems on the Cell Broadband Engine (Preliminary Results). LSCS 2009: 97-111 - 2007
- [c18]Olfa Djebbi, Camille Salinesi, Daniel Diaz:
Deriving Product Line Requirements: the RED-PL Guidance Approach. APSEC 2007: 494-501 - 2006
- [j4]Carlos Calderon, Marc Cavazza, Daniel Diaz:
CLP a technology for the interactive resolution of spatial configuration tasks in a virtual environment. J. Inf. Technol. Constr. 11: 325-341 (2006) - 2004
- [c17]Salvador Abreu, Daniel Diaz:
Contexts for Organizational Information System Design and Implementation. ICEIS (1) 2004: 227-232 - 2003
- [c16]Salvador Abreu
, Daniel Diaz:
Objective: In Minimum Context. ICLP 2003: 128-147 - [c15]Carlos Calderon
, Marc Cavazza, Daniel Diaz:
Interactive problem solving in an intelligent virtual environment. IUI 2003: 319 - [c14]Carlos Calderon
, Marc Cavazza
, Daniel Diaz:
A new approach to virtual design for spatial configuration problems. IV 2003: 518-523 - [c13]Carlos Calderon
, Marc Cavazza, Daniel Diaz:
A New Approach to the Interactive Resolution of Configuration Problems in Virtual Environments. Smart Graphics 2003: 112-122 - [c12]Fabrice Baray, Philippe Codognet, Daniel Diaz, Henri Michel:
Code-Based Test Generation for Validation of Functional Processor Descriptions. TACAS 2003: 569-584 - 2001
- [j3]Daniel Diaz, Philippe Codognet:
Design and Implementation of the GNU Prolog System. J. Funct. Log. Program. 2001(6) (2001) - [c11]Philippe Codognet, Daniel Diaz:
Yet Another Local Search Method for Constraint Solving. SAGA 2001: 73-90 - 2000
- [c10]Daniel Diaz, Philippe Codognet:
GNU Prolog: Beyond Compiling Prolog to C. PADL 2000: 81-92 - [c9]Daniel Diaz, Philippe Codognet:
The GNU Prolog System and its Implementation. SAC (2) 2000: 728-732
1990 – 1999
- 1996
- [j2]Philippe Codognet, Daniel Diaz:
A Simple and Efficient Boolean Solver for Constraint Logic Programming. J. Autom. Reason. 17(1): 97-129 (1996) - [j1]Philippe Codognet, Daniel Diaz:
Compiling Constraints in clp(FD). J. Log. Program. 27(3): 185-226 (1996) - [c8]Philippe Codognet, Daniel Diaz, Francesca Rossi:
Constraint Reaction in FD. FSTTCS 1996: 168-179 - 1995
- [b1]Daniel Diaz:
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). University of Orléans, France, 1995 - [c7]Philippe Codognet, Daniel Diaz:
WAMCC: Compiling Prolog to C. ICLP 1995: 317-331 - [c6]Philippe Codognet, Daniel Diaz:
The clp(FD) system. JFPLC 1995: 357-360 - 1994
- [c5]Björn Carlson, Mats Carlsson, Daniel Diaz:
Entailment of Finite Domain Constraints. ICLP 1994: 339-353 - [c4]Philippe Codognet, Daniel Diaz:
clp(B): Combining Simplicity and Efficiency in Boolean Constraint Solving. PLILP 1994: 244-260 - 1993
- [c3]Philippe Codognet, Daniel Diaz:
Boolean Constraint Solving Using clp(FD). ICLP Workshop on Concurrent Constraint Programming 1993 - [c2]Daniel Diaz, Philippe Codognet:
A Minimal Extension of the WAM for clp(FD). ICLP 1993: 774-790 - [c1]Philippe Codognet, Daniel Diaz:
Boolean Constraint Solving Using clp(FD). ILPS 1993: 525-539
Coauthor Index

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2023-03-14 16:09 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint