Carlo Bellettini

Identifiers

• name variant Carlo Bellettini 0.60 · backfill

Papers (3)

1. Distributed CTL Model Checking in the Cloud cs.SE · 2013 · author #1
2. State Space Exploration of RT Systems in the Cloud cs.SE · 2012 · author #1
3. Reachability Analysis of Time Basic Petri Nets: a Time Coverage Approach cs.SE · 2011 · author #1

Mentions

• 1310.6670 #1 · backfill · confidence 0.70 Carlo Bellettini
• 1203.6806 #1 · backfill · confidence 0.70 Carlo Bellettini
• 1107.1166 #1 · backfill · confidence 0.70 Carlo Bellettini

Frequent Coauthors

• Lorenzo Capra 3 shared papers
• Matteo Camilli 2 shared papers
• Mattia Monga 2 shared papers