Home
About me
Publications
Projects
Supervision
Activities
News
Teaching
Luís Soares Barbosa
About me
Publications
Projects
Supervision
Activities
News
Teaching
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.