Vishwanath Raman
发表
Vishwanath Raman,
2009
.
Vishwanath Raman,
2004
.
K. Chatterjee,
M. Faella,
R. Majumdar,
2012,
Formal Methods in System Design.
Krishnendu Chatterjee,
César Sánchez,
Luca de Alfaro,
2010,
FASE.
Krishnendu Chatterjee,
Luca de Alfaro,
Marco Faella,
2008,
Int. Sym. Wikis.
Rupak Majumdar,
Luca de Alfaro,
Mariëlle Stoelinga,
2008,
Log. Methods Comput. Sci..
Krishnendu Chatterjee,
Rupak Majumdar,
Luca de Alfaro,
2008,
Log. Methods Comput. Sci..
Krishnendu Chatterjee,
Rupak Majumdar,
Luca de Alfaro,
2008,
FSTTCS.
Corina S. Pasareanu,
Misty Davies,
Vishwanath Raman,
2012,
VSTTE.
Krishnendu Chatterjee,
Vishwanath Raman,
K. Chatterjee,
2010,
Formal Aspects of Computing.
Krishnendu Chatterjee,
Vishwanath Raman,
K. Chatterjee,
2012,
VMCAI.
Zvonimir Rakamaric,
Dimitra Giannakopoulou,
Vishwanath Raman,
2012,
SAS.
Zvonimir Rakamaric,
Temesghen Kahsai,
Dimitra Giannakopoulou,
2016,
TACAS.
Rupak Majumdar,
Luca de Alfaro,
Mariëlle Stoelinga,
2007,
22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007).
Zvonimir Rakamaric,
Dimitra Giannakopoulou,
Malte Isberner,
2014,
ASE.
Rupak Majumdar,
Luca de Alfaro,
Marco Faella,
2005,
Formal Methods Syst. Des..
Luca de Alfaro,
Vishwanath Raman,
B. Thomas Adler,
2008,
Int. Sym. Wikis.