Jawahar Jain - Concepedia

Author

Jawahar Jain

Fujitsu (United States)

Also Known As

Jawahar Jain

Publications

581

Citations

H-Index

Concepts

All Affiliations

Fujitsu (United States)The University of Texas at Austin Fujitsu (Japan)University of California, Berkeley

About

Jawahar Jain is an author at Fujitsu (United States) specializing in computer science, engineering, and formal methods.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	10	11	405
2	Computer Science	10	11	405
3	Computer Engineering	9	9	338
4	Data Science	2	2	37
5	Management	1	1	27

Jawahar Jain

Publications

466

Citations

H-Index

Page 1

	Year	Citations
Partitioned ROBDDs—a compact, canonical and efficiently manipulable representation for Boolean functions Amit Narayan, Jawahar Jain, Masahiro Fujita, International Conference on Computer Aided Design Circuit ComplexityEngineeringBoolean FunctionComputer ArchitectureComputer-aided Verification	1996	95
Reachability analysis using partitioned-ROBDDs Amit Narayan, Adrian J. Isles, Jawahar Jain, International Conference on Computer Aided Design EngineeringReachability ProblemSurvivable SystemComputer ArchitectureComputer-aided Verification	1997	80
Advanced verification techniques based on learning Jawahar Jain, Rajarshi Mukherjee, Masahiro Fujita EngineeringHardware Verification LanguageElectronic Design AutomationVerificationComputer-aided Verification	1995	77
Multiple error diagnosis based on xlists Vamsi Boppana, Rajarshi Mukherjee, Jawahar Jain,	1999	61
Probabilistic verification of Boolean functions Jawahar Jain, Jacob A. Abraham, J. Bitner, Formal Methods in System Design EngineeringBoolean FunctionBoolean FunctionsAutomated ReasoningProbabilistic Verification	1992	53
Sampling schemes for computing OBDD variable orderings Jawahar Jain, William W. Adams, Masahiro Fujita Ca Fujitsu LabsEngineeringSoftware AnalysisDecision AnalyticsCombinatorial Data Analysis	1998	27
Advanced Verification Techniques Based on Learning Jawahar Jain Proceedings - ACM IEEE Design Automation Conference EngineeringVerificationComputer-aided VerificationModel VerificationFormal Verification	1995	18
On analysis of Boolean functions Jawahar Jain Circuit ComplexityHardware SecurityLogic SynthesisEngineeringBoolean Function	1993	14
Solving the latch mapping problem in an industrial setting Kelvin Ng, Mukul R. Prasad, Rajarshi Mukherjee, Mathematical ProgrammingEngineeringIndustrial EngineeringLatch Mapping ProblemVerification	2003	11
Efficient variable ordering using aBDD based sampling Yuan Lu, Jawahar Jain, Edmund M. Clarke, Mathematical ProgrammingEngineeringData ScienceProgram AnalysisSoftware Testing	2000	10

Page 1