Browsing by Author 5603
Showing results 1 to 8 of 8
Issue Date | Title | Author(s) |
2019 | Deep learning powered question-answering framework for organizations digital transformation | Carvalho,NR; Luís Soares Barbosa; 5603 |
2019 | Generalising KAT to Verify Weighted Computations | HASLab INESC TEC,Universidade do Minho,R. da Universidade,4710-057 Braga,Portugal,; CIDMA,Universidade de Aveiro,Campus Universitario de Santiago,3810-193 Aveiro,Portugal,; Luís Soares Barbosa; Madeira,A; Leandro Rafael Gomes; Universidade do Minho,R. da Universidade,4710-057 Braga,Portugal & Quantum Software Engineering Group,INL,; 6759; 5603 |
2018 | Hierarchical Hybrid Logic | Renato Jorge Neves; Luís Soares Barbosa; Martins,MA; Alexandre Castro Madeira; 5603; 5620; 6181 |
2020 | Introducing Synchrony in Fuzzy Automata | Leandro Rafael Gomes; Luís Soares Barbosa; Madeira,A; 6759; 5603 |
2018 | Languages and models for hybrid automata: A coalgebraic perspective | Luís Soares Barbosa; Renato Jorge Neves; 6181; 5603 |
2017 | On Kleene Algebras for Weighted Computation | Leandro Rafael Gomes; Alexandre Castro Madeira; Luís Soares Barbosa; 5620; 6759; 5603 |
2019 | On the Generation of Equational Dynamic Logics for Weighted Imperative Programs | Madeira,A; Leandro Rafael Gomes; Jain,M; Luís Soares Barbosa; 5603; 6759 |
2018 | A taxonomy for planning and designing smart mobility services | Estevez,E; Guillermina Cledou; Luís Soares Barbosa; 5603; 6193 |