534 citations
- Institute for Space Astrophysics and PlanetologyIT3 papers
- National Institute for AstrophysicsIT3 papers
- Osservatorio Astronomico di PadovaIT3 papers
- Constructor UniversityDE2 papers
- Istituto di Radioastronomia di BolognaIT2 papers
- Istituto Nazionale di Geofisica e VulcanologiaIT2 papers
- Sapienza University of RomeIT2 papers
- University of Chieti-PescaraIT2 papers
- University of PaduaIT2 papers
- Agenzia Spaziale ItalianaIT1 paper
- Ames Research CenterUS1 paper
- Arca Progetti (Italy)IT1 paper
6 papers
Ryugu's observed volatile loss did not arise from impact heating alone
Kosuke Kurosawa, Ryota Moriwaki, Hikaru Yabuta +3
Carbonaceous asteroids, including Ryugu and Bennu, which have been explored by the Hayabusa2 and OSIRIS-REx missions, were probably important carriers of volatiles to the inner Sol…
Lunar Gravitational-Wave Antenna
Jan Harms, Filippo Ambrosino, Lorella Angelini +51
Monitoring of vibrational eigenmodes of an elastic body excited by gravitational waves was one of the first concepts proposed for the detection of gravitational waves. At laborator…
Radar evidence of subglacial liquid water on Mars
R. Orosei, S. E. Lauro, E. Pettinelli +19
The presence of liquid water at the base of the Martian polar caps has long been suspected but not observed. We surveyed the Planum Australe region using the Mars Advanced Radar fo…
Fluids mobilization in Arabia Terra, Mars: depth of pressurized reservoir from mounds self-similar clustering
Riccardo Pozzobon, Francesco Mazzarini, Matteo Massironi +4
Arabia Terra is a region of Mars where signs of past-water occurrence are recorded in several landforms. Broad and local scale geomorphological, compositional and hydrological anal…
Radar sounding of Lucus Planum, Mars, by MARSIS
Roberto Orosei, Angelo Pio Rossi, Federico Cantini +6
Lucus Planum, extending for a radius of approximately 500 km around 181° E, 5° S, is part of the Medusae Fossae Formation (MFF), a set of several discontinuous deposits of fine-gra…
Verification of Programs by Combining Iterated Specialization with Interpolation
Emanuele De Angelis, Fabio Fioravanti, Jorge A. Navas +1
We present a verification technique for program safety that combines Iterated Specialization and Interpolating Horn Clause Solving. Our new method composes together these two techn…