Renato Jorge Araújo Neves


AuthID: R-006-JRC

Confirmed Publications: 27



1
TITLE: An Internal Language for Categories Enriched over Generalised Metric Spaces
AUTHORS: Fredrik Dahlqvist; Renato Neves ;
TYPE: Unpublished, PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2105.08473
INDEXED IN: DBLP
IN MY: DBLP
2
TITLE: Implementing Hybrid Semantics: From Functional to Imperative
AUTHORS: Sergey Goncharov; Renato Neves ; José Proença;
TYPE: Unpublished, PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2009.14322
INDEXED IN: DBLP
IN MY: DBLP
3
TITLE: Implementing Hybrid Semantics: From Functional to Imperative
AUTHORS: Sergey Goncharov; Renato Neves ; José Proença;
TYPE: Proceedings Paper, PUBLISHED: 2020, SOURCE: Theoretical Aspects of Computing - ICTAC 2020 - 17th International Colloquium, Macau, China, November 30 - December 4, 2020, Proceedings, VOLUME: 12545
INDEXED IN: DBLP
IN MY: DBLP
4
TITLE: An Adequate While-Language for Hybrid Computation
AUTHORS: Sergey Goncharov; Renato Neves ;
TYPE: Proceedings Paper, 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
5
TITLE: An Adequate While-Language for Hybrid Computation PDF
AUTHORS: Sergey Goncharov; Renato Neves ;
TYPE: Unpublished, PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1902.07684
INDEXED IN: DBLP arXiv
IN MY: DBLP
6
TITLE: Limits in categories of Vietoris coalgebras
AUTHORS: Dirk Hofmann; Renato Neves ; Pedro Nora;
TYPE: Article, PUBLISHED: 2019, SOURCE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 29, ISSUE: 4
INDEXED IN: Scopus WOS DBLP
IN MY: DBLP
7
TITLE: A Semantics for Hybrid Iteration PDF
AUTHORS: Sergey Goncharov; Julian Jakob; Renato Neves ;
TYPE: Unpublished, PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1807.01053
INDEXED IN: DBLP arXiv
IN MY: DBLP
8
TITLE: A Semantics for Hybrid Iteration
AUTHORS: Sergey Goncharov; Julian Jakob; Renato Neves ;
TYPE: Proceedings Paper, 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
9
TITLE: Compositional semantics for new paradigms: probabilistic, hybrid and beyond PDF
AUTHORS: Fredrik Dahlqvist; Renato Neves ;
TYPE: Unpublished, PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1804.04145
INDEXED IN: DBLP arXiv
IN MY: DBLP
10
TITLE: GENERATING THE ALGEBRAIC THEORY OF C(X): THE CASE OF PARTIALLY ORDERED COMPACT SPACES
AUTHORS: Dirk Hofmann; Renato Neves ; Pedro Nora;
TYPE: Article, PUBLISHED: 2018, SOURCE: THEORY AND APPLICATIONS OF CATEGORIES, VOLUME: 33
INDEXED IN: Scopus WOS
Page 1 of 3. Total results: 27.

footer slogan

Useful Links

Get Help

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