Vasu Singh Coauthor index pubzone.org

Facets and more with CompleteSearch

Listing of the DBLP Bibliography Server - FAQ
Other views (modern): by type - by year
Other mirrors: Trier II - Dagstuhl


Ask others: ACM DL/Guide - CiteSeerx - CSB - MetaPress - Google - Bing - Yahoo
DBLP keys2011
j2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRachid Guerraoui, Thomas A. Henzinger, Vasu Singh: Verification of STM on relaxed memory models. Formal Methods in System Design 39(3): 297-331 (2011)
c14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas A. Henzinger, Vasu Singh, Thomas Wies, Damien Zufferey: Scheduling large jobs by abstraction refinement. EuroSys 2011: 329-342
c13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas A. Henzinger, Anmol V. Singh, Vasu Singh, Thomas Wies, Damien Zufferey: Static Scheduling in Clouds. HotCloud 2011
c12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRaluca Halalai, Thomas A. Henzinger, Vasu Singh: Quantitative Evaluation of BFT Protocols. QEST 2011: 255-264
2010
j1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRachid Guerraoui, Thomas A. Henzinger, Vasu Singh: Model checking transactional memories. Distributed Computing 22(3): 129-145 (2010)
c11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas A. Henzinger, Anmol V. Singh, Vasu Singh, Thomas Wies, Damien Zufferey: FlexPRICE: Flexible Provisioning of Resources in a Cloud Environment. IEEE CLOUD 2010: 83-90
c10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSebastian Burckhardt, Madanlal Musuvathi, Vasu Singh: Verifying Local Transformations on Relaxed Memory Models. CC 2010: 104-123
c9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas A. Henzinger, Anmol V. Singh, Vasu Singh, Thomas Wies, Damien Zufferey: A marketplace for cloud resources. EMSOFT 2010: 1-8
c8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVasu Singh: Runtime Verification for Software Transactional Memories. RV 2010: 421-435
c7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRachid Guerraoui, Thomas A. Henzinger, Michal Kapalka, Vasu Singh: Transactions in the jungle. SPAA 2010: 263-272
2009
c6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRachid Guerraoui, Thomas A. Henzinger, Vasu Singh: Software Transactional Memory on Relaxed Memory Models. CAV 2009: 321-336
c5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAleksandar Dragojevic, Rachid Guerraoui, Anmol V. Singh, Vasu Singh: Preventing versus curing: avoiding conflicts in transactional memories. PODC 2009: 7-16
2008
c4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRachid Guerraoui, Thomas A. Henzinger, Vasu Singh: Completeness and Nondeterminism in Model Checking Transactional Memories. CONCUR 2008: 21-35
c3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRachid Guerraoui, Thomas A. Henzinger, Barbara Jobstmann, Vasu Singh: Model checking transactional memories. PLDI 2008: 372-382
c2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRachid Guerraoui, Thomas A. Henzinger, Vasu Singh: Permissiveness in Transactional Memories. DISC 2008: 305-319
2007
c1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDirk Beyer, Thomas A. Henzinger, Vasu Singh: Algorithms for Interface Synthesis. CAV 2007: 4-19

Coauthor Index

1Dirk Beyer 0001[c1]
2Sebastian Burckhardt[c10]
3Aleksandar Dragojevic[c5]
4Rachid Guerraoui[j2] [j1] [c7] [c6] [c5] [c4] [c3] [c2]
5Raluca Halalai[c12]
6Thomas A. Henzinger[j2] [c14] [c13] [c12] [j1] [c11] [c9] [c7] [c6] [c4] [c3] [c2] [c1]
7Barbara Jobstmann[c3]
8Michal Kapalka[c7]
9Madan Musuvathi
Madanlal Musuvathi
[c10]
10Anmol V. Singh[c13] [c11] [c9] [c5]
11Thomas Wies[c14] [c13] [c11] [c9]
12Damien Zufferey[c14] [c13] [c11] [c9]

 

Last update 2017-06-03 01:31 CEST by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page