×

zbMATH — the first resource for mathematics

Abate, Alessandro

Compute Distance To:
Author ID: abate.alessandro Recent zbMATH articles by "Abate, Alessandro"
Published as: Abate, A.; Abate, Alessandro
External Links: MGP
Documents Indexed: 75 Publications since 2006, including 3 Books

Publications by Year

Citations contained in zbMATH

53 Publications have been cited 308 times in 164 Documents Cited by Year
Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems. Zbl 1152.93051
Abate, Alessandro; Prandini, Maria; Lygeros, John; Sastry, Shankar
38
2008
Exponential stabilization of discrete-time switched linear systems. Zbl 1183.93118
Zhang, Wei; Abate, Alessandro; Hu, Jianghai; Vitus, Michael P.
24
2009
Infinite-horizon switched LQR problems in discrete time: a suboptimal algorithm with performance analysis. Zbl 1369.93357
Zhang, Wei; Hu, Jianghai; Abate, Alessandro
19
2012
Adaptive and sequential gridding procedures for the abstraction and verification of stochastic processes. Zbl 1278.93243
Zadeh Soudjani, Sadegh Esmaeil; Abate, Alessandro
17
2013
Box invariance in biologically-inspired dynamical systems. Zbl 1197.34088
Abate, Alessandro; Tiwari, Ashish; Sastry, Shankar
17
2009
On the value functions of the discrete-time switched LQR problem. Zbl 1367.93291
Zhang, Wei; Hu, Jianghai; Abate, Alessandro
16
2009
Symbolic models for stochastic switched systems: A discretization and a discretization-free approach. Zbl 1377.93156
Zamani, Majid; Abate, Alessandro; Girard, Antoine
13
2015
Symbolic control of stochastic systems via approximately bisimilar finite abstractions. Zbl 1360.93445
Zamani, Majid; Mohajerin Esfahani, Peyman; Majumdar, Rupak; Abate, Alessandro; Lygeros, John
13
2014
Approximate model checking of stochastic hybrid systems. Zbl 1216.93091
Abate, Alessandro; Katoen, Joost-Pieter; Lygeros, John; Prandini, Maria
11
2010
Approximately bisimilar symbolic models for randomly switched stochastic systems. Zbl 1288.93098
Zamani, Majid; Abate, Alessandro
10
2014
On efficient sensor scheduling for linear dynamical systems. Zbl 1271.93152
Vitus, Michael P.; Zhang, Wei; Abate, Alessandro; Hu, Jianghai; Tomlin, Claire J.
9
2012
Computational approaches to reachability analysis of stochastic hybrid systems. Zbl 1221.93030
Abate, Alessandro; Amin, Saurabh; Prandini, Maria; Lygeros, John; Sastry, Shankar
8
2007
Reachability analysis for controlled discrete time stochastic hybrid systems. Zbl 1178.93069
Amin, Saurabh; Abate, Alessandro; Prandini, Maria; Lygeros, John; Sastry, Shankar
8
2006
Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems. Zbl 1362.68189
Tkachev, Ilya; Mereacre, Alexandru; Katoen, Joost-Pieter; Abate, Alessandro
7
2013
Computational techniques for reachability analysis of Max-Plus-Linear systems. Zbl 1371.93035
Adzkiya, Dieky; De Schutter, Bart; Abate, Alessandro
6
2015
Finite abstractions of max-plus-linear systems. Zbl 1369.93370
Adzkiya, Dieky; De Schutter, Bart; Abate, Alessandro
6
2013
Formula-free finite abstractions for linear temporal verification of stochastic hybrid systems. Zbl 1362.68187
Tkachev, Ilya; Abate, Alessandro
6
2013
On infinite horizon switched LQR problems with state and control constraints. Zbl 1250.93068
Balandat, Maximilian; Zhang, Wei; Abate, Alessandro
6
2012
On the optimal solutions of the infinite-horizon linear sensor scheduling problem. Zbl 1360.90136
Zhao, Lin; Zhang, Wei; Hu, Jianghai; Abate, Alessandro; Tomlin, Claire J.
5
2014
Robust PCTL model checking. Zbl 1361.68140
D’Innocenzo, Alessandro; Abate, Alessandro; Katoen, Joost-Pieter
5
2012
Approximate abstractions of stochastic hybrid systems. Zbl 1368.93655
Abate, Alessandro; D’Innocenzo, Alessandro; Di Benedetto, Maria D.
5
2011
A stochastic games framework for verification and control of discrete time stochastic hybrid systems. Zbl 1364.93857
Ding, Jerry; Kamgarpour, Maryam; Summers, Sean; Abate, Alessandro; Lygeros, John; Tomlin, Claire
4
2013
Quantitative automata model checking of autonomous stochastic hybrid systems. Zbl 1361.68130
Abate, Alessandro; Katoen, Joost-Pieter; Mereacre, Alexandru
4
2011
Verification of general Markov decision processes by approximate similarity relations and policy refinement. Zbl 1367.93615
Haesaert, Sofie; Zadeh Soudjani, Sadegh Esmaeil; Abate, Alessandro
3
2017
Dynamic Bayesian networks for formal verification of structured stochastic processes. Zbl 1364.68262
Esmaeil Zadeh Soudjani, Sadegh; Abate, Alessandro; Majumdar, Rupak
3
2017
Quantitative approximation of the probability distribution of a Markov process by formal abstractions. Zbl 1342.60120
Abate, Alessandro; Soudjani, Sadegh Esmaeil Zadeh
3
2015
Bisimilar symbolic models for stochastic control systems without state-space discretization. Zbl 1362.93147
Zamani, Majid; Tkachev, Ilya; Abate, Alessandro
3
2014
Characterization and computation of infinite-horizon specifications over Markov processes. Zbl 1293.68194
Tkachev, Ilya; Abate, Alessandro
3
2014
Approximation metrics based on probabilistic bisimulations for general state-space Markov processes: a survey. Zbl 1334.68128
Abate, Alessandro
3
2013
Approximation of general stochastic hybrid systems by switching diffusions with random hybrid jumps. Zbl 1144.93368
Abate, Alessandro; Prandini, Maria; Lygeros, John; Sastry, Shankar
3
2008
Towards scalable synthesis of stochastic control systems. Zbl 1379.93087
Zamani, Majid; Tkachev, Ilya; Abate, Alessandro
2
2017
Formal verification of stochastic max-plus-linear systems. Zbl 1359.68188
Esmaeil Zadeh Soudjani, Sadegh; Adzkiya, Dieky; Abate, Alessandro
2
2016
Probabilistic model checking of labelled Markov processes via finite approximate bisimulations. Zbl 1407.68275
Abate, Alessandro; Kwiatkowska, Marta; Norman, Gethin; Parker, David
2
2014
Irreversible prey diapause as an optimal strategy of a physiologically extended Lotka-Volterra model. Zbl 1260.49046
Staňková, Kateřina; Abate, Alessandro; Sabelis, Maurice W.
2
2013
Piecewise affine approximations of fluxes and enzyme kinetics from in vivo \(^{13}\text{C}\) labeling experiments. Zbl 1258.93016
Abate, Alessandro; Hillen, Robert C.; Wahl, S. Aljoscha
2
2012
Understanding deadlock and livelock behaviors in hybrid control systems. Zbl 1166.93304
Abate, Alessandro; D’Innocenzo, Alessandro; di Benedetto, Maria Domenica; Sastry, Shankar
2
2009
Markov set-chains as abstractions of stochastic hybrid systems. Zbl 1144.93367
Abate, Alessandro; D’Innocenzo, Alessandro; Di Benedetto, Maria D.; Sastry, Shankar S.
2
2008
Poster abstract: StocHy – automated verification and synthesis of stochastic processes. Zbl 07120162
Cauchi, Nathalie; Abate, Alessandro
1
2019
Data-driven and model-based verification via Bayesian identification and reachability analysis. Zbl 1371.93187
Haesaert, Sofie; van den Hof, Paul M. J.; Abate, Alessandro
1
2017
Sound and automated synthesis of digital stabilizing controllers for continuous plants. Zbl 1369.93189
Abate, Alessandro; Bessa, Iury; Cattaruzza, Dario; Cordeiro, Lucas; David, Cristina; Kesseli, Pascal; Kroening, Daniel
1
2017
Reachability computation for switching diffusions, finite abstractions with certifiable and tuneable precision. Zbl 1369.93728
Laurenti, Luca; Abate, Alessandro; Bortolussi, Luca; Cardelli, Luca; Ceska, Milan; Kwiatkowska, Marta
1
2017
On the relationship between bisimulation and trace equivalence in an approximate probabilistic context. Zbl 06720998
Bian, Gaoang; Abate, Alessandro
1
2017
Quantitative model-checking of controlled discrete-time Markov processes. Zbl 1359.68199
Tkachev, Ilya; Mereacre, Alexandru; Katoen, Joost-Pieter; Abate, Alessandro
1
2017
Verification of general Markov decision processes by approximate similarity relations and policy refinement. Zbl 1377.68131
Haesaert, Sofie; Abate, Alessandro; Van den Hof, Paul M. J.
1
2016
VeriSIMPL 2: an open-source software for the verification of max-plus-linear systems. Zbl 1332.93255
Adzkiya, Dieky; Zhang, Yining; Abate, Alessandro
1
2016
Adaptive aggregation of Markov chains: quantitative analysis of chemical reaction networks. Zbl 1381.68140
Abate, Alessandro; Brim, Luboš; Češka, Milan; Kwiatkowska, Marta
1
2015
Dynamic Bayesian networks as formal abstractions of structured stochastic processes. Zbl 1374.68301
Soudjani, Sadegh Esmaeil Zadeh; Abate, Alessandro; Majumdar, Rupak
1
2015
On approximation metrics for linear temporal model-checking of stochastic systems. Zbl 1362.68188
Tkachev, Ilya; Abate, Alessandro
1
2014
Probabilistic reach-avoid computation for partially degenerate stochastic processes. Zbl 1360.93656
Soudjani, Sadegh Esmaeil Zadeh; Abate, Alessandro
1
2014
On the effect of perturbation of conditional probabilities in total variation. Zbl 1370.60006
Abate, Alessandro; Redig, Frank; Tkachev, Ilya
1
2014
Regularization of Bellman equations for infinite-horizon probabilistic properties. Zbl 1362.68186
Tkachev, Ilya; Abate, Alessandro
1
2012
Higher-order approximations for verification of stochastic hybrid systems. Zbl 1374.68280
Esmaeil Zadeh Soudjani, Sadegh; Abate, Alessandro
1
2012
Probabilistic safety and optimal control for survival analysis of bacillus subtilis. Zbl 1188.49036
Abate, Alessandro; Lygeros, John; Sastry, Shankar S.
1
2010
Poster abstract: StocHy – automated verification and synthesis of stochastic processes. Zbl 07120162
Cauchi, Nathalie; Abate, Alessandro
1
2019
Verification of general Markov decision processes by approximate similarity relations and policy refinement. Zbl 1367.93615
Haesaert, Sofie; Zadeh Soudjani, Sadegh Esmaeil; Abate, Alessandro
3
2017
Dynamic Bayesian networks for formal verification of structured stochastic processes. Zbl 1364.68262
Esmaeil Zadeh Soudjani, Sadegh; Abate, Alessandro; Majumdar, Rupak
3
2017
Towards scalable synthesis of stochastic control systems. Zbl 1379.93087
Zamani, Majid; Tkachev, Ilya; Abate, Alessandro
2
2017
Data-driven and model-based verification via Bayesian identification and reachability analysis. Zbl 1371.93187
Haesaert, Sofie; van den Hof, Paul M. J.; Abate, Alessandro
1
2017
Sound and automated synthesis of digital stabilizing controllers for continuous plants. Zbl 1369.93189
Abate, Alessandro; Bessa, Iury; Cattaruzza, Dario; Cordeiro, Lucas; David, Cristina; Kesseli, Pascal; Kroening, Daniel
1
2017
Reachability computation for switching diffusions, finite abstractions with certifiable and tuneable precision. Zbl 1369.93728
Laurenti, Luca; Abate, Alessandro; Bortolussi, Luca; Cardelli, Luca; Ceska, Milan; Kwiatkowska, Marta
1
2017
On the relationship between bisimulation and trace equivalence in an approximate probabilistic context. Zbl 06720998
Bian, Gaoang; Abate, Alessandro
1
2017
Quantitative model-checking of controlled discrete-time Markov processes. Zbl 1359.68199
Tkachev, Ilya; Mereacre, Alexandru; Katoen, Joost-Pieter; Abate, Alessandro
1
2017
Formal verification of stochastic max-plus-linear systems. Zbl 1359.68188
Esmaeil Zadeh Soudjani, Sadegh; Adzkiya, Dieky; Abate, Alessandro
2
2016
Verification of general Markov decision processes by approximate similarity relations and policy refinement. Zbl 1377.68131
Haesaert, Sofie; Abate, Alessandro; Van den Hof, Paul M. J.
1
2016
VeriSIMPL 2: an open-source software for the verification of max-plus-linear systems. Zbl 1332.93255
Adzkiya, Dieky; Zhang, Yining; Abate, Alessandro
1
2016
Symbolic models for stochastic switched systems: A discretization and a discretization-free approach. Zbl 1377.93156
Zamani, Majid; Abate, Alessandro; Girard, Antoine
13
2015
Computational techniques for reachability analysis of Max-Plus-Linear systems. Zbl 1371.93035
Adzkiya, Dieky; De Schutter, Bart; Abate, Alessandro
6
2015
Quantitative approximation of the probability distribution of a Markov process by formal abstractions. Zbl 1342.60120
Abate, Alessandro; Soudjani, Sadegh Esmaeil Zadeh
3
2015
Adaptive aggregation of Markov chains: quantitative analysis of chemical reaction networks. Zbl 1381.68140
Abate, Alessandro; Brim, Luboš; Češka, Milan; Kwiatkowska, Marta
1
2015
Dynamic Bayesian networks as formal abstractions of structured stochastic processes. Zbl 1374.68301
Soudjani, Sadegh Esmaeil Zadeh; Abate, Alessandro; Majumdar, Rupak
1
2015
Symbolic control of stochastic systems via approximately bisimilar finite abstractions. Zbl 1360.93445
Zamani, Majid; Mohajerin Esfahani, Peyman; Majumdar, Rupak; Abate, Alessandro; Lygeros, John
13
2014
Approximately bisimilar symbolic models for randomly switched stochastic systems. Zbl 1288.93098
Zamani, Majid; Abate, Alessandro
10
2014
On the optimal solutions of the infinite-horizon linear sensor scheduling problem. Zbl 1360.90136
Zhao, Lin; Zhang, Wei; Hu, Jianghai; Abate, Alessandro; Tomlin, Claire J.
5
2014
Bisimilar symbolic models for stochastic control systems without state-space discretization. Zbl 1362.93147
Zamani, Majid; Tkachev, Ilya; Abate, Alessandro
3
2014
Characterization and computation of infinite-horizon specifications over Markov processes. Zbl 1293.68194
Tkachev, Ilya; Abate, Alessandro
3
2014
Probabilistic model checking of labelled Markov processes via finite approximate bisimulations. Zbl 1407.68275
Abate, Alessandro; Kwiatkowska, Marta; Norman, Gethin; Parker, David
2
2014
On approximation metrics for linear temporal model-checking of stochastic systems. Zbl 1362.68188
Tkachev, Ilya; Abate, Alessandro
1
2014
Probabilistic reach-avoid computation for partially degenerate stochastic processes. Zbl 1360.93656
Soudjani, Sadegh Esmaeil Zadeh; Abate, Alessandro
1
2014
On the effect of perturbation of conditional probabilities in total variation. Zbl 1370.60006
Abate, Alessandro; Redig, Frank; Tkachev, Ilya
1
2014
Adaptive and sequential gridding procedures for the abstraction and verification of stochastic processes. Zbl 1278.93243
Zadeh Soudjani, Sadegh Esmaeil; Abate, Alessandro
17
2013
Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems. Zbl 1362.68189
Tkachev, Ilya; Mereacre, Alexandru; Katoen, Joost-Pieter; Abate, Alessandro
7
2013
Finite abstractions of max-plus-linear systems. Zbl 1369.93370
Adzkiya, Dieky; De Schutter, Bart; Abate, Alessandro
6
2013
Formula-free finite abstractions for linear temporal verification of stochastic hybrid systems. Zbl 1362.68187
Tkachev, Ilya; Abate, Alessandro
6
2013
A stochastic games framework for verification and control of discrete time stochastic hybrid systems. Zbl 1364.93857
Ding, Jerry; Kamgarpour, Maryam; Summers, Sean; Abate, Alessandro; Lygeros, John; Tomlin, Claire
4
2013
Approximation metrics based on probabilistic bisimulations for general state-space Markov processes: a survey. Zbl 1334.68128
Abate, Alessandro
3
2013
Irreversible prey diapause as an optimal strategy of a physiologically extended Lotka-Volterra model. Zbl 1260.49046
Staňková, Kateřina; Abate, Alessandro; Sabelis, Maurice W.
2
2013
Infinite-horizon switched LQR problems in discrete time: a suboptimal algorithm with performance analysis. Zbl 1369.93357
Zhang, Wei; Hu, Jianghai; Abate, Alessandro
19
2012
On efficient sensor scheduling for linear dynamical systems. Zbl 1271.93152
Vitus, Michael P.; Zhang, Wei; Abate, Alessandro; Hu, Jianghai; Tomlin, Claire J.
9
2012
On infinite horizon switched LQR problems with state and control constraints. Zbl 1250.93068
Balandat, Maximilian; Zhang, Wei; Abate, Alessandro
6
2012
Robust PCTL model checking. Zbl 1361.68140
D’Innocenzo, Alessandro; Abate, Alessandro; Katoen, Joost-Pieter
5
2012
Piecewise affine approximations of fluxes and enzyme kinetics from in vivo \(^{13}\text{C}\) labeling experiments. Zbl 1258.93016
Abate, Alessandro; Hillen, Robert C.; Wahl, S. Aljoscha
2
2012
Regularization of Bellman equations for infinite-horizon probabilistic properties. Zbl 1362.68186
Tkachev, Ilya; Abate, Alessandro
1
2012
Higher-order approximations for verification of stochastic hybrid systems. Zbl 1374.68280
Esmaeil Zadeh Soudjani, Sadegh; Abate, Alessandro
1
2012
Approximate abstractions of stochastic hybrid systems. Zbl 1368.93655
Abate, Alessandro; D’Innocenzo, Alessandro; Di Benedetto, Maria D.
5
2011
Quantitative automata model checking of autonomous stochastic hybrid systems. Zbl 1361.68130
Abate, Alessandro; Katoen, Joost-Pieter; Mereacre, Alexandru
4
2011
Approximate model checking of stochastic hybrid systems. Zbl 1216.93091
Abate, Alessandro; Katoen, Joost-Pieter; Lygeros, John; Prandini, Maria
11
2010
Probabilistic safety and optimal control for survival analysis of bacillus subtilis. Zbl 1188.49036
Abate, Alessandro; Lygeros, John; Sastry, Shankar S.
1
2010
Exponential stabilization of discrete-time switched linear systems. Zbl 1183.93118
Zhang, Wei; Abate, Alessandro; Hu, Jianghai; Vitus, Michael P.
24
2009
Box invariance in biologically-inspired dynamical systems. Zbl 1197.34088
Abate, Alessandro; Tiwari, Ashish; Sastry, Shankar
17
2009
On the value functions of the discrete-time switched LQR problem. Zbl 1367.93291
Zhang, Wei; Hu, Jianghai; Abate, Alessandro
16
2009
Understanding deadlock and livelock behaviors in hybrid control systems. Zbl 1166.93304
Abate, Alessandro; D’Innocenzo, Alessandro; di Benedetto, Maria Domenica; Sastry, Shankar
2
2009
Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems. Zbl 1152.93051
Abate, Alessandro; Prandini, Maria; Lygeros, John; Sastry, Shankar
38
2008
Approximation of general stochastic hybrid systems by switching diffusions with random hybrid jumps. Zbl 1144.93368
Abate, Alessandro; Prandini, Maria; Lygeros, John; Sastry, Shankar
3
2008
Markov set-chains as abstractions of stochastic hybrid systems. Zbl 1144.93367
Abate, Alessandro; D’Innocenzo, Alessandro; Di Benedetto, Maria D.; Sastry, Shankar S.
2
2008
Computational approaches to reachability analysis of stochastic hybrid systems. Zbl 1221.93030
Abate, Alessandro; Amin, Saurabh; Prandini, Maria; Lygeros, John; Sastry, Shankar
8
2007
Reachability analysis for controlled discrete time stochastic hybrid systems. Zbl 1178.93069
Amin, Saurabh; Abate, Alessandro; Prandini, Maria; Lygeros, John; Sastry, Shankar
8
2006
all top 5

