Edit Profile (opens in new tab) Tiwari, Ashish Kumar Compute Distance To: Compute Author ID: tiwari.ashish-kumar Published as: Tiwari, Ashish; Tiwari, A.; Tiwari, Ashish Kumar more...less External Links: MGP Documents Indexed: 82 Publications since 1990 4 Contributions as Editor Co-Authors: 75 Co-Authors with 64 Joint Publications 1,559 Co-Co-Authors all top 5 Co-Authors 10 single-authored 12 Godoy, Guillem 9 Gulwani, Sumit 6 Bachmair, Leo 5 Gascón, Adrià 4 Deo, Satya 3 Grosu, Radu 3 Gudadhe, Alka S. 3 Kumar Yadav, Pramod 3 Lincoln, Patrick D. 3 Rueß, Harald 3 Shankar, Natarajan 3 Smolka, Scott A. 3 Verma, Rakesh M. 2 Esterle, Lukas 2 Filippov, Anatoly 2 Huntingford, Eduard 2 Jha, Susmit 2 Khanna, Gaurav 2 Lukina, Anna 2 Ramakrishnan, I. V. 2 Schäf, Martin 2 Schmidt-Schauß, Manfred 2 Singh, Priyanka 2 Taly, Ankur 2 Vigneron, Laurent 2 Yang, Junxing 1 Abate, Alessandro 1 Ahuja, Ravindra K. 1 Askar, Sameh S. 1 Barguñó, Luis 1 Bartocci, Ezio 1 Berregeb, Narjes 1 Carmer, Brent 1 Chandran, Pallath 1 Chauhan, Satyendra Singh 1 Chen, Xin 1 Creus, Carles 1 Das, B. N. 1 de Moura, Leonardo 1 Dutertre, Bruno 1 Dutta, Souradeep 1 Fava, Daniel Schnetzer 1 Ganaie, M. A. 1 Ghosh, Ronojoy 1 Hespanha, João Pedro 1 Hirsch, Christian 1 Khanukaeva, Daria Yu. 1 Knapp, Merrill 1 Laderoute, Keith 1 Leike, Jan 1 Lemerre, Matthieu 1 Massanes, Francesc 1 Mathur, Umang 1 McCloskey, Bill 1 Mehmood, Usama 1 Mehnen, Jörn 1 Necula, George C. 1 Nieuwenhuis, Robert 1 O’Doherty, Michael S. 1 Olivetti, Nicola 1 Orlin, James B. 1 Owre, Sam 1 Ramakrishnan, C. R. 1 Robbana, Riadh 1 Rodríguez-Carbonell, Enric 1 Roy, Shouvik 1 Rushby, John 1 Sacheti, Nirmal C. 1 Sahai, Tuhin 1 Saïdi, Hassen 1 Sankaranarayanan, Sriram 1 Sastry, Shankar S. 1 Schmidt Schaus, Manfred 1 Seshia, Sanjit Arunkumar 1 Signoles, Julien 1 Singh, Ashok Kumar 1 Sorea, Maria 1 Stoller, Scott D. 1 Sturm, Thomas 1 Talcott, Carolyn L. 1 Tiwari, Bharat 1 Tiwari, Rashmi 1 Tomlin, Claire J. 1 Vanka, Surya Pratap 1 Vasin, Sergey all top 5 Serials 3 Acta Mechanica 3 Formal Methods in System Design 2 Journal of M.A.C.T. 2 Journal of Automated Reasoning 2 European Journal of Mechanics. B. Fluids 2 Lecture Notes in Computer Science 1 International Journal for Numerical Methods in Fluids 1 Indian Journal of Pure & Applied Mathematics 1 The Mathematics Education 1 Physica A 1 Applied Mathematics and Computation 1 Automatica 1 Bulletin of the Calcutta Mathematical Society 1 Annals of Pure and Applied Logic 1 Journal of Symbolic Computation 1 Computers & Operations Research 1 Annals of Operations Research 1 Machine Learning 1 Applied Mathematical Modelling 1 Applicable Algebra in Engineering, Communication and Computing 1 Journal of Applied Mechanics and Technical Physics 1 Discrete Mathematics and Theoretical Computer Science. DMTCS 1 ACM Transactions on Computational Logic 1 Review of Finance 1 Logical Methods in Computer Science 1 Advances in Intelligent and Soft Computing 1 LIPIcs – Leibniz International Proceedings in Informatics 1 AMM. Applied Mathematics and Mechanics. (English Edition) 1 Journal of Computational and Theoretical Transport all top 5 Fields 57 Computer science (68-XX) 13 Systems theory; control (93-XX) 10 Mathematical logic and foundations (03-XX) 10 Fluid mechanics (76-XX) 6 Biology and other natural sciences (92-XX) 4 Operations research, mathematical programming (90-XX) 3 General and overarching topics; collections (00-XX) 3 Functional analysis (46-XX) 3 Information and communication theory, circuits (94-XX) 2 General algebraic systems (08-XX) 2 Dynamical systems and ergodic theory (37-XX) 2 Integral transforms, operational calculus (44-XX) 2 Mechanics of deformable solids (74-XX) 2 Statistical mechanics, structure of matter (82-XX) 2 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Commutative algebra (13-XX) 1 Ordinary differential equations (34-XX) 1 Sequences, series, summability (40-XX) 1 Optics, electromagnetic theory (78-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 63 Publications have been cited 398 times in 297 Documents Cited by ▼ Year ▼ A greedy genetic algorithm for the quadratic assignment problem. Zbl 0970.90067Ahuja, Ravindra K.; Orlin, James B.; Tiwari, Ashish 34 2000 Box invariance in biologically-inspired dynamical systems. Zbl 1197.34088Abate, Alessandro; Tiwari, Ashish; Sastry, Shankar 25 2009 Termination of linear programs. Zbl 1103.68037Tiwari, Ashish 24 2004 Constraint-based approach for analysis of hybrid systems. Zbl 1155.68437Gulwani, Sumit; Tiwari, Ashish 23 2008 Series of abstractions for hybrid automata. Zbl 1044.93523Tiwari, Ashish; Khanna, Gaurav 19 2002 Automated symbolic reachability analysis; with application to Delta-Notch signaling automata. Zbl 1032.92500Ghosh, Ronojoy; Tiwari, Ashish; Tomlin, Claire 16 2003 Abstractions for hybrid systems. Zbl 1133.68368Tiwari, Ashish 16 2008 Approximate reachability for linear systems. Zbl 1032.93518Tiwari, Ashish 15 2003 Abstract congruence closure. Zbl 1040.03006Bachmair, Leo; Tiwari, Ashish; Vigneron, Laurent 15 2003 Symbolic systems biology: hybrid modeling and analysis of biological networks. Zbl 1135.93308Lincoln, Patrick; Tiwari, Ashish 14 2004 Lifting abstract interpreters to quantified logical domains. Zbl 1295.68085Gulwani, Sumit; McCloskey, Bill; Tiwari, Ashish 13 2008 A ghost fluid lattice Boltzmann method for complex geometries. Zbl 1245.76123Tiwari, A.; Vanka, S. P. 13 2012 Hydrodynamic permeability of membranes built up by spherical particles covered by porous shells: effect of stress jump condition. Zbl 1398.76223Yadav, Pramod Kumar; Tiwari, Ashish; Deo, Satya; Filippov, Anatoly; Vasin, Sergey 10 2010 Verification and synthesis using real quantifier elimination. Zbl 1323.68385Sturm, Thomas; Tiwari, Ashish 10 2011 Confluence of shallow right-linear rewrite systems. Zbl 1136.68411Godoy, Guillem; Tiwari, Ashish 9 2005 Deductive verification of continuous dynamical systems. Zbl 1248.68336Taly, Ankur; Tiwari, Ashish 8 2009 On the confluence of linear shallow term rewrite systems. Zbl 1035.68058Godoy, Guillem; Tiwari, Ashish; Verma, Rakesh 8 2003 Slow viscous flow through a membrane built up from porous cylindrical particles with an impermeable core. Zbl 1186.76685Deo, Satya; Yadav, Pramod Kumar; Tiwari, Ashish 7 2010 First-order optimality conditions and duality results for multi-objective optimisation problems. Zbl 1208.90151Askar, S. S.; Tiwari, A. 7 2009 SAL 2. Zbl 1103.68644de Moura, Leonardo; Owre, Sam; Rueß, Harald; Rushby, John; Shankar, N.; Sorea, Maria; Tiwari, Ashish 7 2004 An algebraic approach for the unsatisfiability of nonlinear constraints. Zbl 1136.68522Tiwari, Ashish 6 2005 Generating box invariants. Zbl 1144.93311Tiwari, Ashish 6 2008 Generating polynomial invariants for hybrid systems. Zbl 1078.93026Rodríguez-Carbonell, Enric; Tiwari, Ashish 6 2005 Assertion checking over combined abstraction of linear arithmetic and uninterpreted functions. Zbl 1178.68153Gulwani, Sumit; Tiwari, Ashish 6 2006 Nonlinear systems: approximating reach sets. Zbl 1135.93318Tiwari, Ashish; Khanna, Gaurav 6 2004 Logical interpretation: Static program analysis using theorem proving. Zbl 1213.68210Tiwari, Ashish; Gulwani, Sumit 6 2007 Termination of rewriting with right-flat rules. Zbl 1203.68074Godoy, Guillem; Huntingford, Eduard; Tiwari, Ashish 5 2007 Congruence closure modulo associativity and commutativity. Zbl 0962.68085Bachmair, L.; Ramakrishnan, I. V.; Tiwari, A.; Vigneron, L. 5 2000 Computing procedure summaries for interprocedural analysis. Zbl 1187.68153Gulwani, Sumit; Tiwari, Ashish 5 2007 Synthesizing switching logic using constraint solving. Zbl 1206.68191Taly, Ankur; Gulwani, Sumit; Tiwari, Ashish 5 2009 Assertion checking unified. Zbl 1132.68470Gulwani, Sumit; Tiwari, Ashish 5 2007 Abstract congruence closure and specializations. Zbl 0963.68233Bachmair, Leo; Tiwari, Ashish 4 2000 Deciding confluence of certain term rewriting systems in polynomial time. Zbl 1072.68051Godoy, Guillem; Tiwari, Ashish; Verma, Rakesh 4 2004 TeLEx: learning signal temporal logic from positive examples using tightness metric. Zbl 1425.68349Jha, Susmit; Tiwari, Ashish; Seshia, Sanjit A.; Sahai, Tuhin; Shankar, Natarajan 4 2019 An abstract domain for analyzing heap-manipulating low-level software. Zbl 1135.68366Gulwani, Sumit; Tiwari, Ashish 4 2007 A technique for invariant generation. Zbl 0978.68091Tiwari, A.; Rueß, H.; Saïdi, H.; Shankar, N. 3 2001 Rigid \(E\)-unification revisisted. Zbl 0963.68187Tiwari, Ashish; Bachmair, Leo; Ruess, Harald 3 2000 Synthesis for polynomial lasso programs. Zbl 1428.68187Leike, Jan; Tiwari, Ashish 3 2014 Characterizing confluence by rewrite closure and right ground term rewrite systems. Zbl 1112.68078Godoy, Guillem; Tiwari, Ashish; Verma, Rakesh 3 2004 Termination of rewrite systems with shallow right-linear, collapsing, and right-ground rules. Zbl 1135.68448Godoy, Guillem; Tiwari, Ashish 3 2005 Deciding fundamental properties of right-(ground or variable) rewrite systems by rewrite closure. Zbl 1126.68566Godoy, Guillem; Tiwari, Ashish 3 2004 Invariant checking for programs with procedure calls. Zbl 1248.68143Godoy, Guillem; Tiwari, Ashish 2 2009 Natural convection in a cavity with a sloping upper surface filled with an anisotropic porous material. Zbl 1330.76132Tiwari, A. K.; Singh, A. K.; Chandran, P.; Sacheti, N. C. 2 2012 Context unification with one context variable. Zbl 1192.68431Gascón, Adrià; Godoy, Guillem; Schmidt-Schauß, Manfred; Tiwari, Ashish 2 2010 Join algorithms for the theory of uninterpreted functions. Zbl 1117.03340Gulwani, Sumit; Tiwari, Ashish; Necula, George C. 2 2004 Program synthesis using dual interpretation. Zbl 1465.68051Tiwari, Ashish; Gascón, Adrià; Dutertre, Bruno 2 2015 Demo abstract: Sherlock – a tool for verification of neural network feedback systems. Zbl 07120164Dutta, Souradeep; Chen, Xin; Jha, Susmit; Sankaranarayanan, Sriram; Tiwari, Ashish 2 2019 Creeping flow of micropolar fluid parallel to the axis of cylindrical cells with porous layer. Zbl 1473.76057Khanukaeva, D. Yu.; Filippov, A. N.; Yadav, P. K.; Tiwari, A. 2 2019 Hybrid systems: computation and control. 9th international workshop, HSCC 2006, Santa Barbara, CA, USA, March 29–31, 2006. Proceedings. Zbl 1103.68006 2 2006 Hydrodynamic permeability of a membrane built up by spheroidal particles covered by porous layer. Zbl 1390.74052Kumar Yadav, Pramod; Tiwari, Ashish; Singh, Priyanka 2 2018 On the solution of a partial differential equation representing irrotational flow in bispherical polar coordinates. Zbl 1163.76014Deo, Satya; Tiwari, Ashish 2 2008 Hedge fund replication: a model combination approach. Zbl 1402.91722O’Doherty, Michael S.; Savin, N. E.; Tiwari, Ashish 1 2017 Classes of term rewrite systems with polynomial confluence problems. Zbl 1367.68132Godoy, Guillem; Nieuwenhuis, Robert; Tiwari, Ashish 1 2004 Normalization via rewrite closures. Zbl 0943.68090Bachmair, L.; Ramakrishnan, C. R.; Ramakrishnan, I. V.; Tiwari, A. 1 1999 Combining equational reasoning. Zbl 1193.68239Tiwari, Ashish 1 2009 Rewrite closure for ground and cancellative AC theories. Zbl 1052.68068Tiwari, Ashish 1 2001 Automated reasoning. 8th international joint conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016. Proceedings. Zbl 1337.68016 1 2016 Stokes flow through a membrane built up by nonhomogeneous porous cylindrical particles. Zbl 1443.76225Yadav, P. K.; Singh, P.; Tiwari, A.; Deo, S. 1 2019 Solute dispersion in non-Newtonian fluids flow through small blood vessels: a varying viscosity approach. Zbl 1487.76117Chauhan, Satyendra Singh; Tiwari, Ashish 1 2022 \(D\)-bases for polynomial ideals over commutative Noetherian rings. Zbl 1379.68362Bachmair, Leo; Tiwari, Ashish 1 1997 Non-linear rewrite closure and weak normalization. Zbl 1314.68171Creus, Carles; Godoy, Guillem; Massanes, Francesc; Tiwari, Ashish 1 2013 A search-based procedure for nonlinear real arithmetic. Zbl 1358.68149Tiwari, Ashish; Lincoln, Patrick 1 2016 Analyzing pathways using SAT-based approaches. Zbl 1126.92021Tiwari, Ashish; Talcott, Carolyn; Knapp, Merrill; Lincoln, Patrick; Laderoute, Keith 1 2007 Solute dispersion in non-Newtonian fluids flow through small blood vessels: a varying viscosity approach. Zbl 1487.76117Chauhan, Satyendra Singh; Tiwari, Ashish 1 2022 TeLEx: learning signal temporal logic from positive examples using tightness metric. Zbl 1425.68349Jha, Susmit; Tiwari, Ashish; Seshia, Sanjit A.; Sahai, Tuhin; Shankar, Natarajan 4 2019 Demo abstract: Sherlock – a tool for verification of neural network feedback systems. Zbl 07120164Dutta, Souradeep; Chen, Xin; Jha, Susmit; Sankaranarayanan, Sriram; Tiwari, Ashish 2 2019 Creeping flow of micropolar fluid parallel to the axis of cylindrical cells with porous layer. Zbl 1473.76057Khanukaeva, D. Yu.; Filippov, A. N.; Yadav, P. K.; Tiwari, A. 2 2019 Stokes flow through a membrane built up by nonhomogeneous porous cylindrical particles. Zbl 1443.76225Yadav, P. K.; Singh, P.; Tiwari, A.; Deo, S. 1 2019 Hydrodynamic permeability of a membrane built up by spheroidal particles covered by porous layer. Zbl 1390.74052Kumar Yadav, Pramod; Tiwari, Ashish; Singh, Priyanka 2 2018 Hedge fund replication: a model combination approach. Zbl 1402.91722O’Doherty, Michael S.; Savin, N. E.; Tiwari, Ashish 1 2017 Automated reasoning. 8th international joint conference, IJCAR 2016, Coimbra, Portugal, June 27 – July 2, 2016. Proceedings. Zbl 1337.68016 1 2016 A search-based procedure for nonlinear real arithmetic. Zbl 1358.68149Tiwari, Ashish; Lincoln, Patrick 1 2016 Program synthesis using dual interpretation. Zbl 1465.68051Tiwari, Ashish; Gascón, Adrià; Dutertre, Bruno 2 2015 Synthesis for polynomial lasso programs. Zbl 1428.68187Leike, Jan; Tiwari, Ashish 3 2014 Non-linear rewrite closure and weak normalization. Zbl 1314.68171Creus, Carles; Godoy, Guillem; Massanes, Francesc; Tiwari, Ashish 1 2013 A ghost fluid lattice Boltzmann method for complex geometries. Zbl 1245.76123Tiwari, A.; Vanka, S. P. 13 2012 Natural convection in a cavity with a sloping upper surface filled with an anisotropic porous material. Zbl 1330.76132Tiwari, A. K.; Singh, A. K.; Chandran, P.; Sacheti, N. C. 2 2012 Verification and synthesis using real quantifier elimination. Zbl 1323.68385Sturm, Thomas; Tiwari, Ashish 10 2011 Hydrodynamic permeability of membranes built up by spherical particles covered by porous shells: effect of stress jump condition. Zbl 1398.76223Yadav, Pramod Kumar; Tiwari, Ashish; Deo, Satya; Filippov, Anatoly; Vasin, Sergey 10 2010 Slow viscous flow through a membrane built up from porous cylindrical particles with an impermeable core. Zbl 1186.76685Deo, Satya; Yadav, Pramod Kumar; Tiwari, Ashish 7 2010 Context unification with one context variable. Zbl 1192.68431Gascón, Adrià; Godoy, Guillem; Schmidt-Schauß, Manfred; Tiwari, Ashish 2 2010 Box invariance in biologically-inspired dynamical systems. Zbl 1197.34088Abate, Alessandro; Tiwari, Ashish; Sastry, Shankar 25 2009 Deductive verification of continuous dynamical systems. Zbl 1248.68336Taly, Ankur; Tiwari, Ashish 8 2009 First-order optimality conditions and duality results for multi-objective optimisation problems. Zbl 1208.90151Askar, S. S.; Tiwari, A. 7 2009 Synthesizing switching logic using constraint solving. Zbl 1206.68191Taly, Ankur; Gulwani, Sumit; Tiwari, Ashish 5 2009 Invariant checking for programs with procedure calls. Zbl 1248.68143Godoy, Guillem; Tiwari, Ashish 2 2009 Combining equational reasoning. Zbl 1193.68239Tiwari, Ashish 1 2009 Constraint-based approach for analysis of hybrid systems. Zbl 1155.68437Gulwani, Sumit; Tiwari, Ashish 23 2008 Abstractions for hybrid systems. Zbl 1133.68368Tiwari, Ashish 16 2008 Lifting abstract interpreters to quantified logical domains. Zbl 1295.68085Gulwani, Sumit; McCloskey, Bill; Tiwari, Ashish 13 2008 Generating box invariants. Zbl 1144.93311Tiwari, Ashish 6 2008 On the solution of a partial differential equation representing irrotational flow in bispherical polar coordinates. Zbl 1163.76014Deo, Satya; Tiwari, Ashish 2 2008 Logical interpretation: Static program analysis using theorem proving. Zbl 1213.68210Tiwari, Ashish; Gulwani, Sumit 6 2007 Termination of rewriting with right-flat rules. Zbl 1203.68074Godoy, Guillem; Huntingford, Eduard; Tiwari, Ashish 5 2007 Computing procedure summaries for interprocedural analysis. Zbl 1187.68153Gulwani, Sumit; Tiwari, Ashish 5 2007 Assertion checking unified. Zbl 1132.68470Gulwani, Sumit; Tiwari, Ashish 5 2007 An abstract domain for analyzing heap-manipulating low-level software. Zbl 1135.68366Gulwani, Sumit; Tiwari, Ashish 4 2007 Analyzing pathways using SAT-based approaches. Zbl 1126.92021Tiwari, Ashish; Talcott, Carolyn; Knapp, Merrill; Lincoln, Patrick; Laderoute, Keith 1 2007 Assertion checking over combined abstraction of linear arithmetic and uninterpreted functions. Zbl 1178.68153Gulwani, Sumit; Tiwari, Ashish 6 2006 Hybrid systems: computation and control. 9th international workshop, HSCC 2006, Santa Barbara, CA, USA, March 29–31, 2006. Proceedings. Zbl 1103.68006 2 2006 Confluence of shallow right-linear rewrite systems. Zbl 1136.68411Godoy, Guillem; Tiwari, Ashish 9 2005 An algebraic approach for the unsatisfiability of nonlinear constraints. Zbl 1136.68522Tiwari, Ashish 6 2005 Generating polynomial invariants for hybrid systems. Zbl 1078.93026Rodríguez-Carbonell, Enric; Tiwari, Ashish 6 2005 Termination of rewrite systems with shallow right-linear, collapsing, and right-ground rules. Zbl 1135.68448Godoy, Guillem; Tiwari, Ashish 3 2005 Termination of linear programs. Zbl 1103.68037Tiwari, Ashish 24 2004 Symbolic systems biology: hybrid modeling and analysis of biological networks. Zbl 1135.93308Lincoln, Patrick; Tiwari, Ashish 14 2004 SAL 2. Zbl 1103.68644de Moura, Leonardo; Owre, Sam; Rueß, Harald; Rushby, John; Shankar, N.; Sorea, Maria; Tiwari, Ashish 7 2004 Nonlinear systems: approximating reach sets. Zbl 1135.93318Tiwari, Ashish; Khanna, Gaurav 6 2004 Deciding confluence of certain term rewriting systems in polynomial time. Zbl 1072.68051Godoy, Guillem; Tiwari, Ashish; Verma, Rakesh 4 2004 Characterizing confluence by rewrite closure and right ground term rewrite systems. Zbl 1112.68078Godoy, Guillem; Tiwari, Ashish; Verma, Rakesh 3 2004 Deciding fundamental properties of right-(ground or variable) rewrite systems by rewrite closure. Zbl 1126.68566Godoy, Guillem; Tiwari, Ashish 3 2004 Join algorithms for the theory of uninterpreted functions. Zbl 1117.03340Gulwani, Sumit; Tiwari, Ashish; Necula, George C. 2 2004 Classes of term rewrite systems with polynomial confluence problems. Zbl 1367.68132Godoy, Guillem; Nieuwenhuis, Robert; Tiwari, Ashish 1 2004 Automated symbolic reachability analysis; with application to Delta-Notch signaling automata. Zbl 1032.92500Ghosh, Ronojoy; Tiwari, Ashish; Tomlin, Claire 16 2003 Approximate reachability for linear systems. Zbl 1032.93518Tiwari, Ashish 15 2003 Abstract congruence closure. Zbl 1040.03006Bachmair, Leo; Tiwari, Ashish; Vigneron, Laurent 15 2003 On the confluence of linear shallow term rewrite systems. Zbl 1035.68058Godoy, Guillem; Tiwari, Ashish; Verma, Rakesh 8 2003 Series of abstractions for hybrid automata. Zbl 1044.93523Tiwari, Ashish; Khanna, Gaurav 19 2002 A technique for invariant generation. Zbl 0978.68091Tiwari, A.; Rueß, H.; Saïdi, H.; Shankar, N. 3 2001 Rewrite closure for ground and cancellative AC theories. Zbl 1052.68068Tiwari, Ashish 1 2001 A greedy genetic algorithm for the quadratic assignment problem. Zbl 0970.90067Ahuja, Ravindra K.; Orlin, James B.; Tiwari, Ashish 34 2000 Congruence closure modulo associativity and commutativity. Zbl 0962.68085Bachmair, L.; Ramakrishnan, I. V.; Tiwari, A.; Vigneron, L. 5 2000 Abstract congruence closure and specializations. Zbl 0963.68233Bachmair, Leo; Tiwari, Ashish 4 2000 Rigid \(E\)-unification revisisted. Zbl 0963.68187Tiwari, Ashish; Bachmair, Leo; Ruess, Harald 3 2000 Normalization via rewrite closures. Zbl 0943.68090Bachmair, L.; Ramakrishnan, C. R.; Ramakrishnan, I. V.; Tiwari, A. 1 1999 \(D\)-bases for polynomial ideals over commutative Noetherian rings. Zbl 1379.68362Bachmair, Leo; Tiwari, Ashish 1 1997 all cited Publications top 5 cited Publications all top 5 Cited by 583 Authors 11 Tiwari, Ashish Kumar 10 Zhan, Naijun 9 Godoy, Guillem 8 Kapur, Deepak 8 Platzer, André 6 Piazza, Carla 6 Tiwari, Pankaj Kumar 6 Xia, Bican 5 Abate, Alessandro 5 Drezner, Zvi 5 Giesl, Jürgen 5 Sogokon, Andrew 5 Zhang, Zhihai 4 Bartocci, Ezio 4 Deo, Satya 4 Rümmer, Philipp 4 Verma, Rakesh M. 4 Yang, Zhengfeng 4 Zeng, Zhenbing 4 Zhao, Hengjun 3 Backeman, Peter 3 Blanchini, Franco 3 Boskos, Dimitris 3 Casagrande, Alberto 3 Chattopadhyay, Joydev 3 Cimatti, Alessandro 3 Dang, Thao 3 Dimarogonas, Dimos V. 3 Gascón, Adrià 3 Ghorbal, Khalil 3 Ghosh, Indrajit 3 Giordano, Giulia 3 Girard, Antoine 3 Jacquemard, Florent 3 Kumar Yadav, Pramod 3 Lin, Wang 3 Matringe, Nadir 3 Meseguer Guaita, José 3 Misra, Arvind Kumar 3 Moura, Arnaldo Vieira 3 Qi, Wenhai 3 Rebiha, Rachid 3 Sakai, Masahiko 3 Samanta, Sudip K. 3 Sankaranarayanan, Sriram 3 Sastry, Shankar S. 3 Tonetta, Stefano 3 Wang, Guoliang 3 Wang, Qiuye 3 Xue, Bai 2 Ahmed, Zakir Hussain 2 Akshay, S. 2 Alur, Rajeev 2 Armando, Alessandro 2 Baader, Franz 2 Barrett, Clark W. 2 Bauer, Kerstin 2 Ben-Amram, Amir M. 2 Bérard, Béatrice 2 Bonacina, Maria Paola 2 Boreale, Michele 2 Borralleras, Cristina 2 Bouajjani, Ahmed 2 Campagna, Dario 2 Chakraborty, Supratik 2 Chen, Mingshuai 2 Clarke, Edmund Melson jun. 2 Conchon, Sylvain 2 Corradini, Flavio 2 Di Berardini, Maria Rita 2 D’silva, Vijay 2 Entcheva, Emilia 2 Falke, Stephan 2 Frohn, Florian 2 Fuhs, Carsten 2 Gao, Xianwen 2 Gentilini, Raffaella 2 Goubault, Eric 2 Grosu, Radu 2 Gupta, Bali Ram 2 Hahn, Peter M. 2 Hark, Marcel 2 Jackson, Paul B. 2 Katoen, Joost-Pieter 2 Khanukaeva, Daria Yu. 2 Kuncak, Viktor 2 Li, Yi 2 Liu, Linzhong 2 Logozzo, Francesco 2 Lucas, Salvador 2 Madasu, Krishna Prasad 2 Mardanov, Renat F. 2 Mover, Sergio 2 Nickovic, Dejan 2 Oliveras, Albert 2 Ouaknine, Joel O. 2 Podelski, Andreas 2 Policriti, Alberto 2 Putot, Sylvie 2 Ramdani, Nacim ...and 483 more Authors all top 5 Cited in 78 Serials 13 Theoretical Computer Science 11 Information and Computation 10 Automatica 10 Journal of Automated Reasoning 10 Formal Methods in System Design 10 Nonlinear Analysis. Hybrid Systems 9 Journal of Symbolic Computation 6 Formal Aspects of Computing 5 Information Processing Letters 5 European Journal of Operational Research 5 Journal of Systems Science and Complexity 5 International Journal of Applied and Computational Mathematics 4 Applied Mathematics and Computation 4 Meccanica 4 Logical Methods in Computer Science 4 Journal of Logical and Algebraic Methods in Programming 3 Acta Informatica 3 Annals of Operations Research 3 Discrete Event Dynamic Systems 3 Applicable Algebra in Engineering, Communication and Computing 3 European Journal of Mechanics. B. Fluids 3 Journal of Biological Systems 2 Discrete Applied Mathematics 2 Bulletin of Mathematical Biology 2 Opsearch 2 Science of Computer Programming 2 International Journal of Production Research 2 Computers & Operations Research 2 Asia-Pacific Journal of Operational Research 2 Applied Mathematical Modelling 2 International Journal of Robust and Nonlinear Control 2 Engineering Analysis with Boundary Elements 2 Mathematical Problems in Engineering 2 The Journal of Logic and Algebraic Programming 2 Computer Languages, Systems & Structures 2 Mathematics in Computer Science 2 Computer Science Review 1 Acta Mechanica 1 Fluid Dynamics 1 International Journal of Systems Science 1 Journal of Computational Physics 1 Journal of the Franklin Institute 1 Journal of Mathematical Biology 1 Chaos, Solitons and Fractals 1 Information Sciences 1 Journal of Computer and System Sciences 1 Mathematics and Computers in Simulation 1 Networks 1 Nonlinear Analysis. Theory, Methods & Applications. Series A: Theory and Methods 1 SIAM Journal on Control and Optimization 1 Systems & Control Letters 1 Operations Research Letters 1 Circuits, Systems, and Signal Processing 1 Annals of Pure and Applied Logic 1 Journal of Global Optimization 1 International Journal of Computer Mathematics 1 SIAM Journal on Optimization 1 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering 1 Computational Optimization and Applications 1 Electronic Journal of Differential Equations (EJDE) 1 Journal of Heuristics 1 European Journal of Control 1 Nonlinear Dynamics 1 Journal of Applied Mechanics and Technical Physics 1 Journal of Applied Mathematics and Decision Sciences 1 Fundamenta Informaticae 1 Quantitative Finance 1 Theory and Practice of Logic Programming 1 ACM Transactions on Computational Logic 1 Journal of Industrial and Management Optimization 1 Mathematical Modelling of Natural Phenomena 1 International Journal of Biomathematics 1 Frontiers of Computer Science in China 1 Journal of Theoretical Biology 1 Frontiers of Computer Science 1 Epidemiologic Methods 1 International Journal of Systems Science. Principles and Applications of Systems and Integration 1 AMM. Applied Mathematics and Mechanics. (English Edition) all top 5 Cited in 26 Fields 187 Computer science (68-XX) 53 Systems theory; control (93-XX) 47 Mathematical logic and foundations (03-XX) 43 Operations research, mathematical programming (90-XX) 33 Biology and other natural sciences (92-XX) 20 Fluid mechanics (76-XX) 15 Ordinary differential equations (34-XX) 10 Numerical analysis (65-XX) 8 Probability theory and stochastic processes (60-XX) 7 Dynamical systems and ergodic theory (37-XX) 3 Commutative algebra (13-XX) 3 Algebraic geometry (14-XX) 3 Statistics (62-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Linear and multilinear algebra; matrix theory (15-XX) 2 Partial differential equations (35-XX) 1 Number theory (11-XX) 1 Field theory and polynomials (12-XX) 1 Group theory and generalizations (20-XX) 1 Special functions (33-XX) 1 Difference and functional equations (39-XX) 1 Operator theory (47-XX) 1 Calculus of variations and optimal control; optimization (49-XX) 1 Convex and discrete geometry (52-XX) 1 Mechanics of deformable solids (74-XX) 1 Information and communication theory, circuits (94-XX) Citations by Year