Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Rahul Kumar
2010 – today
- 2013
[c13]Anurag Singh, Rahul Kumar, Yatindra Nath Singh: Effects of Inoculation Based on Structural Centrality on Rumor Dynamics in Social Networks. COCOON 2013: 831-840- 2012
- [c12]Aws Albarghouthi, Rahul Kumar, Aditya V. Nori, Sriram K. Rajamani: Parallelizing top-down interprocedural analyses. PLDI 2012: 217-228
- [c11]Anurag Singh, Rahul Kumar, Yatindra Nath Singh: Rumor Dynamics with Acceptability Factor and Inoculation of Nodes in Scale Free Networks. SITIS 2012: 798-804
- 2010
- [c10]Rahul Kumar, Chiranjib Bhattacharyya, Virendra Varshneya: Discovering Business Process Model from Unstructured Activity Logs. IEEE SCC 2010: 250-257
- [c9]Thomas Ball, Ella Bounimova, Vladimir Levin, Rahul Kumar, Jakob Lichtenberg: The Static Driver Verifier Research Platform. CAV 2010: 119-122
- [c8]Thomas Ball, Ella Bounimova, Rahul Kumar, Vladimir Levin: SLAM2: Static driver verification with under 4% false alarms. FMCAD 2010: 35-42
2000 – 2009
- 2009
- [j6]Rahul Kumar, Eric G. Mercer, Annette Bunker: Improving Translation of Live Sequence Charts to Temporal Logic. Electr. Notes Theor. Comput. Sci. 250(1): 137-152 (2009)
- [j5]Rahul Kumar, Eric G. Mercer: Verifying Communication Protocols Using Live Sequence Chart Specifications. Electr. Notes Theor. Comput. Sci. 250(2): 33-48 (2009)
- 2008
- [j4]Rahul Kumar, Eric G. Mercer: Improving Live Sequence Chart to Automata Transformation for Verification. ECEASST 10 (2008)
- [c7]Amith R. Mamidala, Rahul Kumar, Debraj De, Dhabaleswar K. Panda: MPI Collectives on Modern Multicore Clusters: Performance Optimizations and Communication Characteristics. CCGRID 2008: 130-137
- [c6]Matthew J. Koop, Rahul Kumar, Dhabaleswar K. Panda: Can software reliability outperform hardware reliability on high performance interconnects?: a case study with MPI over infiniband. ICS 2008: 145-154
- [c5]Rahul Kumar, Amith R. Mamidala, Dhabaleswar K. Panda: Scaling alltoall collective on multi-core systems. IPDPS 2008: 1-8
- [c4]Rahul Kumar, Amith R. Mamidala, Matthew J. Koop, Gopalakrishnan Santhanaraman, Dhabaleswar K. Panda: Lock-Free Asynchronous Rendezvous Design for MPI Point-to-Point Communication. PVM/MPI 2008: 185-193
- 2005
- [j3]Rahul Kumar, Eric G. Mercer: Load Balancing Parallel Explicit State Model Checking. Electr. Notes Theor. Comput. Sci. 128(3): 19-34 (2005)
- 2003
- [j2]Michael D. Jones, Eric Mercer, Tonglaga Bao, Rahul Kumar, Peter Lamborn: Benchmarking Explicit State Parallel Model Checkers. Electr. Notes Theor. Comput. Sci. 89(1): 84-98 (2003)
- [j1]Inderjit S. Dhillon, Subramanyam Mallela, Rahul Kumar: A Divisive Information-Theoretic Feature Clustering Algorithm for Text Classification. Journal of Machine Learning Research 3: 1265-1287 (2003)
- 2002
- [c3]Inderjit S. Dhillon, Subramanyam Mallela, Rahul Kumar: Enhanced word clustering for hierarchical text classification. KDD 2002: 191-200
- [c2]Rahul Kumar, C. P. Ravikumar: Leakage Power Estimation for Deep Submicron Circuits in an ASIC Design Environment. VLSI Design 2002: 45-50
- [c1]C. P. Ravikumar, Rahul Kumar: Divide-and-Conquer IDDQ Testing for Core-Based System Chips. VLSI Design 2002: 761-766
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-05-23 22:19 CEST by the dblp team