Luís Manuel Dias Coelho Soares Barbosa


AuthID: R-000-9KM

Confirmed Publications: 200



1
TITLE: Bridging resource theory and quantum key distribution: geometric analysis and statistical testing  Full Text
AUTHORS: D'Urbano, Andrea; de Oliveira, Michael; Barbosa, Luis Soares ;
PUBLISHED: 2025, SOURCE: QUANTUM INFORMATION PROCESSING, VOLUME: 24, ISSUE: 9
INDEXED IN: Scopus WOS DBLP
2
TITLE: Exploring a Quantum Programming Language with Concurrency
AUTHORS: Manisha Jain; Vitor Fernandes; Alexandre Madeira; Luís Soares Barbosa ;
PUBLISHED: 2025, SOURCE: 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
INDEXED IN: DBLP
IN MY: DBLP
3
TITLE: Hybrid quantum-classical algorithm for near-optimal planning in POMDPs
AUTHORS: Gilberto Cunha; Alexandra Ramôa; André Sequeira; Michael de Oliveira; Luís Soares Barbosa ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2507.18606
INDEXED IN: DBLP
IN MY: DBLP
4
TITLE: Paraconsistency for the Working Software Engineer (Extended Abstract)
AUTHORS: Barbosa, Luis Soares ;
PUBLISHED: 2025, SOURCE: 22nd International Conference on Software Engineering and Formal Methods-SEFM-Annual in SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2024, VOLUME: 15280
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
5
TITLE: Paraconsistent Relations as a Variant of Kleene Algebras  Full Text
AUTHORS: Cunha, Juliana; Madeira, Alexandre; Barbosa, Luis S. ;
PUBLISHED: 2025, SOURCE: 19th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: abs/2506.05840, ISSUE: 421
INDEXED IN: Scopus WOS DBLP
IN MY: DBLP
6
TITLE: Private Computation of Boolean Functions Using Single Qubits
AUTHORS: Rahmani, Zeinab; Pinto, Armando N. ; Barbosa, Luis S. ;
PUBLISHED: 2025, SOURCE: 15th International Conference on Parallel Processing and Applied Mathematics-PPAM-Biennial in PARALLEL PROCESSING AND APPLIED MATHEMATICS, PPAM 2024, PT II, VOLUME: 15580
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
7
TITLE: Specification of paraconsistent transition systems, revisited  Full Text
AUTHORS: Cunha, Juliana; Madeira, Alexandre; Barbosa, Luis Soares ;
PUBLISHED: 2025, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 240
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: DBLP | CIÊNCIAVITAE
8
TITLE: Digital quantum simulation of non-perturbative dynamics of open systems with orthogonal polynomials
AUTHORS: Guimaraes, Jose D.; Vasilevskiy, Mikhail I.; Barbosa, Luis S. ;
PUBLISHED: 2024, SOURCE: QUANTUM, VOLUME: 8
INDEXED IN: Scopus WOS DBLP CrossRef: 6
IN MY: DBLP | CIÊNCIAVITAE
9
TITLE: On Quantum Natural Policy Gradients
AUTHORS: Sequeira, Andre; Santos, Luis Paulo ; Barbosa, Luis Soares ;
PUBLISHED: 2024, SOURCE: IEEE TRANSACTIONS ON QUANTUM ENGINEERING, VOLUME: 5
INDEXED IN: WOS DBLP CrossRef: 1
IN MY: DBLP
10
TITLE: Quantum advantage in temporally flat measurement-based quantum computation
AUTHORS: de Oliveira, Michael; Barbosa, Luis Soares ; Galvao, Ernesto F.;
PUBLISHED: 2024, SOURCE: QUANTUM, VOLUME: 8
INDEXED IN: Scopus WOS DBLP
IN MY: DBLP
Page 1 of 20. Total results: 200.

footer slogan

Useful Links

Get Help

© 2025 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service