Salvador Luís de Bethencourt Pinto de Abreu


AuthID: R-000-G4P

Publicações a aguardar confirmação

1
TÍTULO: A Logic-Based Model to Reduce IoT Security Risks
AUTORES: Luiz Otavio Botelho Lento; Pedro Patinho; Salvador Abreu;
PUBLICAÇÃO: 2024, FONTE: Proceedings of the 16th International Conference on Agents and Artificial Intelligence, ICAART 2024, Volume 3, Rome, Italy, February 24-26, 2024.
INDEXADO EM: DBLP
NO MEU: DBLP
2
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
INDEXADO EM: DBLP
NO MEU: DBLP
3
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
4
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: 12th Symposium on Languages, Applications and Technologies, SLATE 2023 in OpenAccess Series in Informatics, VOLUME: 113
INDEXADO EM: Scopus
5
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: 12th Symposium on Languages, Applications and Technologies, SLATE 2023, June 26-28, 2023, Vila do Conde, Portugal, VOLUME: 113
INDEXADO EM: DBLP
NO MEU: DBLP
6
TÍTULO: Demonstrating (Hybrid) Active Logic Documents and the Ciao Prolog Playground, and an Application to Verification Tutorials
AUTORES: Daniela Ferreiro; José F Morales; Salvador Abreu; Manuel V Hermenegildo;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2308.15896
INDEXADO EM: DBLP
NO MEU: 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: 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)
INDEXADO EM: CrossRef
NO MEU: ORCID
9
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
10
TÍTULO: Quantum and Digital Annealing for the Quadratic Assignment Problem
AUTORES: Philippe Codognet; Daniel Diaz; Salvador Abreu;
PUBLICAÇÃO: 2022, FONTE: IEEE International Conference on Quantum Software, QSW 2022, Barcelona, Spain, July 10-16, 2022
INDEXADO EM: DBLP
NO MEU: DBLP
Página 1 de 3. Total de resultados: 23.

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

Links Úteis

Ajuda

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