1
TITLE: Specification of paraconsistent transition systems, revisited
AUTHORS: Cunha, Juliana; Madeira, Alexandre; Barbosa, Luis Soares ;
PUBLISHED: 2025, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 240
INDEXED IN: Scopus WOS DBLP
IN MY: DBLP
3
TITLE: On Quantum Natural Policy Gradients
AUTHORS: André Sequeira; Luís Paulo Santos ; Luís Soares Barbosa ;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2401.08307
INDEXED IN: DBLP CrossRef
IN MY: DBLP
4
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
5
TITLE: Secure two-party computation via measurement-based quantum computing
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 CrossRef
IN MY: ORCID
6
TITLE: Secure two-party computation via measurement-based quantum computing
AUTHORS: Zeinab Rahmani; Armando Nolasco Pinto; Luís Soares Barbosa ;
PUBLISHED: 2024, SOURCE: Quantum Inf. Process., VOLUME: 23, ISSUE: 6
INDEXED IN: DBLP
IN MY: DBLP
7
TITLE: Trainability issues in quantum policy gradients
AUTHORS: André Sequeira; Luís Paulo Santos; Luís Soares Barbosa ;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2406.09614
INDEXED IN: DBLP
IN MY: DBLP
8
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
9
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
10
TITLE: Policy gradients using variational quantum circuits
AUTHORS: Sequeira, Andre; Santos, Luis Paulo ; Barbosa, Luis Soares ;
PUBLISHED: 2023, SOURCE: QUANTUM MACHINE INTELLIGENCE, VOLUME: 5, ISSUE: 1
INDEXED IN: Scopus WOS DBLP CrossRef: 1 Unpaywall
IN MY: ORCID | DBLP
Page 1 of 19. Total results: 190.