Luís Manuel Dias Coelho Soares Barbosa


AuthID: R-000-9KM

Confirmed Publications: 191



1
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
2
3
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
4
TITLE: Paraconsistency for the Working Software Engineer (Extended Abstract)
AUTHORS: Luís Soares Barbosa ;
PUBLISHED: 2024, SOURCE: 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
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
5
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
6
TITLE: Secure two-party computation via measurement-based quantum computing  Full Text
AUTHORS: Rahmani, Zeinab; Pinto, Armando Humberto Moreira Nolasco; Barbosa, Luis Manuel Dias Coelho Soares ;
PUBLISHED: 2024, SOURCE: QUANTUM INFORMATION PROCESSING, VOLUME: 23, ISSUE: 6
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
7
TITLE: Trainability issues in quantum policy gradients
AUTHORS: Sequeira, Andre; Santos, Luis Paulo ; Barbosa, Luis Soares ;
PUBLISHED: 2024, SOURCE: MACHINE LEARNING-SCIENCE AND TECHNOLOGY, VOLUME: 5, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
IN MY: DBLP
8
TITLE: Trainability issues in quantum policy gradients with softmax activations
AUTHORS: Sequeira, Andre; Santos, Luis Paulo; Barbosa, Luis Soares ;
PUBLISHED: 2024, SOURCE: 2024 International Conference on Quantum Computing and Engineering in 2024 IEEE INTERNATIONAL CONFERENCE ON QUANTUM COMPUTING AND ENGINEERING, QCE, VOL 2, VOLUME: 2
INDEXED IN: Scopus WOS DBLP
IN MY: DBLP
9
TITLE: Capturing Qubit Decoherence through Paraconsistent Transition Systems
AUTHORS: Barbosa, Luis Soares ; Madeira, Alexandre ;
PUBLISHED: 2023, SOURCE: 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
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
10
TITLE: Paraconsistent Transition Systems  Full Text
AUTHORS: Cruz, Ana; Madeira, Alexandre ; Barbosa, Luis S. ;
PUBLISHED: 2023, SOURCE: 17th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 376, ISSUE: 376
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
IN MY: ORCID | DBLP
Page 1 of 20. Total results: 191.

footer slogan

Useful Links

Get Help

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