Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Yicheng Mu
Claudia Calabrese
Dawn Nekorchuk
N. Y. Syvorotka
Hao Mao
Peter Malec
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Author
/
VASU SINGH
Author Info
Open Visualization
Name
Affiliation
Papers
VASU SINGH
EPFL, Lausanne, Switzerland
14
Collaborators
Citations
PageRank
11
186
9.36
Referers
Referees
References
359
356
247
Search Limit
100
359
Publications (14 rows)
Collaborators (11 rows)
Referers (100 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Static scheduling in clouds
8
0.60
2011
Quantitative Evaluation of BFT Protocols
0
0.34
2011
Scheduling large jobs by abstraction refinement
6
0.55
2011
Verification of STM on relaxed memory models
0
0.34
2011
Verifying local transformations on relaxed memory models
21
0.93
2010
Model checking transactional memories
6
0.48
2010
Transactions in the jungle
6
0.45
2010
Runtime verification for software transactional memories
0
0.34
2010
FlexPRICE: Flexible Provisioning of Resources in a Cloud Environment
19
1.17
2010
A marketplace for cloud resources
13
0.70
2010
Preventing versus curing: avoiding conflicts in transactional memories
59
1.42
2009
Software Transactional Memory on Relaxed Memory Models
14
0.57
2009
Completeness and Nondeterminism in Model Checking Transactional Memories
17
0.71
2008
Model checking transactional memories
17
0.78
2008
1