Browsing by Author Renato Jorge Neves
Showing results 1 to 19 of 19
Issue Date | Title | Author(s) |
2019 | An Adequate While-Language for Hybrid Computation | Renato Jorge Neves; Goncharov,S; 6181 |
2016 | Asymmetric Combination of Logics is Functorial: A Survey | Renato Jorge Neves; Alexandre Castro Madeira; Luís Soares Barbosa; Martins,MA |
2015 | Completeness and Decidability Results for Hybrid(ised) Logics | Renato Jorge Neves; Martins,MA; Luís Soares Barbosa |
2015 | Continuity as a computational effect | Renato Jorge Neves; Martins,ManuelA.; Luís Soares Barbosa; Hofmann,Dirk |
2015 | A Dynamic Logic for Every Season | Alexandre Castro Madeira; Renato Jorge Neves; Martins,MA; Luís Soares Barbosa |
2016 | An exercise on the generation of many-valued dynamic logics | Alexandre Castro Madeira; Renato Jorge Neves; Martins,MA |
2018 | Generating the algebraic theory of C(X): The case of partially ordered compact spaces | Hofmann,D; Nora,P; Renato Jorge Neves; 6181 |
2013 | Giving Alloy a family | Renato Jorge Neves; Alexandre Castro Madeira; Martins,MA; Luís Soares Barbosa |
2018 | Hierarchical Hybrid Logic | Renato Jorge Neves; Luís Soares Barbosa; Martins,MA; Alexandre Castro Madeira; 5603; 5620; 6181 |
2016 | Hybrid Automata as Coalgebras | Renato Jorge Neves; Luís Soares Barbosa |
2013 | Hybridisation at work | Renato Jorge Neves; Alexandre Castro Madeira; Martins,MA; Luís Soares Barbosa |
2014 | An institution for Alloy and its translation to second-order logic | Renato Jorge Neves; Alexandre Castro Madeira; Martins,M; Luís Soares Barbosa |
2018 | Languages and models for hybrid automata: A coalgebraic perspective | Luís Soares Barbosa; Renato Jorge Neves; 6181; 5603 |
2019 | Limits in Categories of Vietoris Coalgebras | Nora,P; Hofmann,D; Renato Jorge Neves; 6181 |
2015 | A Logic for Robotics? | Alexandre Castro Madeira; Renato Jorge Neves; Martins,MA; Luís Soares Barbosa |
2016 | A method for rigorous design of reconfigurable systems | Alexandre Castro Madeira; Renato Jorge Neves; Luís Soares Barbosa; Martins,MA |
2014 | Paradigm integration in a specification course | Martins,MA; Alexandre Castro Madeira; Luís Soares Barbosa; Renato Jorge Neves |
2016 | Proof theory for hybrid(ised) logics | Renato Jorge Neves; Alexandre Castro Madeira; Martins,MA; Luís Soares Barbosa |
2013 | When even the interface evolves ... | Alexandre Castro Madeira; Renato Jorge Neves; Martins,MA; Luís Soares Barbosa |