Browsing by Author Martins,MA

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 20 of 20
Issue DateTitleAuthor(s)
2016Asymmetric Combination of Logics is Functorial: A SurveyRenato Jorge Neves; Alexandre Castro Madeira; Luís Soares Barbosa; Martins,MA
2013Bisimilarity and refinement for hybrid(ised) logicsAlexandre Castro Madeira; Martins,MA; Luís Soares Barbosa
2013Boilerplates for Reconfigurable Systems: A Language and Its SemanticsAlexandre Castro Madeira; Martins,MA; Luís Soares Barbosa
2013A Coalgebraic Perspective on Logical InterpretationsMartins,MA; Alexandre Castro Madeira; Luís Soares Barbosa
2015Completeness and Decidability Results for Hybrid(ised) LogicsRenato Jorge Neves; Martins,MA; Luís Soares Barbosa
2015A Dynamic Logic for Every SeasonAlexandre Castro Madeira; Renato Jorge Neves; Martins,MA; Luís Soares Barbosa
2016Dynamic Logic with Binders and Its Application to the Development of Reactive SystemsAlexandre Castro Madeira; Luís Soares Barbosa; Hennicker,R; Martins,MA
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
2014A Hilbert-Style Axiomatisation for Equational Hybrid LogicLuís Soares Barbosa; Martins,MA; Carreteiro,M
2013Hybridisation at workRenato Jorge Neves; Alexandre Castro Madeira; Martins,MA; Luís Soares Barbosa
2015A logic for n-dimensional hierarchical refinementAlexandre Castro Madeira; Martins,MA; 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
2016On Interval Dynamic LogicSantiago,RHN; Bedregal,BRC; Alexandre Castro Madeira; 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
2015Refinement in hybridised institutionsAlexandre Castro Madeira; Martins,MA; Luís Soares Barbosa; Hennicker,R
2014THE ROLE OF LOGICAL INTERPRETATIONS IN PROGRAM DEVELOPMENTMartins,MA; Alexandre Castro Madeira; Luís Soares Barbosa
2013When even the interface evolves ...Alexandre Castro Madeira; Renato Jorge Neves; Martins,MA; Luís Soares Barbosa