Luís Soares Barbosa
Publications
DBLP RepositoriUM
2025 2024 2023 2022 2021 2020 2019 2018 2017 2016 2015 2014 2013
Stepwise development of paraconsistent processes
J. Cunha, A. Madeira, L. S. Barbosa, in Proc. 17th International Symposium on Theoretical Aspects of Software Engineering, TASE 2023, Bristol, Springer LNCS 13931: 327-343. 2023.
Structured specification of paraconsistent transition systems
J. Cunha, A. Madeira, L. S. Barbosa, in Proc. Fundamentals of Software Engineering, FSEN 2023, Springer LNCS 14155: 1-17. 2023.
Capturing Qubit Decoherence through Paraconsistent Transition Systems
L. S. Barbosa and A. Madeira, in ACM 7th International Conference on the Art, Science, and Engineering of Programming, Programming 2023, Tokyo, Japan, March 13-17, 2023.
Policy gradients using variational quantum circuits
A. Sequeira, L. P. Santos, L. S. Barbosa, in Quantum Machine Intelligence 5 (1): 1-15. 2023.
Quantum privacy-preserving service for secure lane change in vehicular networks
Zeinab Rahmani, L. S. Barbosa, Armando N. Pinto, in IET Quantum Commun., 4 (3). 2023.
Modelling and control of manufacturing systems subject to context recognition and switching
L. Southier, D. Casanova, L. S. Barbosa, C. Torrico, M. A. C. Barbosa, M. Teixeira, in Int. J. Prod. Res. 61(10), pp 3396-3414. 2023.
Paraconsistent Transition Systems
A. Cruz, A. Madeira, L. S. Barbosa, in Proc. LSFA 2022, EPTCS 376, 2023, pp. 3-15. 2023.