The Gaia-ESO Survey: processing FLAMES-UVES spectra⋆
 Sacco, G Morbidelli, L Franciosini, E Maiorca, E Randich, S Modigliani, A Gilmore, G Asplund, M Binney, J Bonifacio, P Drew, J Feltzing, S Ferguson, A Jeffries, R Micela, G Negueruela, I Prusti, T Rix, H Vallenari, A Alfaro, E Prieto, C Babusiaux, C Bensby, T Blomme, R Bragaglia, A Flaccomio, E Francois, P Hambly, N Irwin, M Koposov, S Korn, A Lanzafame, A Pancino, E Recio-Blanco, A Smiljanic, R Van Eck, S Walton, N Bergemann, M Costado, M de Laverny, P Heiter, U Hill, V Hourihane, A Jackson, R Jofre, P Lewis, J Lind, K Lardo, C Magrini, L Masseron, T Prisinzano, L Worley, C Astronomy & Astrophysics volume 565 a113 (20 May 2014)
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)
Subscribe to