Contextual Semantics: From Quantum Mechanics to Logic, Databases, Constraints, and Complexity
 Abramsky, S 23-50 (24 Jan 2016)
Probabilistic Model Checking of Labelled Markov Processes via Finite Approximate Bisimulations
 Abate, A Kwiatkowska, M Norman, G Parker, D Lecture Notes in Computer Science volume 8464 40-58 (2014)
A control Lyapunov function approach for the computation of the infinite-horizon stochastic reach-avoid problem
 Tkachey, I Abate, A 3211-3216 (01 Dec 2013)
Bisimilar finite abstractions of stochastic control systems
 Zamani, M Esfahani, P Majumdar, R Abate, A Lygeros, J 3926-3931 (01 Dec 2013)
Constraining the Galaxy's dark halo with RAVE stars
 Piffl, T Binney, J McMillan, P Steinmetz, M Helmi, A Wyse, R Bienaymé, O Bland-Hawthorn, J Freeman, K Gibson, B Gilmore, G Grebel, E Kordopatis, G Navarro, J Parker, Q Reid, W Seabroke, G Siebert, A Watson, F Zwitter, T Monthly Notices of the Royal Astronomical Society volume 445 issue 3 3133-3151 (11 Dec 2014)
Sequential Monte Carlo Tracking Schemes for Maneuvering Targets with Passive Ranging
 Malcolm, W Doucet, A Zollo, S volume 1 482-488 (01 Jan 2002)
Preface
 Yoshida, R Ueno, G Doucet, A Annals of the Institute of Statistical Mathematics volume 66 issue 3 441-442 (16 Jun 2014)
Subscribe to