☰

Ashish Tiwari, Ph.D. - Publications

Affiliations: 
2000 Stony Brook University, Stony Brook, NY, United States 
Area:
Computational Logic, Automated Deduction, Symbolic Computation.
Tree Info Similar researchers PubMed Report error

9 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2013 Creus C, Godoy G, Massanes F, Tiwari A. Non-Linear Rewrite Closure and Weak Normalization Journal of Automated Reasoning. 51: 281-324. DOI: 10.1007/S10817-012-9262-5  0.342
2011 Taly A, Gulwani S, Tiwari A. Synthesizing switching logic using constraint solving International Journal On Software Tools For Technology Transfer. 13: 519-535. DOI: 10.1007/S10009-010-0172-8  0.303
2010 Gascón A, Godoy G, Schmidt-Schauβ M, Tiwari A. Context unification with one context variable Journal of Symbolic Computation. 45: 173-193. DOI: 10.1016/J.Jsc.2008.10.005  0.3
2009 Abate A, Tiwari A, Sastry S. Box invariance in biologically-inspired dynamical systems Automatica. 45: 1601-1610. DOI: 10.1016/J.Automatica.2009.02.028  0.314
2006 Abate A, Tiwari A. Box Invariance Of Hybrid And Switched Systems Ifac Proceedings Volumes. 39: 359-364. DOI: 10.3182/20060607-3-It-3902.00066  0.312
2004 Godoy G, Nieuwenhuis R, Tiwari A. Classes of term rewrite systems with polynomial confluence problems Acm Transactions On Computational Logic. 5: 321-331. DOI: 10.1145/976706.976712  0.313
2004 Godoy G, Tiwari A, Verma RM. Deciding confluence of certain term rewriting systems in polynomial time Annals of Pure and Applied Logic. 130: 33-59. DOI: 10.1016/J.Apal.2004.04.005  0.346
2004 Godoy G, Tiwari A, Verma R. Characterizing Confluence by Rewrite Closure and Right Ground Term Rewrite Systems Applicable Algebra in Engineering, Communication and Computing. 15: 13-36. DOI: 10.1007/S00200-004-0148-6  0.351
2003 Bachmair L, Tiwari A, Vigneron L. Abstract congruence closure Journal of Automated Reasoning. 31: 129-168. DOI: 10.1023/B:Jars.0000009518.26415.49  0.545
Show low-probability matches.