Renato Jorge Araújo Neves


AuthID: R-006-JRC

Publicações Confirmadas: 31



1
TÍTULO: An adequacy theorem between mixed powerdomains and probabilistic concurrency
AUTORES: Renato Neves ;
PUBLICAÇÃO: 2024, FONTE: CoRR, VOLUME: abs/2409.15920
INDEXADO EM: DBLP
NO MEU: DBLP
2
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
3
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
4
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
5
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
6
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
7
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: 2
NO MEU: DBLP
8
TÍTULO: An Adequate While-Language for Hybrid Computation PDF
AUTORES: Sergey Goncharov; Renato Neves ;
PUBLICAÇÃO: 2019, FONTE: CoRR, VOLUME: abs/1902.07684
INDEXADO EM: DBLP arXiv
NO MEU: DBLP
9
TÍTULO: An Adequate While-Language for Hybrid Computation
AUTORES: Sergey Goncharov; Renato Neves ;
PUBLICAÇÃO: 2019, FONTE: 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)
INDEXADO EM: WOS DBLP
NO MEU: DBLP
10
TÍTULO: Limits in categories of Vietoris coalgebras
AUTORES: Hofmann, D ; Neves, R ; Nora, P;
PUBLICAÇÃO: 2019, FONTE: MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, VOLUME: 29, NÚMERO: 4
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
NO MEU: DBLP
Página 1 de 4. Total de resultados: 31.

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

Links Úteis

Ajuda

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