Jain; Jawahar

Patent Applications and Registrations

Patent applications and USPTO patent grants for Jain; Jawahar.The latest application filed is for "sensor assisted depression detection".

Company Profile

24.148.125

Jain; Jawahar - Los Altos CA US
Jain; Jawahar - San Jose CA
Jain; Jawahar - Santa Clara CA US
- Los Altos CA US
Jain; Jawahar - Sunnyvale CA US
Jain; Jawahar - Losa Altos CA

*profile and listings may contain filings by different individuals or companies with the same name. Review application materials to confirm ownership/assignment.

Patent Activity

Patent	Date
Next best action based by quantifying chronic disease burden on a patient and their willingness to take that action Grant 11,393,592 - Jain , et al. July 19, 2	2022-07-19
Sensor Assisted Depression Detection App 20220020500 - Jain; Jawahar ; et al.	2022-01-20
Sensor assisted evaluation of health and rehabilitation Grant 11,164,596 - Jain , et al. November 2, 2	2021-11-02
Real time authentication based on blood flow parameters Grant 11,064,893 - Jain , et al. July 20, 2	2021-07-20
Chronotherapeutic dosing of medication and medication regimen adherence Grant 11,039,986 - Jain , et al. June 22, 2	2021-06-22
Determining health markers using portable devices Grant 10,973,423 - Jain , et al. April 13, 2	2021-04-13
Determining a health status for a user Grant 10,945,675 - Jain , et al. March 16, 2	2021-03-16
Determining cardiovascular features using camera-based sensing Grant 10,939,834 - Khwaja , et al. March 9, 2	2021-03-09
Determining artery location using camera-based sensing Grant 10,939,833 - Khwaja , et al. March 9, 2	2021-03-09
Graded escalation based triage Grant 10,930,398 - Jain , et al. February 23, 2	2021-02-23
Determining emotions using camera-based sensing Grant 10,874,309 - Khwaja , et al. December 29, 2	2020-12-29
Determining Next Best Action Using Graded Escalation Triage Alogrithm App 20200273583 - Jain; Jawahar ; et al.	2020-08-27
Next Best Action Based By Quantifying Chronic Disease Burden On A Patient And Their Willingness To Take That Action App 20200258636 - A1	2020-08-13
Health Risk Score For Risk Stratification And Compliance Monitoring For Next Best Action App 20200258637 - A1	2020-08-13
Detecting live tissues using signal analysis Grant 10,537,253 - Jain , et al. Ja	2020-01-21
Determining baseline contexts and stress coping capacity Grant 10,478,131 - Jain , et al. Nov	2019-11-19
Bio-Sensing Based Monitoring Of Health App 20190328316 - Fontanel; Fannie ; et al.	2019-10-31
Performance of biological measurements in the presence of noise Grant 10,456,088 - Jain , et al. Oc	2019-10-29
Detection of chronotropic incompetence Grant 10,420,514 - Jain , et al. Sept	2019-09-24
Continuous stress measurement with built-in alarm fatigue reduction features Grant 10,390,764 - Jain , et al. A	2019-08-27
Sensor-based detection of changes in health and ventilation threshold Grant 10,362,998 - Jain , et al.	2019-07-30
Graded Escalation Based Triage App 20190180879 - Jain; Jawahar ; et al.	2019-06-13
Emotion evaluation Grant 10,285,634 - Jain , et al.	2019-05-14
Stress detection based on sympathovagal balance Grant 10,231,673 - Jain , et al.	2019-03-19
Image-analysis for assessing heart failure Grant 10,172,517 - Jain , et al. J	2019-01-08
Determining A Health Status For A User App 20180338733 - Jain; Jawahar ; et al.	2018-11-29
Determining Health Markers Using Portable Devices App 20180317788 - Jain; Jawahar ; et al.	2018-11-08
Determining Emotions Using Camera-Based Sensing App 20180314879 - Khwaja; Ayesha ; et al.	2018-11-01
Determining Artery Location Using Camera-Based Sensing App 20180310841 - Khwaja; Ayesha ; et al.	2018-11-01
Determining Cardiovascular Features Using Camera-Based Sensing App 20180310842 - Khwaja; Ayesha ; et al.	2018-11-01
Real Time Authentication Based On Blood Flow Parameters App 20180020927 - Jain; Jawahar ; et al.	2018-01-25
Detection Of Chronotropic Incompetence App 20170245805 - Jain; Jawahar ; et al.	2017-08-31
Sensor Assisted Depression Detection App 20170249437 - Jain; Jawahar ; et al.	2017-08-31
Sensor-based Detection Of Changes In Health And Ventilation Threshold App 20170245808 - Jain; Jawahar ; et al.	2017-08-31
Image-analysis For Assessing Heart Failure App 20170245759 - Jain; Jawahar ; et al.	2017-08-31
Sensor Assisted Evaluation Of Health And Rehabilitation App 20170249438 - Jain; Jawahar ; et al.	2017-08-31
Detecting Live Tissues Using Signal Analysis App 20170249429 - Jain; Jawahar ; et al.	2017-08-31
Chronotherapeutic Dosing Of Medication And Medication Regimen Adherence App 20170246086 - Jain; Jawahar ; et al.	2017-08-31
Continuous Stress Measurement with Built-In Alarm Fatigue Reduction Features App 20170071523 - Jain; Jawahar ; et al.	2017-03-16
Stress Detection Based on Sympathovagal Balance App 20170071551 - Jain; Jawahar ; et al.	2017-03-16
Performance of Biological Measurements in the Presence of Noise App 20170071546 - Jain; Jawahar ; et al.	2017-03-16
Determining Baseline Contexts and Stress Coping Capacity App 20170071537 - Jain; Jawahar ; et al.	2017-03-16
Emotion Evaluation App 20170007165 - Jain; Jawahar ; et al.	2017-01-12
Efficient indexing using compact decision diagrams Grant 9,405,819 - Stergiou , et al. August 2, 2	2016-08-02
Selecting metadata for sensor data streams Grant 9,386,359 - Adler , et al. July 5, 2	2016-07-05
Modeling topics using statistical distributions Grant 9,317,593 - Marvit , et al. April 19, 2	2016-04-19
Stress model based on RR integral average Grant 9,301,695 - Stergiou , et al. April 5, 2	2016-04-05
Reduction of spatial resolution for temporal resolution Grant 9,300,869 - Marvit , et al. March 29, 2	2016-03-29
Calculating and monitoring a composite stress index Grant 9,189,599 - Adler , et al. November 17, 2	2015-11-17
Detecting sensor malfunctions using compression analysis of binary decision diagrams Grant 9,176,819 - Stergiou , et al. November 3, 2	2015-11-03
Partitioning medical binary decision diagrams for analysis optimization Grant 9,177,247 - Stergiou , et al. November 3, 2	2015-11-03
Triggering user queries based on sensor inputs Grant 9,173,567 - Jain , et al. November 3, 2	2015-11-03
Frequency domain analysis transform of renal blood flow doppler signal to determine stress levels Grant 9,168,020 - Jain , et al. October 27, 2	2015-10-27
Annotating medical data represented by characteristic functions Grant 9,138,143 - Stergiou , et al. September 22, 2	2015-09-22
Identifying an event occurrence from sensor data streams Grant 9,107,565 - Jain , et al. August 18, 2	2015-08-18
Recommending terms to specify ontology space Grant 9,081,852 - Marvit , et al. July 14, 2	2015-07-14
Partitioning medical binary decision diagrams for size optimization Grant 9,075,908 - Stergiou , et al. July 7, 2	2015-07-07
Monitoring Adjustable Workstations App 20150120238 - MARVIT; David L. ; et al.	2015-04-30
Reduction Of Spatial Resolution For Temporal Resolution App 20150116568 - MARVIT; David L. ; et al.	2015-04-30
Measuring Efficacy Of Ergonomic Interventions App 20150120377 - MARVIT; David L ; et al.	2015-04-30
Annotating environmental data represented by characteristic functions Grant 9,002,781 - Stergiou , et al. April 7, 2	2015-04-07
Recording and analyzing data on a 3D avatar Grant 8,928,671 - Adler , et al. January 6, 2	2015-01-06
Querying sensor data stored as binary decision diagrams Grant 8,930,394 - Stergiou , et al. January 6, 2	2015-01-06
Method And System To Utilize Bio Smart Social Networking Environment App 20140372530 - Jain; Jawahar	2014-12-18
Combining medical binary decision diagrams to determine data correlations Grant 8,909,592 - Stergiou , et al. December 9, 2	2014-12-09
Method And System For Recording Emotional State Of A User App 20140335500 - Jain; Lakshya ; et al.	2014-11-13
Multi-touch user input based on multiple quick-point controllers Grant 8,878,787 - Stergiou , et al. November 4, 2	2014-11-04
Representing sensor data as binary decision diagrams Grant 8,874,607 - Stergiou , et al. October 28, 2	2014-10-28
Compression threshold analysis of binary decision diagrams Grant 8,838,523 - Stergiou , et al. September 16, 2	2014-09-16
Detecting data corruption in medical binary decision diagrams using hashing techniques Grant 8,812,943 - Stergiou , et al. August 19, 2	2014-08-19
Stress Model Based On Rr Integral Average App 20140206944 - JAIN; Jawahar ; et al.	2014-07-24
Range queries in binary decision diagrams Grant 8,781,995 - Stergiou , et al. July 15, 2	2014-07-15
Determining Respiratory Rate App 20140163396 - JAIN; Jawahar ; et al.	2014-06-12
Data aggregation platform Grant 8,725,462 - Jain , et al. May 13, 2	2014-05-13
Combining medical binary decision diagrams for analysis optimization Grant 8,719,214 - Stergiou , et al. May 6, 2	2014-05-06
Method and system for processing access control lists using an exclusive-or sum-of-products evaluator Grant 8,688,902 - Stergiou , et al. April 1, 2	2014-04-01
Geotagging Based On Specified Criteria App 20140067801 - MARVIT; David L. ; et al.	2014-03-06
Frequency Domain Analysis Transform Of Renal Blood Flow Doppler Signal To Determine Stress Levels App 20140046189 - JAIN; Jawahar ; et al.	2014-02-13
Annotating binary decision diagrams representing sensor data Grant 8,645,108 - Stergiou , et al. February 4, 2	2014-02-04
Continuous monitoring of stress using accelerometer data Grant 8,622,901 - Jain , et al. January 7, 2	2014-01-07
Continuous monitoring of stress using self-reported psychological or behavioral data Grant 8,622,899 - Jain , et al. January 7, 2	2014-01-07
Calculating and monitoring the efficacy of stress-related therapies Grant 8,622,900 - Jain , et al. January 7, 2	2014-01-07
Optimum layer-swapping schedules for BDDs with four variables Grant 8,626,695 - Stergiou , et al. January 7, 2	2014-01-07
Annotating medical binary decision diagrams with health state information Grant 8,620,854 - Stergiou , et al. December 31, 2	2013-12-31
Continuous monitoring of stress using environmental data Grant 08617067 -	2013-12-31
Continuous monitoring of stress using environmental data Grant 8,617,067 - Jain , et al. December 31, 2	2013-12-31
Window algorithm using maximal parallelization Grant 8,600,927 - Stergiou , et al. December 3, 2	2013-12-03
Verification and reachability using an organic approach Grant 8,595,659 - Stergiou , et al. November 26, 2	2013-11-26
Determining optimum variable orders for BDDs using pair-wise variable grouping Grant 8,595,179 - Stergiou , et al. November 26, 2	2013-11-26
Comparing boolean functions representing sensor data Grant 8,583,718 - Stergiou , et al. November 12, 2	2013-11-12
Parallel sifting algorithm Grant 8,583,591 - Stergiou , et al. November 12, 2	2013-11-12
Parallel window algorithm Grant 8,583,590 - Stergiou , et al. November 12, 2	2013-11-12
Comparing data samples represented by characteristic functions Grant 8,572,146 - Stergiou , et al. October 29, 2	2013-10-29
Efficient computation of ontology affinity matrices Grant 8,554,696 - Stergiou , et al. October 8, 2	2013-10-08
Determining a document specificity Grant 8,543,380 - Marvit , et al. September 24, 2	2013-09-24
Continuous monitoring of stress using a stress profile created by renal doppler sonography Grant 8,540,629 - Jain , et al. September 24, 2	2013-09-24
Creating a personalized stress profile using renal doppler sonography Grant 8,529,447 - Jain , et al. September 10, 2	2013-09-10
Validating sensor data represented by characteristic functions Grant 8,495,038 - Stergiou , et al. July 23, 2	2013-07-23
Caching query results with binary decision diagrams (BDDs) Grant 8,468,142 - Stergiou , et al. June 18, 2	2013-06-18
Combining Medical Binary Decision Diagrams for Analysis Optimization App 20130080380 - Stergiou; Stergios ; et al.	2013-03-28
Compression Threshold Analysis of Binary Decision Diagrams App 20130080382 - Stergiou; Stergios ; et al.	2013-03-28
Detecting Data Corruption in Medical Binary Decision Diagrams Using Hashing Techniques App 20130080836 - Stergiou; Stergios ; et al.	2013-03-28
Detecting Sensor Malfunctions Using Compression Analysis of Binary Decision Diagrams App 20130080843 - Stergiou; Stergios ; et al.	2013-03-28
Partitioning Medical Binary Decision Diagrams for Analysis Optimization App 20130080114 - Stergiou; Stergios ; et al.	2013-03-28
Partitioning Medical Binary Decision Diagrams for Size Optimization App 20130080118 - Stergiou; Stergios ; et al.	2013-03-28
Range Queries in Binary Decision Diagrams App 20130080470 - Stergiou; Stergios ; et al.	2013-03-28
Combining Medical Binary Decision Diagrams for Size Optimization App 20130080381 - Stergiou; Stergios ; et al.	2013-03-28
Annotating Medical Binary Decision Diagrams with Health State Information App 20130080379 - Stergiou; Stergios ; et al.	2013-03-28
Determining optimum variable orders for BDDs using recursion Grant 8,374,991 - Stergiou , et al. February 12, 2	2013-02-12
BDD variable reordering using parallel permutation Grant 8,370,289 - Stergiou , et al. February 5, 2	2013-02-05
Automatically generating a hierarchy of terms Grant 8,332,439 - Marvit , et al. December 11, 2	2012-12-11
Continuous Monitoring of Stress Using a Stress Profile Created by Renal Doppler Sonography App 20120289794 - Jain; Jawahar ; et al.	2012-11-15
Calculating and Monitoring the Efficacy of Stress-Related Therapies App 20120289791 - Jain; Jawahar ; et al.	2012-11-15
Calculating and Monitoring a Composite Stress Index App 20120290215 - Adler; B. Thomas ; et al.	2012-11-15
Data Aggregation Platform App 20120290266 - Jain; Jawahar ; et al.	2012-11-15
Continuous Monitoring of Stress Using Accelerometer Data App 20120289793 - Jain; Jawahar ; et al.	2012-11-15
Triggering User Queries Based on Sensor Inputs App 20120289788 - Jain; Jawahar ; et al.	2012-11-15
Continuous Monitoring of Stress Using Environmental Data App 20120289789 - Jain; Jawahar ; et al.	2012-11-15
Creating a Personalized Stress Profile Using Renal Doppler Sonography App 20120289792 - Jain; Jawahar ; et al.	2012-11-15
Continuous Monitoring of Stress Using Self-Reported Psychological or Behavioral Data App 20120289790 - Jain; Jawahar ; et al.	2012-11-15
Method and system for processing access control lists using a hashing scheme Grant 8,290,934 - Stergiou , et al. October 16, 2	2012-10-16
Selecting tags for a document by analyzing paragraphs of the document Grant 8,280,892 - Marvit , et al. October 2, 2	2012-10-02
Diagnosing Insulin Resistance App 20120197621 - Jain; Jawahar	2012-08-02
Monitoring Insulin Resistance App 20120197622 - Jain; Jawahar	2012-08-02
Diagnosis and Monitoring of Dyspnea App 20120130201 - JAIN; Jawahar	2012-05-24
Diagnosis and Monitoring of Musculoskeletal Pathologies App 20120130202 - JAIN; Jawahar	2012-05-24
Recording and Analyzing Data on a 3D Avatar App 20120127157 - ADLER; B. Thomas ; et al.	2012-05-24
Mood Sensor App 20120130196 - JAIN; Jawahar ; et al.	2012-05-24
Inductively-Powered Ring-Based Sensor App 20120130203 - STERGIOU; Stergios ; et al.	2012-05-24
Validating one or more circuits using one or more grids Grant 8,181,132 - Jain , et al. May 15, 2	2012-05-15
Automatic generation of ontologies using word affinities Grant 8,171,029 - Marvit , et al. May 1, 2	2012-05-01
Determining Optimum Variable Orders for BDDs Using Recursion App 20120089558 - Stergiou; Stergios ; et al.	2012-04-12
BDD Variable Reordering Using Parallel Permutation App 20120089555 - Stergiou; Stergios ; et al.	2012-04-12
Window Algorithm Using Maximal Parallelization App 20120089560 - Stergiou; Stergios ; et al.	2012-04-12
Determining Optimum Variable Orders for BDDs Using Pair-Wise Variable Grouping App 20120089557 - Stergiou; Stergios ; et al.	2012-04-12
Parallel Sifting Algorithm App 20120089561 - Stergiou; Stergios ; et al.	2012-04-12
Parallel Window Algorithm App 20120089559 - Stergiou; Stergios ; et al.	2012-04-12
Optimum Layer-Swapping Schedules for BDDs with Four Variables App 20120089556 - Stergiou; Stergios ; et al.	2012-04-12
Representing Sensor Data As Binary Decision Diagrams App 20120046913 - Stergiou; Stergios ; et al.	2012-02-23
Annotating Medical Data Represented By Characteristic Functions App 20120047136 - Stergiou; Stergios ; et al.	2012-02-23
Querying Sensor Data Stored As Binary Decision Diagrams App 20120047160 - Stergiou; Stergios ; et al.	2012-02-23
Annotating Binary Decision Diagrams Representing Sensor Data App 20120046919 - Stergiou; Stergios ; et al.	2012-02-23
Comparing Boolean Functions Representing Sensor Data App 20120047191 - Stergiou; Stergios ; et al.	2012-02-23
Annotating Environmental Data Represented By Characteristic Functions App 20120047137 - Stergiou; Stergios ; et al.	2012-02-23
Comparing Data Samples Represented By Characteristic Functions App 20120047194 - Stergiou; Stergios ; et al.	2012-02-23
Validating Sensor Data Represented By Characteristic Functions App 20120047116 - Stergiou; Stergios ; et al.	2012-02-23
Identifying An Event Occurrence From Sensor Data Streams App 20120042326 - Jain; Jawahar ; et al.	2012-02-16
Multi-Touch User Input Based on Multiple Quick-Point Controllers App 20120038674 - Stergiou; Stergios ; et al.	2012-02-16
Identifying clusters of words according to word affinities Grant 8,108,392 - Marvit , et al. January 31, 2	2012-01-31
Refining a search space in response to user input Grant 8,108,405 - Marvit , et al. January 31, 2	2012-01-31
Ranking nodes for session-based queries Grant 8,060,503 - Stergiou , et al. November 15, 2	2011-11-15
Compact decision diagrams Grant 8,041,665 - Stergiou , et al. October 18, 2	2011-10-18
System and method for evaluating an erroneous state associated with a target circuit Grant 7,788,556 - Jain , et al. August 31, 2	2010-08-31
Efficient computation of ontology affinity matrices App 20100211534 - Stergiou; Stergios ; et al.	2010-08-19
Method for verifying and representing hardware by decomposition and partitioning Grant 7,673,263 - Jain March 2, 2	2010-03-02
Method and System for Processing Access Control Lists Using a Hashing Scheme App 20100036820 - Stergiou; Stergios ; et al.	2010-02-11
Method and system for processing access control lists using an exclusive-or sum-of-products evaluator App 20100037016 - Stergiou; Stergios ; et al.	2010-02-11
Caching Query Results with Binary Decision Diagrams (BDDs) App 20100036835 - Stergiou; Stergios ; et al.	2010-02-11
Multithreaded reachability Grant 7,594,195 - Jain , et al. September 22, 2	2009-09-22
Validating One or More Circuits Using One or More Grids App 20090210212 - Jain; Jawahar ; et al.	2009-08-20
Circuit verification Grant 7,571,403 - Jain , et al. August 4, 2	2009-08-04
Ranking Nodes for Session-Based Queries App 20090171928 - Stergiou; Stergios ; et al.	2009-07-02
Validating one or more circuits using one of more grids Grant 7,546,563 - Jain , et al. June 9, 2	2009-06-09
Selecting Tags For A Document By Analyzing Paragraphs Of The Document App 20090094231 - Marvit; David L. ; et al.	2009-04-09
Modeling Topics Using Statistical Distributions App 20090094233 - Marvit; David L. ; et al.	2009-04-09
Automatically Generating A Hierarchy Of Terms App 20090094208 - Marvit; David L. ; et al.	2009-04-09
Identifying Clusters Of Words According To Word Affinities App 20090094207 - Marvit; David L. ; et al.	2009-04-09
Automatic Generation Of Ontologies Using Word Affinities App 20090094262 - Marvit; David L. ; et al.	2009-04-09
Refining A Search Space In Response To User Input App 20090094232 - Marvit; David L. ; et al.	2009-04-09
Determining A Document Specificity App 20090094021 - Marvit; David L. ; et al.	2009-04-09
Determining The Depths Of Words And Documents App 20090094209 - Marvit; David L. ; et al.	2009-04-09
Recommending Terms To Specify Ontology Space App 20090094020 - Marvit; David L. ; et al.	2009-04-09
Directed falsification of a circuit Grant 7,451,375 - Jain November 11, 2	2008-11-11
Efficient Indexing Using Compact Decision Diagrams App 20080243907 - Stergiou; Stergios ; et al.	2008-10-02
Compact Decision Diagrams App 20080243746 - Stergiou; Stergios ; et al.	2008-10-02
Verification And Reachability Using An Organic Approach App 20080109202 - Stergiou; Stergios ; et al.	2008-05-08
Disjunctive Transition Relation Decomposition Based Verification App 20080109201 - Stergiou; Stergios ; et al.	2008-05-08
Validating one or more circuits using one or more grids App 20080072190 - Jain; Jawahar ; et al.	2008-03-20
Circuit verification using multiple engines Grant 7,281,225 - Jain , et al. October 9, 2	2007-10-09
Reachability-based verification of a circuit using one or more multiply rooted binary decision diagrams Grant 7,280,993 - Jain October 9, 2	2007-10-09
Multithreaded Reachability App 20070124711 - Jain; Jawahar ; et al.	2007-05-31
Determining one or more reachable states in a circuit using distributed computing and one or more partitioned data structures Grant 7,216,312 - Jain , et al. May 8, 2	2007-05-08
Circuit Verification App 20060173666 - Jain; Jawahar ; et al.	2006-08-03
Generating a test sequence using a satisfiability technique Grant 7,076,712 - Prasad , et al. July 11, 2	2006-07-11
System and method for building a binary decision diagram associated with a target circuit Grant 7,065,722 - Jain June 20, 2	2006-06-20
Method for verifying and representing hardware by decomposition and partitioning App 20060129953 - Jain; Jawahar	2006-06-15
Performing latch mapping of sequential circuits Grant 7,032,192 - Prasad , et al. April 18, 2	2006-04-18
System and method for executing image computation associated with a target circuit Grant 7,032,197 - Jain , et al. April 18, 2	2006-04-18
Circuit verification Grant 7,028,279 - Jain , et al. April 11, 2	2006-04-11
Method of verifying and representing hardware by decomposition and partitioning Grant 7,028,278 - Jain April 11, 2	2006-04-11
Directed falsification of a circuit App 20050149837 - Jain, Jawahar	2005-07-07
Circuit verification using multiple engines App 20050138474 - Jain, Jawahar ; et al.	2005-06-23
System and method for verifying a plurality of states associated with a target circuit Grant 6,904,578 - Jain , et al. June 7, 2	2005-06-07
Generating a test sequence using a satisfiability technique App 20040237012 - Prasad, Mukul R. ; et al.	2004-11-25
Performing latch mapping of sequential circuits App 20040237057 - Prasad, Mukul R. ; et al.	2004-11-25
Determining one or more reachable states in a circuit using distributed computing and one or more partitioned data structures App 20040199887 - Jain, Jawahar ; et al.	2004-10-07
System and method for building a binary decision diagram associated with a target circuit App 20040103378 - Jain, Jawahar	2004-05-27
Reachabilty-based verification of a circuit using one or more multiply rooted binary decision diagrams App 20040098682 - Jain, Jawahar	2004-05-20
Circuit verification App 20040093571 - Jain, Jawahar ; et al.	2004-05-13
System and method for executing image computation associated with a target circuit App 20040093572 - Jain, Jawahar ; et al.	2004-05-13
System and method for verifying a plurality of states associated with a target circuit App 20040093570 - Jain, Jawahar ; et al.	2004-05-13
System and method for evaluating an erroneous state associated with a target circuit App 20040093541 - Jain, Jawahar ; et al.	2004-05-13
Method of verifying and representing hardware by decomposition and partitioning App 20040015799 - Jain, Jawahar	2004-01-22
Method for verifying and representing hardware by decomposition and partitioning Grant 6,560,758 - Jain May 6, 2	2003-05-06
Multiple error and fault diagnosis based on Xlists Grant 6,532,440 - Boppana , et al. March 11, 2	2003-03-11
Verification of sequential circuits with same state encoding Grant 6,408,424 - Mukherjee , et al. June 18, 2	2002-06-18
OBDD variable ordering using sampling based schemes Grant 6,389,374 - Jain , et al. May 14, 2	2002-05-14
Method for verification of combinational circuits using a filtering oriented approach Grant 6,301,687 - Jain , et al. October 9, 2	2001-10-09
Method for verifying and representing hardware by decomposition and partitioning Grant 6,212,669 - Jain April 3, 2	2001-04-03
Method for verification of combinational circuits using a filtering oriented approach Grant 6,086,626 - Jain , et al. July 11, 2	2000-07-11
Topology-based computer-aided design system for digital circuits and method thereof Grant 5,649,165 - Jain , et al. July 15, 1	1997-07-15