- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c9 |      | 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 |
| c8 | | Ricardo J. Dias, Tiago M. Vale, João Lourenço: Efficient Support for In-Place Metadata in Transactional Memory. Euro-Par 2012: 589-600 |
| 2011 | ||
| j2 | | 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 | | 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 | | 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 |
| 2009 | ||
| c5 | | |
| c4 | | 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 | | 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 | | Rui M. 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 | | Rui M. Jesus, Ricardo J. Dias, Rute Frias, Nuno Correia: Geographic image retrieval in mobile guides. GIR 2007: 37-38 |
| c1 | | Ricardo J. Dias, Rui M. Jesus, Rute Frias, Nuno Correia: Mobile interface of the memoria project. SIGIR 2007: 904 |
Colors in the list of coauthors
Last update Tue May 21 16:51:06 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page