Renato Jorge Araújo Neves


AuthID: R-006-JRC

Confirmed Publications: 32



1
TITLE: Logic and Calculi for All on the occasion of Luis Barbosa's 60th birthday
AUTHORS: Madeira, Alexandre; Oliveira, Jose Nuno ; Proenca, Jose ; Neves, Renato ;
PUBLISHED: 2025, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 143
INDEXED IN: Scopus WOS DBLP
IN MY: DBLP
2
TITLE: An adequacy theorem between mixed powerdomains and probabilistic concurrency
AUTHORS: Renato Neves ;
PUBLISHED: 2024, SOURCE: CoRR, VOLUME: abs/2409.15920
INDEXED IN: DBLP
IN MY: DBLP
3
TITLE: A Complete V-Equational System for Graded lambda-Calculus
AUTHORS: Fredrik Dahlqvist; Renato Neves ;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2304.02082
INDEXED IN: DBLP
IN MY: DBLP
4
TITLE: The syntactic side of autonomous categories enriched over generalised metric spaces
AUTHORS: Fredrik Dahlqvist; Renato Neves ;
PUBLISHED: 2023, SOURCE: Log. Methods Comput. Sci., VOLUME: 19, ISSUE: 4
INDEXED IN: DBLP
IN MY: DBLP
5
TITLE: THE SYNTACTIC SIDE OF AUTONOMOUS CATEGORIES ENRICHED OVER GENERALISED METRIC SPACES
AUTHORS: Dahlqvist, Fredrik; Neves, Renato ;
PUBLISHED: 2023, SOURCE: LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 19, ISSUE: 4
INDEXED IN: Scopus WOS
6
TITLE: An Internal Language for Categories Enriched over Generalised Metric Spaces
AUTHORS: Fredrik Dahlqvist; Renato Neves ;
PUBLISHED: 2022, SOURCE: 30th EACSL Annual Conference on Computer Science Logic, CSL 2022, February 14-19, 2022, Göttingen, Germany (Virtual Conference)., VOLUME: 216
INDEXED IN: Scopus DBLP
IN MY: DBLP
7
TITLE: An Internal Language for Categories Enriched over Generalised Metric Spaces
AUTHORS: Fredrik Dahlqvist; Renato Neves ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2105.08473
INDEXED IN: DBLP
IN MY: DBLP
8
TITLE: Implementing Hybrid Semantics: From Functional to Imperative
AUTHORS: Goncharov, S; Neves, R ; Proenca, J ;
PUBLISHED: 2020, SOURCE: 17th International Colloquium on Theoretical Aspects of Computing (ICTAC) in THEORETICAL ASPECTS OF COMPUTING, ICTAC 2020, VOLUME: 12545
INDEXED IN: Scopus WOS DBLP CrossRef: 4
IN MY: DBLP
9
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
10
TITLE: An Adequate While-Language for Hybrid Computation PDF
AUTHORS: Sergey Goncharov; Renato Neves ;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1902.07684
INDEXED IN: DBLP arXiv
IN MY: DBLP
Page 1 of 4. Total results: 32.

footer slogan

Useful Links

Get Help

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