Markov Set-Chains as Abstractions of Stochastic Hybrid Systems
Abate, A
D’Innocenzo, A
Di Benedetto, M
Sastry, S
Lecture Notes in Computer Science
volume 4981
1-15
(2008)
Understanding deadlock and livelock behaviors in Hybrid Control Systems
Abate, A
D’Innocenzo, A
Di Benedetto, M
Sastry, S
Nonlinear Analysis Hybrid Systems
volume 3
issue 2
150-162
(May 2009)
Quantitative and Probabilistic Modeling in Pathway Logic
Abate, A
Bai, Y
Sznajder, N
Talcott, C
Tiwari, A
922-929
(01 Oct 2007)
Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
Abate, A
Prandini, M
Lygeros, J
Sastry, S
Automatica
volume 44
issue 11
2724-2734
(01 Nov 2008)
The Concept of Deadlock and Livelock in Hybrid Control Systems
Abate, A
D’Innocenzo, A
Pola, G
Di Benedetto, M
Sastry, S
Lecture Notes in Computer Science
volume 4416
628-632
(2007)
Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems
Abate, A
Amin, S
Prandini, M
Lygeros, J
Sastry, S
Lecture Notes in Computer Science
volume 4416
4-17
(2007)
Response to ‘Support vector machines versus artificial neural network: Who is the winner?’
Abate, A
Dal Moro, F
Lanckriet, G
Kidney International
volume 71
issue 1
84-85
(Jan 2007)
Cell packing influences planar cell polarity signaling
Ma, D
Amonlirdviman, K
Raffard, R
Abate, A
Tomlin, C
Axelrod, J
Proceedings of the National Academy of Sciences of the United States of America
volume 105
issue 48
18800-18805
(02 Dec 2008)
Do Weather Conditions Influence the Onset of Renal Colic? A Novel Approach to Analysis
Boscolo-Berto, R
Dal Moro, F
Abate, A
Arandjelovic, G
Tosato, F
Bassi, P
Urologia Internationalis
volume 80
issue 1
19-25
(18 Jan 2008)
Observation of Complex Bound States in the Spin-1/2 Heisenberg <i>XXZ</i> Chain Using Local Quantum Quenches
Ganahl, M
Rabel, E
Essler, F
Evertz, H
PHYSICAL REVIEW LETTERS
volume 108
issue 7
(2012)
https://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=elements_prod_1&SrcAuth=WosAPI&KeyUT=WOS:000300424200017&DestLinkType=FullRecord&DestApp=WOS_CPL