1. INESCTEC

Browsing by Author Renato Jorge Neves

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 3 to 19 of 19 < previous 
Issue DateTitleAuthor(s)
2015Completeness and Decidability Results for Hybrid(ised) LogicsRenato Jorge Neves; Martins,MA; Luís Soares Barbosa
2015Continuity as a computational effectRenato Jorge Neves; Martins,ManuelA.; Luís Soares Barbosa; Hofmann,Dirk
2015A Dynamic Logic for Every SeasonAlexandre Castro Madeira; Renato Jorge Neves; Martins,MA; Luís Soares Barbosa
2016An exercise on the generation of many-valued dynamic logicsAlexandre Castro Madeira; Renato Jorge Neves; Martins,MA
2018Generating the algebraic theory of C(X): The case of partially ordered compact spacesHofmann,D; Nora,P; Renato Jorge Neves; 6181
2013Giving Alloy a familyRenato Jorge Neves; Alexandre Castro Madeira; Martins,MA; Luís Soares Barbosa
2018Hierarchical Hybrid LogicRenato Jorge Neves; Luís Soares Barbosa; Martins,MA; Alexandre Castro Madeira; 5603; 5620; 6181
2016Hybrid Automata as CoalgebrasRenato Jorge Neves; Luís Soares Barbosa
2013Hybridisation at workRenato Jorge Neves; Alexandre Castro Madeira; Martins,MA; Luís Soares Barbosa
2014An institution for Alloy and its translation to second-order logicRenato Jorge Neves; Alexandre Castro Madeira; Martins,M; Luís Soares Barbosa
2018Languages and models for hybrid automata: A coalgebraic perspectiveLuís Soares Barbosa; Renato Jorge Neves; 6181; 5603
2019Limits in Categories of Vietoris CoalgebrasNora,P; Hofmann,D; Renato Jorge Neves; 6181
2015A Logic for Robotics?Alexandre Castro Madeira; Renato Jorge Neves; Martins,MA; Luís Soares Barbosa
2016A method for rigorous design of reconfigurable systemsAlexandre Castro Madeira; Renato Jorge Neves; Luís Soares Barbosa; Martins,MA
2014Paradigm integration in a specification courseMartins,MA; Alexandre Castro Madeira; Luís Soares Barbosa; Renato Jorge Neves
2016Proof theory for hybrid(ised) logicsRenato Jorge Neves; Alexandre Castro Madeira; Martins,MA; Luís Soares Barbosa
2013When even the interface evolves ...Alexandre Castro Madeira; Renato Jorge Neves; Martins,MA; Luís Soares Barbosa
Showing results 3 to 19 of 19 < previous