Renato Jorge Araújo Neves


AuthID: R-006-JRC

Publicações Confirmadas: 34



1
TÍTULO: An Adequacy Theorem Between Mixed Powerdomains and Probabilistic Concurrency
AUTORES: Neves, Renato ;
PUBLICAÇÃO: 2025, FONTE: 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, NÚMERO: 433
INDEXADO EM: Scopus WOS DBLP
2
TÍTULO: An Adequate While-Language for Stochastic Hybrid Computation
AUTORES: Renato Neves ; José Proença ; Juliana Souza;
PUBLICAÇÃO: 2025, FONTE: 27th International Symposium on Principles and Practice of Declarative Programming, PPDP 2025 in CoRR, VOLUME: abs/2507.15913
INDEXADO EM: Scopus DBLP CrossRef
3
TÍTULO: Logic and Calculi for All on the occasion of Luis Barbosa's 60th birthday
AUTORES: Madeira, Alexandre; Oliveira, Jose Nuno ; Proenca, Jose ; Neves, Renato ;
PUBLICAÇÃO: 2025, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 143
INDEXADO EM: Scopus WOS DBLP
NO MEU: DBLP
4
TÍTULO: Formal Simulation and Visualisation of Hybrid Programs An Extension of a Proof-of-Concept Tool  Full Text
AUTORES: Mendes, Pedro; Correia, Ricardo; Neves, Renato ; Proenca, Jose;
PUBLICAÇÃO: 2024, FONTE: 6th International Workshop on Formal Methods for Autonomous Systems (FMAS) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 411, NÚMERO: 411
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
NO MEU: DBLP
5
TÍTULO: A Complete V-Equational System for Graded lambda-Calculus
AUTORES: Fredrik Dahlqvist; Renato Neves ;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2304.02082
INDEXADO EM: DBLP
NO MEU: DBLP
6
TÍTULO: THE SYNTACTIC SIDE OF AUTONOMOUS CATEGORIES ENRICHED OVER GENERALISED METRIC SPACES
AUTORES: Dahlqvist, Fredrik; Neves, Renato ;
PUBLICAÇÃO: 2023, FONTE: LOGICAL METHODS IN COMPUTER SCIENCE, VOLUME: 19, NÚMERO: 4
INDEXADO EM: Scopus WOS
7
TÍTULO: The syntactic side of autonomous categories enriched over generalised metric spaces
AUTORES: Fredrik Dahlqvist; Renato Neves ;
PUBLICAÇÃO: 2023, FONTE: Log. Methods Comput. Sci., VOLUME: 19, NÚMERO: 4
INDEXADO EM: DBLP
NO MEU: DBLP
8
TÍTULO: An Internal Language for Categories Enriched over Generalised Metric Spaces
AUTORES: Fredrik Dahlqvist; Renato Neves ;
PUBLICAÇÃO: 2022, FONTE: 30th EACSL Annual Conference on Computer Science Logic, CSL 2022, February 14-19, 2022, Göttingen, Germany (Virtual Conference)., VOLUME: 216
INDEXADO EM: Scopus DBLP
NO MEU: DBLP
9
TÍTULO: An Internal Language for Categories Enriched over Generalised Metric Spaces
AUTORES: Fredrik Dahlqvist; Renato Neves ;
PUBLICAÇÃO: 2021, FONTE: CoRR, VOLUME: abs/2105.08473
INDEXADO EM: DBLP
NO MEU: DBLP
10
TÍTULO: Implementing Hybrid Semantics: From Functional to Imperative
AUTORES: Goncharov, S; Neves, R ; Proenca, J ;
PUBLICAÇÃO: 2020, FONTE: 17th International Colloquium on Theoretical Aspects of Computing (ICTAC) in THEORETICAL ASPECTS OF COMPUTING, ICTAC 2020, VOLUME: 12545
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
NO MEU: DBLP
Página 1 de 4. Total de resultados: 34.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2026 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service