Cited by 335 Authors

21 Abate, Alessandro
9 Zamani, Majid
7 Lygeros, John
6 Girard, Antoine
5 Shi, Ling
4 Dimarogonas, Dimos V.
4 Hu, Jianghai
4 Soudjani, Sadegh
4 Summers, Sean
4 Tiwari, Pankaj Kumar
4 Tkachev, Ilya
3 Belta, Calin
3 Boskos, Dimitris
3 Chattopadhyay, Joydev
3 Esmaeil Zadeh Soudjani, Sadegh
3 Gao, Yan
3 Ghosh, Indrajit
3 Hahn, Ernst Moritz
3 Hermanns, Holger
3 Kamgarpour, Maryam
3 Katoen, Joost-Pieter
3 Lavaei, Abolfazl
3 Prandini, Maria
3 Sastry, Shankar S.
3 Tomlin, Claire J.
3 Wu, Xiang
3 Zhang, Kanjian
3 Zhang, Wei
2 Adzkiya, Dieky
2 Anitescu, Mihai
2 Balakrishnan, S. N.
2 Bortolussi, Luca
2 De Schutter, Bart
2 Deaecto, Grace S.
2 Delahaye, Benoît
2 Duan, Chang
2 Fiacchini, Mirko
2 Haesaert, Sofie
2 Heydari, Ali Akbar
2 Jasso-Fuentes, Héctor
2 Jawaid, Syed Talha
2 Kwiatkowska, Marta Z.
2 Larsen, Kim Guldstrand
2 Legay, Axel
2 Majumdar, Rupak
2 Menaldi, Jose-Luis
2 Meyer, Pierre-Jean
2 Misra, Arvind Kumar
2 Pedersen, Mikkel Lykke
2 Prieto-Rumeau, Tomás
2 Quevedo, Daniel E.
2 Ren, Yuanhong
2 Samanta, Sudip K.
2 Shen, Jinglai
2 Shen, Mingxuan
2 Smith, Stephen L.
2 Sun, Changyin
2 Sun, Zhendong
2 Tao, Yuegang
2 Teel, Andrew Richard
2 Venturino, Ezio
2 Wang, Weiqun
2 Wąsowski, Andrzej
2 Wu, Fen
2 Wu, Junfeng
2 Xia, Zunquan
2 Xu, Wanting
2 Zhang, Lijun
2 Zhang, Xia
1 Abdul Aziz, Mohd Ismail
1 Ai, Zidong
1 Aksaray, Derya
1 Amin, Saurabh
1 Annunziato, Mario
1 Antoniotti, Marco
1 Antsaklis, Panos J.
1 Antunes, Duarte J.
1 Arcak, Murat
1 Asghar, Ahmad Bilal
1 Assellaou, Mohamed
1 Aydin Gol, Ebru
1 Babiarz, Artur
1 Baier, Christel
1 Balandat, Maximilian
1 Başar, Tamer
1 Bauso, Dario
1 Bekolle, David
1 Belabbas, Mohamed-Ali
1 Ben Sassi, Mohamed Amin
1 Bessa, Iury
1 Bian, Gaoang
1 Blanchini, Franco
1 Bokanowski, Olivier
1 Bona, Francesca
1 Borzì, Alfio
1 Bragagnolo, Marcos Cesar
1 Brim, Luboš
1 Brown, Timothy C.
1 Bulai, Iulia Martina
1 Bushnell, Linda G.
...and 235 more Authors
all top 5

