Salvador Luís de Bethencourt Pinto de Abreu
AuthID: R-000-G4P
1
TITLE: A Model to Manage Security Risks in IoT Systems
AUTHORS: Luiz Otavio Botelho Lento; Pedro Patinho; Salvador Abreu;
PUBLISHED: 2024, SOURCE: ICAART (Revised Selected Paper, 2), VOLUME: 15592 LNAI
AUTHORS: Luiz Otavio Botelho Lento; Pedro Patinho; Salvador Abreu;
PUBLISHED: 2024, SOURCE: ICAART (Revised Selected Paper, 2), VOLUME: 15592 LNAI
2
TITLE: Combining IoT Risk Management with Logic Programming; [Combinando Gestão de Riscos em IoT com Programação em Lógica]
AUTHORS: Luiz Otavio Botelho Lento; Pedro Patinho; Salvador Abreu;
PUBLISHED: 2023, SOURCE: 18th Iberian Conference on Information Systems and Technologies, CISTI 2023 in Iberian Conference on Information Systems and Technologies, CISTI, VOLUME: 2023-June
AUTHORS: Luiz Otavio Botelho Lento; Pedro Patinho; Salvador Abreu;
PUBLISHED: 2023, SOURCE: 18th Iberian Conference on Information Systems and Technologies, CISTI 2023 in Iberian Conference on Information Systems and Technologies, CISTI, VOLUME: 2023-June
INDEXED IN: 
Scopus
Scopus3
TITLE: Multi-objective Finite-Domain Constraint-Based Forest Management
AUTHORS: Eloy, Eduardo; Bushenkov, Vladimir; Abreu, Salvador;
PUBLISHED: 2023, SOURCE: 22nd Regular meeting of the Portuguese-Association-of-Operational-Research (APDIO) in OPERATIONAL RESEARCH, IO 2022-OR, VOLUME: 437
AUTHORS: Eloy, Eduardo; Bushenkov, Vladimir; Abreu, Salvador;
PUBLISHED: 2023, SOURCE: 22nd Regular meeting of the Portuguese-Association-of-Operational-Research (APDIO) in OPERATIONAL RESEARCH, IO 2022-OR, VOLUME: 437
4
TITLE: Combining IoT Risk Management with Logic Programming
AUTHORS: Luiz Otávio Botelho Lento; Pedro Patinho; Salvador Abreu;
PUBLISHED: 2023, SOURCE: 2023 18th Iberian Conference on Information Systems and Technologies (CISTI)
AUTHORS: Luiz Otávio Botelho Lento; Pedro Patinho; Salvador Abreu;
PUBLISHED: 2023, SOURCE: 2023 18th Iberian Conference on Information Systems and Technologies (CISTI)
5
TITLE: Constraint Modeling for Forest Management
AUTHORS: Eloy, Eduardo; Bushenkov, Vladimir; Abreu, Salvador;
PUBLISHED: 2022, SOURCE: International Conference on Dynamical Control and Optimization(DCO) in DYNAMIC CONTROL AND OPTIMIZATION, DCO 2021, VOLUME: 407
AUTHORS: Eloy, Eduardo; Bushenkov, Vladimir; Abreu, Salvador;
PUBLISHED: 2022, SOURCE: International Conference on Dynamical Control and Optimization(DCO) in DYNAMIC CONTROL AND OPTIMIZATION, DCO 2021, VOLUME: 407
6
TITLE: Preface
AUTHORS: Hofstedt, P; Abreu, S; John, U; Kuchen, H; Seipel, D;
PUBLISHED: 2020, SOURCE: 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
AUTHORS: Hofstedt, P; Abreu, S; John, U; Kuchen, H; Seipel, D;
PUBLISHED: 2020, SOURCE: 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
INDEXED IN: Scopus
Scopus IN MY: 
ORCID
ORCID7
TITLE: 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
AUTHORS: Petra Hofstedt; Salvador Abreu; Ulrich John; Herbert Kuchen; Dietmar Seipel;
PUBLISHED: 2020, SOURCE: Lecture Notes in Computer Science
AUTHORS: Petra Hofstedt; Salvador Abreu; Ulrich John; Herbert Kuchen; Dietmar Seipel;
PUBLISHED: 2020, SOURCE: Lecture Notes in Computer Science
8
TITLE: Constraint-Informed Information Systems in Space Management Utilization
AUTHORS: Irene Rodrigues; Rui Quaresma; Daniel Diaz; Salvador Abreu;
PUBLISHED: 2016
AUTHORS: Irene Rodrigues; Rui Quaresma; Daniel Diaz; Salvador Abreu;
PUBLISHED: 2016
INDEXED IN: 
Handle
Handle9
TITLE: Artificial intelligence for the detection of AOX functional markers
AUTHORS: Quaresma, P ; Gonçalves, T ; Abreu, S; Costa, JH; Mashayekhi, K; Arnholdt Schmitt, B; Svensson, JT;
PUBLISHED: 2015, SOURCE: Alternative Respiratory Pathways in Higher Plants
AUTHORS: Quaresma, P ; Gonçalves, T ; Abreu, S; Costa, JH; Mashayekhi, K; Arnholdt Schmitt, B; Svensson, JT;
PUBLISHED: 2015, SOURCE: Alternative Respiratory Pathways in Higher Plants
INDEXED IN: Scopus Handle
Scopus Handle IN MY: ORCID
ORCID10
TITLE: Artificial intelligence for the detection ofAOXfunctional markers
AUTHORS: Paulo Quaresma ; Teresa Gonçalves ; Salvador Abreu; José Hélio Costa; Kaveh Mashayekhi; Birgit Arnholdt-Schmitt; Jan T Svensson;
PUBLISHED: 2015, SOURCE: Alternative respiratory pathways in higher plants
AUTHORS: Paulo Quaresma ; Teresa Gonçalves ; Salvador Abreu; José Hélio Costa; Kaveh Mashayekhi; Birgit Arnholdt-Schmitt; Jan T Svensson;
PUBLISHED: 2015, SOURCE: Alternative respiratory pathways in higher plants
