Concepedia

Jawahar Jain

JJ

Statistics

Publications

12

Citations

466

H-Index

10

Active since

1992

Affiliations

Fujitsu (United States)(Current)

The University of Texas at Austin

Fujitsu (Japan)

University of California, Berkeley

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

Top concepts

EngineeringComputer ScienceFormal MethodsComputer EngineeringFormal VerificationProgram AnalysisHardware SecurityAutomated ReasoningComputer ArchitectureVerification

Publications per year

1992–2008

12

Publications

12

Partitioned ROBDDs—a compact, canonical and efficiently manipulable representation for Boolean functions

Amit Narayan, Jawahar Jain, Masahiro Fujita et al. · International Conference on Computer Aided Design · 1996 · 95 citations

Circuit Complexity, Engineering, Boolean Function +17

Reachability analysis using partitioned-ROBDDs

Amit Narayan, Adrian J. Isles, Jawahar Jain et al. · International Conference on Computer Aided Design · 1997 · 80 citations

Engineering, Reachability Problem, Survivable System +20

Advanced verification techniques based on learning

Jawahar Jain, Rajarshi Mukherjee, Masahiro Fujita · 1995 · 77 citations

Engineering, Hardware Verification Language, Electronic Design Automation +19

Multiple error diagnosis based on xlists

Vamsi Boppana, Rajarshi Mukherjee, Jawahar Jain et al. · 1999 · 61 citations · Full text

Probabilistic verification of Boolean functions

Jawahar Jain, Jacob A. Abraham, J. Bitner et al. · Formal Methods in System Design · 1992 · 53 citations

Engineering, Boolean Function, Boolean Functions +7

1–5 of 12