On the Implementation of GNU Prolog D Diaz, S Abreu, P Codognet Theory and Practice of Logic Programming, 2010 | 785* | 2010 |
The final frontier: Confidentiality and privacy in the cloud F Rocha, S Abreu, M Correia Computer 44 (9), 44-50, 2011 | 77 | 2011 |
Fifty years of Prolog and beyond P Körner, M Leuschel, J Barbosa, VS Costa, V Dahl, MV Hermenegildo, ... Theory and Practice of Logic Programming 22 (6), 776-858, 2022 | 51 | 2022 |
Experiments in parallel constraint-based local search Y Caniou, P Codognet, D Diaz, S Abreu Evolutionary Computation in Combinatorial Optimization, 96-107, 2011 | 44 | 2011 |
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 | 40 | 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, 30-56, 2015 | 40 | 2015 |
Objective: In minimum context S Abreu, D Diaz International Conference in Logic Programming (ICLP), 128-147, 2003 | 38 | 2003 |
Isco: A practical language for heterogeneous information system construction S Abreu Proceedings of INAP 2001 1, 2001 | 34 | 2001 |
A parametric framework for cooperative parallel local search D Munera, D Diaz, S Abreu, P Codognet European Conference on Evolutionary Computation in Combinatorial …, 2014 | 27 | 2014 |
Parallel constraint-based local search on the cell/BE multicore architecture D Diaz, S Abreu, P Codognet Intelligent Distributed Computing IV, 265-274, 2010 | 26 | 2010 |
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 | 25 | 2011 |
A logic-based information system SP Abreu Lecture Notes in Computer Science, 141-153, 2000 | 25* | 2000 |
Domain-specific languages in Prolog for declarative expert knowledge in rules and ontologies D Seipel, F Nogatz, S Abreu Computer languages, systems & structures 51, 102-117, 2018 | 24 | 2018 |
Solving the quadratic assignment problem with cooperative parallel extremal optimization D Munera, D Diaz, S Abreu Evolutionary Computation in Combinatorial Optimization: 16th European …, 2016 | 24 | 2016 |
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 | 23 | 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 | 21 | 2012 |
Targeting the Cell Broadband Engine for constraint‐based local search D Diaz, S Abreu, P Codognet Concurrency and Computation: Practice and Experience, 2011 | 21 | 2011 |
Using a logic programming language with persistence and contexts S Abreu, V Nogueira Declarative Programming for Knowledge Management, 38-47, 2006 | 18 | 2006 |
Parallel local search P Codognet, D Munera, D Diaz, S Abreu Handbook of parallel constraint reasoning, 381-417, 2018 | 14 | 2018 |
Hybridization as cooperative parallelism for the quadratic assignment problem D Munera, D Diaz, S Abreu Hybrid Metaheuristics: 10th International Workshop, HM 2016, Plymouth, UK …, 2016 | 14 | 2016 |