Salvatore Larosa

According to our database1, Salvatore Larosa authored at least 15 papers between 1994 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
A Cloud Detection Neural Network Approach for the Next Generation Microwave Sounder Aboard EPS MetOp-SG A1.
Remote. Sens., April, 2023

2020
3D-VAR Data Assimilation of SEVIRI Radiances for the Prediction of Solar Irradiance in Italy Using WRF Solar Mesoscale Model - Preliminary Results.
Remote. Sens., 2020

Convective Initiation Proxies for Nowcasting Precipitation Severity Using the MSG-SEVIRI Rapid Scan.
Remote. Sens., 2020

2019
Improvement of Hourly Surface Solar Irradiance Estimation Using MSG Rapid Scanning Service.
Remote. Sens., 2019

Final Sediment Outcome from Meteorological Flood Events: A Multi-modelling Approach.
Proceedings of the Numerical Computations: Theory and Algorithms, 2019

2018
Improvement in Surface Solar Irradiance Estimation Using HRV/MSG Data.
Remote. Sens., 2018

Analysis of Livorno Heavy Rainfall Event: Examples of Satellite-Based Observation Techniques in Support of Numerical Weather Prediction.
Remote. Sens., 2018

MiRTaW: An Algorithm for Atmospheric Temperature and Water Vapor Profile Estimation from ATMS Measurements Using a Random Forests Technique.
Remote. Sens., 2018

Fog Detection Based on Meteosat Second Generation-Spinning Enhanced Visible and InfraRed Imager High Resolution Visible Channel.
Remote. Sens., 2018

Nowcasting Surface Solar Irradiance with AMESIS via Motion Vector Fields of MSG-SEVIRI Data.
Remote. Sens., 2018

Downscaling of Satellite OPEMW Surface Rain Intensity Data.
Remote. Sens., 2018

1998
A Formal Verification Environment for Railway Signaling System Design.
Formal Methods Syst. Des., 1998

1995
An Experience in Formal Verification of Safety Properties of a Railway Signalling Control System.
Proceedings of the 14th International Conference on Computer Safety, 1995

Verifying hardware components within JACK.
Proceedings of the Correct Hardware Design and Verification Methods, 1995

1994
JACK: Just Another Concurrency Kit. The intergration Projekt.
Bull. EATCS, 1994


  Loading...