Resultados da pesquisa para:
Filtrar os seus resultados
0 Resultados
Renato Jorge Neves
Investigador Sénior
Publicações
THE SYNTACTIC SIDE OF AUTONOMOUS CATEGORIES ENRICHED OVER GENERALISED METRIC SPACES
Dahlqvist, F;Neves, R;
2023
LOGICAL METHODS IN COMPUTER SCIENCE
An adequacy theorem between mixed powerdomains and probabilistic concurrency
Neves, R;
2024
CoRR
Logic and Calculi for All on the occasion of Luis Barbosa's 60th birthday
Madeira, A;Oliveira, JN;Proença, J;Neves, R;
2025
JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING
The syntactic side of autonomous categories enriched over generalised metric spaces
Dahlqvist, F;Neves, R;
2023
Log. Methods Comput. Sci.
Teses Orientadas
Approximate Equivalence for Hybrid Programs
Juliana Patrício de Souza
M - 2022
UM-EEUM
iQbricks: Integration of a fully-featured quantum language in the framework Qbricks
Tomás Barros Carneiro
M - 2023
UM-EEUM
Adding Uncertainty to Real-Time Programming
Rui Carlos Azevedo Carvalho
M - null
UM-EEUM
Simulation of Hybrid Systems Regulated by Newtonian Mechanics
Ricardo da Silva Correia
M - null
UM-EEUM
