Search the dblp DataBase

Publications of Author

1. B. Thomas Adler, Luca de Alfaro, Leandro Dias da Silva, Marco Faella, Axel Legay, Vishwanath Raman, Pritam Roy
   Ticc: A Tool for Interface Compatibility and Composition. [Citation Graph (0, 0)][DBLP]
   CAV, 2006, pp:59-62 [Conf]
   
2. Luca de Alfaro, Vishwanath Raman, Marco Faella, Rupak Majumdar
   Code aware resource management. [Citation Graph (0, 0)][DBLP]
   EMSOFT, 2005, pp:191-202 [Conf]
   
3. Luca de Alfaro, Rupak Majumdar, Vishwanath Raman, Mariëlle Stoelinga
   Game Relations and Metrics. [Citation Graph (0, 0)][DBLP]
   LICS, 2007, pp:99-108 [Conf]
   
4. 
   Analyzing the Impact of Change in Multi-threaded Programs. [Citation Graph (, )][DBLP]
   
   
5. 
   Algorithms for Game Metrics. [Citation Graph (, )][DBLP]
   
   
6. 
   Assigning trust to Wikipedia content. [Citation Graph (, )][DBLP]
   
   
7. 
   Measuring author contributions to the Wikipedia. [Citation Graph (, )][DBLP]
   
   
8. 
   Game Refinement Relations and Metrics [Citation Graph (, )][DBLP]
   
   
9. 
   Algorithms for Game Metrics (Full Version) [Citation Graph (, )][DBLP]
   
   
10. 
    Assume-Guarantee Synthesis for Digital Contract Signing [Citation Graph (, )][DBLP]