566 citations
- T. Lister2 profiles27 · h 44
- R. Street3 profiles26 · h 45
- C. Haswell2 profiles21 · h 45
- A. Norton2 profiles20 · h 35
- D. Pollacco3 profiles19 · h 65
- K. Horne3 profiles19 · h 73
- C. Hellier3 profiles18 · h 56
- B. Enoch2 profiles17 · h 29
- G. White3 profiles17 · h 58
- P. Wheatley17 · h 55
- S. Serjeant2 profiles17 · h 64
- D. Wilson16 · h 19
- University of LeicesterGB29 papers
- University of St AndrewsGB24 papers
- Centre National de la Recherche ScientifiqueFR23 papers
- University of HertfordshireGB23 papers
- University of WarwickGB22 papers
- Rutherford Appleton LaboratoryGB21 papers
- University of CambridgeGB21 papers
- California Institute of TechnologyUS19 papers
- Keele UniversityGB19 papers
- Queen's University BelfastGB19 papers
- Isaac Newton GroupES17 papers
- Las Cumbres Observatory Global Telescope NetworkUS17 papers
10 papers · 1 filter
Measurement requirements for a near-Earth asteroid impact mitigation demonstration mission
Stephen D. Wolters, Andrew J. Ball, Nigel Wells +2
A concept for an Impact Mitigation Preparation Mission, called Don Quijote, is to send two spacecraft to a Near-Earth Asteroid (NEA): an Orbiter and an Impactor. The Impactor colli…
Extracting and Verifying Cryptographic Models from C Protocol Code by Symbolic Execution
Mihhail Aizatulin, Andrew D. Gordon, Jan Jürjens
Consider the problem of verifying security properties of a cryptographic protocol coded in C. We propose an automatic solution that needs neither a pre-existing protocol descriptio…
The shocking transit of WASP-12b: Modelling the observed early ingress in the near ultraviolet
J. Llama, K. Wood, M. Jardine +4
Near ultraviolet observations of WASP-12b have revealed an early ingress compared to the optical transit lightcurve. This has been interpreted as due to the presence of a magnetosp…
Physical conditions of the interstellar medium of high-redshift, strongly lensed submillimetre galaxies from the Herschel-ATLAS
Ivan Valtchanov, J. Virdee, R. J. Ivison +51
We present Herschel-SPIRE Fourier Transform Spectrometer (FTS) and radio follow-up observations of two Herschel-ATLAS (H-ATLAS) detected strongly lensed distant galaxies. In one of…
Orthogonal simple component analysis: A new, exploratory approach
Karim Anaya-Izquierdo, Frank Critchley, Karen Vines
Combining principles with pragmatism, a new approach and accompanying algorithm are presented to a longstanding problem in applied statistics: the interpretation of principal compo…
Observational detection of eclipses of J5 Amalthea by the Galilean satellites
A. A. Christou, F. Lewis, P. Roche +2
We carried out observations of the small jovian satellite Amalthea (J5) as it was being eclipsed by the Galilean satellites near the 2009 equinox of Jupiter in order to apply the t…