11
TITLE: Hierarchical Hybrid Logic
AUTHORS: Alexandre Madeira ; Renato Neves ; Manuel A Martins; Luis S Barbosa ;
TYPE: Article, PUBLISHED: 2018, SOURCE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 338
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: DBLP
12
TITLE: Languages and models for hybrid automata: A coalgebraic perspective  Full Text
AUTHORS: Renato Neves ; Luis S Barbosa ;
TYPE: Article, PUBLISHED: 2018, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 744
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: DBLP
13
TITLE: A method for rigorous design of reconfigurable systems  Full Text
AUTHORS: Alexandre Madeira ; Renato Neves ; Luis S Barbosa ; Manuel A Martins ;
TYPE: Article, PUBLISHED: 2016, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 132
INDEXED IN: Scopus WOS DBLP CrossRef: 7
IN MY: DBLP
14
TITLE: An exercise on the generation of many-valued dynamic logics
AUTHORS: Alexandre Madeira ; Renato Neves ; Manuel A Martins ;
TYPE: Article, PUBLISHED: 2016, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 85, ISSUE: 5
INDEXED IN: Scopus WOS DBLP CrossRef: 11
IN MY: DBLP
15
TITLE: Asymmetric Combination of Logics is Functorial: A Survey
AUTHORS: Renato Neves ; Alexandre Madeira ; Luís Soares Barbosa ; Manuel A Martins ;
TYPE: Proceedings Paper, PUBLISHED: 2016, SOURCE: 23rd IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2016 in Recent Trends in Algebraic Development Techniques - 23rd IFIP WG 1.3 International Workshop, WADT 2016, Gregynog, UK, September 21-24, 2016, Revised Selected Papers, VOLUME: 10644
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: DBLP
16
TITLE: Continuity as a computational effect
AUTHORS: Renato Neves ; Luis S Barbosa ; Dirk Hofmann ; Manuel A Martins ;
TYPE: Article, PUBLISHED: 2016, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 85, ISSUE: 5
INDEXED IN: Scopus WOS DBLP CrossRef: 5
IN MY: DBLP
17
TITLE: Hybrid Automata as Coalgebras
AUTHORS: Renato Neves ; Luis S Barbosa ;
TYPE: Proceedings Paper, PUBLISHED: 2016, SOURCE: 13th International Colloquium on Theoretical Aspects of Computing (ICTAC) in THEORETICAL ASPECTS OF COMPUTING - ICTAC 2016, VOLUME: 9965
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: DBLP
18
TITLE: Proof theory for hybrid(ised) logics  Full Text
AUTHORS: Renato Neves ; Alexandre Madeira ; Manuel A Martins ; Luis S Barbosa ;
TYPE: Article, PUBLISHED: 2016, SOURCE: 17th Brazilian Symposium on Formal Methods (SBMF) as part of 5th Brazilian Conference on Software - Theory and Practice (CBSoft) in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 126
INDEXED IN: Scopus WOS DBLP CrossRef: 10
IN MY: DBLP
19
TITLE: Reuse and Integration of Specification Logics: The Hybridisation Perspective
AUTHORS: Luís Soares Barbosa ; Manuel A Martins ; Alexandre Madeira ; Renato Neves ;
TYPE: Book Chapter, PUBLISHED: 2016, SOURCE: Theoretical Information Reuse and Integration, VOLUME: 446
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: DBLP
20
TITLE: A Dynamic Logic for Every Season
AUTHORS: Alexandre Madeira ; Renato Neves ; Manuel A Martins ; Luis S Barbosa ;
TYPE: Proceedings Paper, PUBLISHED: 2015, SOURCE: 17th Brazilian Symposium on Formal Methods (SBMF) as part of 5th Brazilian Conference on Software - Theory and Practice (CBSoft) in FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2014, VOLUME: 8941
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: DBLP
Page 2 of 3. Total results: 27.