The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Ashish Tiwari: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Leo Bachmair, Ashish Tiwari
    Abstract Congruence Closure and Specializations. [Citation Graph (0, 0)][DBLP]
    CADE, 2000, pp:64-78 [Conf]
  2. 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]
  3. 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]
  4. Ashish Tiwari, Leo Bachmair, Harald Rueß
    Rigid E-Unification Revisited. [Citation Graph (0, 0)][DBLP]
    CADE, 2000, pp:220-234 [Conf]
  5. 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]
  6. Ashish Tiwari
    Termination of Linear Programs. [Citation Graph (0, 0)][DBLP]
    CAV, 2004, pp:70-82 [Conf]
  7. Guillem Godoy, Ashish Tiwari
    Confluence of Shallow Right-Linear Rewrite Systems. [Citation Graph (0, 0)][DBLP]
    CSL, 2005, pp:541-556 [Conf]
  8. Ashish Tiwari
    An Algebraic Approach for the Unsatisfiability of Nonlinear Constraints. [Citation Graph (0, 0)][DBLP]
    CSL, 2005, pp:248-262 [Conf]
  9. 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]
  10. 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]
  11. 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]
  12. Ashish Tiwari
    Rewrite Closure for Ground and Cancellative AC Theories. [Citation Graph (0, 0)][DBLP]
    FSTTCS, 2001, pp:334-346 [Conf]
  13. 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]
  14. 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]
  15. 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]
  16. Enric Rodríguez-Carbonell, Ashish Tiwari
    Generating Polynomial Invariants for Hybrid Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2005, pp:590-605 [Conf]
  17. 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]
  18. Ashish Tiwari
    Approximate Reachability for Linear Systems. [Citation Graph (0, 0)][DBLP]
    HSCC, 2003, pp:514-525 [Conf]
  19. Ashish Tiwari, Gaurav Khanna
    Series of Abstractions for Hybrid Automata. [Citation Graph (0, 0)][DBLP]
    HSCC, 2002, pp:465-478 [Conf]
  20. Ashish Tiwari, Gaurav Khanna
    Nonlinear Systems: Approximating Reach Sets. [Citation Graph (0, 0)][DBLP]
    HSCC, 2004, pp:600-614 [Conf]
  21. Ashish Tiwari
    Deciding Confluence of Certain Term Rewriting Systems in Polynomial Time. [Citation Graph (0, 0)][DBLP]
    LICS, 2002, pp:447-0 [Conf]
  22. Sumit Gulwani, Ashish Tiwari
    Combining abstract interpreters. [Citation Graph (0, 0)][DBLP]
    PLDI, 2006, pp:376-386 [Conf]
  23. 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]
  24. Leo Bachmair, Ashish Tiwari
    D-Bases for Polynomial Ideals over Commutative Noetherian Rings. [Citation Graph (0, 0)][DBLP]
    RTA, 1997, pp:113-127 [Conf]
  25. 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]
  26. 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]
  27. Ashish Tiwari, Purnendu Sinha, Umabharathi Ramachandran
    On the Run-time Verification of Autonomy Software. [Citation Graph (0, 0)][DBLP]
    SEW, 2003, pp:58- [Conf]
  28. 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]
  29. 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]
  30. 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]
  31. 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]
  32. 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]
  33. 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]
  34. Ashish Tiwari, Sumit Gulwani
    Logical Interpretation: Static Program Analysis Using Theorem Proving. [Citation Graph (0, 0)][DBLP]
    CADE, 2007, pp:147-166 [Conf]
  35. 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]
  36. Sumit Gulwani, Ashish Tiwari
    Computing Procedure Summaries for Interprocedural Analysis. [Citation Graph (0, 0)][DBLP]
    ESOP, 2007, pp:253-267 [Conf]
  37. Guillem Godoy, Eduard Huntingford, Ashish Tiwari
    Termination of Rewriting with Right-Flat Rules. [Citation Graph (0, 0)][DBLP]
    RTA, 2007, pp:200-213 [Conf]
  38. 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]
  39. 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]

  40. Quantitative and Probabilistic Modeling in Pathway Logic. [Citation Graph (, )][DBLP]


  41. Constraint-Based Approach for Analysis of Hybrid Systems. [Citation Graph (, )][DBLP]


  42. Analyzing a Discrete Model of Aplysia Central Pattern Generator [Citation Graph (, )][DBLP]


  43. Combining Equational Reasoning. [Citation Graph (, )][DBLP]


  44. Deductive Verification of Continuous Dynamical Systems. [Citation Graph (, )][DBLP]


  45. Generating Box Invariants. [Citation Graph (, )][DBLP]


  46. Oracle-guided component-based program synthesis. [Citation Graph (, )][DBLP]


  47. Non-linear Rewrite Closure and Weak Normalization. [Citation Graph (, )][DBLP]


  48. Lifting abstract interpreters to quantified logical domains. [Citation Graph (, )][DBLP]


  49. Invariant Checking for Programs with Procedure Calls. [Citation Graph (, )][DBLP]


  50. Assertion Checking Unified. [Citation Graph (, )][DBLP]


  51. Synthesizing Switching Logic Using Constraint Solving. [Citation Graph (, )][DBLP]


  52. Online Evaluation of Steel Slab Quality in Production Phase by Surface Crack Image Segmentation using Relative Fuzzy Connectedness. [Citation Graph (, )][DBLP]


  53. Termination of Rewriting with Right-Flat Rules Modulo Permutative Theories [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.005secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002