An Enhanced Model for Stochastic Coordination

by Nuno Oliveira, Luis Soares Barbosa
Published 2016-10-01

Bisimilarity and refinement for hybrid(ised) logics

by Alexandre Madeira, Manuel A. Martins, Luís Soares Barbosa
Published 2013-05-01

Quantum Tree-Based Planning

by Andre Sequeira, Luis Paulo Santos, Luis Soares Barbosa
Published 2021-01-01

Fuzzy Automata as Coalgebras

by Ai Liu, Shun Wang, Luis Soares Barbosa, Meng Sun
Published 2021-01-01

Simulation of Nonradiative Energy Transfer in Photosynthetic Systems Using a Quantum Computer

by José Diogo Guimarães, Carlos Tavares, Luís Soares Barbosa, Mikhail I. Vasilevskiy
Published 2020-01-01