Browsing by author 5832

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 1 to 12 of 12.
Issue DateTitleAuthor(s)TypeAccess
2014An institution for Alloy and its translation to second-order logicNeves, Renato; Madeira, Alexandre; Martins, Manuel A., et al.Book partOpen access
12-Jul-2016Continuity as a computational effectNeves, Renato; Barbosa, L. S.; Hofmann, Dirk, et al.ArticleOpen access
2015A dynamic logic for every seasonMadeira, Alexandre; Neves, Renato; Martins, Manuel A., et al.Conference paperOpen access
Sep-2013Giving ALLOY a familyNeves, Renato; Madeira, Alexandre; Martins, Manuel A., et al.Conference paperOpen access
2016Hybrid automata as coalgebrasNeves, Renato Jorge Araújo; Barbosa, L. S.Conference paperOpen access
22-Jun-2018Hybrid programsNeves, Renato Jorge AraújoDoctoral thesisOpen access
2013Hybridisation at workNeves, Renato; Madeira, Alexandre; Martins, Manuel A., et al.Conference paperOpen access
2015A Logic for robotics?Madeira, Alexandre; Neves, Renato; Martins, Manuel A., et al.Conference paperOpen access
2016A method for rigorous design of reconfigurable systemsMadeira, Alexandre Leite Castro; Neves, Renato Jorge Araújo; Barbosa, L. S., et al.ArticleOpen access
2016Proof theory for hybrid(ised) logicsNeves, Renato; Madeira, Alexandre; Martins, Manuel A., et al.ArticleOpen access
2016Reuse and integration of specification logics: the hybridisation perspectiveBarbosa, L. S.; Martins, Manuel A.; Madeira, Alexandre Leite Castro, et al.Book partOpen access
2013When even the interface evolves ...Madeira, Alexandre; Neves, Renato; Martins, Manuel A., et al.Conference paperOpen access