The SCEAS System
| |||||||

## Search the dblp DataBase
Ashish Tiwari:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Leo Bachmair, Ashish Tiwari
**Abstract Congruence Closure and Specializations.**[Citation Graph (0, 0)][DBLP] CADE, 2000, pp:64-78 [Conf] - Guillem Godoy, Ashish Tiwari
**Deciding Fundamental Properties of Right-(Ground or Variable) Rewrite Systems by Rewrite Closure.**[Citation Graph (0, 0)][DBLP] IJCAR, 2004, pp:91-106 [Conf] - Guillem Godoy, Ashish Tiwari
**Termination of Rewrite Systems with Shallow Right-Linear, Collapsing, and Right-Ground Rules.**[Citation Graph (0, 0)][DBLP] CADE, 2005, pp:164-176 [Conf] - Ashish Tiwari, Leo Bachmair, Harald Rueß
**Rigid**[Citation Graph (0, 0)][DBLP]*E*-Unification Revisited. CADE, 2000, pp:220-234 [Conf] - Leonardo Mendonça de Moura, Sam Owre, Harald Rueß, John M. Rushby, Natarajan Shankar, Maria Sorea, Ashish Tiwari
**SAL 2.**[Citation Graph (0, 0)][DBLP] CAV, 2004, pp:496-500 [Conf] - Ashish Tiwari
**Termination of Linear Programs.**[Citation Graph (0, 0)][DBLP] CAV, 2004, pp:70-82 [Conf] - Guillem Godoy, Ashish Tiwari
**Confluence of Shallow Right-Linear Rewrite Systems.**[Citation Graph (0, 0)][DBLP] CSL, 2005, pp:541-556 [Conf] - Ashish Tiwari
**An Algebraic Approach for the Unsatisfiability of Nonlinear Constraints.**[Citation Graph (0, 0)][DBLP] CSL, 2005, pp:248-262 [Conf] - Sumit Gulwani, Ashish Tiwari
**Assertion Checking over Combined Abstraction of Linear Arithmetic and Uninterpreted Functions.**[Citation Graph (0, 0)][DBLP] ESOP, 2006, pp:279-293 [Conf] - Leo Bachmair, I. V. Ramakrishnan, Ashish Tiwari, Laurent Vigneron
**Congruence Closure Modulo Associativity and Commutativity.**[Citation Graph (0, 0)][DBLP] FroCos, 2000, pp:245-259 [Conf] - Sumit Gulwani, Ashish Tiwari, George C. Necula
**Join Algorithms for the Theory of Uninterpreted Functions.**[Citation Graph (0, 0)][DBLP] FSTTCS, 2004, pp:311-323 [Conf] - Ashish Tiwari
**Rewrite Closure for Ground and Cancellative AC Theories.**[Citation Graph (0, 0)][DBLP] FSTTCS, 2001, pp:334-346 [Conf] - Puneet Handa, Robert A. Schwartz, Ashish Tiwari
**The Ecology of an Order-Driven Market System.**[Citation Graph (0, 0)][DBLP] HICSS (6), 1998, pp:353-362 [Conf] - Puneet Handa, Robert A. Schwartz, Ashish Tiwari
**A Tale of Two Trading Venues: Electronically Delivered Orders vs. Floor Brokered Orders on the American Stock Exchange.**[Citation Graph (0, 0)][DBLP] HICSS, 1999, pp:- [Conf] - Ronojoy Ghosh, Ashish Tiwari, Claire Tomlin
**Automated Symbolic Reachability Analysis; with Application to Delta-Notch Signaling Automata.**[Citation Graph (0, 0)][DBLP] HSCC, 2003, pp:233-248 [Conf] - Enric Rodríguez-Carbonell, Ashish Tiwari
**Generating Polynomial Invariants for Hybrid Systems.**[Citation Graph (0, 0)][DBLP] HSCC, 2005, pp:590-605 [Conf] - Patrick Lincoln, Ashish Tiwari
**Symbolic Systems Biology: Hybrid Modeling and Analysis of Biological Networks.**[Citation Graph (0, 0)][DBLP] HSCC, 2004, pp:660-672 [Conf] - Ashish Tiwari
**Approximate Reachability for Linear Systems.**[Citation Graph (0, 0)][DBLP] HSCC, 2003, pp:514-525 [Conf] - Ashish Tiwari, Gaurav Khanna
**Series of Abstractions for Hybrid Automata.**[Citation Graph (0, 0)][DBLP] HSCC, 2002, pp:465-478 [Conf] - Ashish Tiwari, Gaurav Khanna
**Nonlinear Systems: Approximating Reach Sets.**[Citation Graph (0, 0)][DBLP] HSCC, 2004, pp:600-614 [Conf] - Ashish Tiwari
**Deciding Confluence of Certain Term Rewriting Systems in Polynomial Time.**[Citation Graph (0, 0)][DBLP] LICS, 2002, pp:447-0 [Conf] - Sumit Gulwani, Ashish Tiwari
**Combining abstract interpreters.**[Citation Graph (0, 0)][DBLP] PLDI, 2006, pp:376-386 [Conf] - Leo Bachmair, C. R. Ramakrishnan, I. V. Ramakrishnan, Ashish Tiwari
**Normalization via Rewrite Closures.**[Citation Graph (0, 0)][DBLP] RTA, 1999, pp:190-204 [Conf] - Leo Bachmair, Ashish Tiwari
**D-Bases for Polynomial Ideals over Commutative Noetherian Rings.**[Citation Graph (0, 0)][DBLP] RTA, 1997, pp:113-127 [Conf] - Guillem Godoy, Ashish Tiwari, Rakesh M. Verma
**On the Confluence of Linear Shallow Term Rewrite Systems.**[Citation Graph (0, 0)][DBLP] STACS, 2003, pp:85-96 [Conf] - Ashish Tiwari, Harald Rueß, Hassen Saïdi, Natarajan Shankar
**A Technique for Invariant Generation.**[Citation Graph (0, 0)][DBLP] TACAS, 2001, pp:113-127 [Conf] - Ashish Tiwari, Purnendu Sinha, Umabharathi Ramachandran
**On the Run-time Verification of Autonomy Software.**[Citation Graph (0, 0)][DBLP] SEW, 2003, pp:58- [Conf] - Guillem Godoy, Ashish Tiwari, Rakesh M. Verma
**Characterizing Confluence by Rewrite Closure and Right Ground Term Rewrite Systems.**[Citation Graph (0, 0)][DBLP] Appl. Algebra Eng. Commun. Comput., 2004, v:15, n:1, pp:13-36 [Journal] - Guillem Godoy, Ashish Tiwari, Rakesh M. Verma
**Deciding confluence of certain term rewriting systems in polynomial time.**[Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 2004, v:130, n:1-3, pp:33-59 [Journal] - Ravindra K. Ahuja, James B. Orlin, Ashish Tiwari
**A greedy genetic algorithm for the quadratic assignment problem.**[Citation Graph (0, 0)][DBLP] Computers & OR, 2000, v:27, n:10, pp:917-934 [Journal] - Leo Bachmair, Ashish Tiwari, Laurent Vigneron
**Abstract Congruence Closure.**[Citation Graph (0, 0)][DBLP] J. Autom. Reasoning, 2003, v:31, n:2, pp:129-168 [Journal] - Ashish Tiwari, Natarajan Shankar, John M. Rushby
**Invisible formal methods for embedded control systems.**[Citation Graph (0, 0)][DBLP] Proceedings of the IEEE, 2003, v:91, n:1, pp:29-39 [Journal] - Guillem Godoy, Robert Nieuwenhuis, Ashish Tiwari
**Classes of term rewrite systems with polynomial confluence problems.**[Citation Graph (0, 0)][DBLP] ACM Trans. Comput. Log., 2004, v:5, n:2, pp:321-331 [Journal] - Ashish Tiwari, Sumit Gulwani
**Logical Interpretation: Static Program Analysis Using Theorem Proving.**[Citation Graph (0, 0)][DBLP] CADE, 2007, pp:147-166 [Conf] - Sumit Gulwani, Ashish Tiwari
**An Abstract Domain for Analyzing Heap-Manipulating Low-Level Software.**[Citation Graph (0, 0)][DBLP] CAV, 2007, pp:379-392 [Conf] - Sumit Gulwani, Ashish Tiwari
**Computing Procedure Summaries for Interprocedural Analysis.**[Citation Graph (0, 0)][DBLP] ESOP, 2007, pp:253-267 [Conf] - Guillem Godoy, Eduard Huntingford, Ashish Tiwari
**Termination of Rewriting with Right-Flat Rules.**[Citation Graph (0, 0)][DBLP] RTA, 2007, pp:200-213 [Conf] - Ashish Tiwari, Carolyn L. Talcott, Merrill Knapp, Patrick Lincoln, Keith Laderoute
**Analyzing Pathways Using SAT-Based Approaches.**[Citation Graph (0, 0)][DBLP] AB, 2007, pp:155-169 [Conf] - Narjes Berregeb, Riadh Robbana, Ashish Tiwari
**Towards automated proofs of observational properties.**[Citation Graph (0, 0)][DBLP] Discrete Mathematics & Theoretical Computer Science, 2004, v:6, n:2, pp:143-162 [Journal] **Quantitative and Probabilistic Modeling in Pathway Logic.**[Citation Graph (, )][DBLP]**Constraint-Based Approach for Analysis of Hybrid Systems.**[Citation Graph (, )][DBLP]**Analyzing a Discrete Model of Aplysia Central Pattern Generator**[Citation Graph (, )][DBLP]**Combining Equational Reasoning.**[Citation Graph (, )][DBLP]**Deductive Verification of Continuous Dynamical Systems.**[Citation Graph (, )][DBLP]**Generating Box Invariants.**[Citation Graph (, )][DBLP]**Oracle-guided component-based program synthesis.**[Citation Graph (, )][DBLP]**Non-linear Rewrite Closure and Weak Normalization.**[Citation Graph (, )][DBLP]**Lifting abstract interpreters to quantified logical domains.**[Citation Graph (, )][DBLP]**Invariant Checking for Programs with Procedure Calls.**[Citation Graph (, )][DBLP]**Assertion Checking Unified.**[Citation Graph (, )][DBLP]**Synthesizing Switching Logic Using Constraint Solving.**[Citation Graph (, )][DBLP]**Online Evaluation of Steel Slab Quality in Production Phase by Surface Crack Image Segmentation using Relative Fuzzy Connectedness.**[Citation Graph (, )][DBLP]**Termination of Rewriting with Right-Flat Rules Modulo Permutative Theories**[Citation Graph (, )][DBLP]
Search in 0.004secs, Finished in 0.005secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |