×
Edit Profile (opens in new tab)

Gupta, Aarti

Co-Author Distance
Author ID: gupta.aarti Recent zbMATH articles by "Gupta, Aarti"
Published as: Gupta, Aarti
Documents Indexed: 57 Publications since 1958, including 1 Book
2 Contributions as Editor
Co-Authors: 40 Co-Authors with 42 Joint Publications
702 Co-Co-Authors
all top 5

Co-Authors

0 single-authored
14 Ivančić, Franjo
13 Ganai, Malay K.
9 Wang, Chao
8 Kahlon, Vineet
7 Fedyukovich, Grigory
6 Malik, Sharad
6 Sankaranarayanan, Sriram
6 Yang, Zijiang
5 Ashar, Pranav
2 Balakrishnan, Gogul
2 Ghorbal, Khalil
2 Limaye, Rhishikesh
2 Pick, Lauren
2 Shlyakhter, Ilya
2 Talupur, Muralidhar
2 Yang, Weikun
2 Yang, Yu
2 Zhang, Hongce
1 Bahga, Supreet S.
1 Duggirala, Parasara Sridhar
1 Engles, Derick
1 Eswaran, Vinayak
1 Fainekos, Georgios E.
1 Ghai, G. L.
1 Gopalakrishnan, Ganesh Lalitha
1 Gorti, S. R.
1 Gurfinkel, Arie
1 Harris, William R.
1 Ip, C. Norris
1 Jain, Himanshu
1 Jog, P. D.
1 Kant, Tarun
1 Kobayashi, Naoki
1 Kuisalaas, J.
1 Kundu, Sudipta
1 Kuo, Sen M.
1 Lamba, V. J.
1 Lemus, G.
1 Lödding, H.
1 Madhukar, Kumar
1 Maeda, Naoto
1 Malik, Sham S.
1 Marchertas, A. H.
1 Nghiem, Truong
1 Pappas, George J.
1 Prabhu, Sumanth
1 Qadeer, Shaz
1 Reyes-Aldasoro, Constantino Carlos
1 Saraph, M.
1 Sinha, Nishant
1 Sriram, R. D.
1 Subramanyan, Pramod
1 Suthar, Daya Lal
1 Tang, Daijue
1 Touili, Tayssir
1 Tseng, Mitchell M.
1 Vizel, Yakir
1 Wei, Ou
1 Zhang, Yueling
all top 5

Serials

2 Computers and Structures
2 International Journal of Production Research
1 International Journal for Numerical Methods in Fluids
1 Journal of Fluid Mechanics
1 Journal of Sound and Vibration
1 Molecular Simulation
1 Journal of the Operational Research Society
1 Theoretical Computer Science
1 CAD. Computer-Aided Design
1 Formal Aspects of Computing
1 IEEE Transactions on Signal Processing
1 IEEE Transactions on Acoustics, Speech, and Signal Processing
1 Formal Methods in System Design
1 Journal of Vibration and Control
1 Acta Universitatis Apulensis. Mathematics - Informatics
1 Indian Journal of Physics
1 Lecture Notes in Computer Science
1 Journal of Satisfiability, Boolean Modeling and Computation
1 Advances in Mathematical Physics
all top 5

Fields

