Amitabha Roy Home Page Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ

other persons with the same name:


Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2008
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmitabha Roy, Keir Fraser, Steven Hand: A transactional approach to lock scalability. SPAA 2008: 101-103
2006
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmitabha Roy, Stephan Zeisset, Charles J. Fleckenstein, John C. Huang: Fast and Generalized Polynomial Time Memory Consistency Verification. CAV 2006: 503-516
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmitabha Roy, Stephan Zeisset, Charles J. Fleckenstein, John C. Huang: Fast and Generalized Polynomial Time Memory Consistency Verification CoRR abs/cs/0605039: (2006)
2005
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmitabha Roy, K. Gopinath: Improved Probabilistic Models for 802.11 Protocol Verification. CAV 2005: 239-252
2004
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAmitabha Roy, K. Gopinath: Scalable Probabilistic Models for 802.11 Protocol Verification CoRR cs.LO/0403044: (2004)

Coauthor Index

1Charles J. Fleckenstein [3] [4]
2Keir Fraser [5]
3K. Gopinath [1] [2]
4Steven Hand [5]
5John C. Huang [3] [4]
6Stephan Zeisset [3] [4]

Colors in the list of coauthors

Copyright © Wed Nov 11 17:18:37 2009 by Michael Ley (ley@uni-trier.de)