1
TITLE: A Logic for Paraconsistent Transition Systems  Full Text
AUTHORS: Ana Cruz; Alexandre Madeira ; Luís Soares Barbosa ;
PUBLISHED: 2022, SOURCE: 10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022 in Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022, Łódź, Poland, 14-18 March 2022., VOLUME: 358
INDEXED IN: Scopus DBLP CrossRef
IN MY: ORCID | DBLP
2
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
3
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
4
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: 2
IN MY: ORCID | DBLP
5
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
6
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: WOS DBLP CrossRef
IN MY: ORCID | DBLP
7
TITLE: Quantum Bayesian Decision-Making  Full Text
AUTHORS: de Oliveira, M; Barbosa, LS ;
PUBLISHED: 2021, SOURCE: FOUNDATIONS OF SCIENCE
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
8
TITLE: Quantum Tree-Based Planning
AUTHORS: Sequeira, A; Santos, LP ; Barbosa, LS ;
PUBLISHED: 2021, SOURCE: IEEE ACCESS, VOLUME: 9
INDEXED IN: WOS DBLP CrossRef
IN MY: ORCID | DBLP
9
TITLE: Towards a specification theory for fuzzy modal logic
AUTHORS: Jain, M; Gomes, L ; Madeira, A ; Barbosa, LS ;
PUBLISHED: 2021, SOURCE: 15th International Symposium on Theoretical Aspects of Software Engineering (TASE) in 2021 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2021)
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
10
TITLE: A component-based framework for certification of components in a cloud of HPC services  Full Text
AUTHORS: Allberson Bruno D de Oliveira Dantas; Francisco Heron de Carvalho Junior; Luis Soares Barbosa ;
PUBLISHED: 2020, SOURCE: 16th International Workshop on Foundations of Coordination Languages and Self-Adaptative Systems (FOCLASA) in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 191
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
Page 1 of 17. Total results: 169.