Luís Manuel Dias Coelho Soares Barbosa


AuthID: R-000-9KM

Publicações Confirmadas: 200



21
TÍTULO: Structured Specification of Paraconsistent Transition Systems
AUTORES: Juliana Cunha; Alexandre Madeira ; Luís Soares Barbosa ;
PUBLICAÇÃO: 2023, FONTE: 10th IPM International Conference on Fundamentals of Software Engineering, FSEN 2023 in Fundamentals of Software Engineering - 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers, VOLUME: 14155
INDEXADO EM: Scopus DBLP CrossRef
NO MEU: ORCID | DBLP
22
TÍTULO: A Logic for Paraconsistent Transition Systems  Full Text
AUTORES: Cruz, Ana; Madeira, Alexandre ; Barbosa, Luis Soares ;
PUBLICAÇÃO: 2022, FONTE: 10th International Conference on Non-Classical Logics Theory and Applications (NCL) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 358, NÚMERO: 358
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
23
TÍTULO: A tribute to Jose Manuel Valenca
AUTORES: Oliveira, Jose Nuno ; Pinto, Jorge Sousa ; Barbosa, Luis Soares ; Henriques, Pedro Rangel ;
PUBLICAÇÃO: 2022, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 128
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
24
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
25
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
26
TÍTULO: Weighted synchronous automata
AUTORES: Gomes, Leandro ; Madeira, Alexandre ; Barbosa, Luis Soares ;
PUBLICAÇÃO: 2022, FONTE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 32, NÚMERO: 9
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
27
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: 3
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
28
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: 2
NO MEU: ORCID | CIÊNCIAVITAE
29
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: 1
NO MEU: ORCID | DBLP
30
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: 2
NO MEU: ORCID | DBLP | CIÊNCIAVITAE
Página 3 de 20. Total de resultados: 200.

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

Links Úteis

Ajuda

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