Renato Jorge Araújo Neves


AuthID: R-006-JRC

Confirmed Publications: 33



11
TITLE: An Adequate While-Language for Hybrid Computation
AUTHORS: Sergey Goncharov; Renato Neves ;
PUBLISHED: 2019, SOURCE: 21st International Symposium on Principles and Practice of Declarative Programming (PPDP) in PROCEEDINGS OF THE 21ST INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING (PPDP 2019)
INDEXED IN: WOS DBLP
IN MY: DBLP
12
TITLE: Limits in categories of Vietoris coalgebras PDF
AUTHORS: Hofmann, D ; Neves, R ; Nora, P;
PUBLISHED: 2019, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 29, ISSUE: 4
INDEXED IN: Scopus WOS DBLP arXiv CrossRef: 5
IN MY: DBLP
13
TITLE: A Semantics for Hybrid Iteration
AUTHORS: Sergey Goncharov; Julian Jakob; Renato Neves ;
PUBLISHED: 2018, 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
INDEXED IN: Scopus DBLP
IN MY: DBLP
14
TITLE: A Semantics for Hybrid Iteration PDF
AUTHORS: Sergey Goncharov; Julian Jakob; Renato Neves ;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1807.01053
INDEXED IN: DBLP arXiv
IN MY: DBLP
15
TITLE: Compositional semantics for new paradigms: probabilistic, hybrid and beyond PDF
AUTHORS: Fredrik Dahlqvist; Renato Neves ;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1804.04145
INDEXED IN: DBLP arXiv
IN MY: DBLP
16
TITLE: GENERATING THE ALGEBRAIC THEORY OF C(X): THE CASE OF PARTIALLY ORDERED COMPACT SPACES
AUTHORS: Dirk Hofmann ; Renato Neves ; Pedro Nora;
PUBLISHED: 2018, SOURCE: THEORY AND APPLICATIONS OF CATEGORIES, VOLUME: 33
INDEXED IN: Scopus WOS
17
TITLE: Hierarchical Hybrid Logic
AUTHORS: Madeira, A ; Neves, R ; Martins, MA ; Barbosa, LS ;
PUBLISHED: 2018, SOURCE: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 338
INDEXED IN: Scopus WOS DBLP CrossRef: 1
IN MY: DBLP
18
TITLE: Languages and models for hybrid automata: A coalgebraic perspective  Full Text
AUTHORS: Renato Neves ; Luis S Barbosa ;
PUBLISHED: 2018, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 744
INDEXED IN: Scopus WOS DBLP CrossRef: 3
IN MY: DBLP
19
TITLE: A method for rigorous design of reconfigurable systems  Full Text
AUTHORS: Alexandre Madeira ; Renato Neves ; Luis S Barbosa ; Manuel A Martins ;
PUBLISHED: 2016, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 132
INDEXED IN: Scopus WOS DBLP CrossRef: 12
IN MY: DBLP
20
TITLE: An exercise on the generation of many-valued dynamic logics
AUTHORS: Alexandre Madeira ; Renato Neves ; Manuel A Martins ;
PUBLISHED: 2016, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 85, ISSUE: 5
INDEXED IN: Scopus WOS DBLP CrossRef: 16
IN MY: DBLP
Page 2 of 4. Total results: 33.

footer slogan

Useful Links

Get Help

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