Luís Soares Barbosa
Publications
DBLP RepositoriUM
2025 2023 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013
Quantum Tree-Based Planning
A. Sequeira, L. P. Santos, L. S. Barbosa, in IEEE Access, 9: 125416--125427. 2021.
Towards a specification theory for fuzzy modal logic
M. Jain, L. Gomes, A. Madeira, L. S. Barbosa, in Proc. ASE 2021 (International Symposium on Theoretical Aspects of Software Engineering), IEEE: 175-182. 2021.
Fuzzy automata as coalgebras
Ai Liu, Shun Wang, L. S. Barbosa, Meng Sun in Mathematics, 9(3), 272. 2021.
Quantum Bayesian decision-making
M. de Oliveira, L. S. Barbosa, in Foundations of Science, Springer. 2021.
A semantics and a logic for Fuzzy Arden Syntax
L. Gomes, A. Madeira L. S. Barbosa, in Soft Comput. 25(9): 6789-6805. 2021.
Generalised quantum tree search
A. Sequeira, L. P. Santos, L. S. Barbosa, in Proc. Q-SE 2021, Second International Workshop on Quantum Software Engineering at ICSE 2021. IEEE, 2021.