Travelled to:1 × China
1 × The Netherlands
Collaborated with:D.Distefano J.C.Seco J.Lourenço R.M.Jesus R.Frias N.Correia
Talks about:transact (1) snapshot (1) interfac (1) project (1) program (1) memoria (1) memori (1) verif (1) mobil (1) java (1)
Person: Ricardo J. Dias
DBLP: Dias:Ricardo_J=
Contributed to:
2012
2007Wrote 2 papers:
- ECOOP-2012-DiasDSL #java #memory management #source code #transaction #verification
- Verification of Snapshot Isolation in Transactional Memory Java Programs (RJD, DD, JCS, JL), pp. 640–664.
- SIGIR-2007-DiasJFC #interface #mobile
- Mobile interface of the memoria project (RJD, RMJ, RF, NC), p. 904.