papers
Publications (15)
physics.flu-dyn2018
Analysis of axisymmetric boundary layers
Praveen Kumar, Krishnan Mahesh
cs.PL2018
Probabilistic Program Equivalence for NetKAT
Steffen Smolka, Praveen Kumar, Nate Foster +4
cond-mat.supr-con2012
Structural and Magnetic Properties of Co1-xFexSr2YCu2O7 compounds
Shiva Kumar Singh, Praveen Kumar, M. Husain +2
physics.ins-det2014
Characterization of 3 mm Glass Electrodes and Development of RPC Detectors for $INO-ICAL$ Experiment
Daljeet Kaur, Ashok Kumar, Ankit Gaur +5
cs.DC2015
Standing Together for Reproducibility in Large-Scale Computing: Report on reproducibility@XSEDE
Doug James, Nancy Wilkins-Diehr, Victoria Stodden +52
physics.ins-det2014
Study of RPC bakelite electrodes and detector performance for INO-ICAL
Ashok Kumar, Ankit Gaur, Md. Hasbuddin +5
cs.NI2016
Kulfi: Robust Traffic Engineering Using Semi-Oblivious Routing
Praveen Kumar, Yang Yuan, Chris Yu +3
cs.PL2018
Cantor meets Scott: Semantic Foundations for Probabilistic Networks
Steffen Smolka, Praveen Kumar, Nate Foster +2
cs.PL2019
Scalable Verification of Probabilistic Networks
Steffen Smolka, Praveen Kumar, David M Kahn +4
quant-ph2011
Optimal control of population and coherence in three-level $Î$ systems
Praveen Kumar, Svetlana A. Malinovskaya, Vladimir S. Malinovsky
physics.geo-ph2017
Comparing Topology of Engineered and Natural Drainage Networks
Soohyun Yang, Kyungrock Paik, Gavan McGrath +4
cond-mat.mtrl-sci2018
Bifurcation of the Kirkendall marker plane and the role of Ni and other impurities on the growth of Kirkendall voids in the Cu Sn system
Varun A Baheti, Sanjay Kashyap, Praveen Kumar +2
physics.flu-dyn2019
Energy Spectra and Fluxes in Dissipation Range of Turbulent and Laminar Flows
Mahendra K. Verma, Abhishek Kumar, Praveen Kumar +4
physics.chem-ph2017
Final State Resolved Quantum Predissociation Dynamics of SO2(C1B2) and Its Isotopomers via a Crossing with a Singlet Repulsive State
Changjian Xie, Bin Jiang, Jacek KÅos +4
physics.ins-det2014
Characterisation of Glass Electrodes and RPC Detectors for $INO-ICAL$ Experiment
Md. Naimuddin, Daljeet Kaur, Purnendu Kumar +5