Himanshu Jain

Available identifiers

zbMath Open jain.himanshuMaRDI QIDQ1039846

List of research outcomes

Publication	Date of Publication	Type
Efficient Craig interpolation for linear Diophantine (dis)equations and linear modular equations	2009-11-23	Paper
Efficient Craig Interpolation for Linear Diophantine (Dis)Equations and Linear Modular Equations	2008-07-15	Paper
Satisfiability Checking of Non-clausal Formulas Using General Matings	2007-09-04	Paper
Verification of SpecC using predicate abstraction	2007-06-21	Paper
Tools and Algorithms for the Construction and Analysis of Systems	2005-11-10	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: Himanshu Jain