Luís Manuel Dias Coelho Soares Barbosa


AuthID: R-000-9KM

Publicações Confirmadas: 168



1
TÍTULO: A Logic for Paraconsistent Transition Systems
AUTORES: Ana Cruz; Alexandre Madeira ; Luís Soares Barbosa ;
PUBLICAÇÃO: 2022, FONTE: Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022, Łódź, Poland, 14-18 March 2022., VOLUME: 358
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
2
TÍTULO: Coalgebra for the working software engineer
AUTORES: Luís Soares Barbosa ;
PUBLICAÇÃO: 2022, FONTE: FLAP, VOLUME: 9, NÚMERO: 1
INDEXADO EM: Scopus DBLP
NO MEU: ORCID | DBLP
3
TÍTULO: Variational Quantum Policy Gradients with an Application to Quantum Control
AUTORES: André Sequeira; Luís Paulo Santos; Luís Soares Barbosa ;
PUBLICAÇÃO: 2022, FONTE: CoRR, VOLUME: abs/2203.10591
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
4
TÍTULO: A semantics and a logic for Fuzzy Arden Syntax  Full Text
AUTORES: Gomes, L ; Madeira, A ; Barbosa, LS ;
PUBLICAÇÃO: 2021, FONTE: SOFT COMPUTING, VOLUME: 25, NÚMERO: 9
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | DBLP
5
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
6
TÍTULO: Generalised Quantum Tree Search
AUTORES: André Sequeira; Luís Paulo Santos; Luís Soares Barbosa ;
PUBLICAÇÃO: 2021, FONTE: 2nd IEEE/ACM International Workshop on Quantum Software Engineering, Q-SE@ICSE 2021, Madrid, Spain, June 1-2, 2021
INDEXADO EM: DBLP
NO MEU: ORCID | DBLP
7
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
NO MEU: ORCID
8
TÍTULO: Quantum Tree-Based Planning
AUTORES: Sequeira, A; Santos, LP ; Barbosa, LS ;
PUBLICAÇÃO: 2021, FONTE: IEEE ACCESS, VOLUME: 9
INDEXADO EM: WOS DBLP CrossRef
NO MEU: ORCID | DBLP
9
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 CrossRef
NO MEU: ORCID
10
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
Página 1 de 17. Total de resultados: 168.

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

Links Úteis

Ajuda

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