( en | de | ru )

 

Disambiguation of "Rollini, Simone Fulvio"

Author of the publication

copydeleteadd this publication to your clipboard
Benchmark: Remaining Useful Life Predictor for Aircraft Equipment.

, and . AISoLA, volume 14380 of Lecture Notes in Computer Science, page 299-304. Springer, (2023)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Fulvio Melito

Fulvio Cristofoli

Fulvio Fonzi

Fulvio Massimo Borsani

Simone Altmann

Funktionelle Analyse von 13-Lipoxygenaseabgeleiteten Oxylipinen in der Pathogenabwehr von Solanum tuberosum L.. NA Halle-Wittenberg, (2009)
 

Other publications of authors with the same name

A Parametric Interpolation Framework for First-Order Theories., , and . MICAI (1), volume 8265 of Lecture Notes in Computer Science, page 24-40. Springer, (2013)Resolution Proof Transformation for Compression and Interpolation., , , and . CoRR, (2013)Assuring Learning-Enabled Increasingly Autonomous Systems*., , , , , , , and . SysCon, page 1-7. IEEE, (2023)Leveraging Interpolant Strength in Model Checking., , and . CAV, volume 7358 of Lecture Notes in Computer Science, page 193-209. Springer, (2012)Resolution proof transformation for compression and interpolation., , , and . Formal Methods Syst. Des., 45 (1): 1-41 (2014)Formal Verification of a Neural Network Based Prognostics System for Aircraft Equipment., , , and . AISoLA, volume 14380 of Lecture Notes in Computer Science, page 225-240. Springer, (2023)Benchmark: Object Detection for Maritime Search and Rescue., , , , and . AISoLA, volume 14380 of Lecture Notes in Computer Science, page 305-310. Springer, (2023)Benchmark: Remaining Useful Life Predictor for Aircraft Equipment., and . AISoLA, volume 14380 of Lecture Notes in Computer Science, page 299-304. Springer, (2023)Interpolation Properties and SAT-Based Model Checking., , and . ATVA, volume 8172 of Lecture Notes in Computer Science, page 255-271. Springer, (2013)On interpolants and variable assignments., , , and . FMCAD, page 123-130. IEEE, (2014)