Artigos com autorizações de acesso público - Luis S. BarbosaSaiba mais
2 artigos não disponíveis publicamente
A self-adaptation strategy for service-based architectures
N Oliveira, LS Barbosa
2014 Eighth Brazilian Symposium on Software Components, Architectures and …, 2014
Autorizações: Fundação para a Ciência e a Tecnologia, Portugal
Trainability issues in quantum policy gradients with softmax activations
A Sequeira, LP Santos, LS Barbosa
2024 IEEE International Conference on Quantum Computing and Engineering (QCE …, 2024
Autorizações: Fundação para a Ciência e a Tecnologia, Portugal
79 artigos disponíveis publicamente
A taxonomy for planning and designing smart mobility services
G Cledou, E Estevez, LS Barbosa
Government Information Quarterly 35 (1), 61-76, 2018
Autorizações: Fundação para a Ciência e a Tecnologia, Portugal
Software engineering for'quantum advantage'
LS Barbosa
Proceedings of the IEEE/ACM 42nd International Conference on Software …, 2020
Autorizações: Fundação para a Ciência e a Tecnologia, Portugal
Proof theory for hybrid (ised) logics
R Neves, A Madeira, MA Martins, LS Barbosa
Science of Computer Programming 126, 73-93, 2016
Autorizações: Fundação para a Ciência e a Tecnologia, Portugal
Refinement in hybridised institutions
A Madeira, MA Martins, LS Barbosa, R Hennicker
Formal Aspects of Computing 27, 375-395, 2015
Autorizações: Fundação para a Ciência e a Tecnologia, Portugal
A dynamic logic for every season
A Madeira, R Neves, MA Martins, LS Barbosa
Formal Methods: Foundations and Applications: 17th Brazilian Symposium, SBMF …, 2015
Autorizações: Fundação para a Ciência e a Tecnologia, Portugal
A logic for the stepwise development of reactive systems
A Madeira, LS Barbosa, R Hennicker, MA Martins
Theoretical Computer Science 744, 78-96, 2018
Autorizações: Fundação para a Ciência e a Tecnologia, Portugal
A method for rigorous design of reconfigurable systems
A Madeira, R Neves, LS Barbosa, MA Martins
Science of Computer Programming 132, 50-76, 2016
Autorizações: Fundação para a Ciência e a Tecnologia, Portugal
Continuity as a computational effect
R Neves, LS Barbosa, D Hofmann, MA Martins
Journal of Logical and Algebraic Methods in Programming 85 (5), 1057-1085, 2016
Autorizações: Fundação para a Ciência e a Tecnologia, Portugal
Composing families of timed automata
G Cledou, J Proença, L Soares Barbosa
Fundamentals of Software Engineering: 7th International Conference, FSEN …, 2017
Autorizações: Fundação para a Ciência e a Tecnologia, Portugal
Modelling and Verifying Smell-Free Architectures with the Archery Language
A Sanchez, LS Barbosa, A Madeira
Software Engineering and Formal Methods: SEFM 2014 Collocated Workshops …, 2015
Autorizações: Fundação para a Ciência e a Tecnologia, Portugal
Policy gradients using variational quantum circuits
A Sequeira, LP Santos, LS Barbosa
Quantum Machine Intelligence 5 (1), 18, 2023
Autorizações: Fundação para a Ciência e a Tecnologia, Portugal
Dynamic logic with binders and its application to the development of reactive systems
A Madeira, LS Barbosa, R Hennicker, MA Martins
International Colloquium on Theoretical Aspects of Computing, 422-440, 2016
Autorizações: Fundação para a Ciência e a Tecnologia, Portugal
Hybrid automata as coalgebras
R Neves, LS Barbosa
Theoretical Aspects of Computing–ICTAC 2016: 13th International Colloquium …, 2016
Autorizações: Fundação para a Ciência e a Tecnologia, Portugal
A Hilbert-style axiomatisation for equational hybrid logic
LS Barbosa, MA Martins, M Carreteiro
Journal of Logic, Language and Information 23 (1), 31-52, 2014
Autorizações: Government of Spain
Simulation of nonradiative energy transfer in photosynthetic systems using a quantum computer
JD Guimarães, C Tavares, LS Barbosa, MI Vasilevskiy
Complexity 2020 (1), 3510676, 2020
Autorizações: Fundação para a Ciência e a Tecnologia, Portugal
Reactive models for biological regulatory networks
D Figueiredo, LS Barbosa
Molecular Logic and Computational Synthetic Biology: First International …, 2019
Autorizações: Fundação para a Ciência e a Tecnologia, Portugal
IMCReo: interactive Markov chains for stochastic Reo
N Oliveira, A Silva, LS Barbosa
Autorizações: Fundação para a Ciência e a Tecnologia, Portugal
Structured specification of paraconsistent transition systems
J Cunha, A Madeira, LS Barbosa
International Conference on Fundamentals of Software Engineering, 1-17, 2023
Autorizações: Fundação para a Ciência e a Tecnologia, Portugal
As informações de publicação e financiamento são determinadas automaticamente por um programa de computador