Geographic image retrieval in mobile guides. - Rui Jesus 001; Ricardo J. Dias; Rute Frias; Nuno Correia 001 (GIR, 2007)

Mobile interface of the memoria project. - Ricardo J. Dias; Rui Jesus 001; Rute Frias; Nuno Correia 001 (SIGIR, 2007)

Memoria mobile: sharing pictures of a point of interest. - Rui Jesus 001; Ricardo J. Dias; Rute Frias; Arnaldo J. Abrantes; Nuno Correia 001 (AVI, 2008)

Developing libraries using software transactional memory. - Ricardo J. Dias; João Lourenço; Gonçalo Cunha (Comput. Sci. Inf. Syst., 2008)

Unifying Memory and Database Transactions. - Ricardo J. Dias; João Lourenço (Euro-Par, 2009)

Understanding the behavior of transactional memory applications. - João Lourenço; Ricardo J. Dias; João Luís; Miguel Rebelo; Vasco Pessanha (PADTAD, 2009)

Detection of Transactional Memory anomalies using static analysis. - Bruno C. Teixeira; João Lourenço; Eitan Farchi; Ricardo J. Dias; Diogo Sousa 001 (PDATAD, 2010)

Practical verification of high-level dataraces in transactional memory programs. - Vasco Pessanha; Ricardo J. Dias; João Lourenço; Eitan Farchi; Diogo Sousa 001 (PADTAD, 2011)

Detecting concurrency anomalies in transactional memory programs. - João Lourenço; Diogo Sousa 001; Bruno C. Teixeira; Ricardo J. Dias (Comput. Sci. Inf. Syst., 2011)

Verification of Snapshot Isolation in Transactional Memory Java Programs. - Ricardo J. Dias; Dino Distefano; João Costa Seco; João Lourenço (ECOOP, 2012)

Efficient Support for In-Place Metadata in Transactional Memory. - Ricardo J. Dias; Tiago M. Vale; João Lourenço (Euro-Par, 2012)

Precise Detection of Atomicity Violations. - Ricardo J. Dias; Vasco Pessanha; João Lourenço (Haifa Verification Conference, 2012)

On the Relevance of Total-Order Broadcast Implementations in Replicated Software Transactional Memories. - Tiago M. Vale; Ricardo J. Dias; João Lourenço (MUSEPAT, 2013)

Efficient support for in-place metadata in Java software transactional memory. - Ricardo J. Dias; Tiago M. Vale; João Lourenço (Concurr. Comput. Pract. Exp., 2013)

Efficient Correction of Anomalies in Snapshot Isolation Transactions. - Heiner Litz; Ricardo J. Dias; David R. Cheriton (ACM Trans. Archit. Code Optim., 2014)

Framework Support for the Efficient Implementation of Multi-version Algorithms. - Ricardo J. Dias; Tiago M. Vale; João M. Lourenço (Transactional Memory, 2015)

Supporting Multiple Data Replication Models in Distributed Transactional Memory. - João A. Silva; Tiago M. Vale; Ricardo J. Dias; Hervé Paulino; João Lourenço (ICDCN, 2015)

Preventing Atomicity Violations with Contracts. - Diogo G. Sousa; Ricardo J. Dias; Carla Ferreira 001; João Lourenço (CoRR, 2015)

Pot: Deterministic Transactional Execution. - Tiago M. Vale; João A. Silva; Ricardo J. Dias; João M. Lourenço (ACM Trans. Archit. Code Optim., 2016)

Verifying Concurrent Programs Using Contracts. - Ricardo J. Dias; Carla Ferreira 001; Jan Fiedor; João M. Lourenço; Ales Smrcka; Diogo G. Sousa; Tomás Vojnar (ICST, 2017)

Blotter: Low Latency Transactions for Geo-Replicated Storage. - Henrique Moniz; João Leitão 001; Ricardo J. Dias; Johannes Gehrke; Nuno M. Preguiça; Rodrigo Rodrigues 001 (WWW, 2017)

A More Consistent Understanding of Consistency. - Subhajit Sidhanta; Ricardo J. Dias; Rodrigo Rodrigues 001 (SRDS, 2019)

Achieving Low Latency Transactions for Geo-replicated Storage with Blotter. - Henrique Moniz; João Leitão 001; Ricardo J. Dias; Johannes Gehrke; Nuno M. Preguiça; Rodrigo Rodrigues 001 (Encyclopedia of Big Data Technologies, 2019)

Lazy State Determination: More concurrency for contending linearizable transactions. - Tiago M. Vale; João Leitão 001; Nuno M. Preguiça; Rodrigo Rodrigues 001; Ricardo J. Dias; João M. Lourenço (CoRR, 2020)

Acceptance of Autonomous Electric Vehicles as a Collective Passenger Transport: The Case of Portugal. - Francisco Rebelo; Ana Faria; João Costa; Ricardo J. Dias; Elisângela Vilar; Paulo Noriega (HCI (22), 2023)