Foreword
Abramsky, S
Ghica, D
Annals of Pure and Applied Logic
volume 164
issue 11
1037
(01 Nov 2013)
Report on the first Workshop on Innovative Querying of Streams
Benedikt, M
Olteanu, D
SIGMOD RECORD
volume 42
issue 2
59-63
(2013)
https://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=elements_prod_1&SrcAuth=WosAPI&KeyUT=WOS:000321322500008&DestLinkType=FullRecord&DestApp=WOS_CPL
Protic ionic liquids as p-dopant for organic hole transporting materials and their application in high efficiency hybrid solar cells.
Abate, A
Hollman, D
Teuscher, J
Pathak, S
Avolio, R
D'Errico, G
Vitiello, G
Fantacci, S
Snaith, H
J Am Chem Soc
volume 135
issue 36
13538-13548
(11 Sep 2013)
https://www.ncbi.nlm.nih.gov/pubmed/23885856
Adaptive and Sequential Gridding Procedures for the Abstraction and Verification of Stochastic Processes
Soudjani, S
Abate, A
SIAM JOURNAL ON APPLIED DYNAMICAL SYSTEMS
volume 12
issue 2
921-956
(2013)
https://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=elements_prod_1&SrcAuth=WosAPI&KeyUT=WOS:000321040200012&DestLinkType=FullRecord&DestApp=WOS_CPL
On infinite-horizon probabilistic properties and stochastic bisimulation functions
Tkachev, I
Abate, A
Proceedings of the IEEE Conference on Decision and Control
526-531
(01 Jan 2011)
Discrete time stochastic hybrid dynamical games: Verification & controller synthesis
Kamgarpour, M
Ding, J
Summers, S
Abate, A
Lygeros, J
Tomlin, C
Proceedings of the IEEE Conference on Decision and Control
6122-6127
(01 Jan 2011)
On infinite horizon switched LQR problems with state and control constraints
Balandat, M
Zhang, W
Abate, A
Systems and Control Letters
volume 61
issue 4
464-471
(01 Apr 2012)
Regularization of bellman equations for infinite-horizon probabilistic properties
Tkachev, I
Abate, A
HSCC'12 - Proceedings of the 15th ACM International Conference on Hybrid Systems: Computation and Control
227-236
(10 May 2012)
Robust PCTL model checking
D'innocenzo, A
Abate, A
Katoen, J
HSCC'12 - Proceedings of the 15th ACM International Conference on Hybrid Systems: Computation and Control
275-285
(10 May 2012)
Probabilistic invariance of mixed deterministic-stochastic dynamical systems
Zadeh Soudjani, S
Abate, A
HSCC'12 - Proceedings of the 15th ACM International Conference on Hybrid Systems: Computation and Control
207-216
(10 May 2012)