Edit Profile (opens in new tab) Sankaranarayanan, Sriram Compute Distance To: Compute Author ID: sankaranarayanan.sriram Published as: Sankaranarayanan, Sriram External Links: MGP Documents Indexed: 61 Publications since 1996 4 Contributions as Editor Co-Authors: 71 Co-Authors with 53 Joint Publications 2,159 Co-Co-Authors all top 5 Co-Authors 5 single-authored 10 Sipma, Henny B. 8 Manna, Zohar 7 Ivančić, Franjo 6 Gupta, Aarti 4 Ben Sassi, Mohamed Amin 4 Chang, Bor-Yuh Evan 4 Chen, Xin 4 Dutta, Souradeep 3 Colón, Michael A. 3 Fainekos, Georgios E. 3 Voronin, Yuen-Lam 2 Basu, Amitabh 2 Chakarov, Aleksandar 2 Cox, Arlen 2 Dang, Thao 2 Deshmukh, Jyotirmoy V. 2 Kushner, Taisa 2 Roux, Pierre 2 Spaulding, Malcolm L. 2 Trivedi, Ashutosh 2 Vicario, Enrico 1 Ábrahám, Erika 1 Annpureddy, Yashwanth 1 Aréchiga, Nikos 1 Balakrishnan, Gogul 1 Becker, Stephen R. 1 Bortz, David M. 1 Bouissou, Olivier 1 Breton, Marc D. 1 Černý, Pavol 1 Chakrabarti, Partha Pratim 1 Chaudhuri, Swarat 1 Chen, Mingshuai 1 Chou, Yi 1 Cichowitz, C. 1 Das, Vinu V. 1 Debnath, Narayan Chandra 1 Deka, Jatindra Kumar 1 Feijoo, Felipe 1 Feng, Shenghua 1 Filiot, Emmanuel 1 Finkbeiner, Bernd 1 Fränzle, Martin 1 Frohardt, Robert 1 Gaol, Ford Lumban 1 Girard, Antoine 1 Goubault, Eric 1 Gronski, Jessica A. 1 Harris, William R. 1 Jeannet, Bertrand 1 Jha, Susmit 1 Jin, Xiaoqing 1 Kahlon, Vineet 1 Kapinski, James 1 Kazachkov, Aleksandr M. 1 Kissler, S. M. 1 Le Bodic, Pierre 1 Liu, Che 1 Lygeros, John 1 Mazzocchi, Nicolas 1 Meghanathan, Natarajan 1 Mover, Sergio 1 Nghiem, Truong 1 Paolieri, Marco 1 Pappas, George J. 1 Putot, Sylvie 1 Raskin, Jean-François 1 Ryan, Christopher Thomas 1 Schrammel, Peter 1 Shlyakhter, Ilya 1 Siddiqui, Sauleh Ahmad 1 Somenzi, Fabio 1 Suresh Rao, H. 1 Thankachan, N. 1 Thankachan, P. M. 1 Tiwari, Ashish Kumar 1 Tizpaz-Niari, Saeid 1 Vardi, Moshe Ya’akov 1 Wei, Ou 1 Xue, Bai 1 Yang, Yu 1 Zhan, Naijun 1 Zhang, Yan 1 Zutshi, Aditya all top 5 Serials 4 Formal Methods in System Design 2 International Journal for Numerical Methods in Fluids 2 Nonlinear Analysis. Hybrid Systems 1 Artificial Intelligence 1 Journal of Computational Physics 1 IMA Journal of Mathematical Control and Information 1 Real-Time Systems 1 European Journal of Operational Research 1 Mathematical Programming. Series A. Series B 1 SIAM Journal on Optimization 1 Lecture Notes in Computer Science 1 Communications in Computer and Information Science 1 Journal of Theoretical Biology 1 Journal of Ramanujan Society of Mathematics and Mathematical Sciences all top 5 Fields 42 Computer science (68-XX) 18 Systems theory; control (93-XX) 13 Operations research, mathematical programming (90-XX) 6 Numerical analysis (65-XX) 5 Mathematical logic and foundations (03-XX) 3 General and overarching topics; collections (00-XX) 3 Commutative algebra (13-XX) 3 Fluid mechanics (76-XX) 3 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 2 Ordinary differential equations (34-XX) 2 Probability theory and stochastic processes (60-XX) 2 Biology and other natural sciences (92-XX) 1 Combinatorics (05-XX) 1 Linear and multilinear algebra; matrix theory (15-XX) 1 Group theory and generalizations (20-XX) 1 Dynamical systems and ergodic theory (37-XX) 1 Convex and discrete geometry (52-XX) 1 Information and communication theory, circuits (94-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 46 Publications have been cited 314 times in 188 Documents Cited by ▼ Year ▼ Scalable analysis of linear systems using mathematical programming. Zbl 1111.68514Sankaranarayanan, Sriram; Sipma, Henny B.; Manna, Zohar 39 2005 Non-linear loop invariant generation using Gröbner bases. Zbl 1325.68071Sankaranarayanan, Sriram; Sipma, Henny B.; Manna, Zohar 35 2004 Linear invariant generation using non-linear constraint solving. Zbl 1278.68164Colón, Michael A.; Sankaranarayanan, Sriram; Sipma, Henny B. 26 2003 S-TaLiRo: a tool for temporal logic falsification for hybrid systems. Zbl 1316.68069Annpureddy, Yashwanth; Liu, Che; Fainekos, Georgios; Sankaranarayanan, Sriram 20 2011 Automatic invariant generation for hybrid systems using ideal fixed points. Zbl 1360.34082Sankaranarayanan, Sriram 16 2010 Constructing invariants for hybrid systems. Zbl 1133.68365Sankaranarayanan, Sriram; Sipma, Henny B.; Manna, Zohar 15 2008 Constraint-based linear-relations analysis. Zbl 1104.68023Sankaranarayanan, Sriram; Sipma, Henny B.; Manna, Zohar 13 2004 Constructing invariants for hybrid systems. Zbl 1135.93322Sankaranarayanan, Sriram; Sipma, Henny B.; Manna, Zohar 12 2004 Efficient strongly relational polyhedral analysis. Zbl 1176.68051Sankaranarayanan, Sriram; Colón, Michael A.; Sipma, Henny; Manna, Zohar 12 2006 Simulation-guided Lyapunov analysis for hybrid dynamical systems. Zbl 1362.93108Kapinski, James; Deshmukh, Jyotirmoy V.; Sankaranarayanan, Sriram; Arechiga, Nikos 12 2014 Symbolic model checking of hybrid systems using template polyhedra. Zbl 1134.68419Sankaranarayanan, Sriram; Dang, Thao; Ivančić, Franjo 11 2008 A study of the effects of grid non-orthogonality on the solution of shallow water equations in boundary-fitted coordinate systems. Zbl 1118.76327Sankaranarayanan, S.; Spaulding, Malcolm L. 8 2003 Static analysis in disjunctive numerical domains. Zbl 1225.68077Sankaranarayanan, Sriram; Ivančić, Franjo; Shlyakhter, Ilya; Gupta, Aarti 7 2006 Monte-Carlo techniques for falsification of temporal properties of non-linear hybrid systems. Zbl 1361.68149Nghiem, Truong; Sankaranarayanan, Sriram; Fainekos, Georgios; Ivancić, Franjo; Gupta, Aarti; Pappas, George J. 7 2010 Program analysis using symbolic ranges. Zbl 1211.68101Sankaranarayanan, Sriram; Ivančić, Franjo; Gupta, Aarti 6 2007 Determination of personalized diabetes treatment plans using a two-delay model. Zbl 1412.92148Kissler, S. M.; Cichowitz, C.; Sankaranarayanan, S.; Bortz, D. M. 6 2014 Regular real analysis. Zbl 1366.03217Chaudhuri, Swarat; Sankaranarayanan, Sriram; Vardi, Moshe Y. 5 2013 A policy iteration technique for time elapse over template polyhedra. (Extended abstract). Zbl 1144.93327Sankaranarayanan, Sriram; Dang, Thao; Ivančić, Franjo 4 2008 Generalizing the template polyhedral domain. Zbl 1326.68088Colón, Michael A.; Sankaranarayanan, Sriram 4 2011 Petri net analysis using invariant generation. Zbl 1274.68253Sankaranarayanan, Sriram; Sipma, Henny; Manna, Zohar 4 2003 Finite element analysis of free surface flow through gates. Zbl 0875.76259Sankaranarayanan, S.; Suresh Rao, H. 4 1996 Min-max Computation Tree Logic. Zbl 0976.68104Dasgupta, P.; Chakrabarti, P. P.; Deka, J. K.; Sankaranarayanan, S. 4 2001 Linear relaxations of polynomial positivity for polynomial Lyapunov function synthesis. Zbl 1397.93189Ben Sassi, Mohamed Amin; Sankaranarayanan, Sriram; Chen, Xin; Ábrahám, Erika 4 2016 Uncertainty propagation using probabilistic affine forms and concentration of measure inequalities. Zbl 1420.68205Bouissou, Olivier; Goubault, Eric; Putot, Sylvie; Chakarov, Aleksandar; Sankaranarayanan, Sriram 4 2016 Falsification of temporal properties of hybrid systems using the cross-entropy method. Zbl 1362.68183Sankaranarayanan, Sriram; Fainekos, Georgios 4 2012 Validating numerical semidefinite programming solvers for polynomial invariants. Zbl 1394.68085Roux, Pierre; Voronin, Yuen-Lam; Sankaranarayanan, Sriram 3 2016 Automatic abstraction of non-linear systems using change of bases transformations. Zbl 1362.93033Sankaranarayanan, Sriram 3 2011 Access nets: modeling access to physical spaces. Zbl 1317.68114Frohardt, Robert; Chang, Bor-Yuh Evan; Sankaranarayanan, Sriram 2 2011 Collecting statistics over runtime executions. Zbl 1083.68068Finkbeiner, Bernd; Sankaranarayanan, Sriram; Sipma, Henny B. 2 2005 Abstract acceleration of general linear loops. Zbl 1284.68188Jeannet, Bertrand; Schrammel, Peter; Sankaranarayanan, Sriram 2 2014 Reachability analysis for neural feedback systems using regressive polynomial rule inference. Zbl 07120151Dutta, Souradeep; Chen, Xin; Sankaranarayanan, Sriram 2 2019 Change-of-bases abstractions for non-linear hybrid systems. Zbl 1329.93046Sankaranarayanan, Sriram 2 2016 Template polyhedra and bilinear optimization. Zbl 1426.65079Gronski, Jessica; Ben Sassi, Mohamed-Amin; Becker, Stephen; Sankaranarayanan, Sriram 2 2019 Program analysis via satisfiability modulo path programs. Zbl 1312.68058Harris, William R.; Sankaranarayanan, Sriram; Ivančić, Franjo; Gupta, Aarti 2 2010 Fixed point iteration for computing the time elapse operator. Zbl 1178.93053Sankaranarayanan, Sriram; Sipma, Henny B.; Manna, Zohar 1 2006 Quicr: a reusable library for parametric abstraction of sets and numbers. Zbl 1296.68004Cox, Arlen; Chang, Bor-Yuh Evan; Sankaranarayanan, Sriram 1 2014 Dispersion and stability analyses of the linearized two-dimensional shallow water equations in boundary-fitted co-ordinates. Zbl 1143.76518Sankaranarayanan, S.; Spaulding, Malcolm L. 1 2003 Validating numerical semidefinite programming solvers for polynomial invariants. Zbl 1425.68081Roux, Pierre; Voronin, Yuen-Lam; Sankaranarayanan, Sriram 1 2018 Can cut-generating functions be good and efficient? Zbl 1411.90221Basu, Amitabh; Sankaranarayanan, Sriram 1 2019 Fast and accurate static data-race detection for concurrent programs. Zbl 1135.68368Kahlon, Vineet; Yang, Yu; Sankaranarayanan, Sriram; Gupta, Aarti 1 2007 Deductive proofs of almost sure persistence and recurrence properties. Zbl 1420.68153Chakarov, Aleksandar; Voronin, Yuen-Lam; Sankaranarayanan, Sriram 1 2016 Robust data-driven control of artificial pancreas systems using neural networks. Zbl 1397.92323Dutta, Souradeep; Kushner, Taisa; Sankaranarayanan, Sriram 1 2018 Stability and stabilization of polynomial dynamical systems using Bernstein polynomials. Zbl 1364.93679Ben Sassi, Mohamed Amin; Sankaranarayanan, Sriram 1 2015 Symbolic-numeric reachability analysis of closed-loop control software. Zbl 1364.93058Zutshi, Aditya; Sankaranarayanan, Sriram; Deshmukh, Jyotirmoy V.; Jin, Xiaoqing 1 2016 Special issue on Hybrid systems: computation and control. Zbl 1384.00108 1 2018 Mixed-integer bilevel representability. Zbl 1480.90176Basu, Amitabh; Ryan, Christopher Thomas; Sankaranarayanan, Sriram 1 2021 Mixed-integer bilevel representability. Zbl 1480.90176Basu, Amitabh; Ryan, Christopher Thomas; Sankaranarayanan, Sriram 1 2021 Reachability analysis for neural feedback systems using regressive polynomial rule inference. Zbl 07120151Dutta, Souradeep; Chen, Xin; Sankaranarayanan, Sriram 2 2019 Template polyhedra and bilinear optimization. Zbl 1426.65079Gronski, Jessica; Ben Sassi, Mohamed-Amin; Becker, Stephen; Sankaranarayanan, Sriram 2 2019 Can cut-generating functions be good and efficient? Zbl 1411.90221Basu, Amitabh; Sankaranarayanan, Sriram 1 2019 Validating numerical semidefinite programming solvers for polynomial invariants. Zbl 1425.68081Roux, Pierre; Voronin, Yuen-Lam; Sankaranarayanan, Sriram 1 2018 Robust data-driven control of artificial pancreas systems using neural networks. Zbl 1397.92323Dutta, Souradeep; Kushner, Taisa; Sankaranarayanan, Sriram 1 2018 Special issue on Hybrid systems: computation and control. Zbl 1384.00108 1 2018 Linear relaxations of polynomial positivity for polynomial Lyapunov function synthesis. Zbl 1397.93189Ben Sassi, Mohamed Amin; Sankaranarayanan, Sriram; Chen, Xin; Ábrahám, Erika 4 2016 Uncertainty propagation using probabilistic affine forms and concentration of measure inequalities. Zbl 1420.68205Bouissou, Olivier; Goubault, Eric; Putot, Sylvie; Chakarov, Aleksandar; Sankaranarayanan, Sriram 4 2016 Validating numerical semidefinite programming solvers for polynomial invariants. Zbl 1394.68085Roux, Pierre; Voronin, Yuen-Lam; Sankaranarayanan, Sriram 3 2016 Change-of-bases abstractions for non-linear hybrid systems. Zbl 1329.93046Sankaranarayanan, Sriram 2 2016 Deductive proofs of almost sure persistence and recurrence properties. Zbl 1420.68153Chakarov, Aleksandar; Voronin, Yuen-Lam; Sankaranarayanan, Sriram 1 2016 Symbolic-numeric reachability analysis of closed-loop control software. Zbl 1364.93058Zutshi, Aditya; Sankaranarayanan, Sriram; Deshmukh, Jyotirmoy V.; Jin, Xiaoqing 1 2016 Stability and stabilization of polynomial dynamical systems using Bernstein polynomials. Zbl 1364.93679Ben Sassi, Mohamed Amin; Sankaranarayanan, Sriram 1 2015 Simulation-guided Lyapunov analysis for hybrid dynamical systems. Zbl 1362.93108Kapinski, James; Deshmukh, Jyotirmoy V.; Sankaranarayanan, Sriram; Arechiga, Nikos 12 2014 Determination of personalized diabetes treatment plans using a two-delay model. Zbl 1412.92148Kissler, S. M.; Cichowitz, C.; Sankaranarayanan, S.; Bortz, D. M. 6 2014 Abstract acceleration of general linear loops. Zbl 1284.68188Jeannet, Bertrand; Schrammel, Peter; Sankaranarayanan, Sriram 2 2014 Quicr: a reusable library for parametric abstraction of sets and numbers. Zbl 1296.68004Cox, Arlen; Chang, Bor-Yuh Evan; Sankaranarayanan, Sriram 1 2014 Regular real analysis. Zbl 1366.03217Chaudhuri, Swarat; Sankaranarayanan, Sriram; Vardi, Moshe Y. 5 2013 Falsification of temporal properties of hybrid systems using the cross-entropy method. Zbl 1362.68183Sankaranarayanan, Sriram; Fainekos, Georgios 4 2012 S-TaLiRo: a tool for temporal logic falsification for hybrid systems. Zbl 1316.68069Annpureddy, Yashwanth; Liu, Che; Fainekos, Georgios; Sankaranarayanan, Sriram 20 2011 Generalizing the template polyhedral domain. Zbl 1326.68088Colón, Michael A.; Sankaranarayanan, Sriram 4 2011 Automatic abstraction of non-linear systems using change of bases transformations. Zbl 1362.93033Sankaranarayanan, Sriram 3 2011 Access nets: modeling access to physical spaces. Zbl 1317.68114Frohardt, Robert; Chang, Bor-Yuh Evan; Sankaranarayanan, Sriram 2 2011 Automatic invariant generation for hybrid systems using ideal fixed points. Zbl 1360.34082Sankaranarayanan, Sriram 16 2010 Monte-Carlo techniques for falsification of temporal properties of non-linear hybrid systems. Zbl 1361.68149Nghiem, Truong; Sankaranarayanan, Sriram; Fainekos, Georgios; Ivancić, Franjo; Gupta, Aarti; Pappas, George J. 7 2010 Program analysis via satisfiability modulo path programs. Zbl 1312.68058Harris, William R.; Sankaranarayanan, Sriram; Ivančić, Franjo; Gupta, Aarti 2 2010 Constructing invariants for hybrid systems. Zbl 1133.68365Sankaranarayanan, Sriram; Sipma, Henny B.; Manna, Zohar 15 2008 Symbolic model checking of hybrid systems using template polyhedra. Zbl 1134.68419Sankaranarayanan, Sriram; Dang, Thao; Ivančić, Franjo 11 2008 A policy iteration technique for time elapse over template polyhedra. (Extended abstract). Zbl 1144.93327Sankaranarayanan, Sriram; Dang, Thao; Ivančić, Franjo 4 2008 Program analysis using symbolic ranges. Zbl 1211.68101Sankaranarayanan, Sriram; Ivančić, Franjo; Gupta, Aarti 6 2007 Fast and accurate static data-race detection for concurrent programs. Zbl 1135.68368Kahlon, Vineet; Yang, Yu; Sankaranarayanan, Sriram; Gupta, Aarti 1 2007 Efficient strongly relational polyhedral analysis. Zbl 1176.68051Sankaranarayanan, Sriram; Colón, Michael A.; Sipma, Henny; Manna, Zohar 12 2006 Static analysis in disjunctive numerical domains. Zbl 1225.68077Sankaranarayanan, Sriram; Ivančić, Franjo; Shlyakhter, Ilya; Gupta, Aarti 7 2006 Fixed point iteration for computing the time elapse operator. Zbl 1178.93053Sankaranarayanan, Sriram; Sipma, Henny B.; Manna, Zohar 1 2006 Scalable analysis of linear systems using mathematical programming. Zbl 1111.68514Sankaranarayanan, Sriram; Sipma, Henny B.; Manna, Zohar 39 2005 Collecting statistics over runtime executions. Zbl 1083.68068Finkbeiner, Bernd; Sankaranarayanan, Sriram; Sipma, Henny B. 2 2005 Non-linear loop invariant generation using Gröbner bases. Zbl 1325.68071Sankaranarayanan, Sriram; Sipma, Henny B.; Manna, Zohar 35 2004 Constraint-based linear-relations analysis. Zbl 1104.68023Sankaranarayanan, Sriram; Sipma, Henny B.; Manna, Zohar 13 2004 Constructing invariants for hybrid systems. Zbl 1135.93322Sankaranarayanan, Sriram; Sipma, Henny B.; Manna, Zohar 12 2004 Linear invariant generation using non-linear constraint solving. Zbl 1278.68164Colón, Michael A.; Sankaranarayanan, Sriram; Sipma, Henny B. 26 2003 A study of the effects of grid non-orthogonality on the solution of shallow water equations in boundary-fitted coordinate systems. Zbl 1118.76327Sankaranarayanan, S.; Spaulding, Malcolm L. 8 2003 Petri net analysis using invariant generation. Zbl 1274.68253Sankaranarayanan, Sriram; Sipma, Henny; Manna, Zohar 4 2003 Dispersion and stability analyses of the linearized two-dimensional shallow water equations in boundary-fitted co-ordinates. Zbl 1143.76518Sankaranarayanan, S.; Spaulding, Malcolm L. 1 2003 Min-max Computation Tree Logic. Zbl 0976.68104Dasgupta, P.; Chakrabarti, P. P.; Deka, J. K.; Sankaranarayanan, S. 4 2001 Finite element analysis of free surface flow through gates. Zbl 0875.76259Sankaranarayanan, S.; Suresh Rao, H. 4 1996 all cited Publications top 5 cited Publications all top 5 Cited by 409 Authors 7 Platzer, André 7 Sankaranarayanan, Sriram 7 Zhan, Naijun 6 Kapur, Deepak 5 Goubault, Eric 5 Zhao, Hengjun 4 Adjé, Assalé 4 Amato, Gianluca 4 Bartocci, Ezio 4 Boreale, Michele 4 Bouissou, Olivier 4 Deshmukh, Jyotirmoy V. 4 Gawlitza, Thomas Martin 4 King, Andy 4 L’vov, M. S. 4 Reps, Thomas W. 4 Seidl, Helmut 4 Sogokon, Andrew 4 Zaffanella, Enea 3 Bagnara, Roberto 3 Chapoutot, Alexandre 3 Chen, Liqian 3 Dave, Vrunda 3 Dreossi, Tommaso 3 Duggirala, Parasara Sridhar 3 Frehse, Goran 3 Garoche, Pierre-Loïc 3 Gaubert, Stéphane 3 Giesl, Jürgen 3 Grosu, Radu 3 Hill, Patricia M. 3 Krishna, Shankara Narayanan 3 Lin, Wang 3 Magron, Victor 3 Matringe, Nadir 3 Moura, Arnaldo Vieira 3 Rebiha, Rachid 3 Rodríguez-Carbonell, Enric 3 Scozzari, Francesca 3 Seladji, Yassamine 3 Seshia, Sanjit Arunkumar 3 Simon, Axel 3 Tan, Yong Kiam 3 Wang, Ji 3 Xia, Bican 3 Yang, Zhengfeng 2 Aharon, Shir 2 Bak, Stanley 2 Ben Sassi, Mohamed Amin 2 Beyer, Dirk 2 Bogomolov, Sergiy 2 Dang, Thao 2 Donzé, Alexandre 2 D’silva, Vijay 2 Fähndrich, Manuel 2 Filiot, Emmanuel 2 Furia, Carlo Alberto 2 Ghorbal, Khalil 2 Griggio, Alberto 2 Gupta, Aarti 2 Howe, Jacob M. 2 Islam, Md. Ariful 2 Jha, Susmit 2 Kochenderfer, Mykel J. 2 Kovács, Laura Ildikó 2 Kröning, Daniel 2 Lee, Ritchie 2 Lhote, Nathan 2 Logozzo, Francesco 2 Lu, Qi 2 Majumdar, Rupak 2 Mancini, Toni 2 Manna, Zohar 2 Mari, Federico 2 Massini, Annalisa 2 Melatti, Igor 2 Meyer, Bertrand 2 Mili, Ali 2 Mitra, Sayan 2 Monniaux, David P. 2 Nadkarni, Chaitanya 2 Nickovic, Dejan 2 Oliveras, Albert 2 Piazza, Carla 2 Putot, Sylvie 2 Ratschan, Stefan 2 Rubio, Albert 2 Sahai, Tuhin 2 Sánchez, César 2 Shankar, Natarajan 2 Sharma, Tushar 2 Smolka, Scott A. 2 Tiwari, Ashish Kumar 2 Tronci, Enrico 2 Wang, Shuling 2 Wu, Jinzhao 2 Wu, Xueguang 2 Zeng, Zhenbing 2 Zhang, Zhihai 1 Abate, Alessandro ...and 309 more Authors all top 5 Cited in 39 Serials 20 Formal Methods in System Design 9 Theoretical Computer Science 9 Journal of Symbolic Computation 9 Journal of Automated Reasoning 8 Automatica 8 Nonlinear Analysis. Hybrid Systems 6 Formal Aspects of Computing 4 Cybernetics and Systems Analysis 4 Journal of Systems Science and Complexity 4 Logical Methods in Computer Science 3 Science of Computer Programming 3 Information and Computation 3 Computer Languages, Systems & Structures 2 Acta Informatica 2 Information Processing Letters 2 The Journal of Artificial Intelligence Research (JAIR) 2 Mathematical Problems in Engineering 2 Higher-Order and Symbolic Computation 2 The Journal of Logic and Algebraic Programming 2 Mathematics in Computer Science 2 Journal of Logical and Algebraic Methods in Programming 1 ACM Computing Surveys 1 Journal of the Franklin Institute 1 Mathematische Semesterberichte 1 SIAM Journal on Control and Optimization 1 Systems & Control Letters 1 Operations Research Letters 1 Computational Geometry 1 Discrete Event Dynamic Systems 1 Mathematical Programming. Series A. Series B 1 Constraints 1 INFORMS Journal on Computing 1 European Journal of Control 1 Optimization and Engineering 1 Discrete and Continuous Dynamical Systems. Series B 1 Science China. Information Sciences 1 Numerical Algebra, Control and Optimization 1 Frontiers of Computer Science in China 1 Frontiers of Computer Science all top 5 Cited in 19 Fields 147 Computer science (68-XX) 38 Systems theory; control (93-XX) 28 Operations research, mathematical programming (90-XX) 21 Mathematical logic and foundations (03-XX) 14 Numerical analysis (65-XX) 9 Ordinary differential equations (34-XX) 6 Biology and other natural sciences (92-XX) 4 Commutative algebra (13-XX) 4 Linear and multilinear algebra; matrix theory (15-XX) 4 Convex and discrete geometry (52-XX) 3 Dynamical systems and ergodic theory (37-XX) 2 Operator theory (47-XX) 2 Statistics (62-XX) 1 Number theory (11-XX) 1 Algebraic geometry (14-XX) 1 Partial differential equations (35-XX) 1 Approximations and expansions (41-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Mathematics education (97-XX) Citations by Year