Renato Jorge Araújo Neves


AuthID: R-006-JRC

Publicações Confirmadas: 31



21
TÍTULO: Hybrid Automata as Coalgebras
AUTORES: Neves, R ; Barbosa, LS ;
PUBLICAÇÃO: 2016, FONTE: 13th International Colloquium on Theoretical Aspects of Computing (ICTAC) in THEORETICAL ASPECTS OF COMPUTING - ICTAC 2016, VOLUME: 9965
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
22
TÍTULO: Proof theory for hybrid(ised) logics
AUTORES: Neves, R ; Madeira, A ; Martins, MA ; Barbosa, LS ;
PUBLICAÇÃO: 2016, FONTE: 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
INDEXADO EM: Scopus WOS DBLP CrossRef: 11
23
TÍTULO: Reuse and Integration of Specification Logics: The Hybridisation Perspective
AUTORES: Luís Soares Barbosa ; Manuel A Martins ; Alexandre Madeira ; Renato Neves ;
PUBLICAÇÃO: 2016, FONTE: Theoretical Information Reuse and Integration, VOLUME: 446
INDEXADO EM: Scopus DBLP CrossRef: 1
24
TÍTULO: A Dynamic Logic for Every Season
AUTORES: Madeira, A ; Neves, R ; Martins, MA ; Barbosa, LS ;
PUBLICAÇÃO: 2015, FONTE: 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
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
25
TÍTULO: A Logic for Robotics?  Full Text
AUTORES: Alexandre Madeira ; Renato Neves ; Manuel A Martins ; Luis S Barbosa ;
PUBLICAÇÃO: 2015, FONTE: 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
INDEXADO EM: Scopus WOS CrossRef: 1
26
TÍTULO: Completeness and Decidability Results for Hybrid(ised) Logics
AUTORES: Neves, R ; Martins, MA ; Barbosa, LS ;
PUBLICAÇÃO: 2015, FONTE: 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
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
27
TÍTULO: Paradigm integration in a specification course
AUTORES: Martins, MA ; Madeira, A ; Barbosa, LS ; Neves, R ;
PUBLICAÇÃO: 2014, FONTE: 15th IEEE International Conference on Information Reuse and Integration (IEEE IRI) / IRI-HI / FMI / DIM / EM-RITE / WICSOC / SocialSec / IICPC / NatSec in 2014 IEEE 15TH INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION (IRI)
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
28
TÍTULO: An Institution for Alloy and Its Translation to Second-Order Logic
AUTORES: Renato Neves ; Alexandre Madeira ; Manuel A Martins ; Luís Soares Barbosa ;
PUBLICAÇÃO: 2013, FONTE: IRI (best papers), VOLUME: 263
INDEXADO EM: Scopus DBLP CrossRef: 2
29
TÍTULO: Giving Alloy a family
AUTORES: Renato Neves ; Alexandre Madeira ; Manuel A Martins ;
PUBLICAÇÃO: 2013, FONTE: IRI
INDEXADO EM: Scopus DBLP CrossRef: 1
30
TÍTULO: Hybridisation at Work
AUTORES: Renato Neves ; Alexandre Madeira ; Manuel A Martins ; Luís Soares Barbosa ;
PUBLICAÇÃO: 2013, FONTE: CALCO, VOLUME: 8089 LNCS
INDEXADO EM: Scopus DBLP
Página 3 de 4. Total de resultados: 31.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service