Cited in 47 Serials

47 Automatica
15 Nonlinear Analysis. Hybrid Systems
12 Systems & Control Letters
5 SIAM Journal on Control and Optimization
5 Theoretical Computer Science
5 Discrete Event Dynamic Systems
4 Acta Informatica
4 Journal of the Franklin Institute
4 Mathematical Problems in Engineering
3 Bulletin of Mathematical Biology
3 Information and Computation
3 European Journal of Control
3 International Journal of Systems Science. Principles and Applications of Systems and Integration
2 International Journal of Control
2 Journal of Mathematical Biology
2 International Journal of Adaptive Control and Signal Processing
2 International Journal of Computer Mathematics
2 Formal Methods in System Design
2 The Journal of Logic and Algebraic Programming
2 Journal of Applied Mathematics
2 Advances in Difference Equations
1 International Journal of Systems Science
1 Journal of Mathematical Analysis and Applications
1 Applied Mathematics and Computation
1 Applied Mathematics and Optimization
1 Information Sciences
1 Journal of Computational and Applied Mathematics
1 Mathematics and Computers in Simulation
1 Statistics & Probability Letters
1 Journal of Automated Reasoning
1 Applied Mathematics Letters
1 Formal Aspects of Computing
1 MSCS. Mathematical Structures in Computer Science
1 Numerical Algorithms
1 International Journal of Robust and Nonlinear Control
1 SIAM Journal on Optimization
1 International Journal of Bifurcation and Chaos in Applied Sciences and Engineering
1 Journal of Mathematical Sciences (New York)
1 Discrete and Continuous Dynamical Systems
1 Nonlinear Dynamics
1 Vietnam Journal of Mathematics
1 Mathematical and Computer Modelling of Dynamical Systems
1 Journal of Biological Systems
1 Journal of Industrial and Management Optimization
1 Mathematical Modelling of Natural Phenomena
1 Journal of Theoretical Biology
1 Journal of Logical and Algebraic Methods in Programming

Citations by Year