Abstraction and verification of autonomous Max-Plus-Linear systems
 Adzkiya, D De Schutter, B Abate, A Proceedings of the American Control Conference 721-726 (01 Jan 2012)
Drop formation in non-planar microfluidic devices
 Rotem, A Abate, A Utada, A Van Steijn, V Weitz, D Lab on a Chip volume 12 issue 21 4263-4268 (07 Nov 2012)
Modeling and simulation of a microgrid as a stochastic hybrid system
 Strelec, M MacEk, K Abate, A IEEE PES Innovative Smart Grid Technologies Conference Europe (01 Dec 2012)
Stability and attractivity of absorbing sets for discrete-time Markov processes
 Tkachev, I Abate, A Proceedings of the IEEE Conference on Decision and Control 7652-7657 (01 Jan 2012)
Formula-free finite abstractions for linear temporal verification of stochastic hybrid systems
 Tkachev, I Abate, A HSCC 2013 - Proceedings of the 16th International Conference on Hybrid Systems: Computation and Control, Part of CPSWeek 2013 volume 1 283-292 (01 Dec 2012)
Design and analysis of a flow control scheme over wireless networks
 Abate, A Chen, M Wang, Y Zakhor, A Sastry, S International Journal of Robust and Nonlinear Control volume 23 issue 2 208-228 (25 Jan 2013)
Irreversible prey diapause as an optimal strategy of a physiologically extended Lotka-Volterra model
 Staňková, K Abate, A Sabelis, M Journal of Mathematical Biology volume 66 issue 4-5 767-794 (01 Mar 2013)
A mathematical model to study the dynamics of epithelial cellular networks.
 Abate, A Vincent, S Dobbe, R Silletti, A Master, N Axelrod, J Tomlin, C IEEE/ACM Trans Comput Biol Bioinform volume 9 issue 6 1607-1620 (2012) https://www.ncbi.nlm.nih.gov/pubmed/23221083
Bounded repairability of word languages
 Benedikt, M Puppis, G Riveros, C Journal of Computer and System Sciences volume 79 issue 8 1302-1321 (01 Jan 2013)
Subscribe to