Browsing by Author Alexandre Castro Madeira

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 32  next >
Issue DateTitleAuthor(s)
2016Asymmetric Combination of Logics is Functorial: A SurveyRenato Jorge Neves; Alexandre Castro Madeira; Luís Soares Barbosa; Martins,MA
2019Behavioural and Abstractor Specifications for a Dynamic Logic with Binders and Silent TransitionsKnapp,A; Hennicker,R; Alexandre Castro Madeira; Mindt,F; 5620
2019Behavioural and Abstractor Specifications for a Dynamic Logic with Binders and Silent TransitionsHennicker,R; Mindt,F; Alexandre Castro Madeira; Knapp,A; 5620
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
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
2016Encoding hybridized institutions into first-order logicDiaconescu,R; Alexandre Castro Madeira
2016An exercise on the generation of many-valued dynamic logicsAlexandre Castro Madeira; Renato Jorge Neves; Martins,MA
2020A Fuzzy Modal Logic for Fuzzy Transition SystemsAlexandre Castro Madeira; Jain,M; Martins,MA; 5620
2020A Fuzzy Modal Logic for Fuzzy Transition SystemsAlexandre Castro Madeira; Jain,M; Martins,MA; 5620
2020A Fuzzy Modal Logic for Fuzzy Transition SystemsAlexandre Castro Madeira; Jain,M; Martins,MA; 5620
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
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
2017Institutions for Behavioural Dynamic Logic with BindersHennicker,R; Alexandre Castro Madeira
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