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 2 to 14 of 14 < 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
2013Giving Alloy a familyRenato Jorge Neves; Alexandre Castro Madeira; Martins,MA; Luís Soares Barbosa
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
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 2 to 14 of 14 < previous