Salvador Luís de Bethencourt Pinto de Abreu


AuthID: R-000-G4P

Publicações Confirmadas: 90



51
TÍTULO: Parallel constraint-based local search on the HA8000 supercomputer (abstract)
AUTORES: Yves Caniou; Philippe Codognet; Daniel Diaz; Salvador Abreu ;
PUBLICAÇÃO: 2011, FONTE: SAC
INDEXADO EM: Scopus DBLP CrossRef: 1
52
TÍTULO: The Final Frontier: Confidentiality and Privacy in the Cloud
AUTORES: Rocha, F; Abreu, S ; Correia, M ;
PUBLICAÇÃO: 2011, FONTE: COMPUTER, VOLUME: 44, NÚMERO: 9
INDEXADO EM: Scopus WOS DBLP CrossRef: 35
53
TÍTULO: Unbalanced tree search on a manycore system using the GPI programming model
AUTORES: Rui Machado; Carsten Lojewski; Salvador Abreu ; Franz Josef Pfreundt;
PUBLICAÇÃO: 2011, FONTE: Comput. Sci. Res. Dev., VOLUME: 26, NÚMERO: 3-4
INDEXADO EM: Scopus DBLP CrossRef: 12
54
TÍTULO: Using Constraints for Intrusion Detection: The NeMODe System
AUTORES: Salgueiro, P; Diaz, D; Brito, I ; Abreu, S ;
PUBLICAÇÃO: 2011, FONTE: 13th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, VOLUME: 6539
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
55
TÍTULO: A DSL for intrusion detection based on constraint programming
AUTORES: Pedro D Salgueiro; Salvador Abreu ;
PUBLICAÇÃO: 2010, FONTE: SIN
INDEXADO EM: Scopus DBLP CrossRef: 1
56
TÍTULO: Casting of the WAM as an EAM
AUTORES: Andre, P ; Abreu, S ;
PUBLICAÇÃO: 2010, FONTE: 26th International Conference on Logic Programming, ICLP 2010 - Joint Workshop on Implementation of Constraint Logic Programming Systems and Logic-based Methods in Programming Environments - CICLOPS-WLPE 2010 in Joint Workshop on Implementation of Constraint Logic Programming Systems and Logic-based Methods in Programming Environments, CICLOPS-WLPE 2010
INDEXADO EM: Scopus
NO MEU: ORCID
57
TÍTULO: Casting of the WAM as an EAM
AUTORES: Paulo André ; Salvador Abreu ;
PUBLICAÇÃO: 2010, FONTE: CoRR, VOLUME: abs/1009.3806
INDEXADO EM: DBLP
58
TÍTULO: Distributed Work Stealing for Constraint Solving
AUTORES: Vasco Pedro ; Salvador Abreu ;
PUBLICAÇÃO: 2010, FONTE: CoRR, VOLUME: abs/1009.3800
INDEXADO EM: Scopus DBLP
59
TÍTULO: Parallel Constraint-Based Local Search on the Cell/BE Multicore Architecture
AUTORES: Diaz, D; Abreu, S ; Codognet, P;
PUBLICAÇÃO: 2010, FONTE: 4th International Symposium on Intelligent Distributed Computing in INTELLIGENT DISTRIBUTED COMPUTING IV, VOLUME: 315
INDEXADO EM: Scopus WOS DBLP CrossRef: 14
60
TÍTULO: Integrating Temporal Annotations in a Modular Logic Language
AUTORES: Nogueira, V ; Abreu, S ;
PUBLICAÇÃO: 2009, FONTE: 17th International Conference on Applications of Declarative Programming and Knowledge Management/21st Workshop on Logic Programming in APPLICATIONS OF DECLARATIVE PROGRAMMING AND KNOWLEDGE MANAGEMENT, VOLUME: 5437
INDEXADO EM: Scopus WOS DBLP CrossRef
Página 6 de 9. Total de resultados: 90.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service