A Logic for Paraconsistent Transition Systems
Cruz, Ana, Madeira, Alexandre, Soares Barbosa, Luís
Published in Electronic proceedings in theoretical computer science (14.04.2022)
Published in Electronic proceedings in theoretical computer science (14.04.2022)
Get full text
Journal Article
Trainability issues in quantum policy gradients
Sequeira, André, Paulo Santos, Luis, Soares Barbosa, Luis
Published in Machine learning: science and technology (01.09.2024)
Published in Machine learning: science and technology (01.09.2024)
Get full text
Journal Article
Specification of paraconsistent transition systems, revisited
Cunha, Juliana, Madeira, Alexandre, Barbosa, Luís Soares
Published in Science of computer programming (01.02.2025)
Published in Science of computer programming (01.02.2025)
Get full text
Journal Article
A taxonomy for planning and designing smart mobility services
Cledou, Guillermina, Estevez, Elsa, Soares Barbosa, Luis
Published in Government information quarterly (01.01.2018)
Published in Government information quarterly (01.01.2018)
Get full text
Journal Article
An Enhanced Model for Stochastic Coordination
Oliveira, Nuno, Soares Barbosa, Luis
Published in Electronic proceedings in theoretical computer science (25.10.2016)
Published in Electronic proceedings in theoretical computer science (25.10.2016)
Get full text
Journal Article
A semantics and a logic for Fuzzy Arden Syntax
Gomes, Leandro, Madeira, Alexandre, Barbosa, Luís Soares
Published in Soft computing (Berlin, Germany) (01.05.2021)
Published in Soft computing (Berlin, Germany) (01.05.2021)
Get full text
Journal Article
Weighted synchronous automata
Gomes, Leandro, Madeira, Alexandre, Barbosa, Luis Soares
Published in Mathematical structures in computer science (01.10.2022)
Published in Mathematical structures in computer science (01.10.2022)
Get full text
Journal Article
Bisimilarity and refinement for hybrid(ised) logics
Madeira, Alexandre, Martins, Manuel A., Barbosa, Luís Soares
Published in Electronic proceedings in theoretical computer science (24.05.2013)
Published in Electronic proceedings in theoretical computer science (24.05.2013)
Get full text
Journal Article
On Quantum Natural Policy Gradients
Sequeira, Andre, Santos, Luis Paulo, Barbosa, Luis Soares
Published in IEEE transactions on quantum engineering (2024)
Published in IEEE transactions on quantum engineering (2024)
Get full text
Journal Article
Simulation of non-radiative energy transfer in photosynthetic systems using a quantum computer
Guimarães, José Diogo, Tavares, Carlos, Luís Soares Barbosa, Vasilevskiy, Mikhail I
Published in arXiv.org (02.09.2020)
Published in arXiv.org (02.09.2020)
Get full text
Paper
Journal Article
Quantum advantage in temporally flat measurement-based quantum computation
Oliveira, Michael de, Barbosa, Luís S., Galvão, Ernesto F.
Published in Quantum (Vienna, Austria) (09.04.2024)
Published in Quantum (Vienna, Austria) (09.04.2024)
Get full text
Journal Article
A tribute to José Manuel Valença
Oliveira, José Nuno, Pinto, Jorge Sousa, Barbosa, Luís Soares, Henriques, Pedro Rangel
Published in Journal of logical and algebraic methods in programming (01.08.2022)
Published in Journal of logical and algebraic methods in programming (01.08.2022)
Get full text
Journal Article
Composing Families of Timed Automata
Cledou, Guillermina, Proença, José Miguel Paiva, Barbosa, L. S.
Published in Fundamentals of Software Engineering (01.01.2017)
Published in Fundamentals of Software Engineering (01.01.2017)
Get full text
Book Chapter
Conference Proceeding