Skip to content

Andrea Masini

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

11

Venues

6

Active years

1988–2023

Best venue rank

C

Where they publish

Papers

11 indexed papers, newest first.

YearVenueTitleAuthors
2023IGARSSVulcain: A Cubesat Mission for Monitoring Volcanoes and Active Thermal Areas.Maria Fabrizia Buongiorno, Michle Roberta Lavagna, Demetrio Labate, Stefan Vlad Tudor, Andrea Masini, Paola De Carlo, Vito Romaniello, Malvina Silvestri, Camille Pirat
2022IGARSSAutomatic Processing Chain for the Generation of Simplified Sar Images of Large Scenes.Maria Pia del Rosso, Andrea Masini, Andrea Bracci, Luigi Ridolfi, Ferdinando Cicci, Silvia Liberata Ullo
2015DEXAA Logical Framework for XML Reference Specification.Carlo Combi, Andrea Masini, Barbara Oliboni, Margherita Zorzi
2010IGARSSContribution of Cosmo/SkyMed data into PRIMI: A pilot project on marine oil pollution. results after one year of operations.Francesco Nirchio, Gianfranco Pandiscia, Giovanni Ruggieri, Rosalia Santoleri, Nadia Pinardi, Paolo Trivero, Chiara Castellani, Francesco Tataranni, Andrea Masini, Maria Adamo, R. Archetti, Walter Biamino, Francesco Bignami, Emanuele Bhm, Maria Borasi, Bruno Buongiorno Nardelli, Marco Cavagnero, F. Colao, Simone Colella, Giovanni Coppini, V. Debettio, Giacomo De Carolis, Marco De Dominicis, Vega Forneris, F. Fontebasso, A. Griffa, Roberto Iacono, E. Lombardi, Salvatore Marullo, G. Manzella, Alessandro Mercatini, E. Napolitano, Andrea Pisano, F. Reseghetti, R. Sorgente, M. Sprovieri, G. Terranova, Gianluca Volpe, E. Zambianchi
2009IGARSSCOSMO-SkyMed Contribution in Oil Spill Monitoring of the Mediterranean Sea.Francesco Nirchio, Gianfranco Pandiscia, Giovanni Ruggieri, Rosalia Santoleri, Francesco Tataranni, Consorzio Innova, Paolo Trivero, Nadia Pinardi, Andrea Masini, Chiara Castellani
2009LFCSA Labeled Natural Deduction System for a Fragment of CTL*.Andrea Masini, Luca Vigan, Marco Volpe
2007ICIAPSight enhancement through video fusion in a surveillance system.Andrea Masini, Francesco Branchitta, Marco Diani, Giovanni Corsini
2006IGARSSVideo Sequence Stabilization for Real-Time Remote Sensing Applications.Giovanni Corsini, Marco Diani, Andrea Masini
2006IGARSSEvaluation of Multispectral Image Fusion Methods in Real Time Monitoring Applications.Giovanni Corsini, Marco Diani, Andrea Masini
1996PDPTAParallelizing A Model Checker.Marco Danelutto, G. Di Caprio, Andrea Masini
1988CSLA temporal Logic Approach to Specify and to Prove Properties of Finite State Concurrent Systems.Marco Danelutto, Andrea Masini