Sriram K. Rajamani - Publications, H-index & Citations

Sriram K. Rajamani

Microsoft

55H指数

209论文数

1.1W被引数

收录论文 5

发表时间

IF12.2

2011-07-01

121

PREAI

Ball, Thomas; Levin, Vladimir; Rajamani, Sriram K.

IF5.6

2010-07-01

PREAI

Beckman, Nels E.; Nori, Aditya V.; Rajamani, Sriram K.; Simmons, Robert J.; Tetali, Sai Deep; Thakur, Aditya V.

IF3

2008-09-01

PREAI

Godefroid, Patrice; de Halleux, Peli; Nori, Aditya V.; Rajamani, Sriram K.; Schulte, Wolfram; Tillmann, Nikolai; Levin, Michael Y.

IF6.1

2006-11-01

PREAI

Beckert, Bernhard; Hoare, Tony; Hahnle, Reiner; Smith, Douglas R.; Green, Cordell; Ranise, Silvio; Tinelli, Cesare; Ball, Thomas; Rajamani, Sriram K.

IF3

2004-05-01

PREAI

Larus, JB; Ball, T; Bas, M; DeLine, R; Fähndrich, M; Pincus, I; Rajamani, SK; Vankatapathy, R