Luís Manuel Dias Coelho Soares Barbosa


AuthID: R-000-9KM

Confirmed Publications: 186



1
TITLE: Digital quantum simulation of non-perturbative dynamics of open systems with orthogonal polynomials
AUTHORS: José Diogo Guimarães; Mikhail I Vasilevskiy; Luís Soares Barbosa ;
PUBLISHED: 2024, SOURCE: Quantum, VOLUME: 8
INDEXED IN: DBLP
IN MY: DBLP
2
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
IN MY: DBLP
3
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
4
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
5
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
6
TITLE: Quantum privacy-preserving service for secure lane change in vehicular networks
AUTHORS: Rahmani, Zeinab; Barbosa, Luis S. ; Pinto, Armando N.;
PUBLISHED: 2023, SOURCE: IET QUANTUM COMMUNICATION, VOLUME: 4, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
7
TITLE: Stepwise Development of Paraconsistent Processes
AUTHORS: Juliana Cunha; Alexandre Madeira ; Luís Soares Barbosa ;
PUBLISHED: 2023, SOURCE: 17th International Symposium on Theoretical Aspects of Software Engineering, TASE 2023 in Theoretical Aspects of Software Engineering - 17th International Symposium, TASE 2023, Bristol, UK, July 4-6, 2023, Proceedings, VOLUME: 13931
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
8
TITLE: Structured Specification of Paraconsistent Transition Systems
AUTHORS: Juliana Cunha; Alexandre Madeira ; Luís Soares Barbosa ;
PUBLISHED: 2023, SOURCE: 10th IPM International Conference on Fundamentals of Software Engineering, FSEN 2023 in Fundamentals of Software Engineering - 10th International Conference, FSEN 2023, Tehran, Iran, May 4-5, 2023, Revised Selected Papers, VOLUME: 14155
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
9
TITLE: Weighted synchronous automata
AUTHORS: Gomes, Leandro ; Madeira, Alexandre ; Barbosa, Luis Soares ;
PUBLISHED: 2023, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 32, ISSUE: 9
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
10
TITLE: A Logic for Paraconsistent Transition Systems  Full Text
AUTHORS: Cruz, Ana; Madeira, Alexandre ; Barbosa, Luis Soares ;
PUBLISHED: 2022, SOURCE: 10th International Conference on Non-Classical Logics Theory and Applications (NCL) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 358, ISSUE: 358
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP
Página 1 de 19. Total de resultados: 186.

Um espaço para investigadores e suas instituições

Useful Links

Get Help

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