Renato Jorge Araújo Neves


AuthID: R-006-JRC

Publicações Confirmadas: 31



11
TÍTULO: A Semantics for Hybrid Iteration PDF
AUTORES: Sergey Goncharov; Julian Jakob; Renato Neves ;
PUBLICAÇÃO: 2018, FONTE: CoRR, VOLUME: abs/1807.01053
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
12
TÍTULO: A Semantics for Hybrid Iteration
AUTORES: Sergey Goncharov; Julian Jakob; Renato Neves ;
PUBLICAÇÃO: 2018, FONTE: 29th International Conference on Concurrency Theory, CONCUR 2018 in 29th International Conference on Concurrency Theory, CONCUR 2018, September 4-7, 2018, Beijing, China, VOLUME: 118
INDEXADO EM: Scopus DBLP
NO MEU: DBLP
13
TÍTULO: Compositional semantics for new paradigms: probabilistic, hybrid and beyond PDF
AUTORES: Fredrik Dahlqvist; Renato Neves ;
PUBLICAÇÃO: 2018, FONTE: CoRR, VOLUME: abs/1804.04145
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
14
TÍTULO: GENERATING THE ALGEBRAIC THEORY OF C(X): THE CASE OF PARTIALLY ORDERED COMPACT SPACES
AUTORES: Dirk Hofmann ; Renato Neves ; Pedro Nora;
PUBLICAÇÃO: 2018, FONTE: THEORY AND APPLICATIONS OF CATEGORIES, VOLUME: 33
INDEXADO EM: Scopus WOS
15
TÍTULO: Hierarchical Hybrid Logic
AUTORES: Alexandre Madeira ; Renato Neves ; Manuel A Martins ; Luis S Barbosa ;
PUBLICAÇÃO: 2018, FONTE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 338
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
NO MEU: DBLP
16
TÍTULO: Languages and models for hybrid automata: A coalgebraic perspective  Full Text
AUTORES: Renato Neves ; Luis S Barbosa ;
PUBLICAÇÃO: 2018, FONTE: THEORETICAL COMPUTER SCIENCE, VOLUME: 744
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
NO MEU: DBLP
17
TÍTULO: A method for rigorous design of reconfigurable systems  Full Text
AUTORES: Alexandre Madeira ; Renato Neves ; Luis S Barbosa ; Manuel A Martins ;
PUBLICAÇÃO: 2016, FONTE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 132
INDEXADO EM: Scopus WOS DBLP CrossRef: 10
NO MEU: DBLP
18
TÍTULO: An exercise on the generation of many-valued dynamic logics
AUTORES: Alexandre Madeira ; Renato Neves ; Manuel A Martins ;
PUBLICAÇÃO: 2016, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 85, NÚMERO: 5
INDEXADO EM: Scopus WOS DBLP CrossRef: 15
NO MEU: DBLP
19
TÍTULO: Asymmetric Combination of Logics is Functorial: A Survey
AUTORES: Renato Neves ; Alexandre Madeira ; Luís Soares Barbosa ; Manuel A Martins ;
PUBLICAÇÃO: 2016, FONTE: 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
INDEXADO EM: Scopus DBLP CrossRef: 2
NO MEU: DBLP
20
TÍTULO: Continuity as a computational effect
AUTORES: Renato Neves ; Luis S Barbosa ; Dirk Hofmann ; Manuel A Martins ;
PUBLICAÇÃO: 2016, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 85, NÚMERO: 5
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
NO MEU: DBLP
Página 2 de 4. Total de resultados: 31.

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

Links Úteis

Ajuda

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