Luís Manuel Dias Coelho Soares Barbosa


AuthID: R-000-9KM

Confirmed Publications: 200



21
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
22
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: 2
IN MY: ORCID | DBLP | CIÊNCIAVITAE
23
TITLE: A tribute to Jose Manuel Valenca
AUTHORS: Oliveira, Jose Nuno ; Pinto, Jorge Sousa ; Barbosa, Luis Soares ; Henriques, Pedro Rangel ;
PUBLISHED: 2022, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 128
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP | CIÊNCIAVITAE
24
TITLE: Coalgebra for the working software engineer
AUTHORS: Luís Soares Barbosa ;
PUBLISHED: 2022, SOURCE: FLAP, VOLUME: 9, ISSUE: 1
INDEXED IN: Scopus DBLP
IN MY: ORCID | DBLP
25
TITLE: Variational Quantum Policy Gradients with an Application to Quantum Control
AUTHORS: André Sequeira; Luís Paulo Santos; Luís Soares Barbosa ;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2203.10591
INDEXED IN: DBLP
IN MY: ORCID | DBLP
26
TITLE: Weighted synchronous automata
AUTHORS: Gomes, Leandro ; Madeira, Alexandre ; Barbosa, Luis Soares ;
PUBLISHED: 2022, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 32, ISSUE: 9
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
27
TITLE: A semantics and a logic for Fuzzy Arden Syntax  Full Text
AUTHORS: Gomes, L ; Madeira, A ; Barbosa, LS ;
PUBLISHED: 2021, SOURCE: SOFT COMPUTING, VOLUME: 25, ISSUE: 9
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID | DBLP | CIÊNCIAVITAE
28
TITLE: Fuzzy Automata as Coalgebras  Full Text
AUTHORS: Liu, A; Wang, S; Barbosa, LS ; Sun, M;
PUBLISHED: 2021, SOURCE: MATHEMATICS, VOLUME: 9, ISSUE: 3
INDEXED IN: Scopus WOS CrossRef: 2
IN MY: ORCID | CIÊNCIAVITAE
29
TITLE: Generalised Quantum Tree Search
AUTHORS: Sequeira, Andre; Santos, Luis Paulo ; Barbosa, Luis Soares ;
PUBLISHED: 2021, SOURCE: 2nd IEEE/ACM International Workshop on Quantum Software Engineering (Q-SE) in 2021 IEEE/ACM 2ND INTERNATIONAL WORKSHOP ON QUANTUM SOFTWARE ENGINEERING (Q-SE 2021)
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP
30
TITLE: Quantum Tree-Based Planning
AUTHORS: Sequeira, A; Santos, LP ; Barbosa, LS ;
PUBLISHED: 2021, SOURCE: IEEE ACCESS, VOLUME: 9
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP | CIÊNCIAVITAE
Page 3 of 20. Total results: 200.

footer slogan

Useful Links

Get Help

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