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.