Himanshu Jain

From MaRDI portal
Person:1039846

Available identifiers

zbMath Open jain.himanshuMaRDI QIDQ1039846

List of research outcomes





PublicationDate of PublicationType
Efficient Craig interpolation for linear Diophantine (dis)equations and linear modular equations2009-11-23Paper
Efficient Craig Interpolation for Linear Diophantine (Dis)Equations and Linear Modular Equations2008-07-15Paper
Satisfiability Checking of Non-clausal Formulas Using General Matings2007-09-04Paper
Verification of SpecC using predicate abstraction2007-06-21Paper
Tools and Algorithms for the Construction and Analysis of Systems2005-11-10Paper

Research outcomes over time

This page was built for person: Himanshu Jain

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1039846&oldid=5857765"
Powered by MediaWiki