
Ricardo Rocha
Coordenador de Centro
Publicações
Yet Another Lock-Free Atom Table Design for Scalable Symbol Management in Prolog
Moreno, P;Areias, M;Rocha, R;Costa, VS;
2024
INTERNATIONAL JOURNAL OF PARALLEL PROGRAMMING
Releasing Memory with Optimistic Access: A Hybrid Approach to Memory Reclamation and Allocation in Lock-Free Programs
Moreno, P;Rocha, R;
2023
PROCEEDINGS OF THE 35TH ACM SYMPOSIUM ON PARALLELISM IN ALGORITHMS AND ARCHITECTURES, SPAA 2023
On Extending a Linear Tabling Framework to Support Batched Scheduling
Areias, M;Rocha, R;
2012
1st Symposium on Languages, Applications and Technologies, SLATE 2012, Braga, Portugal, June 21-22, 2012
Preface
Rocha, R;Launchbury, J;
2011
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Teses Supervisionadas
A User Experience Framework for Designing Graphical User Interfaces for viewing and editing 360º Videos in Virtual Reality
Marisa Filipa Cardoso Pinheiro
D - 2023
UP-FEUP