R. L. Ray
Indian Association for the Cultivation of Science(IN)Lehigh University(US)Purdue University West Lafayette(US)The University of Texas at Austin(US)IAC (United States)(US)
Publications by Year
Research Areas
High-Energy Particle Collisions Research, Particle physics theoretical and experimental studies, Quantum Chromodynamics and Particle Interactions, Formal Methods in Verification, Nuclear reactor physics and engineering
Most-Cited Works
- → SpaceEx: Scalable Verification of Hybrid Systems(2011)837 cited
- → ASAC(2014)62 cited
- → XSpeed: Accelerating Reachability Analysis on Multi-core Processors(2015)61 cited
- → Characterization of hybrid rocket internal heat flux and HTPB fuel pyrolysis(1994)54 cited
- → Applicability of Monte Carlo Glauber models to relativistic heavy-ion collision data(2008)23 cited
- → Flowpipe-Guard Intersection for Reachability Computations with Support Functions(2012)20 cited
- →