×

Tiwari, Ashish Kumar

Compute Distance To:
Author ID: tiwari.ashish-kumar Recent zbMATH articles by "Tiwari, Ashish Kumar"
Published as: Tiwari, Ashish; Tiwari, A.; Tiwari, Ashish Kumar
External Links: MGP
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

Publications by Year

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.90067
Ahuja, Ravindra K.; Orlin, James B.; Tiwari, Ashish
34
2000
Box invariance in biologically-inspired dynamical systems. Zbl 1197.34088
Abate, Alessandro; Tiwari, Ashish; Sastry, Shankar
25
2009
Termination of linear programs. Zbl 1103.68037
Tiwari, Ashish
24
2004
Constraint-based approach for analysis of hybrid systems. Zbl 1155.68437
Gulwani, Sumit; Tiwari, Ashish
23
2008
Series of abstractions for hybrid automata. Zbl 1044.93523
Tiwari, Ashish; Khanna, Gaurav
19
2002
Automated symbolic reachability analysis; with application to Delta-Notch signaling automata. Zbl 1032.92500
Ghosh, Ronojoy; Tiwari, Ashish; Tomlin, Claire
16
2003
Abstractions for hybrid systems. Zbl 1133.68368
Tiwari, Ashish
16
2008
Approximate reachability for linear systems. Zbl 1032.93518
Tiwari, Ashish
15
2003
Abstract congruence closure. Zbl 1040.03006
Bachmair, Leo; Tiwari, Ashish; Vigneron, Laurent
15
2003
Symbolic systems biology: hybrid modeling and analysis of biological networks. Zbl 1135.93308
Lincoln, Patrick; Tiwari, Ashish
14
2004
Lifting abstract interpreters to quantified logical domains. Zbl 1295.68085
Gulwani, Sumit; McCloskey, Bill; Tiwari, Ashish
13
2008
A ghost fluid lattice Boltzmann method for complex geometries. Zbl 1245.76123
Tiwari, 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.76223
Yadav, Pramod Kumar; Tiwari, Ashish; Deo, Satya; Filippov, Anatoly; Vasin, Sergey
10
2010
Verification and synthesis using real quantifier elimination. Zbl 1323.68385
Sturm, Thomas; Tiwari, Ashish
10
2011
Confluence of shallow right-linear rewrite systems. Zbl 1136.68411
Godoy, Guillem; Tiwari, Ashish
9
2005
Deductive verification of continuous dynamical systems. Zbl 1248.68336
Taly, Ankur; Tiwari, Ashish
8
2009
On the confluence of linear shallow term rewrite systems. Zbl 1035.68058
Godoy, 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.76685
Deo, Satya; Yadav, Pramod Kumar; Tiwari, Ashish
7
2010
First-order optimality conditions and duality results for multi-objective optimisation problems. Zbl 1208.90151
Askar, S. S.; Tiwari, A.
7
2009
SAL 2. Zbl 1103.68644
de 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.68522
Tiwari, Ashish
6
2005
Generating box invariants. Zbl 1144.93311
Tiwari, Ashish
6
2008
Generating polynomial invariants for hybrid systems. Zbl 1078.93026
Rodríguez-Carbonell, Enric; Tiwari, Ashish
6
2005
Assertion checking over combined abstraction of linear arithmetic and uninterpreted functions. Zbl 1178.68153
Gulwani, Sumit; Tiwari, Ashish
6
2006
Nonlinear systems: approximating reach sets. Zbl 1135.93318
Tiwari, Ashish; Khanna, Gaurav
6
2004
Logical interpretation: Static program analysis using theorem proving. Zbl 1213.68210
Tiwari, Ashish; Gulwani, Sumit
6
2007
Termination of rewriting with right-flat rules. Zbl 1203.68074
Godoy, Guillem; Huntingford, Eduard; Tiwari, Ashish
5
2007
Congruence closure modulo associativity and commutativity. Zbl 0962.68085
Bachmair, L.; Ramakrishnan, I. V.; Tiwari, A.; Vigneron, L.
5
2000
Computing procedure summaries for interprocedural analysis. Zbl 1187.68153
Gulwani, Sumit; Tiwari, Ashish
5
2007
Synthesizing switching logic using constraint solving. Zbl 1206.68191
Taly, Ankur; Gulwani, Sumit; Tiwari, Ashish
5
2009
Assertion checking unified. Zbl 1132.68470
Gulwani, Sumit; Tiwari, Ashish
5
2007
Abstract congruence closure and specializations. Zbl 0963.68233
Bachmair, Leo; Tiwari, Ashish
4
2000
Deciding confluence of certain term rewriting systems in polynomial time. Zbl 1072.68051
Godoy, Guillem; Tiwari, Ashish; Verma, Rakesh
4
2004
TeLEx: learning signal temporal logic from positive examples using tightness metric. Zbl 1425.68349
Jha, Susmit; Tiwari, Ashish; Seshia, Sanjit A.; Sahai, Tuhin; Shankar, Natarajan
4
2019
An abstract domain for analyzing heap-manipulating low-level software. Zbl 1135.68366
Gulwani, Sumit; Tiwari, Ashish
4
2007
A technique for invariant generation. Zbl 0978.68091
Tiwari, A.; Rueß, H.; Saïdi, H.; Shankar, N.
3
2001
Rigid \(E\)-unification revisisted. Zbl 0963.68187
Tiwari, Ashish; Bachmair, Leo; Ruess, Harald
3
2000
Synthesis for polynomial lasso programs. Zbl 1428.68187
Leike, Jan; Tiwari, Ashish
3
2014
Characterizing confluence by rewrite closure and right ground term rewrite systems. Zbl 1112.68078
Godoy, Guillem; Tiwari, Ashish; Verma, Rakesh
3
2004
Termination of rewrite systems with shallow right-linear, collapsing, and right-ground rules. Zbl 1135.68448
Godoy, Guillem; Tiwari, Ashish
3
2005
Deciding fundamental properties of right-(ground or variable) rewrite systems by rewrite closure. Zbl 1126.68566
Godoy, Guillem; Tiwari, Ashish
3
2004
Invariant checking for programs with procedure calls. Zbl 1248.68143
Godoy, Guillem; Tiwari, Ashish
2
2009
Natural convection in a cavity with a sloping upper surface filled with an anisotropic porous material. Zbl 1330.76132
Tiwari, A. K.; Singh, A. K.; Chandran, P.; Sacheti, N. C.
2
2012
Context unification with one context variable. Zbl 1192.68431
Gascón, Adrià; Godoy, Guillem; Schmidt-Schauß, Manfred; Tiwari, Ashish
2
2010
Join algorithms for the theory of uninterpreted functions. Zbl 1117.03340
Gulwani, Sumit; Tiwari, Ashish; Necula, George C.
2
2004
Program synthesis using dual interpretation. Zbl 1465.68051
Tiwari, Ashish; Gascón, Adrià; Dutertre, Bruno
2
2015
Demo abstract: Sherlock – a tool for verification of neural network feedback systems. Zbl 07120164
Dutta, 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.76057
Khanukaeva, 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.74052
Kumar 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.76014
Deo, Satya; Tiwari, Ashish
2
2008
Hedge fund replication: a model combination approach. Zbl 1402.91722
O’Doherty, Michael S.; Savin, N. E.; Tiwari, Ashish
1
2017
Classes of term rewrite systems with polynomial confluence problems. Zbl 1367.68132
Godoy, Guillem; Nieuwenhuis, Robert; Tiwari, Ashish
1
2004
Normalization via rewrite closures. Zbl 0943.68090
Bachmair, L.; Ramakrishnan, C. R.; Ramakrishnan, I. V.; Tiwari, A.
1
1999
Combining equational reasoning. Zbl 1193.68239
Tiwari, Ashish
1
2009
Rewrite closure for ground and cancellative AC theories. Zbl 1052.68068
Tiwari, 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.76225
Yadav, 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.76117
Chauhan, Satyendra Singh; Tiwari, Ashish
1
2022
\(D\)-bases for polynomial ideals over commutative Noetherian rings. Zbl 1379.68362
Bachmair, Leo; Tiwari, Ashish
1
1997
Non-linear rewrite closure and weak normalization. Zbl 1314.68171
Creus, Carles; Godoy, Guillem; Massanes, Francesc; Tiwari, Ashish
1
2013
A search-based procedure for nonlinear real arithmetic. Zbl 1358.68149
Tiwari, Ashish; Lincoln, Patrick
1
2016
Analyzing pathways using SAT-based approaches. Zbl 1126.92021
Tiwari, 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.76117
Chauhan, Satyendra Singh; Tiwari, Ashish
1
2022
TeLEx: learning signal temporal logic from positive examples using tightness metric. Zbl 1425.68349
Jha, 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 07120164
Dutta, 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.76057
Khanukaeva, 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.76225
Yadav, 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.74052
Kumar Yadav, Pramod; Tiwari, Ashish; Singh, Priyanka
2
2018
Hedge fund replication: a model combination approach. Zbl 1402.91722
O’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.68149
Tiwari, Ashish; Lincoln, Patrick
1
2016
Program synthesis using dual interpretation. Zbl 1465.68051
Tiwari, Ashish; Gascón, Adrià; Dutertre, Bruno
2
2015
Synthesis for polynomial lasso programs. Zbl 1428.68187
Leike, Jan; Tiwari, Ashish
3
2014
Non-linear rewrite closure and weak normalization. Zbl 1314.68171
Creus, Carles; Godoy, Guillem; Massanes, Francesc; Tiwari, Ashish
1
2013
A ghost fluid lattice Boltzmann method for complex geometries. Zbl 1245.76123
Tiwari, A.; Vanka, S. P.
13
2012
Natural convection in a cavity with a sloping upper surface filled with an anisotropic porous material. Zbl 1330.76132
Tiwari, A. K.; Singh, A. K.; Chandran, P.; Sacheti, N. C.
2
2012
Verification and synthesis using real quantifier elimination. Zbl 1323.68385
Sturm, 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.76223
Yadav, 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.76685
Deo, Satya; Yadav, Pramod Kumar; Tiwari, Ashish
7
2010
Context unification with one context variable. Zbl 1192.68431
Gascón, Adrià; Godoy, Guillem; Schmidt-Schauß, Manfred; Tiwari, Ashish
2
2010
Box invariance in biologically-inspired dynamical systems. Zbl 1197.34088
Abate, Alessandro; Tiwari, Ashish; Sastry, Shankar
25
2009
Deductive verification of continuous dynamical systems. Zbl 1248.68336
Taly, Ankur; Tiwari, Ashish
8
2009
First-order optimality conditions and duality results for multi-objective optimisation problems. Zbl 1208.90151
Askar, S. S.; Tiwari, A.
7
2009
Synthesizing switching logic using constraint solving. Zbl 1206.68191
Taly, Ankur; Gulwani, Sumit; Tiwari, Ashish
5
2009
Invariant checking for programs with procedure calls. Zbl 1248.68143
Godoy, Guillem; Tiwari, Ashish
2
2009
Combining equational reasoning. Zbl 1193.68239
Tiwari, Ashish
1
2009
Constraint-based approach for analysis of hybrid systems. Zbl 1155.68437
Gulwani, Sumit; Tiwari, Ashish
23
2008
Abstractions for hybrid systems. Zbl 1133.68368
Tiwari, Ashish
16
2008
Lifting abstract interpreters to quantified logical domains. Zbl 1295.68085
Gulwani, Sumit; McCloskey, Bill; Tiwari, Ashish
13
2008
Generating box invariants. Zbl 1144.93311
Tiwari, Ashish
6
2008
On the solution of a partial differential equation representing irrotational flow in bispherical polar coordinates. Zbl 1163.76014
Deo, Satya; Tiwari, Ashish
2
2008
Logical interpretation: Static program analysis using theorem proving. Zbl 1213.68210
Tiwari, Ashish; Gulwani, Sumit
6
2007
Termination of rewriting with right-flat rules. Zbl 1203.68074
Godoy, Guillem; Huntingford, Eduard; Tiwari, Ashish
5
2007
Computing procedure summaries for interprocedural analysis. Zbl 1187.68153
Gulwani, Sumit; Tiwari, Ashish
5
2007
Assertion checking unified. Zbl 1132.68470
Gulwani, Sumit; Tiwari, Ashish
5
2007
An abstract domain for analyzing heap-manipulating low-level software. Zbl 1135.68366
Gulwani, Sumit; Tiwari, Ashish
4
2007
Analyzing pathways using SAT-based approaches. Zbl 1126.92021
Tiwari, Ashish; Talcott, Carolyn; Knapp, Merrill; Lincoln, Patrick; Laderoute, Keith
1
2007
Assertion checking over combined abstraction of linear arithmetic and uninterpreted functions. Zbl 1178.68153
Gulwani, 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.68411
Godoy, Guillem; Tiwari, Ashish
9
2005
An algebraic approach for the unsatisfiability of nonlinear constraints. Zbl 1136.68522
Tiwari, Ashish
6
2005
Generating polynomial invariants for hybrid systems. Zbl 1078.93026
Rodríguez-Carbonell, Enric; Tiwari, Ashish
6
2005
Termination of rewrite systems with shallow right-linear, collapsing, and right-ground rules. Zbl 1135.68448
Godoy, Guillem; Tiwari, Ashish
3
2005
Termination of linear programs. Zbl 1103.68037
Tiwari, Ashish
24
2004
Symbolic systems biology: hybrid modeling and analysis of biological networks. Zbl 1135.93308
Lincoln, Patrick; Tiwari, Ashish
14
2004
SAL 2. Zbl 1103.68644
de Moura, Leonardo; Owre, Sam; Rueß, Harald; Rushby, John; Shankar, N.; Sorea, Maria; Tiwari, Ashish
7
2004
Nonlinear systems: approximating reach sets. Zbl 1135.93318
Tiwari, Ashish; Khanna, Gaurav
6
2004
Deciding confluence of certain term rewriting systems in polynomial time. Zbl 1072.68051
Godoy, Guillem; Tiwari, Ashish; Verma, Rakesh
4
2004
Characterizing confluence by rewrite closure and right ground term rewrite systems. Zbl 1112.68078
Godoy, Guillem; Tiwari, Ashish; Verma, Rakesh
3
2004
Deciding fundamental properties of right-(ground or variable) rewrite systems by rewrite closure. Zbl 1126.68566
Godoy, Guillem; Tiwari, Ashish
3
2004
Join algorithms for the theory of uninterpreted functions. Zbl 1117.03340
Gulwani, Sumit; Tiwari, Ashish; Necula, George C.
2
2004
Classes of term rewrite systems with polynomial confluence problems. Zbl 1367.68132
Godoy, Guillem; Nieuwenhuis, Robert; Tiwari, Ashish
1
2004
Automated symbolic reachability analysis; with application to Delta-Notch signaling automata. Zbl 1032.92500
Ghosh, Ronojoy; Tiwari, Ashish; Tomlin, Claire
16
2003
Approximate reachability for linear systems. Zbl 1032.93518
Tiwari, Ashish
15
2003
Abstract congruence closure. Zbl 1040.03006
Bachmair, Leo; Tiwari, Ashish; Vigneron, Laurent
15
2003
On the confluence of linear shallow term rewrite systems. Zbl 1035.68058
Godoy, Guillem; Tiwari, Ashish; Verma, Rakesh
8
2003
Series of abstractions for hybrid automata. Zbl 1044.93523
Tiwari, Ashish; Khanna, Gaurav
19
2002
A technique for invariant generation. Zbl 0978.68091
Tiwari, A.; Rueß, H.; Saïdi, H.; Shankar, N.
3
2001
Rewrite closure for ground and cancellative AC theories. Zbl 1052.68068
Tiwari, Ashish
1
2001
A greedy genetic algorithm for the quadratic assignment problem. Zbl 0970.90067
Ahuja, Ravindra K.; Orlin, James B.; Tiwari, Ashish
34
2000
Congruence closure modulo associativity and commutativity. Zbl 0962.68085
Bachmair, L.; Ramakrishnan, I. V.; Tiwari, A.; Vigneron, L.
5
2000
Abstract congruence closure and specializations. Zbl 0963.68233
Bachmair, Leo; Tiwari, Ashish
4
2000
Rigid \(E\)-unification revisisted. Zbl 0963.68187
Tiwari, Ashish; Bachmair, Leo; Ruess, Harald
3
2000
Normalization via rewrite closures. Zbl 0943.68090
Bachmair, L.; Ramakrishnan, C. R.; Ramakrishnan, I. V.; Tiwari, A.
1
1999
\(D\)-bases for polynomial ideals over commutative Noetherian rings. Zbl 1379.68362
Bachmair, Leo; Tiwari, Ashish
1
1997
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)

Citations by Year