default search action

combined dblp search
author search
venue search
publication search

ask others

Ricardo J. Dias

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2023
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/hci/RebeloFCDVN23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hci/RebeloFCDVN23
Francisco Rebelo, Ana Faria, João Costa, Ricardo J. Dias, Elisângela Vilar, Paulo Noriega:
Acceptance of Autonomous Electric Vehicles as a Collective Passenger Transport: The Case of Portugal. HCI (22) 2023: 304-316
2020
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2007-09733
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2007-09733
Tiago M. Vale, João Leitão, Nuno M. Preguiça, Rodrigo Rodrigues, Ricardo J. Dias, João M. Lourenço:
Lazy State Determination: More concurrency for contending linearizable transactions. CoRR abs/2007.09733 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/srds/SidhantaDR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/srds/SidhantaDR19
Subhajit Sidhanta, Ricardo J. Dias, Rodrigo Rodrigues:
A More Consistent Understanding of Consistency. SRDS 2019: 163-172
[r1]
- view
  authority control:
- export record
  dblp key:
  - reference/bdt/Moniz0DGPR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/reference/bdt/Moniz0DGPR19
Henrique Moniz, João Leitão, Ricardo J. Dias, Johannes Gehrke, Nuno M. Preguiça, Rodrigo Rodrigues:
Achieving Low Latency Transactions for Geo-replicated Storage with Blotter. Encyclopedia of Big Data Technologies 2019
2017
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/icst/DiasFFLSSV17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icst/DiasFFLSSV17
Ricardo J. Dias, Carla Ferreira, Jan Fiedor, João M. Lourenço, Ales Smrcka, Diogo G. Sousa, Tomás Vojnar:
Verifying Concurrent Programs Using Contracts. ICST 2017: 196-206
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/www/MonizLDGPR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/www/MonizLDGPR17
Henrique Moniz, João Leitão, Ricardo J. Dias, Johannes Gehrke, Nuno M. Preguiça, Rodrigo Rodrigues:
Blotter: Low Latency Transactions for Geo-Replicated Storage. WWW 2017: 263-272
2016
[j5]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/taco/ValeSDL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/taco/ValeSDL16
Tiago M. Vale, João A. Silva, Ricardo J. Dias, João M. Lourenço:
Pot: Deterministic Transactional Execution. ACM Trans. Archit. Code Optim. 13(4): 52:1-52:24 (2016)
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/ValeSDL16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ValeSDL16
Tiago M. Vale, João A. Silva, Ricardo J. Dias, João M. Lourenço:
Pot: Deterministic transactional execution. CoRR abs/1612.07702 (2016)
2015
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/icdcn/SilvaVDPL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdcn/SilvaVDPL15
João A. Silva, Tiago M. Vale, Ricardo J. Dias, Hervé Paulino, João Lourenço:
Supporting Multiple Data Replication Models in Distributed Transactional Memory. ICDCN 2015: 11:1-11:10
[p1]
- view
  authority control:
- export record
  dblp key:
  - conf/cost/DiasVL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cost/DiasVL15
Ricardo J. Dias, Tiago M. Vale, João M. Lourenço:
Framework Support for the Efficient Implementation of Multi-version Algorithms. Transactional Memory 2015: 166-191
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/SousaDFL15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/SousaDFL15
Diogo G. Sousa, Ricardo J. Dias, Carla Ferreira, João Lourenço:
Preventing Atomicity Violations with Contracts. CoRR abs/1505.02951 (2015)
2014
[j4]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/taco/LitzDC14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/taco/LitzDC14
Heiner Litz, Ricardo J. Dias, David R. Cheriton:
Efficient Correction of Anomalies in Snapshot Isolation Transactions. ACM Trans. Archit. Code Optim. 11(4): 65:1-65:24 (2014)
2013
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/concurrency/DiasVL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/concurrency/DiasVL13
Ricardo J. Dias, Tiago M. Vale, João Lourenço:
Efficient support for in-place metadata in Java software transactional memory. Concurr. Comput. Pract. Exp. 25(17): 2394-2411 (2013)
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/musepat/ValeDL13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/musepat/ValeDL13
Tiago M. Vale, Ricardo J. Dias, João Lourenço:
On the Relevance of Total-Order Broadcast Implementations in Replicated Software Transactional Memories. MUSEPAT 2013: 49-60
2012
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/ecoop/DiasDSL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/DiasDSL12
Ricardo J. Dias, Dino Distefano, João Costa Seco, João Lourenço:
Verification of Snapshot Isolation in Transactional Memory Java Programs. ECOOP 2012: 640-664
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/europar/DiasVL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/europar/DiasVL12
Ricardo J. Dias, Tiago M. Vale, João Lourenço:
Efficient Support for In-Place Metadata in Transactional Memory. Euro-Par 2012: 589-600
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/hvc/DiasPL12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hvc/DiasPL12
Ricardo J. Dias, Vasco Pessanha, João Lourenço:
Precise Detection of Atomicity Violations. Haifa Verification Conference 2012: 8-23
2011
[j2]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/comsis/LourencoSTD11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/comsis/LourencoSTD11
João Lourenço, Diogo Sousa, Bruno C. Teixeira, Ricardo J. Dias:
Detecting concurrency anomalies in transactional memory programs. Comput. Sci. Inf. Syst. 8(2): 534-548 (2011)
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/PessanhaDLFS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/PessanhaDLFS11
Vasco Pessanha, Ricardo J. Dias, João Lourenço, Eitan Farchi, Diogo Sousa:
Practical verification of high-level dataraces in transactional memory programs. PADTAD 2011: 26-34
2010
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/TeixeiraLFDS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/TeixeiraLFDS10
Bruno C. Teixeira, João Lourenço, Eitan Farchi, Ricardo J. Dias, Diogo Sousa:
Detection of Transactional Memory anomalies using static analysis. PDATAD 2010: 26-36

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/europar/DiasL09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/europar/DiasL09
Ricardo J. Dias, João Lourenço:
Unifying Memory and Database Transactions. Euro-Par 2009: 349-360
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/LourencoDLRP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/LourencoDLRP09
João Lourenço, Ricardo J. Dias, João Luís, Miguel Rebelo, Vasco Pessanha:
Understanding the behavior of transactional memory applications. PADTAD 2009
2008
[j1]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/comsis/DiasLC08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/comsis/DiasLC08
Ricardo J. Dias, João Lourenço, Gonçalo Cunha:
Developing libraries using software transactional memory. Comput. Sci. Inf. Syst. 5(2): 103-117 (2008)
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/avi/JesusDFAC08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/avi/JesusDFAC08
Rui Jesus, Ricardo J. Dias, Rute Frias, Arnaldo J. Abrantes, Nuno Correia:
Memoria mobile: sharing pictures of a point of interest. AVI 2008: 412-415
2007
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/gir/JesusDFC07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gir/JesusDFC07
Rui Jesus, Ricardo J. Dias, Rute Frias, Nuno Correia:
Geographic image retrieval in mobile guides. GIR 2007: 37-38
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/sigir/DiasJFC07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sigir/DiasJFC07
Ricardo J. Dias, Rui Jesus, Rute Frias, Nuno Correia:
Mobile interface of the memoria project. SIGIR 2007: 904

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.