31
TITLE: Hybrid Automata as Coalgebras
AUTHORS: Renato Neves ; Luis S Barbosa ;
SOURCE: 13th International Colloquium on Theoretical Aspects of Computing (ICTAC) in THEORETICAL ASPECTS OF COMPUTING - ICTAC 2016, VOLUME: 9965, PUBLISHED: 2016
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: ORCID | DBLP
32
TITLE: Proof theory for hybrid(ised) logics  Full Text
AUTHORS: Renato Neves ; Alexandre Madeira ; Manuel A Martins ; Luis S Barbosa ;
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, PUBLISHED: 2016
INDEXED IN: Scopus WOS DBLP CrossRef: 8
IN MY: ORCID | DBLP
33
TITLE: Quien sabe por Algebra, sabe scientificamente: A tribute to José Nuno Oliveira
AUTHORS: Luís Soares Barbosa ; Alcino Cunha ; Alexandra Silva ;
SOURCE: J. Log. Algebr. Meth. Program., VOLUME: 85, ISSUE: 5, PUBLISHED: 2016
INDEXED IN: DBLP CrossRef
IN MY: ORCID | DBLP
34
TITLE: Reuse and Integration of Specification Logics: The Hybridisation Perspective
AUTHORS: Luís Soares Barbosa ; Manuel A Martins ; Alexandre Madeira ; Renato Neves ;
SOURCE: Theoretical Information Reuse and Integration, VOLUME: 446, PUBLISHED: 2016
INDEXED IN: Scopus DBLP CrossRef: 1
IN MY: ORCID | DBLP
35
TITLE: A Dynamic Logic for Every Season
AUTHORS: Alexandre Madeira ; Renato Neves ; Manuel A Martins ; Luis S Barbosa ;
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, PUBLISHED: 2015
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP
36
TITLE: A logic for n-dimensional hierarchical refinement  Full Text
AUTHORS: Alexandre Madeira ; Manuel A Martins ; Luis S Barbosa ;
SOURCE: 17th International Workshop on Refinement, Refine 2015 in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 209, ISSUE: 209, PUBLISHED: 2015
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: ORCID | DBLP
37
TITLE: A Logic for Robotics?  Full Text
AUTHORS: Alexandre Madeira ; Renato Neves ; Manuel A Martins ; Luis S Barbosa ;
SOURCE: International Conference on Numerical Analysis and Applied Mathematics (ICNAAM) in PROCEEDINGS OF THE INTERNATIONAL CONFERENCE OF NUMERICAL ANALYSIS AND APPLIED MATHEMATICS 2014 (ICNAAM-2014), VOLUME: 1648, PUBLISHED: 2015
INDEXED IN: Scopus WOS CrossRef: 1
IN MY: ORCID
38
TITLE: A perspective on architectural re-engineering  Full Text
AUTHORS: Alejandro Sanchez ; Nuno Oliveira; Luis S Barbosa ; Pedro Henriques ;
SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 98, PUBLISHED: 2015
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: ORCID | DBLP
39
TITLE: Completeness and Decidability Results for Hybrid(ised) Logics
AUTHORS: Renato Neves ; Manuel A Martins ; Luis S Barbosa ;
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, PUBLISHED: 2015
INDEXED IN: Scopus WOS DBLP CrossRef: 2
IN MY: ORCID | DBLP
40
TITLE: IMCReo: interactive Markov chains for Stochastic Reo PDF
AUTHORS: Nuno Oliveira; Alexandra Silva ; Luís Soares Barbosa ;
SOURCE: J. Internet Serv. Inf. Secur., VOLUME: 5, ISSUE: 1, PUBLISHED: 2015
INDEXED IN: DBLP
IN MY: ORCID | DBLP
Page 4 of 15. Total results: 147.