Author

Rakesh Kumar

Observed names: Kumar, Rakesh, R. Kumar, Rakesh Kumar Pradhan

Institutions: Indian Institute of Technology Kharagpur, Indian Institute of Science Bangalore

Observed institutions: Karlsruhe Institute of Technology, Jain University, FZI Research Center for Information Technology, Indian Institute of Technology Kharagpur, Kurukshetra University, Indian Institute of Technology Dhanbad, Institute of Microelectronics, Vivekananda Global University, Elitte College of Engineering, Indian Institute of Science Bangalore, Indian Institute of Technology Kanpur

ORCID: 0009-0005-7105-019X

Observed ORCID: 0009-0005-7105-019X

OpenAlex ID: A5111892351

Integrating A First-order Automatic prover In The HOL Environment

2005 · R. Kumar, T. Kropf, et al. · Theorem Proving in Higher Order Logics · 33

Wear Phenomena in Abrasive-Free Copper CMP Process

2005 · S. Balakumar, T. Haque, et al. · Journal of The Electrochemical Society · 22

Investigation of conventional and ultrasonic vibration-assisted turning of hardened steel using a coated carbide tool

2024 · Govind S. Ghule, Sudarshan Sanap, et al. · Frontiers in Mechanical Engineering · 14

Numerical and experimental investigation into the energy distribution in powder mixed EDM

2024 · Deepti Ranjan Sahu, Amitava Mandal, et al. · CIRP journal of manufacturing science and technology · 5

Parametric evaluation & optimization of wire-EDM process for machining of super alloy materials (EN-24 steel) in terms of surface integrity and material removal rate

2024 · Ashish Kumar Srivastava, Piyush Pal, et al. · AIP conference proceedings · 5

Shear-thinning rheology and geometric asymmetry govern droplet dynamics in branched microchannels

2026 · Rakesh Kumar, Rajaram Lakkaraju, et al. · Soft Matter · 3

First Steps Towards Automating Hardware Proofs In HOL

2005 · R. Kumar, T. Kropf, et al. · Theorem Proving in Higher Order Logics · 2

Generic design flows for project management in a framework environment

1995 · E. Kwee-Christoph, Fridtjof Feldbusch, et al. · 2

Advanced Theranostics in a Pancreatic Cancer Model Integrating Dual Optoacoustic‐Photodynamic Performance of Asymmetric Zinc Phthalocyanines

2026 · Ananya Sharma, Rakesh Kumar Pradhan, et al. · Small · 1

A Low‐Cost Image Histogram and Machine Learning Approach for Detection of Cow Milk Adulteration

2026 · Madhav Kumar, Rakesh Kumar, et al. · Journal of Food Science · 1

Synthesis and Characterization of Co(II), Ni(II), Cu(II) and Zn(II) Complexes with Schiff Bases Derived from 3-Substituted-4-Amino-5-Mercapto-1,2,4-Triazoles and Ethylvanillin

2019 · Kiran Singh, Rakesh Kumar, et al. · Chemistry & Chemical Technology

CCDC 1831154: Experimental Crystal Structure Determination

2018 · Sharma, Ritika, Kumar, Rakesh, et al. · The Cambridge Structural Database

CCDC 1556036: Experimental Crystal Structure Determination

2018 · Reddy, Dinesh S., Kongot, Manasa, et al. · The Cambridge Structural Database

Molecular dynamics analysis of metal surface sputtering due to bombardment of high energy particles

2014 · K. Kishore Kumar, Ferdin Sagai Donbosco, et al. · AIP conference proceedings

Formal synthesis of circuits with a simple handshake protocol

2002 · R. Kumar, T. Kropf, et al. · International Conference on VLSI Design

PROMIDS: A PROtotype multi-rIng data flow system for functional programming languages

1989 · R. Govindarajan, R. Kumar, et al. · Microprocessing and Microprogramming

Works count: 16

Citation count: 88

H-index: 5

I10-index: 3