Luís Manuel Dias Coelho Soares Barbosa


AuthID: R-000-9KM

Publicações Confirmadas: 190



1
TÍTULO: Specification of paraconsistent transition systems, revisited
AUTORES: Cunha, Juliana; Madeira, Alexandre; Barbosa, Luis Soares ;
PUBLICAÇÃO: 2025, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 240
INDEXADO EM: Scopus WOS DBLP
NO MEU: DBLP
2
3
TÍTULO: On Quantum Natural Policy Gradients
AUTORES: Sequeira, Andre; Santos, Luis Paulo ; Barbosa, Luis Soares ;
PUBLICAÇÃO: 2024, FONTE: IEEE TRANSACTIONS ON QUANTUM ENGINEERING, VOLUME: 5
INDEXADO EM: WOS DBLP CrossRef
NO MEU: DBLP
4
TÍTULO: Paraconsistency for the Working Software Engineer (Extended Abstract)
AUTORES: Luís Soares Barbosa ;
PUBLICAÇÃO: 2024, FONTE: 22nd International Conference on Software Engineering and Formal Methods, SEFM 2024 in Software Engineering and Formal Methods - 22nd International Conference, SEFM 2024, Aveiro, Portugal, November 6-8, 2024, Proceedings, VOLUME: 15280
INDEXADO EM: Scopus DBLP CrossRef
5
TÍTULO: Quantum advantage in temporally flat measurement-based quantum computation
AUTORES: de Oliveira, Michael; Barbosa, Luis Soares ; Galvao, Ernesto F.;
PUBLICAÇÃO: 2024, FONTE: QUANTUM, VOLUME: 8
INDEXADO EM: Scopus WOS
6
TÍTULO: Secure two-party computation via measurement-based quantum computing  Full Text
AUTORES: Rahmani, Zeinab; Pinto, Armando Humberto Moreira Nolasco; Barbosa, Luis Manuel Dias Coelho Soares ;
PUBLICAÇÃO: 2024, FONTE: QUANTUM INFORMATION PROCESSING, VOLUME: 23, NÚMERO: 6
INDEXADO EM: Scopus WOS DBLP CrossRef
7
TÍTULO: Trainability issues in quantum policy gradients
AUTORES: André Sequeira; Luís Paulo Santos; Luís Soares Barbosa ;
PUBLICAÇÃO: 2024, FONTE: Mach. Learn. Sci. Technol., VOLUME: 5, NÚMERO: 3
INDEXADO EM: DBLP
NO MEU: DBLP
8
TÍTULO: Capturing Qubit Decoherence through Paraconsistent Transition Systems
AUTORES: Barbosa, Luis Soares ; Madeira, Alexandre ;
PUBLICAÇÃO: 2023, FONTE: 7th International Conference on the Art, Science, and Engineering of Programming (Programming) in COMPANION PROCEEDINGS OF THE 7TH INTERNATIONAL CONFERENCE ON THE ART, SCIENCE, AND ENGINEERING OF PROGRAMMING, PROGRAMMING 2023
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
9
TÍTULO: Paraconsistent Transition Systems  Full Text
AUTORES: Cruz, Ana; Madeira, Alexandre ; Barbosa, Luis S. ;
PUBLICAÇÃO: 2023, FONTE: 17th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 376, NÚMERO: 376
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
NO MEU: ORCID | DBLP
10
TÍTULO: Policy gradients using variational quantum circuits
AUTORES: Sequeira, Andre; Santos, Luis Paulo ; Barbosa, Luis Soares ;
PUBLICAÇÃO: 2023, FONTE: QUANTUM MACHINE INTELLIGENCE, VOLUME: 5, NÚMERO: 1
INDEXADO EM: Scopus WOS DBLP CrossRef: 1 Unpaywall
NO MEU: ORCID | DBLP
Página 1 de 19. Total de resultados: 190.

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