1
TITLE: A semantics and a logic for Fuzzy Arden Syntax  Full Text
AUTHORS: Gomes, L ; Madeira, A; Barbosa, LS ;
TYPE: Article in Press, PUBLISHED: 2021, SOURCE: SOFT COMPUTING, VOLUME: 25, ISSUE: 9
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
2
TITLE: Fuzzy Automata as Coalgebras  Full Text
AUTHORS: Liu, A; Wang, S; Barbosa, LS ; Sun, M;
TYPE: Article, PUBLISHED: 2021, SOURCE: MATHEMATICS, VOLUME: 9, ISSUE: 3
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
3
TITLE: Generalised Quantum Tree Search
AUTHORS: André Sequeira; Luís Paulo Santos; Luís Soares Barbosa ;
TYPE: Proceedings Paper, 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
4
TITLE: Quantum Bayesian Decision-Making  Full Text
AUTHORS: de Oliveira, M; Barbosa, LS ;
TYPE: Article in Press, PUBLISHED: 2021, SOURCE: FOUNDATIONS OF SCIENCE
INDEXED IN: Scopus WOS CrossRef
IN MY: ORCID
5
TITLE: Quantum Tree-Based Planning
AUTHORS: André Sequeira; Luís Paulo Santos; Luís Soares Barbosa ;
TYPE: Article, PUBLISHED: 2021, SOURCE: IEEE Access, VOLUME: 9
INDEXED IN: DBLP
IN MY: ORCID | DBLP
6
TITLE: Quantum Tree-Based Planning
AUTHORS: Sequeira, A; Santos, LP; Barbosa, LS ;
TYPE: Article, PUBLISHED: 2021, SOURCE: IEEE ACCESS, VOLUME: 9
INDEXED IN: WOS
IN MY: ORCID
7
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 ;
TYPE: Article, 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
8
TITLE: Data governance: Organizing data for trustworthy Artificial Intelligence
AUTHORS: Janssen, M; Brous, P; Estevez, E; Barbosa, LS ; Janowski, T;
TYPE: Article, PUBLISHED: 2020, SOURCE: GOVERNMENT INFORMATION QUARTERLY, VOLUME: 37, ISSUE: 3
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP
9
TITLE: Dynamic Logic. New Trends and Applications - Second International Workshop, DaLí 2019, Porto, Portugal, October 7-11, 2019, Proceedings
AUTHORS: Luís Soares Barbosa ; Alexandru Baltag;
TYPE: Proceedings, PUBLISHED: 2020, SOURCE: DaLí, VOLUME: 12005
INDEXED IN: DBLP
IN MY: ORCID | DBLP
10
TITLE: Introducing Synchrony in Fuzzy Automata
AUTHORS: Leandro Gomes ; Alexandre Madeira ; Luis Soares Barbosa ;
TYPE: Proceedings Paper, PUBLISHED: 2020, SOURCE: 14th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA) / 27th International Conference on Automated Deduction (CADE) in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 348
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
Page 1 of 17. Total results: 165.