Generalising KAT to verify weighted computations

L. Gomes, A. Madeira, L. S. Barbosa, in Scientific Annals of Computer Science, XXIX (2), pp 141-184. 2019.

On the generation of equational dynamic logics for weighted imperative programs

L. Gomes, A. Madeira, L. S. Barbosa, in Springer LNCS Selected papers from ICFEM'19, LNCS (11582), pp 154-169. 2019.

Combining advantages from parameters in modeling and control of discrete event systems

Luiz F. P. Southier, M. Mazzetto, D, Casanova, Marco Barbosa, L. S. Barbosa, M. Teixeira, in 24th IEEE International Conference on Emerging Technologies and Factory Automation, EFTA, pp 370-377. 2019.

Reactive models for biological regulatory networks

D. Figueiredo, L. S. Barbosa, in Springer LNCS Selected papers from MLSCB'18, LNCS (11415), pp 74-84. 2019.

A framework for intelligent policy decision making based on a government data hub

Ali Al-Lawati, L. S. Barbosa, in Proceedings of DTGS'2019, Springer LNCS (CCIS 1038, in print). 2019.

Deep learning powered question-answering framework for organizations digital transformation

N. Carvalho, L. S. Barbosa, in Proceedings of ICEGOV'2019, ACM, pp 76-79. 2019.