Concepedia
Statistics
Publications
10
Citations
213
H-Index
Active since
2004
Affiliations
Carnegie Mellon University(Current)
Virginia Tech
University of Jammu
Advanced Micro Devices (United States)
Rajat Arora is an author at Carnegie Mellon University specializing in engineering, solid mechanics, and mechanical engineering.
Top concepts
EngineeringAntennaVerificationFormal MethodsSatisfiabilitySolid MechanicsComputer ScienceMaterial ScienceAutomated ReasoningFormal Verification
Publications per year
2004–2023
Finite element approximation of finite deformation dislocation mechanics
Rajat Arora, Xiaohan Zhang, Amit Acharya · Computer Methods in Applied Mechanics and Engineering · 2020 · 42 citations · Full text
A unification of finite deformation J2 Von-Mises plasticity and quantitative dislocation mechanics
Rajat Arora, Amit Acharya · Journal of the Mechanics and Physics of Solids · 2020 · 38 citations · Full text
Enhancing SAT-based Bounded Model Checking using sequential logic implications
Rajat Arora, Michael S. Hsiao · 2004 · 25 citations
Hardware Security, Logic Synthesis, Indirect Sequential Implications +15
Nondisjunction in Trisomy 21: Origin and Mechanisms
Alpana Razdan, Rajat Arora, Gauri Agarwal et al. · Asian Journal of Biochemistry Genetics and Molecular Biology · 2023 · 25 citations · Full text
Cytogenetics, Genetics, Preimplantation Genetic Testing +21
Physics-informed neural networks for modeling rate- and temperature-dependent plasticity
Rajat Arora, Pratik Kakkar, Biswadip Dey et al. · arXiv (Cornell University) · 2022 · 22 citations · Full text
Engineering, Machine Learning, Mechanical Engineering +17
1–5 of 10