Luís Soares Barbosa
Publications
DBLP RepositoriUM
2025 2024 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013
Coalgebra for the working software engineer
L. S. Barbosa, in IfCoLog Journal of Applied Logics, 9 (1), pp 41-92. 2022.
Weighted synchronous automata
L. Gomes, A. Madeira, L. S. Barbosa, in Mathematical Structures in Computer Science, 32(9), pp 1234-1253. 2022.
A logic for paraconsistent transition system
A. Cruz, A. Madeira, L. S. Barbosa, in Proc. NCL'22: Non-Classical Logics - Theory and Applications, EPTCS 358, pp 270-284. 2022.