Salvador Luís de Bethencourt Pinto de Abreu


AuthID: R-000-G4P

Confirmed Publications: 90



51
TITLE: Parallel constraint-based local search on the HA8000 supercomputer (abstract)
AUTHORS: Yves Caniou; Philippe Codognet; Daniel Diaz; Salvador Abreu ;
PUBLISHED: 2011, SOURCE: SAC
INDEXED IN: Scopus DBLP CrossRef: 1
52
TITLE: The Final Frontier: Confidentiality and Privacy in the Cloud
AUTHORS: Rocha, F; Abreu, S ; Correia, M ;
PUBLISHED: 2011, SOURCE: COMPUTER, VOLUME: 44, ISSUE: 9
INDEXED IN: Scopus WOS DBLP CrossRef: 35
53
TITLE: Unbalanced tree search on a manycore system using the GPI programming model
AUTHORS: Rui Machado; Carsten Lojewski; Salvador Abreu ; Franz Josef Pfreundt;
PUBLISHED: 2011, SOURCE: Comput. Sci. Res. Dev., VOLUME: 26, ISSUE: 3-4
INDEXED IN: Scopus DBLP CrossRef: 12
54
TITLE: Using Constraints for Intrusion Detection: The NeMODe System
AUTHORS: Salgueiro, P; Diaz, D; Brito, I ; Abreu, S ;
PUBLISHED: 2011, SOURCE: 13th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, VOLUME: 6539
INDEXED IN: Scopus WOS DBLP CrossRef: 7
55
TITLE: A DSL for intrusion detection based on constraint programming
AUTHORS: Pedro D Salgueiro; Salvador Abreu ;
PUBLISHED: 2010, SOURCE: SIN
INDEXED IN: Scopus DBLP CrossRef: 1
56
TITLE: Casting of the WAM as an EAM
AUTHORS: Andre, P ; Abreu, S ;
PUBLISHED: 2010, SOURCE: 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
INDEXED IN: Scopus
IN MY: ORCID
57
TITLE: Casting of the WAM as an EAM
AUTHORS: Paulo André ; Salvador Abreu ;
PUBLISHED: 2010, SOURCE: CoRR, VOLUME: abs/1009.3806
INDEXED IN: DBLP
58
TITLE: Distributed Work Stealing for Constraint Solving
AUTHORS: Vasco Pedro ; Salvador Abreu ;
PUBLISHED: 2010, SOURCE: CoRR, VOLUME: abs/1009.3800
INDEXED IN: Scopus DBLP
59
TITLE: Parallel Constraint-Based Local Search on the Cell/BE Multicore Architecture
AUTHORS: Diaz, D; Abreu, S ; Codognet, P;
PUBLISHED: 2010, SOURCE: 4th International Symposium on Intelligent Distributed Computing in INTELLIGENT DISTRIBUTED COMPUTING IV, VOLUME: 315
INDEXED IN: Scopus WOS DBLP CrossRef: 14
60
TITLE: Integrating Temporal Annotations in a Modular Logic Language
AUTHORS: Nogueira, V ; Abreu, S ;
PUBLISHED: 2009, SOURCE: 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
INDEXED IN: Scopus WOS DBLP CrossRef
Page 6 of 9. Total results: 90.

footer slogan

Useful Links

Get Help

© 2026 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service