Salvador Abreu
Salvador Abreu
Professor of Computer Science, University of …vora
Verified email at di.uevora.pt - Homepage
TitleCited byYear
On the Implementation of GNU Prolog
D Diaz, S Abreu, P Codognet
Theory and Practice of Logic Programming, 2010
429*2010
The final frontier: Confidentiality and privacy in the cloud
F Rocha, S Abreu, M Correia
Computer 44 (9), 44-50, 2011
632011
Isco: A practical language for heterogeneous information system construction
S Abreu
Proceedings of INAP 2001 1, 2001
352001
Objective: In minimum context
S Abreu, D Diaz
International Conference in Logic Programming (ICLP), 128-147, 2003
332003
Experiments in parallel constraint-based local search
Y Caniou, P Codognet, D Diaz, S Abreu
Evolutionary Computation in Combinatorial Optimization, 96-107, 2011
312011
A logic-based information system
SP Abreu
Lecture Notes in Computer Science, 141-153, 2000
212000
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
202015
Solving hard stable matching problems via local search and cooperative parallelization
D Munera, D Diaz, S Abreu, F Rossi, V Saraswat, P Codognet
Twenty-Ninth AAAI Conference on Artificial Intelligence, 2015
192015
Parallel constraint-based local search on the cell/BE multicore architecture
D Diaz, S Abreu, P Codognet
Intelligent Distributed Computing IV, 265-274, 2010
182010
A parametric framework for cooperative parallel local search
D Munera, D Diaz, S Abreu, P Codognet
European Conference on Evolutionary Computation in Combinatorial†…, 2014
172014
Targeting the Cell Broadband Engine for constraint‐based local search
D Diaz, S Abreu, P Codognet
Concurrency and Computation: Practice and Experience, 2011
172011
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
162011
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
152012
Using a logic programming language with persistence and contexts
S Abreu, V Nogueira
Declarative Programming for Knowledge Management, 38-47, 2006
152006
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
122012
Relational Information Retrieval through natural language analysis
L Quintano, S Abreu, I Rodrigues
Proceedings of the Applications of prolog 14th international conference on†…, 2001
122001
Improving backward execution in the Andorra family of languages
S Abreu, LM Pereira, P Codognet
Logic Programming: Proceedings of the Joint International Conference and†…, 1992
111992
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
102012
Using constraints for intrusion detection: the NeMODe system
P Salgueiro, D Diaz, I Brito, S Abreu
Practical Aspects of Declarative Languages, 115-129, 2011
102011
Temporal contextual logic programming
V Nogueira, S Abreu
Electronic Notes in Theoretical Computer Science 177, 219-233, 2007
102007
The system can't perform the operation now. Try again later.
Articles 1–20