Follow
Salvador Abreu
Salvador Abreu
Professor of Computer Science, NOVA LINCS - University of Évora
Verified email at uevora.pt - Homepage
Title
Cited by
Cited by
Year
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
772011
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
512022
Experiments in parallel constraint-based local search
Y Caniou, P Codognet, D Diaz, S Abreu
Evolutionary Computation in Combinatorial Optimization, 96-107, 2011
442011
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
402015
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
402015
Objective: In minimum context
S Abreu, D Diaz
International Conference in Logic Programming (ICLP), 128-147, 2003
382003
Isco: A practical language for heterogeneous information system construction
S Abreu
Proceedings of INAP 2001 1, 2001
342001
A parametric framework for cooperative parallel local search
D Munera, D Diaz, S Abreu, P Codognet
European Conference on Evolutionary Computation in Combinatorial …, 2014
272014
Parallel constraint-based local search on the cell/BE multicore architecture
D Diaz, S Abreu, P Codognet
Intelligent Distributed Computing IV, 265-274, 2010
262010
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
252011
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
242018
Solving the quadratic assignment problem with cooperative parallel extremal optimization
D Munera, D Diaz, S Abreu
Evolutionary Computation in Combinatorial Optimization: 16th European …, 2016
242016
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
232012
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
212012
Targeting the Cell Broadband Engine for constraint‐based local search
D Diaz, S Abreu, P Codognet
Concurrency and Computation: Practice and Experience, 2011
212011
Using a logic programming language with persistence and contexts
S Abreu, V Nogueira
Declarative Programming for Knowledge Management, 38-47, 2006
182006
Parallel local search
P Codognet, D Munera, D Diaz, S Abreu
Handbook of parallel constraint reasoning, 381-417, 2018
142018
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
142016
The system can't perform the operation now. Try again later.
Articles 1–20