Ricardo J. Dias

Identifiers

• name variant Ricardo J. Dias 0.60 · backfill

Papers (2)

1. Pot: Deterministic transactional execution cs.DC · 2016 · author #3
2. Preventing Atomicity Violations with Contracts cs.DC · 2015 · author #2

Mentions

• 1505.02951 #2 · backfill · confidence 0.70 Ricardo J. Dias

Frequent Coauthors

• Jo\~ao M. Louren\c{c}o 2 shared papers
• Carla Ferreira 1 shared papers
• Diogo G. Sousa 1 shared papers
• Jo\~ao A. Silva 1 shared papers
• Tiago M. Vale 1 shared papers