 | 2008 |
|---|
| 7 |       | Krishnendu Chatterjee,
Luca de Alfaro,
Rupak Majumdar,
Vishwanath Raman:
Algorithms for Game Metrics.
FSTTCS 2008 |
| 6 | | Luca de Alfaro,
Rupak Majumdar,
Vishwanath Raman,
Mariëlle Stoelinga:
Game Refinement Relations and Metrics
CoRR abs/0806.4956: (2008) |
| 5 | | Krishnendu Chatterjee,
Luca de Alfaro,
Rupak Majumdar,
Vishwanath Raman:
Algorithms for Game Metrics (Full Version)
CoRR abs/0809.4326: (2008) |
| 4 | | Luca de Alfaro,
Rupak Majumdar,
Vishwanath Raman,
Mariëlle Stoelinga:
Game Refinement Relations and Metrics.
Logical Methods in Computer Science 4(3): (2008) |
| 2007 |
|---|
| 3 | | Luca de Alfaro,
Rupak Majumdar,
Vishwanath Raman,
Mariëlle Stoelinga:
Game Relations and Metrics.
LICS 2007: 99-108 |
| 2006 |
|---|
| 2 | | 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.
CAV 2006: 59-62 |
| 2005 |
|---|
| 1 | | Luca de Alfaro,
Vishwanath Raman,
Marco Faella,
Rupak Majumdar:
Code aware resource management.
EMSOFT 2005: 191-202 |
