Luís Manuel Dias Coelho Soares Barbosa


AuthID: R-000-9KM

Publicações Confirmadas: 190



21
TÍTULO: Fuzzy Automata as Coalgebras  Full Text
AUTORES: Liu, A; Wang, S; Barbosa, LS ; Sun, M;
PUBLICAÇÃO: 2021, FONTE: MATHEMATICS, VOLUME: 9, NÚMERO: 3
INDEXADO EM: Scopus WOS CrossRef
NO MEU: ORCID
22
TÍTULO: Generalised Quantum Tree Search
AUTORES: Sequeira, Andre; Santos, Luis Paulo ; Barbosa, Luis Soares ;
PUBLICAÇÃO: 2021, FONTE: 2nd IEEE/ACM International Workshop on Quantum Software Engineering (Q-SE) in 2021 IEEE/ACM 2ND INTERNATIONAL WORKSHOP ON QUANTUM SOFTWARE ENGINEERING (Q-SE 2021)
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
23
TÍTULO: Quantum Bayesian Decision-Making  Full Text
AUTORES: de Oliveira, M; Barbosa, LS ;
PUBLICAÇÃO: 2021, FONTE: FOUNDATIONS OF SCIENCE
INDEXADO EM: Scopus WOS CrossRef: 1
NO MEU: ORCID
24
TÍTULO: Quantum Tree-Based Planning
AUTORES: Sequeira, A; Santos, LP ; Barbosa, LS ;
PUBLICAÇÃO: 2021, FONTE: IEEE ACCESS, VOLUME: 9
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
25
TÍTULO: Towards a specification theory for fuzzy modal logic
AUTORES: Jain, M; Gomes, L ; Madeira, A ; Barbosa, LS ;
PUBLICAÇÃO: 2021, FONTE: 15th International Symposium on Theoretical Aspects of Software Engineering (TASE) in 2021 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2021)
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
26
TÍTULO: A component-based framework for certification of components in a cloud of HPC services  Full Text
AUTORES: Allberson Bruno D de Oliveira Dantas; Francisco Heron de Carvalho Junior; Luis Soares Barbosa ;
PUBLICAÇÃO: 2020, FONTE: 16th International Workshop on Foundations of Coordination Languages and Self-Adaptative Systems (FOCLASA) in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 191
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
27
TÍTULO: Data governance: Organizing data for trustworthy Artificial Intelligence
AUTORES: Janssen, M; Brous, P; Estevez, E; Barbosa, LS ; Janowski, T;
PUBLICAÇÃO: 2020, FONTE: GOVERNMENT INFORMATION QUARTERLY, VOLUME: 37, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP CrossRef: 39
NO MEU: ORCID | DBLP
28
TÍTULO: Dynamic Logic. New Trends and Applications - Second International Workshop, DaLí 2019, Porto, Portugal, October 7-11, 2019, Proceedings
AUTORES: Luís Soares Barbosa ; Alexandru Baltag;
PUBLICAÇÃO: 2020, FONTE: DaLí, VOLUME: 12005
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
29
TÍTULO: Introducing Synchrony in Fuzzy Automata
AUTORES: Leandro Gomes ; Alexandre Madeira ; Luis Soares Barbosa ;
PUBLICAÇÃO: 2020, FONTE: 14th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA) / 27th International Conference on Automated Deduction (CADE) in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 348
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
30
TÍTULO: Quantum Bayesian decision-making
AUTORES: Michael de Oliveira; Luís Soares Barbosa ;
PUBLICAÇÃO: 2020, FONTE: CoRR, VOLUME: abs/2010.02088
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
Página 3 de 19. Total de resultados: 190.

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