1
TITLE: A Logic for Paraconsistent Transition Systems
AUTHORS: Ana Cruz; Alexandre Madeira ; Luís Soares Barbosa ;
PUBLISHED: 2022, SOURCE: 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: DBLP
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: André Sequeira; Luís Paulo Santos; Luís Soares Barbosa ;
PUBLISHED: 2021, SOURCE: 2nd IEEE/ACM International Workshop on Quantum Software Engineering, Q-SE@ICSE 2021, Madrid, Spain, June 1-2, 2021
INDEXED IN: DBLP
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 CrossRef
IN MY: ORCID
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: 168.