INESC TEC
INESC TEC
INESC TEC
Resultados da pesquisa para:
Filtrar os seus resultados

0 Resultados

Paulo Sérgio Almeida

Paulo Sérgio Almeida

Investigador Sénior

Projetos

Publicações

The Blocklace: A Universal, Byzantine Fault-Tolerant, Conflict-free Replicated Data Type

Almeida, PS;Shapiro, E;

2024

CoRR

Approaches to Conflict-free Replicated Data Types

Almeida, PS;

2023

CoRR

An Experimental Evaluation of Tools for Grading Concurrent Programming Exercises

Barros, M;Ramos, M;Gomes, A;Cunha, A;Pereira, J;Almeida, PS;

2023

FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS, FORTE 2023

Time-limited Bloom Filter

Rodrigues, A;Shtul, A;Baquero, C;Almeida, PS;

2023

38TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, SAC 2023

Ver todas as publicações

Teses Orientadas

Design, integration and experimental validation of a 2-bit Reconfigurable Intelligent Surface

Ricardo Carvalho Araújo

M - 2023

UP-FEUP

Information and Contacts