Saurabh Shekhar Verma

Statistics

Publications

Citations

H-Index

Active since

2009

Affiliations

Govind Ballabh Pant University of Agriculture and Technology(Current)

Saurabh Shekhar Verma is an author at Govind Ballabh Pant University of Agriculture and Technology specializing in formal verification, formal methods, and parallel computing.

Top concepts

EngineeringFormal MethodsAlgorithm DesignComputer ScienceProgram AnalysisParallel ComputingFormal VerificationComputer EngineeringComputational ComplexityCombinatorial Optimization

Publications per year

2009–2009

Publications

An improvement in the restoring division algorithm (Needy Restoring Division Algorithm)

Nitish Aggarwal, Kartik Asooja, Saurabh Shekhar Verma et al. · 2009 · 19 citations

Engineering, Division Algorithm Checks, Algorithm Design +14

1–1 of 1