Renato Jorge Araújo Neves


AuthID: R-006-JRC

Confirmed Publications: 23



1
TITLE: An Adequate While-Language for Hybrid Computation PDF
AUTHORS: Sergey Goncharov; Renato Neves ;
SOURCE: CoRR, VOLUME: abs/1902.07684, PUBLISHED: 2019
INDEXED IN: DBLP arXiv
IN MY: DBLP
2
TITLE: Limits in categories of Vietoris coalgebras PDF
AUTHORS: Dirk Hofmann; Renato Neves ; Pedro Nora;
SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 29, ISSUE: 4, PUBLISHED: 2019
INDEXED IN: Scopus WOS DBLP arXiv
IN MY: DBLP
3
TITLE: A Semantics for Hybrid Iteration PDF
AUTHORS: Sergey Goncharov; Julian Jakob; Renato Neves ;
SOURCE: CoRR, VOLUME: abs/1807.01053, PUBLISHED: 2018
INDEXED IN: DBLP arXiv
IN MY: DBLP
4
TITLE: A Semantics for Hybrid Iteration
AUTHORS: Sergey Goncharov; Julian Jakob; Renato Neves ;
SOURCE: 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, PUBLISHED: 2018
INDEXED IN: Scopus DBLP
IN MY: DBLP
5
TITLE: Compositional semantics for new paradigms: probabilistic, hybrid and beyond PDF
AUTHORS: Fredrik Dahlqvist; Renato Neves ;
SOURCE: CoRR, VOLUME: abs/1804.04145, PUBLISHED: 2018
INDEXED IN: DBLP arXiv
IN MY: DBLP
6
TITLE: GENERATING THE ALGEBRAIC THEORY OF C(X): THE CASE OF PARTIALLY ORDERED COMPACT SPACES
AUTHORS: Dirk Hofmann; Renato Neves ; Pedro Nora;
SOURCE: THEORY AND APPLICATIONS OF CATEGORIES, VOLUME: 33, PUBLISHED: 2018
INDEXED IN: Scopus WOS
7
TITLE: Hierarchical Hybrid Logic
AUTHORS: Alexandre Madeira ; Renato Neves ; Manuel A Martins; Luis S Barbosa ;
SOURCE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 338, PUBLISHED: 2018
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: DBLP
8
TITLE: Languages and models for hybrid automata: A coalgebraic perspective  Full Text
AUTHORS: Renato Neves ; Luis S Barbosa ;
SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 744, PUBLISHED: 2018
INDEXED IN: Scopus WOS DBLP CrossRef
IN MY: DBLP
9
TITLE: A method for rigorous design of reconfigurable systems  Full Text
AUTHORS: Alexandre Madeira ; Renato Neves ; Luis S Barbosa ; Manuel A Martins ;
SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 132, PUBLISHED: 2016
INDEXED IN: Scopus WOS DBLP CrossRef: 6
IN MY: DBLP
10
TITLE: An exercise on the generation of many-valued dynamic logics
AUTHORS: Alexandre Madeira ; Renato Neves ; Manuel A Martins ;
SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 85, ISSUE: 5, PUBLISHED: 2016
INDEXED IN: Scopus WOS DBLP CrossRef: 6
IN MY: DBLP
Page 1 of 3. Total results: 23.

A place for researchers and their institutions

Useful Links

Get Help

© 2020 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service