Daniel de Las Heras Díaz-Plaza
AuthID: R-000-WS7
21
TITLE: Constraint-based local search for the costas array problem
AUTHORS: Diaz, D; Richoux, F; Codognet, P; Caniou, Y; Abreu, S ;
PUBLISHED: 2012, SOURCE: 6th International Conference on Learning and Intelligent Optimization, LION 6 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7219 LNCS
AUTHORS: Diaz, D; Richoux, F; Codognet, P; Caniou, Y; Abreu, S ;
PUBLISHED: 2012, SOURCE: 6th International Conference on Learning and Intelligent Optimization, LION 6 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7219 LNCS
22
TITLE: Performance analysis of parallel constraint-based local search
AUTHORS: Yves Caniou; Daniel Diaz; Florian Richoux; Philippe Codognet; Salvador Abreu ;
PUBLISHED: 2012, SOURCE: 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP'12 in Proceedings of the 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2012, New Orleans, LA, USA, February 25-29, 2012
AUTHORS: Yves Caniou; Daniel Diaz; Florian Richoux; Philippe Codognet; Salvador Abreu ;
PUBLISHED: 2012, SOURCE: 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPoPP'12 in Proceedings of the 17th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming, PPOPP 2012, New Orleans, LA, USA, February 25-29, 2012
23
TITLE: Mesophase formation in a system of top-shaped hard molecules: Density functional theory and Monte Carlo simulation Full Text
AUTHORS: Daniel de las Heras; Szabolcs Varga; Franz J Vesely;
PUBLISHED: 2011, SOURCE: JOURNAL OF CHEMICAL PHYSICS, VOLUME: 134, ISSUE: 21
AUTHORS: Daniel de las Heras; Szabolcs Varga; Franz J Vesely;
PUBLISHED: 2011, SOURCE: JOURNAL OF CHEMICAL PHYSICS, VOLUME: 134, ISSUE: 21
24
TITLE: Using Constraints for Intrusion Detection: The NeMODe System Full Text
AUTHORS: Pedro Salgueiro; Daniel Diaz; Isabel Brito ; Salvador Abreu ;
PUBLISHED: 2011, SOURCE: 13th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, VOLUME: 6539
AUTHORS: Pedro Salgueiro; Daniel Diaz; Isabel Brito ; Salvador Abreu ;
PUBLISHED: 2011, SOURCE: 13th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, VOLUME: 6539
25
TITLE: Experiments in Parallel Constraint-Based Local Search Full Text
AUTHORS: Yves Caniou; Philippe Codognet; Daniel Diaz; Salvador Abreu ;
PUBLISHED: 2011, SOURCE: 11th European Conference on Evolutionary Computation in Combinatorial Optimization in EVOLUTIONARY COMPUTATION IN COMBINATORIAL OPTIMIZATION, VOLUME: 6622
AUTHORS: Yves Caniou; Philippe Codognet; Daniel Diaz; Salvador Abreu ;
PUBLISHED: 2011, SOURCE: 11th European Conference on Evolutionary Computation in Combinatorial Optimization in EVOLUTIONARY COMPUTATION IN COMBINATORIAL OPTIMIZATION, VOLUME: 6622
26
TITLE: Parallel Constraint-Based Local Search on the Cell/BE Multicore Architecture
AUTHORS: Daniel Diaz; Salvador Abreu ; Philippe Codognet;
PUBLISHED: 2010, SOURCE: 4th International Symposium on Intelligent Distributed Computing in INTELLIGENT DISTRIBUTED COMPUTING IV, VOLUME: 315
AUTHORS: Daniel Diaz; Salvador Abreu ; Philippe Codognet;
PUBLISHED: 2010, SOURCE: 4th International Symposium on Intelligent Distributed Computing in INTELLIGENT DISTRIBUTED COMPUTING IV, VOLUME: 315
27
TITLE: On the Implementation of GNU Prolog PDF
AUTHORS: Daniel Diaz; Salvador Abreu ; Philippe Codognet;
PUBLISHED: 2010, SOURCE: CoRR, VOLUME: abs/1012.2496
AUTHORS: Daniel Diaz; Salvador Abreu ; Philippe Codognet;
PUBLISHED: 2010, SOURCE: CoRR, VOLUME: abs/1012.2496
INDEXED IN: 
DBLP 
arXiv
DBLP arXiv28
TITLE: Objective: In minimum context
AUTHORS: Abreu, S ; Diaz, D;
PUBLISHED: 2003, SOURCE: 19th International Conference on Logic Programming in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 2916
AUTHORS: Abreu, S ; Diaz, D;
PUBLISHED: 2003, SOURCE: 19th International Conference on Logic Programming in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 2916
