Jawahar Jain
From MaRDI portal
Person:685116
Available identifiers
zbMath Open jain.jawaharMaRDI QIDQ685116
List of research outcomes
Publication | Date of Publication | Type |
---|---|---|
https://portal.mardi4nfdi.de/entity/Q2848659 | 2013-09-26 | Paper |
Correct Hardware Design and Verification Methods | 2010-02-05 | Paper |
Formal Methods in Computer-Aided Design | 2006-10-20 | Paper |
Correct Hardware Design and Verification Methods | 2006-10-20 | Paper |
Correct Hardware Design and Verification Methods | 2006-10-20 | Paper |
Automated Technology for Verification and Analysis | 2006-10-10 | Paper |
FM 2005: Formal Methods | 2006-01-10 | Paper |
Efficient combinational verification using overlapping local BDDs and a hash table | 2002-09-18 | Paper |
https://portal.mardi4nfdi.de/entity/Q4885886 | 1996-07-28 | Paper |
Probabilistic verification of Boolean functions | 1993-09-30 | Paper |
Research outcomes over time
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
Property | Value |
---|---|
MaRDI profile type | MaRDI person profile |
instance of | human |
This page was built for person: Jawahar Jain