Luís Manuel Dias Coelho Soares Barbosa


AuthID: R-000-9KM

Publicações Confirmadas: 200



1
TÍTULO: Bridging resource theory and quantum key distribution: geometric analysis and statistical testing  Full Text
AUTORES: D'Urbano, Andrea; de Oliveira, Michael; Barbosa, Luis Soares ;
PUBLICAÇÃO: 2025, FONTE: QUANTUM INFORMATION PROCESSING, VOLUME: 24, NÚMERO: 9
INDEXADO EM: Scopus WOS DBLP
NO MEU: DBLP
2
TÍTULO: Exploring a Quantum Programming Language with Concurrency
AUTORES: Manisha Jain; Vitor Fernandes; Alexandre Madeira; Luís Soares Barbosa ;
PUBLICAÇÃO: 2025, FONTE: Companion Proceedings of the 9th International Conference on the Art, Science, and Engineering of Programming, Programming 2025, June 2-6, 2025, Prague 1, Czechia, VOLUME: 134
INDEXADO EM: DBLP
NO MEU: DBLP
3
TÍTULO: Hybrid quantum-classical algorithm for near-optimal planning in POMDPs
AUTORES: Gilberto Cunha; Alexandra Ramôa; André Sequeira; Michael de Oliveira; Luís Soares Barbosa ;
PUBLICAÇÃO: 2025, FONTE: CoRR, VOLUME: abs/2507.18606
INDEXADO EM: DBLP
NO MEU: DBLP
4
TÍTULO: Paraconsistency for the Working Software Engineer (Extended Abstract)
AUTORES: Barbosa, Luis Soares ;
PUBLICAÇÃO: 2025, FONTE: 22nd International Conference on Software Engineering and Formal Methods-SEFM-Annual in SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2024, VOLUME: 15280
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
5
TÍTULO: Paraconsistent Relations as a Variant of Kleene Algebras  Full Text
AUTORES: Cunha, Juliana; Madeira, Alexandre; Barbosa, Luis S. ;
PUBLICAÇÃO: 2025, FONTE: 19th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: abs/2506.05840, NÚMERO: 421
INDEXADO EM: Scopus WOS DBLP
NO MEU: DBLP
6
TÍTULO: Private Computation of Boolean Functions Using Single Qubits
AUTORES: Rahmani, Zeinab; Pinto, Armando N. ; Barbosa, Luis S. ;
PUBLICAÇÃO: 2025, FONTE: 15th International Conference on Parallel Processing and Applied Mathematics-PPAM-Biennial in PARALLEL PROCESSING AND APPLIED MATHEMATICS, PPAM 2024, PT II, VOLUME: 15580
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: ORCID | DBLP
7
TÍTULO: Specification of paraconsistent transition systems, revisited  Full Text
AUTORES: Cunha, Juliana; Madeira, Alexandre; Barbosa, Luis Soares ;
PUBLICAÇÃO: 2025, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 240
INDEXADO EM: Scopus WOS DBLP CrossRef
NO MEU: DBLP | CIÊNCIAVITAE
8
TÍTULO: Digital quantum simulation of non-perturbative dynamics of open systems with orthogonal polynomials
AUTORES: Guimaraes, Jose D.; Vasilevskiy, Mikhail I.; Barbosa, Luis S. ;
PUBLICAÇÃO: 2024, FONTE: QUANTUM, VOLUME: 8
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
NO MEU: DBLP | CIÊNCIAVITAE
9
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: 1
NO MEU: DBLP
10
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 DBLP
NO MEU: DBLP
Página 1 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