43 Computer science (68-XX)
5 Mathematical logic and foundations (03-XX)
5 Numerical analysis (65-XX)
4 Fluid mechanics (76-XX)
3 Mechanics of deformable solids (74-XX)
3 Operations research, mathematical programming (90-XX)
2 General and overarching topics; collections (00-XX)
2 Information and communication theory, circuits (94-XX)
1 Functions of a complex variable (30-XX)
1 Mechanics of particles and systems (70-XX)
1 Statistical mechanics, structure of matter (82-XX)
1 Systems theory; control (93-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

44 Publications have been cited 216 times in 169 Documents Cited by ▼ Year ▼
Reasoning about threads communicating via locks. Zbl 1081.68623
Kahlon, Vineet; Ivančić, Franjo; Gupta, Aarti
21
2005
Monte-Carlo techniques for falsification of temporal properties of non-linear hybrid systems. Zbl 1361.68149
Nghiem, Truong; Sankaranarayanan, Sriram; Fainekos, Georgios; Ivancić, Franjo; Gupta, Aarti; Pappas, George J.
18
2010
Quantified invariants via syntax-guided synthesis. Zbl 1533.68038
Fedyukovich, Grigory; Prabhu, Sumanth; Madhukar, Kumar; Gupta, Aarti
14
2019
Static analysis in disjunctive numerical domains. Zbl 1225.68077
Sankaranarayanan, Sriram; Ivančić, Franjo; Shlyakhter, Ilya; Gupta, Aarti
14
2006
On the analysis of interacting pushdown systems. Zbl 1295.68159
Kahlon, Vineet; Gupta, Aarti
12
2007
Peephole partial order reduction. Zbl 1134.68421
Wang, Chao; Yang, Zijiang; Kahlon, Vineet; Gupta, Aarti
12
2008
Efficient SAT-based bounded model checking for software verification. Zbl 1293.68079
Ivančić, Franjo; Yang, Zijiang; Ganai, Malay K.; Gupta, Aarti; Ashar, Pranav
11
2008
Monotonic partial order reduction: an optimal symbolic partial order reduction technique. Zbl 1242.68166
Kahlon, Vineet; Wang, Chao; Gupta, Aarti
11
2009
Program analysis via satisfiability modulo path programs. Zbl 1312.68058
Harris, William R.; Sankaranarayanan, Sriram; Ivančić, Franjo; Gupta, Aarti
10
2010
Syntax-guided termination analysis. Zbl 1511.68076
Fedyukovich, Grigory; Zhang, Yueling; Gupta, Aarti
8
2018
Program analysis using symbolic ranges. Zbl 1211.68101
Sankaranarayanan, Sriram; Ivančić, Franjo; Gupta, Aarti
8
2007
A finite element model for a higher-order shear-deformable beam theory. Zbl 1235.74291
Kant, T.; Gupta, A.
7
1988
F-Soft: Software verification platform. Zbl 1081.68581
Ivančić, F.; Yang, Z.; Ganai, M. K.; Gupta, A.; Shlyakhter, I.; Ashar, P.
7
2005
Exploiting synchrony and symmetry in relational verification. Zbl 1511.68166
Pick, Lauren; Fedyukovich, Grigory; Gupta, Aarti
6
2018
SAT-based scalable formal verification solutions. Zbl 1138.68037
Ganai, Malay; Gupta, Aarti
6
2007
Whodunit? Causal analysis for counterexamples. Zbl 1161.68588
Wang, Chao; Yang, Zijiang; Ivančić, Franjo; Gupta, Aarti
6
2006
Some properties of convolution for hypergeometric distribution type series on certain analytic univalent functions. Zbl 1438.30090
Porwal, S.; Gupta, A.
5
2018
A genetic algorithm for scheduling job families on a single machine with arbitrary earliness/tardiness penalties and an unrestricted common due date. Zbl 0953.90527
Webster, S.; Jog, P. D.; Gupta, A.
5
1998
Trace-based symbolic analysis for atomicity violations. Zbl 1284.68418
Wang, Chao; Limaye, Rhishikesh; Ganai, Malay; Gupta, Aarti
5
2010
Symbolic predictive analysis for concurrent programs. Zbl 1242.68187
Wang, Chao; Kundu, Sudipta; Limaye, Rhishikesh; Ganai, Malay; Gupta, Aarti
5
2011
Computer aided verification. 20th international conference, CAV 2008, Princeton, NJ, USA, July 7–14, 2008. Proceedings. Zbl 1139.68005
4
2008
Donut domains: efficient non-convex domains for abstract interpretation. Zbl 1326.68094
Ghorbal, Khalil; Ivančić, Franjo; Balakrishnan, Gogul; Maeda, Naoto; Gupta, Aarti
4
2012
Fold/unfold transformations for fixpoint logic. Zbl 1483.68196
Kobayashi, Naoki; Fedyukovich, Grigory; Gupta, Aarti
4
2020
Symbolic model checking of concurrent programs using partial orders and on-the-fly transactions. Zbl 1188.68190
Kahlon, Vineet; Gupta, Aarti; Sinha, Nishant
4
2006
Using counterexamples for improving the precision of reachability computation with polyhedra. Zbl 1135.68370
Wang, Chao; Yang, Zijiang; Gupta, Aarti; Ivančić, Franjo
4
2007
Deciding separation logic formulae by SAT and incremental negative cycle elimination. Zbl 1143.68583
Wang, Chao; Ivančić, Franjo; Ganai, Malay; Gupta, Aarti
4
2005
Fast and accurate static data-race detection for concurrent programs. Zbl 1135.68368
Kahlon, Vineet; Yang, Yu; Sankaranarayanan, Sriram; Gupta, Aarti
3
2007
Efficient distributed SAT and SAT-based distributed bounded model checking. Zbl 1179.68084
Ganai, Malay K; Gupta, Aarti; Yang, Zijiang; Ashar, Pranav
3
2003
Analysis of narrowband active noise and vibration control systems using parallel adaptive notch filters. Zbl 1229.70090
Yang, F.; Gupta, A.; Kuo, S. M.
2
2008
Model checking concurrent programs. Zbl 1392.68251
Gupta, Aarti; Kahlon, Vineet; Qadeer, Shaz; Touili, Tayssir
2
2018
Cubic \(B\)-spline for finite element analysis of axisymmetric shells. Zbl 0825.73709
Gupta, A.; Kuisalaas, J.; Saraph, M.
2
1991
Localization and register sharing for predicate abstraction. Zbl 1087.68593
Jain, Himanshu; Ivančić, Franjo; Gupta, Aarti; Ganai, Malay K.
2
2005
SDSAT: Tight integration of small domain encoding and lazy approaches in a separation logic solver. Zbl 1180.68241
Ganai, Malay K; Talupur, Muralidhar; Gupta, Aarti
2
2006
SAT-based verification methods and applications in hardware verification. Zbl 1182.68119
Gupta, Aarti; Ganai, Malay K.; Wang, Chao
2
2006
Synthesizing environment invariants for modular hardware verification. Zbl 07228508
Zhang, Hongce; Yang, Weikun; Fedyukovich, Grigory; Gupta, Aarti; Malik, Sharad
2
2020
Lazy self-composition for security verification. Zbl 1511.68171
Yang, Weikun; Vizel, Yakir; Subramanyan, Pramod; Gupta, Aarti; Malik, Sharad
2
2018
Syntax-guided synthesis for lemma generation in hardware model checking. Zbl 1472.68096
Zhang, Hongce; Gupta, Aarti; Malik, Sharad
2
2021
Efficient modeling of embedded memories in bounded model checking. Zbl 1103.68615
Ganai, Malay K.; Gupta, Aarti; Ashar, Pranav
1
2004
DiVer: SAT-based model checking platform for verifying large scale systems. Zbl 1087.68588
Ganai, Malay K.; Gupta, Aarti; Ashar, Pranav
1
2005
A hybrid model based on dynamic programming, neural networks, and surrogate value for inventory optimisation applications. Zbl 1054.90515
Reyes-Aldasoro, C. C.; Ganguly, A. R.; Lemus, G.; Gupta, A.
1
1999
A fast recursive algorithm for the discrete sine transform. Zbl 0727.65127
Gupta, A.; Rao, K. R.
1
1990
Dynamic model checking with property driven pruning to detect race conditions. Zbl 1183.68383
Wang, Chao; Yang, Yu; Gupta, Aarti; Gopalakrishnan, Ganesh
1
2008
SLR: Path-sensitive analysis through infeasible-path detection and syntactic language refinement. Zbl 1149.68347
Balakrishnan, Gogul; Sankaranarayanan, Sriram; Ivančić, Franjo; Wei, Ou; Gupta, Aarti
1
2008
Unbounded procedure summaries from bounded environments. Zbl 1472.68093
Pick, Lauren; Fedyukovich, Grigory; Gupta, Aarti
1
2021
Syntax-guided synthesis for lemma generation in hardware model checking. Zbl 1472.68096
Zhang, Hongce; Gupta, Aarti; Malik, Sharad
2
2021
Unbounded procedure summaries from bounded environments. Zbl 1472.68093
Pick, Lauren; Fedyukovich, Grigory; Gupta, Aarti
1
2021
Fold/unfold transformations for fixpoint logic. Zbl 1483.68196
Kobayashi, Naoki; Fedyukovich, Grigory; Gupta, Aarti
4
2020
Synthesizing environment invariants for modular hardware verification. Zbl 07228508
Zhang, Hongce; Yang, Weikun; Fedyukovich, Grigory; Gupta, Aarti; Malik, Sharad
2
2020
Quantified invariants via syntax-guided synthesis. Zbl 1533.68038
Fedyukovich, Grigory; Prabhu, Sumanth; Madhukar, Kumar; Gupta, Aarti
14
2019
Syntax-guided termination analysis. Zbl 1511.68076
Fedyukovich, Grigory; Zhang, Yueling; Gupta, Aarti
8
2018
Exploiting synchrony and symmetry in relational verification. Zbl 1511.68166
Pick, Lauren; Fedyukovich, Grigory; Gupta, Aarti
6
2018
Some properties of convolution for hypergeometric distribution type series on certain analytic univalent functions. Zbl 1438.30090
Porwal, S.; Gupta, A.
5
2018
Model checking concurrent programs. Zbl 1392.68251
Gupta, Aarti; Kahlon, Vineet; Qadeer, Shaz; Touili, Tayssir
2
2018
Lazy self-composition for security verification. Zbl 1511.68171
Yang, Weikun; Vizel, Yakir; Subramanyan, Pramod; Gupta, Aarti; Malik, Sharad
2
2018
Donut domains: efficient non-convex domains for abstract interpretation. Zbl 1326.68094
Ghorbal, Khalil; Ivančić, Franjo; Balakrishnan, Gogul; Maeda, Naoto; Gupta, Aarti
4
2012
Symbolic predictive analysis for concurrent programs. Zbl 1242.68187
Wang, Chao; Kundu, Sudipta; Limaye, Rhishikesh; Ganai, Malay; Gupta, Aarti
5
2011
Monte-Carlo techniques for falsification of temporal properties of non-linear hybrid systems. Zbl 1361.68149
Nghiem, Truong; Sankaranarayanan, Sriram; Fainekos, Georgios; Ivancić, Franjo; Gupta, Aarti; Pappas, George J.
18
2010
Program analysis via satisfiability modulo path programs. Zbl 1312.68058
Harris, William R.; Sankaranarayanan, Sriram; Ivančić, Franjo; Gupta, Aarti
10
2010
Trace-based symbolic analysis for atomicity violations. Zbl 1284.68418
Wang, Chao; Limaye, Rhishikesh; Ganai, Malay; Gupta, Aarti
5
2010
Monotonic partial order reduction: an optimal symbolic partial order reduction technique. Zbl 1242.68166
Kahlon, Vineet; Wang, Chao; Gupta, Aarti
11
2009
Peephole partial order reduction. Zbl 1134.68421
Wang, Chao; Yang, Zijiang; Kahlon, Vineet; Gupta, Aarti
12
2008
Efficient SAT-based bounded model checking for software verification. Zbl 1293.68079
Ivančić, Franjo; Yang, Zijiang; Ganai, Malay K.; Gupta, Aarti; Ashar, Pranav
11
2008
Computer aided verification. 20th international conference, CAV 2008, Princeton, NJ, USA, July 7–14, 2008. Proceedings. Zbl 1139.68005
4
2008
Analysis of narrowband active noise and vibration control systems using parallel adaptive notch filters. Zbl 1229.70090
Yang, F.; Gupta, A.; Kuo, S. M.
2
2008
Dynamic model checking with property driven pruning to detect race conditions. Zbl 1183.68383
Wang, Chao; Yang, Yu; Gupta, Aarti; Gopalakrishnan, Ganesh
1
2008
SLR: Path-sensitive analysis through infeasible-path detection and syntactic language refinement. Zbl 1149.68347
Balakrishnan, Gogul; Sankaranarayanan, Sriram; Ivančić, Franjo; Wei, Ou; Gupta, Aarti
1
2008
On the analysis of interacting pushdown systems. Zbl 1295.68159
Kahlon, Vineet; Gupta, Aarti
12
2007
Program analysis using symbolic ranges. Zbl 1211.68101
Sankaranarayanan, Sriram; Ivančić, Franjo; Gupta, Aarti
8
2007
SAT-based scalable formal verification solutions. Zbl 1138.68037
Ganai, Malay; Gupta, Aarti
6
2007
Using counterexamples for improving the precision of reachability computation with polyhedra. Zbl 1135.68370
Wang, Chao; Yang, Zijiang; Gupta, Aarti; Ivančić, Franjo
4
2007
Fast and accurate static data-race detection for concurrent programs. Zbl 1135.68368
Kahlon, Vineet; Yang, Yu; Sankaranarayanan, Sriram; Gupta, Aarti
3
2007
Static analysis in disjunctive numerical domains. Zbl 1225.68077
Sankaranarayanan, Sriram; Ivančić, Franjo; Shlyakhter, Ilya; Gupta, Aarti
14
2006
Whodunit? Causal analysis for counterexamples. Zbl 1161.68588
Wang, Chao; Yang, Zijiang; Ivančić, Franjo; Gupta, Aarti
6
2006
Symbolic model checking of concurrent programs using partial orders and on-the-fly transactions. Zbl 1188.68190
Kahlon, Vineet; Gupta, Aarti; Sinha, Nishant
4
2006
SDSAT: Tight integration of small domain encoding and lazy approaches in a separation logic solver. Zbl 1180.68241
Ganai, Malay K; Talupur, Muralidhar; Gupta, Aarti
2
2006
SAT-based verification methods and applications in hardware verification. Zbl 1182.68119
Gupta, Aarti; Ganai, Malay K.; Wang, Chao
2
2006
Reasoning about threads communicating via locks. Zbl 1081.68623
Kahlon, Vineet; Ivančić, Franjo; Gupta, Aarti
21
2005
F-Soft: Software verification platform. Zbl 1081.68581
Ivančić, F.; Yang, Z.; Ganai, M. K.; Gupta, A.; Shlyakhter, I.; Ashar, P.
7
2005
Deciding separation logic formulae by SAT and incremental negative cycle elimination. Zbl 1143.68583
Wang, Chao; Ivančić, Franjo; Ganai, Malay; Gupta, Aarti
4
2005
Localization and register sharing for predicate abstraction. Zbl 1087.68593
Jain, Himanshu; Ivančić, Franjo; Gupta, Aarti; Ganai, Malay K.
2
2005
DiVer: SAT-based model checking platform for verifying large scale systems. Zbl 1087.68588
Ganai, Malay K.; Gupta, Aarti; Ashar, Pranav
1
2005
Efficient modeling of embedded memories in bounded model checking. Zbl 1103.68615
Ganai, Malay K.; Gupta, Aarti; Ashar, Pranav
1
2004
Efficient distributed SAT and SAT-based distributed bounded model checking. Zbl 1179.68084
Ganai, Malay K; Gupta, Aarti; Yang, Zijiang; Ashar, Pranav
3
2003
A hybrid model based on dynamic programming, neural networks, and surrogate value for inventory optimisation applications. Zbl 1054.90515
Reyes-Aldasoro, C. C.; Ganguly, A. R.; Lemus, G.; Gupta, A.
1
1999
A genetic algorithm for scheduling job families on a single machine with arbitrary earliness/tardiness penalties and an unrestricted common due date. Zbl 0953.90527
Webster, S.; Jog, P. D.; Gupta, A.
5
1998
Cubic \(B\)-spline for finite element analysis of axisymmetric shells. Zbl 0825.73709
Gupta, A.; Kuisalaas, J.; Saraph, M.
2
1991
A fast recursive algorithm for the discrete sine transform. Zbl 0727.65127
Gupta, A.; Rao, K. R.
1
1990
A finite element model for a higher-order shear-deformable beam theory. Zbl 1235.74291
Kant, T.; Gupta, A.
7
1988
all cited Publications top 5 cited Publications
all top 5

Cited by 420 Authors

8 Gupta, Aarti
6 Kobayashi, Naoki
6 Touili, Tayssir
5 D’silva, Vijay
5 Fedyukovich, Grigory
5 Griggio, Alberto
5 Kröning, Daniel
4 Atig, Mohamed Faouzi
4 Gupta, Ashutosh
4 Nickovic, Dejan
4 Seidl, Helmut
3 Barrett, Clark W.
3 Bartocci, Ezio
3 Bloem, Roderick
3 Chakraborty, Supratik
3 Chen, Liqian
3 Cimatti, Alessandro
3 Haller, Leopold
3 Mann, Makai
3 Padon, Oded
3 Reps, Thomas W.
3 Sankaranarayanan, Sriram
3 Tsukada, Takeshi
3 Unno, Hiroshi
3 Wang, Ji
2 Aiken, Alex
2 Albert, Elvira
2 Becker, Bernd
2 Biere, Armin
2 Bouajjani, Ahmed
2 Cai, Shaowei
2 Cook, Byron
2 De Angelis, Emanuele
2 Donzé, Alexandre
2 Duan, Zhenhua
2 Duggirala, Parasara Sridhar
2 Ernst, Gidon
2 Fainekos, Georgios E.
2 Ferrère, Thomas
2 Fioravanti, Fabio
2 Ganai, Malay K.
2 Halbwachs, Nicolas
2 Henzinger, Thomas A.
2 Heule, Marijn J. H.
2 Irfan, Ahmed
2 Ivančić, Franjo
2 Kahlon, Vineet
2 Kidd, Nicholas
2 King, Andy
2 Koskinen, Eric
2 Kovács, Laura Ildikó
2 Lal, Akash
2 Lammich, Peter
2 Li, Bohan
2 Madduri, Kamesh
2 Magnago, Enrico
2 Müller-Olm, Markus
2 Nori, Aditya Vithal
2 Pettorossi, Alberto
2 Proietti, Maurizio
2 Rodríguez, César Marín
2 Rubio, Albert
2 Sato, Ryosuke
2 Scholl, Christoph
2 Sharma, Subodh K.
2 Sharygina, Natasha
2 Shoham, Sharon
2 Song, Fu
2 Steffen, Martin
2 Subramani, Krishnan
2 Tian, Cong
2 Unadkat, Divyesh
2 Urban, Caterina
2 Vojdani, Vesal
2 Wang, Chao
2 Wimmer, Ralf D.
2 Wu, Xueguang
2 Yang, Zijiang
2 Zhang, Nan
2 Zhang, Xindi
1 Abbas, Houssam
1 Abdulla, Parosh Aziz
1 Ábrahám, Erika
1 Ahrendt, Wolfgang
1 Aichernig, Bernhard K.
1 Al Ameen, Mahmudul Faisal
1 Al-Rawi, Bashar
1 Albarghouthi, Aws
1 Allamigeon, Xavier
1 Amato, Gianluca
1 Annpureddy, Yashwanth
1 Anureev, Igor’ Sergeevich
1 Apinis, Kalmer
1 Aronis, Stavros
1 Asadi, Sepideh
1 Ashar, Pranav
1 Baarir, Souheib
1 Bak, Stanley
1 Bakhirkin, Alexey
1 Bansal, Kshitij
...and 320 more Authors
all top 5

Cited in 31 Serials

8 Theoretical Computer Science
7 Formal Methods in System Design
5 Journal of Automated Reasoning
3 Information and Computation
3 Constraints
3 The Journal of Logic and Algebraic Programming
2 Computing
2 Formal Aspects of Computing
2 Theory and Practice of Logic Programming
2 Logical Methods in Computer Science
2 Modelirovanie i Analiz Informatsionnykh Sistem
1 Acta Informatica
1 International Journal of General Systems
1 Information Processing Letters
1 Applied Mathematics and Computation
1 Automatica
1 SIAM Journal on Computing
1 Science of Computer Programming
1 Journal of Symbolic Computation
1 Discrete Event Dynamic Systems
1 Automation and Remote Control
1 Journal of Functional Programming
1 Theory of Computing Systems
1 Higher-Order and Symbolic Computation
1 ACM Transactions on Computational Logic
1 ACM Journal of Experimental Algorithmics
1 Journal of Zhejiang University. Science A
1 Journal of Satisfiability, Boolean Modeling and Computation
1 Nonlinear Analysis. Hybrid Systems
1 Journal of Logical and Algebraic Methods in Programming
1 Prikladnaya Diskretnaya Matematika
all top 5

Cited in 16 Fields

160 Computer science (68-XX)
24 Mathematical logic and foundations (03-XX)
14 Systems theory; control (93-XX)
8 Operations research, mathematical programming (90-XX)
5 Information and communication theory, circuits (94-XX)
2 Combinatorics (05-XX)
2 Numerical analysis (65-XX)
1 Order, lattices, ordered algebraic structures (06-XX)
1 Linear and multilinear algebra; matrix theory (15-XX)
1 Ordinary differential equations (34-XX)
1 Dynamical systems and ergodic theory (37-XX)
1 Calculus of variations and optimal control; optimization (49-XX)
1 Convex and discrete geometry (52-XX)
1 Statistics (62-XX)
1 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
1 Biology and other natural sciences (92-XX)

Citations by Year