Ricardo J. Dias
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
13
Venues
10
Active years
2007–2023
Best venue rank
A*
Where they publish
Papers
13 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | HCI | Acceptance of Autonomous Electric Vehicles as a Collective Passenger Transport: The Case of Portugal. | Francisco Rebelo, Ana Faria, Joo Costa, Ricardo J. Dias, Elisngela Vilar, Paulo Noriega |
| 2019 | SRDS | A More Consistent Understanding of Consistency. | Subhajit Sidhanta, Ricardo J. Dias, Rodrigo Rodrigues |
| 2017 | ICST | Verifying Concurrent Programs Using Contracts. | Ricardo J. Dias, Carla Ferreira, Jan Fiedor, Joo M. Loureno, Ales Smrcka, Diogo G. Sousa, Toms Vojnar |
| 2017 | WWW | Blotter: Low Latency Transactions for Geo-Replicated Storage. | Henrique Moniz, Joo Leito, Ricardo J. Dias, Johannes Gehrke, Nuno M. Preguia, Rodrigo Rodrigues |
| 2015 | ICDCN | Supporting Multiple Data Replication Models in Distributed Transactional Memory. | Joo A. Silva, Tiago M. Vale, Ricardo J. Dias, Herv Paulino, Joo Loureno |
| 2012 | ECOOP | Verification of Snapshot Isolation in Transactional Memory Java Programs. | Ricardo J. Dias, Dino Distefano, Joo Costa Seco, Joo Loureno |
| 2012 | EuroPar | Efficient Support for In-Place Metadata in Transactional Memory. | Ricardo J. Dias, Tiago M. Vale, Joo Loureno |
| 2011 | ISSTA | Practical verification of high-level dataraces in transactional memory programs. | Vasco Pessanha, Ricardo J. Dias, Joo Loureno, Eitan Farchi, Diogo Sousa |
| 2010 | ISSTA | Detection of Transactional Memory anomalies using static analysis. | Bruno C. Teixeira, Joo Loureno, Eitan Farchi, Ricardo J. Dias, Diogo Sousa |
| 2009 | EuroPar | Unifying Memory and Database Transactions. | Ricardo J. Dias, Joo Loureno |
| 2009 | ISSTA | Understanding the behavior of transactional memory applications. | Joo Loureno, Ricardo J. Dias, Joo Lus, Miguel Rebelo, Vasco Pessanha |
| 2008 | AVI | Memoria mobile: sharing pictures of a point of interest. | Rui Jesus, Ricardo J. Dias, Rute Frias, Arnaldo J. Abrantes, Nuno Correia |
| 2007 | SIGIR | Mobile interface of the memoria project. | Ricardo J. Dias, Rui Jesus, Rute Frias, Nuno Correia |