3 citations
Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.
- Istituto di Analisi dei Sistemi ed Informatica Antonio RubertiIT2 papers
- Ames Research CenterUS1 paper
- Ca' Foscari University of VeniceIT1 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
4 papers
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…
Polarization Rank: A Study on European News Consumption on Facebook
Ana Lucía Schmidt, Fabiana Zollo, Antonio Scala +1
The advent of WWW changed the way we can produce and access information. Recent studies showed that users tend to select information that is consistent with their system of beliefs…
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…
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…