| 2012 | ||
|---|---|---|
| j4 | Paul Jennings, Arka P. Ghosh, Samik Basu: A two-phase approximation for model checking probabilistic unbounded until properties of probabilistic systems. ACM Trans. Softw. Eng. Methodol. 21(3): 18 (2012) | |
| 2011 | ||
| j3 | Amarjit Budhiraja, Arka P. Ghosh, Chihoon Lee: Ergodic Rate Control Problem for Single Class Queueing Networks. SIAM J. Control and Optimization 49(4): 1570-1606 (2011) | |
| j2 | Arka P. Ghosh, Elizabeth Kleiman, Alexander Roitershtein: Large Deviation Bounds for Functionals of Viterbi Paths. IEEE Transactions on Information Theory 57(6): 3932-3937 (2011) | |
| 2010 | ||
| c4 | Ru He, Paul Jennings, Samik Basu, Arka P. Ghosh, Huaiqing Wu: A bounded statistical approach for model checking of unbounded until properties. ASE 2010: 225-234 | |
| 2009 | ||
| c3 | Samik Basu, Arka P. Ghosh, Ru He: Approximate Model Checking of PCTL Involving Unbounded Path Properties. ICFEM 2009: 326-346 | |
| 2008 | ||
| c2 | Ankit Agrawal, Arka P. Ghosh, Xiaoqiu Huang: Estimating Pairwise Statistical Significance of Protein Local Alignments Using a Clustering-Classification Approach Based on Amino Acid Composition. ISBRA 2008: 62-73 | |
| c1 | Wanida Putthividhya, Arka P. Ghosh, Wallapak Tavanapong: Modeling of End-to-End Available Bandwidth in Wide Area Network. ISPA 2008: 27-34 | |
| 2007 | ||
| j1 | Arka P. Ghosh, Ananda P. Weerasinghe: Optimal buffer size for a stochastic processing network in heavy traffic. Queueing Syst. 55(3): 147-159 (2007) | |
Colors in the list of coauthors
Last update Tue May 21 08:33:29 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page