Luís Soares Barbosa
Publications
DBLP RepositoriUM
2022 2021 2020 2019 2018 2017 2016 2015 2014 2013
Guarded weighted synchronous automata
L. Gomes, A. Madeira, L. S. Barbosa, in Mathematical Structures in Computer Science (to appear). 2022.
A logic for paraconsistent transition system
A. Cruz, A. Madeira, L. S. Barbosa, in Proc. NCL'22: Non-Classical Logics - Theory and Applications (to appear). 2022.