On the Implementation of GNU Prolog D Diaz, S Abreu, P Codognet Theory and Practice of Logic Programming, 2010 | 539* | 2010 |
The final frontier: Confidentiality and privacy in the cloud F Rocha, S Abreu, M Correia Computer 44 (9), 44-50, 2011 | 68 | 2011 |
Experiments in parallel constraint-based local search Y Caniou, P Codognet, D Diaz, S Abreu Evolutionary Computation in Combinatorial Optimization, 96-107, 2011 | 40 | 2011 |
Objective: In minimum context S Abreu, D Diaz International Conference in Logic Programming (ICLP), 128-147, 2003 | 35 | 2003 |
Isco: A practical language for heterogeneous information system construction S Abreu Proceedings of INAP 2001 1, 2001 | 33 | 2001 |
Solving hard stable matching problems via local search and cooperative parallelization D Munera, D Diaz, S Abreu, F Rossi, V Saraswat, P Codognet Proceedings of the AAAI Conference on Artificial Intelligence 29 (1), 2015 | 29 | 2015 |
Large-scale parallelism for constraint-based local search: the costas array case study Y Caniou, P Codognet, F Richoux, D Diaz, S Abreu Constraints 20 (1), 30-56, 2015 | 27 | 2015 |
Parallel constraint-based local search on the cell/BE multicore architecture D Diaz, S Abreu, P Codognet Intelligent Distributed Computing IV, 265-274, 2010 | 25 | 2010 |
A parametric framework for cooperative parallel local search D Munera, D Diaz, S Abreu, P Codognet European Conference on Evolutionary Computation in Combinatorial …, 2014 | 23 | 2014 |
A logic-based information system SP Abreu Lecture Notes in Computer Science, 141-153, 2000 | 22 | 2000 |
Unbalanced tree search on a manycore system using the GPI programming model R Machado, C Lojewski, S Abreu, FJ Pfreundt Computer Science-Research and Development, 1-8, 2011 | 21 | 2011 |
Targeting the Cell Broadband Engine for constraint‐based local search D Diaz, S Abreu, P Codognet Concurrency and Computation: Practice and Experience, 2011 | 20 | 2011 |
Parallel local search for the costas array problem D Diaz, F Richoux, Y Caniou, P Codognet, S Abreu 2012 IEEE 26th International Parallel and Distributed Processing Symposium …, 2012 | 18 | 2012 |
Constraint-based local search for the costas array problem D Diaz, F Richoux, P Codognet, Y Caniou, S Abreu International Conference on Learning and Intelligent Optimization, 378-383, 2012 | 18 | 2012 |
Using a logic programming language with persistence and contexts S Abreu, V Nogueira Declarative Programming for Knowledge Management, 38-47, 2006 | 15 | 2006 |
Solving the quadratic assignment problem with cooperative parallel extremal optimization D Munera, D Diaz, S Abreu Evolutionary Computation in Combinatorial Optimization, 251-266, 2016 | 14 | 2016 |
Parallel Local Search: Experiments with a PGAS-based programming model R Machado, S Abreu, D Diaz arXiv preprint arXiv:1301.7699, 2013 | 12 | 2013 |
Performance analysis of parallel constraint-based local search Y Caniou, D Diaz, F Richoux, P Codognet, S Abreu ACM SIGPLAN Notices 47 (8), 337-338, 2012 | 12 | 2012 |
Using constraints for intrusion detection: the NeMODe system P Salgueiro, D Diaz, I Brito, S Abreu Practical Aspects of Declarative Languages, 115-129, 2011 | 12 | 2011 |
Distributed work stealing for constraint solving V Pedro, S Abreu Arxiv preprint arXiv:1009.3800, 2010 | 12 | 2010 |