Ricardo J. Dias

27 papers A* 2A 2B 2Misc 1Journal 8Unranked 9
YearRankTypeTitle / Venue / Authors
2023 — conf
Acceptance of Autonomous Electric Vehicles as a Collective Passenger Transport: The Case of Portugal.
HCI (22)
Francisco Rebelo, Ana Faria, João Costa, Ricardo J. Dias, Elisângela Vilar, Paulo Noriega
2020 J jnl
Lazy State Determination: More concurrency for contending linearizable transactions.
CoRR
Tiago M. Vale, João Leitão, Nuno M. Preguiça, Rodrigo Rodrigues, Ricardo J. Dias, João M. Lourenço
2019 B conf
A More Consistent Understanding of Consistency.
SRDS
Subhajit Sidhanta, Ricardo J. Dias, Rodrigo Rodrigues
2019 — ch.
Achieving Low Latency Transactions for Geo-replicated Storage with Blotter.
Encyclopedia of Big Data Technologies
Henrique Moniz, João Leitão, Ricardo J. Dias, Johannes Gehrke, Nuno M. Preguiça, Rodrigo Rodrigues
2017 A* conf
Blotter: Low Latency Transactions for Geo-Replicated Storage.
WWW
Henrique Moniz, João Leitão, Ricardo J. Dias, Johannes Gehrke, Nuno M. Preguiça, Rodrigo Rodrigues
2017 A conf
Verifying Concurrent Programs Using Contracts.
ICST
Ricardo J. Dias, Carla Ferreira, Jan Fiedor, João M. Lourenço, Ales Smrcka, Diogo G. Sousa, Tomás Vojnar
2016 J jnl
Pot: Deterministic Transactional Execution.
ACM Trans. Archit. Code Optim.
Tiago M. Vale, João A. Silva, Ricardo J. Dias, João M. Lourenço
2016 J jnl
Pot: Deterministic transactional execution.
CoRR
Tiago M. Vale, João A. Silva, Ricardo J. Dias, João M. Lourenço
2015 — ch.
Framework Support for the Efficient Implementation of Multi-version Algorithms.
Transactional Memory
Ricardo J. Dias, Tiago M. Vale, João M. Lourenço
2015 J jnl
Preventing Atomicity Violations with Contracts.
CoRR
Diogo G. Sousa, Ricardo J. Dias, Carla Ferreira, João Lourenço
2015 Misc conf
Supporting Multiple Data Replication Models in Distributed Transactional Memory.
ICDCN
João A. Silva, Tiago M. Vale, Ricardo J. Dias, Hervé Paulino, João Lourenço
2014 J jnl
Efficient Correction of Anomalies in Snapshot Isolation Transactions.
ACM Trans. Archit. Code Optim.
Heiner Litz, Ricardo J. Dias, David R. Cheriton
2013 J jnl
Efficient support for in-place metadata in Java software transactional memory.
Concurr. Comput. Pract. Exp.
Ricardo J. Dias, Tiago M. Vale, João Lourenço
2013 — —
Maintaining the correctness of transactional memory programs.
Ricardo J. Dias
2013 — conf
On the Relevance of Total-Order Broadcast Implementations in Replicated Software Transactional Memories.
MUSEPAT
Tiago M. Vale, Ricardo J. Dias, João Lourenço
2012 — conf
Efficient Support for In-Place Metadata in Transactional Memory.
Euro-Par
Ricardo J. Dias, Tiago M. Vale, João Lourenço
2012 — conf
Precise Detection of Atomicity Violations.
Haifa Verification Conference
Ricardo J. Dias, Vasco Pessanha, João Lourenço
2012 A conf
Verification of Snapshot Isolation in Transactional Memory Java Programs.
ECOOP
Ricardo J. Dias, Dino Distefano, João Costa Seco, João Lourenço
2011 J jnl
Detecting concurrency anomalies in transactional memory programs.
Comput. Sci. Inf. Syst.
João Lourenço, Diogo Sousa, Bruno C. Teixeira, Ricardo J. Dias
2011 — conf
Practical verification of high-level dataraces in transactional memory programs.
PADTAD
Vasco Pessanha, Ricardo J. Dias, João Lourenço, Eitan Farchi, Diogo Sousa
2010 — conf
Detection of Transactional Memory anomalies using static analysis.
PDATAD
Bruno C. Teixeira, João Lourenço, Eitan Farchi, Ricardo J. Dias, Diogo Sousa
2009 — conf
Understanding the behavior of transactional memory applications.
PADTAD
João Lourenço, Ricardo J. Dias, João Luís, Miguel Rebelo, Vasco Pessanha
2009 — conf
Unifying Memory and Database Transactions.
Euro-Par
Ricardo J. Dias, João Lourenço
2008 J jnl
Developing libraries using software transactional memory.
Comput. Sci. Inf. Syst.
Ricardo J. Dias, João Lourenço, Gonçalo Cunha
2008 B conf
Memoria mobile: sharing pictures of a point of interest.
AVI
Rui Jesus, Ricardo J. Dias, Rute Frias, Arnaldo J. Abrantes, Nuno Correia
2007 — conf
Geographic image retrieval in mobile guides.
GIR
Rui Jesus, Ricardo J. Dias, Rute Frias, Nuno Correia
2007 A* conf
Mobile interface of the memoria project.
SIGIR
Ricardo J. Dias, Rui Jesus, Rute Frias, Nuno Correia