3 citations
- Istituto di Analisi dei Sistemi ed Informatica Antonio RubertiIT2 papers
- Ames Research CenterUS1 paper
- Geological Survey of IndiaIN1 paper
- Institute for Complex SystemsIT1 paper
- Institute for Experimental Endocrinology and OncologyIT1 paper
- Institute for Research on Innovation and Services for DevelopmentIT1 paper
- International Research School of Planetary SciencesIT1 paper
- Istituto Superiore per la Protezione e la Ricerca AmbientaleIT1 paper
- Sapienza University of RomeIT1 paper
- University of Chieti-PescaraIT1 paper
- University of Rome Tor VergataIT1 paper
3 papers
physics.soc-ph2025★ 2 cited
When to Boost: How Dose Timing Determines the Epidemic Threshold
Alessandro Celestini, Francesca Colaiori, Stefano Guarino +3
Most vaccines require multiple doses, the first to induce recognition and antibody production and subsequent doses to boost the primary response and achieve optimal protection. We…
cs.LO2016
Removing Unnecessary Variables from Horn Clause Verification Conditions
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi +1
Verification conditions (VCs) are logical formulas whose satisfiability guarantees program correctness. We consider VCs in the form of constrained Horn clauses (CHC) which are auto…
cs.LO2014★ 3 cited
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…