Salvador Luís de Bethencourt Pinto de Abreu
AuthID: R-000-G4P
1
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
AUTORES: Luiz Otavio Botelho Lento; Pedro Patinho; Salvador Abreu;
PUBLICAÇÃO: 2024, FONTE: ICAART (Revised Selected Paper, 2), VOLUME: 15592 LNAI
2
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
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
Scopus3
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
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
4
TÃTULO: Combining IoT Risk Management with Logic Programming
AUTORES: Luiz Otávio Botelho Lento; Pedro Patinho; Salvador Abreu;
PUBLICAÇÃO: 2023, FONTE: 2023 18th Iberian Conference on Information Systems and Technologies (CISTI)
AUTORES: Luiz Otávio Botelho Lento; Pedro Patinho; Salvador Abreu;
PUBLICAÇÃO: 2023, FONTE: 2023 18th Iberian Conference on Information Systems and Technologies (CISTI)
5
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
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
6
TÃTULO: Preface
AUTORES: Hofstedt, P; Abreu, S; John, U; Kuchen, H; Seipel, D;
PUBLICAÇÃO: 2020, FONTE: 22nd International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2019, the 33rd Workshop on Logic Programming, WLP 2019, and the 27th Workshop on Functional and Constraint Logic Programming, WFLP 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12057 LNAI
AUTORES: Hofstedt, P; Abreu, S; John, U; Kuchen, H; Seipel, D;
PUBLICAÇÃO: 2020, FONTE: 22nd International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2019, the 33rd Workshop on Logic Programming, WLP 2019, and the 27th Workshop on Functional and Constraint Logic Programming, WFLP 2019 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12057 LNAI
INDEXADO EM: Scopus
Scopus NO MEU: 
ORCID
ORCID7
TÃTULO: Declarative Programming and Knowledge Management. Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9–12, 2019, Revised Selected Papers
AUTORES: Petra Hofstedt; Salvador Abreu; Ulrich John; Herbert Kuchen; Dietmar Seipel;
PUBLICAÇÃO: 2020, FONTE: Lecture Notes in Computer Science
AUTORES: Petra Hofstedt; Salvador Abreu; Ulrich John; Herbert Kuchen; Dietmar Seipel;
PUBLICAÇÃO: 2020, FONTE: Lecture Notes in Computer Science
8
TÃTULO: Constraint-Informed Information Systems in Space Management Utilization
AUTORES: Irene Rodrigues; Rui Quaresma; Daniel Diaz; Salvador Abreu;
PUBLICAÇÃO: 2016
AUTORES: Irene Rodrigues; Rui Quaresma; Daniel Diaz; Salvador Abreu;
PUBLICAÇÃO: 2016
INDEXADO EM: 
Handle
Handle9
TÃTULO: Artificial intelligence for the detection of AOX functional markers
AUTORES: Quaresma, P ; Gonçalves, T ; Abreu, S; Costa, JH; Mashayekhi, K; Arnholdt Schmitt, B; Svensson, JT;
PUBLICAÇÃO: 2015, FONTE: Alternative Respiratory Pathways in Higher Plants
AUTORES: Quaresma, P ; Gonçalves, T ; Abreu, S; Costa, JH; Mashayekhi, K; Arnholdt Schmitt, B; Svensson, JT;
PUBLICAÇÃO: 2015, FONTE: Alternative Respiratory Pathways in Higher Plants
INDEXADO EM: Scopus Handle
Scopus Handle NO MEU: ORCID
ORCID10
TÃTULO: Artificial intelligence for the detection ofAOXfunctional markers
AUTORES: Paulo Quaresma ; Teresa Gonçalves ; Salvador Abreu; José Hélio Costa; Kaveh Mashayekhi; Birgit Arnholdt-Schmitt; Jan T Svensson;
PUBLICAÇÃO: 2015, FONTE: Alternative respiratory pathways in higher plants
AUTORES: Paulo Quaresma ; Teresa Gonçalves ; Salvador Abreu; José Hélio Costa; Kaveh Mashayekhi; Birgit Arnholdt-Schmitt; Jan T Svensson;
PUBLICAÇÃO: 2015, FONTE: Alternative respiratory pathways in higher plants
