Luís Soares Barbosa
Publications
DBLP RepositoriUM
2024 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013
Simulation of nonradiative energy transfer in photosynthetic systems using a quantum computer
José Diogo Guimarães, Carlos Tavares, Luís Soares Barbosa, Mikhail I. Vasilevskiy, in Complexity, 3510676, pp 1-12, 2020.
Data governance: Organizing data for trustworthy Artificial Intelligence
Marijn Janssen, Paul Brous, Elsa Estevez, Luís Soares Barbosa, Tomasz Janowski, in Government Information Quarterly, Elsevier, 37(3): 101493. 2020.
A component-based framework for certification of components in a cloud of HPC services
Allberson Dantas, F. Heron de Carvalho and L. S. Barbosa, in Science of Computer Programming, Elsevier, 191. 2020.
Introducing synchrony in fuzzy automata
L. Gomes, A. Madeira, L. S. Barbosa, in Proc. 14th Inter. Workshop on Logical and Semantic Frameworks with Applications, ENTCS, 348, Elsevier. 2020.
Towards a register-based census in Oman
Ali H. Al-Lawati and L. S. Barbosa, in Proc. ICEGOV 2020, 13th International Conference on Theory and Practice of Electronic Governance, Athens, Greece, pg 823-826, ACM, 2020.
A type system for simple quantum processes
V. Fernandes, R. Neves, L. S. Barbosa, in Proc. TYPES 2020, 26th International Conference on Types for Proofs and Programs. Turin, Italy. 2020.
Effectful components and program equivalence
Ai Liu, R. Neves, L. S. Barbosa, Sun Meng in - Proc. WADT 2020, 25th International Workshop on Algebraic Development Techniques. Dublin. 2020.