Renato Jorge Araújo Neves


AuthID: R-006-JRC

Confirmed Publications: 31



1
TITLE: An Adequacy Theorem Between Mixed Powerdomains and Probabilistic Concurrency
AUTHORS: Neves, Renato ;
PUBLISHED: 2025, SOURCE: 32nd International Workshop on Expressiveness in Concurrency (EXPRESS) / 22nd Workshop on Structural Operational Semantics (SOS) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: abs/2409.15920, ISSUE: 433
INDEXED IN: Scopus WOS DBLP
IN MY: DBLP
2
TITLE: An adequate while-language for stochastic hybrid computation
AUTHORS: Neves, Renato ; Proenca, Jose ; Souza, Juliana;
PUBLISHED: 2025, SOURCE: 27th International Symposium on Principles and Practice of Declarative Programming-PPDP in PROCEEDINGS OF THE 27TH INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING, PPDP 2025
INDEXED IN: Scopus WOS DBLP CrossRef
3
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
4
TITLE: Formal Simulation and Visualisation of Hybrid Programs An Extension of a Proof-of-Concept Tool
AUTHORS: Mendes, Pedro; Correia, Ricardo; Neves, Renato ; Proenca, Jose ;
PUBLISHED: 2024, SOURCE: 6th International Workshop on Formal Methods for Autonomous Systems (FMAS) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 411, ISSUE: 411
INDEXED IN: Scopus WOS DBLP CrossRef: 3 Unpaywall
5
TITLE: A Complete V-Equational System for Graded lambda-Calculus
AUTHORS: Fredrik Dahlqvist; Renato Neves ;
PUBLISHED: 2023, SOURCE: MFPS
INDEXED IN: DBLP
6
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
7
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
8
TITLE: An Internal Language for Categories Enriched over Generalised Metric Spaces
AUTHORS: Fredrik Dahlqvist; Renato Neves ;
PUBLISHED: 2022, SOURCE: CSL, VOLUME: 216
INDEXED IN: Scopus DBLP
9
TITLE: Implementing Hybrid Semantics: From Functional to Imperative
AUTHORS: Goncharov, S; Neves, R ; Proença, 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: 8
10
TITLE: An Adequate While-Language for Hybrid Computation
AUTHORS: Goncharov, S; Neves, R ;
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
Page 1 of 4. Total results: 31.

footer slogan

Useful Links

Get Help

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