Browsing by Author Madeira,A
Showing results 1 to 4 of 4
Issue Date | Title | Author(s) |
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 |
2020 | Introducing Synchrony in Fuzzy Automata | Leandro Rafael Gomes; Luís Soares Barbosa; Madeira,A; 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 |
2019 | Taming Hierarchical Connectors | Madeira,A; José Paiva Proença; 5901 |