Salvador Luís de Bethencourt Pinto de Abreu


AuthID: R-000-G4P

Publicações Confirmadas: 110



1
TÍTULO: An Architecture for Composite Combinatorial Optimization Solvers  Full Text
AUTORES: Chrit, Khalil; Baffier, Jean Francois; Patinho, Pedro; Abreu, Salvador ;
PUBLICAÇÃO: 2025, FONTE: 14th Symposium on Languages Applications and Technologies-SLATE in 14TH SYMPOSIUM ON LANGUAGES, APPLICATIONS AND TECHNOLOGIES, SLATE 2025, VOLUME: 135
INDEXADO EM: Scopus WOS DBLP
2
TÍTULO: Elements for Weighted Answer-Set Programming  Full Text
AUTORES: Coelho, Francisco; Dinis, Bruno; Seipel, Dietmar; Abreu, Salvador ;
PUBLICAÇÃO: 2025, FONTE: 14th Symposium on Languages Applications and Technologies-SLATE in 14TH SYMPOSIUM ON LANGUAGES, APPLICATIONS AND TECHNOLOGIES, SLATE 2025, VOLUME: 135
INDEXADO EM: Scopus WOS DBLP Handle
3
TÍTULO: A Logic-Based Model to Reduce IoT Security Risks
AUTORES: Luiz Otavio Botelho Lento; Pedro Patinho; Salvador Abreu ;
PUBLICAÇÃO: 2024, FONTE: ICAART (3), VOLUME: 3
INDEXADO EM: Scopus DBLP
4
TÍTULO: A Model to Manage Security Risks in IoT Systems
AUTORES: Luiz Otavio Botelho Lento; Pedro Patinho; Salvador Abreu ;
PUBLICAÇÃO: 2024, FONTE: ICAART (Revised Selected Paper, 2), VOLUME: 15592 LNAI
INDEXADO EM: Scopus DBLP CrossRef
5
TÍTULO: Combining IoT Risk Management with Logic Programming; [Combinando Gestão de Riscos em IoT com Programação em Lógica]
AUTORES: Luiz Otavio Botelho Lento; Pedro Patinho; Salvador Abreu ;
PUBLICAÇÃO: 2023, FONTE: 18th Iberian Conference on Information Systems and Technologies, CISTI 2023 in Iberian Conference on Information Systems and Technologies, CISTI, VOLUME: 2023-June
INDEXADO EM: Scopus CrossRef
6
TÍTULO: Demonstrating (Hybrid) Active Logic Documents and the Ciao Prolog Playground, and an Application to Verification Tutorials  Full Text
AUTORES: Ferreiro, Daniela; Morales, Jose F.; Abreu, Salvador ; Hermenegildo, Manuel V.;
PUBLICAÇÃO: 2023, FONTE: 39th International Conference on Logic Programming (ICLP) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 385, NÚMERO: 385
INDEXADO EM: Scopus WOS DBLP
7
TÍTULO: Multi-objective Finite-Domain Constraint-Based Forest Management
AUTORES: Eloy, Eduardo; Bushenkov, Vladimir; Abreu, Salvador ;
PUBLICAÇÃO: 2023, FONTE: 22nd Regular meeting of the Portuguese-Association-of-Operational-Research (APDIO) in OPERATIONAL RESEARCH, IO 2022-OR, VOLUME: 437
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
8
TÍTULO: Querying Relational Databases with Speech-Recognition Driven by Contextual Knowledge
AUTORES: Dietmar Seipel; Benjamin Förster; Magnus Liebl; Marcel Waleska; Salvador Abreu ;
PUBLICAÇÃO: 2023, FONTE: SLATE, VOLUME: 113
INDEXADO EM: Scopus DBLP
9
TÍTULO: Teaching Prolog with Active Logic Documents
AUTORES: José F Morales; Salvador Abreu ; Daniela Ferreiro; Manuel V Hermenegildo;
PUBLICAÇÃO: 2023, FONTE: Prolog: The Next 50 Years, VOLUME: 13900 LNAI
INDEXADO EM: Scopus DBLP
10
TÍTULO: Constraint Modeling for Forest Management
AUTORES: Eloy, Eduardo; Bushenkov, Vladimir; Abreu, Salvador ;
PUBLICAÇÃO: 2022, FONTE: International Conference on Dynamical Control and Optimization(DCO) in DYNAMIC CONTROL AND OPTIMIZATION, DCO 2021, VOLUME: 407
INDEXADO EM: Scopus WOS CrossRef: 1
NO MEU: ORCID
Página 1 de 11. Total de resultados: 110.

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