Luís Manuel Dias Coelho Soares Barbosa


AuthID: R-000-9KM

Confirmed Publications: 187



11
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
12
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
13
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
14
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
15
TITLE: Modelling and control of manufacturing systems subject to context recognition and switching  Full Text
AUTHORS: Southier, Luiz Fernando Puttow; Casanova, Dalcimar; Barbosa, Luis ; Torrico, Cesar; Barbosa, Marco; Teixeira, Marcelo;
PUBLISHED: 2022, SOURCE: INTERNATIONAL JOURNAL OF PRODUCTION RESEARCH, VOLUME: 61, ISSUE: 10
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP
16
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
17
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
18
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
IN MY: ORCID
19
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
IN MY: DBLP
20
TITLE: Quantum Bayesian Decision-Making  Full Text
AUTHORS: de Oliveira, M; Barbosa, LS ;
PUBLISHED: 2021, SOURCE: FOUNDATIONS OF SCIENCE
INDEXED IN: Scopus WOS CrossRef: 1
IN MY: ORCID
Page 2 of 19. Total results: 187.

footer slogan

Useful Links

Get Help

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