39
Publications
1K
Citations
20
H-Index
1986
Active since
P. P. Chakrabarti is an author at Indian Institute of Technology Kharagpur specializing in engineering, computer science, and computer engineering.
Top concepts
EngineeringComputer ScienceComputer EngineeringFormal MethodsCombinatorial OptimizationAutomated ReasoningFormal VerificationProgram AnalysisParallel ComputingComputer Architecture
Publications per year
1986–2021
39
39
Synthesis of System Verilog Assertions
S.R. Das, Ramanarayan Mohanty, Pallab Dasgupta et al. · 2006 · 55 citations
Engineering, Hardware Verification Language, Verification +21
Abhishek Somani, P. P. Chakrabarti, Amit Patra · IEEE Transactions on Evolutionary Computation · 2007 · 54 citations
Large-scale Global Optimization, Engineering, Machine Learning +21
Rows per page
1–5 of 39