Multipole analysis of IceCube data to search for dark matter accumulated in the Galactic halo
Aartsen
Sarkar, S
European Physical Journal C
volume C75
issue 1
20-20
(20 Jan 2015)
Multimessenger search for sources of gravitational waves and high-energy neutrinos: Initial results for LIGO-Virgo and IceCube
Aartsen
Sarkar, S
Physical Review D
volume D90
issue 10
102002-102002
(15 Nov 2014)
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)
Confinement of knotted polymers in a slit
Matthews, R
Louis, A
Yeomans, J
MOLECULAR PHYSICS
volume 109
issue 7-10
1289-1295
(30 Mar 2011)
http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=000208914600025&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=4fd6f7d59a501f9b8bac2be37914c43e
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)