Luca Spalazzi

Identifiers

• name variant Luca Spalazzi 0.60 · backfill

Papers (2)

1. Parametric and Probabilistic Model Checking of Confidentiality in Data Dispersal Algorithms (Extended Version) cs.CR · 2016 · author #4
2. Parameterized Model-Checking for Timed-Systems with Conjunctive Guards (Extended Version) cs.LO · 2014 · author #1

Mentions

• 1407.7305 #1 · backfill · confidence 0.70 Luca Spalazzi

Frequent Coauthors

• Francesco Spegni 2 shared papers
• Alessandro Cucchiarelli 1 shared papers
• Linda Senigagliesi 1 shared papers
• Marco Baldi 1 shared papers