Browsing by Author Renato Jorge Neves
Showing results 1 to 14 of 14
| Issue Date | Title | Author(s) |
| 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 |
| 2013 | Giving Alloy a family | Renato Jorge Neves; Alexandre Castro Madeira; Martins,MA; Luís Soares Barbosa |
| 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 |
| 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 |
