Matteo Camilli

Identifiers

• name variant Matteo Camilli 0.60 · backfill

Papers (4)

1. Verification of Reachability Problems for Time Basic Petri Nets cs.LO · 2014 · author #1
2. Distributed CTL Model Checking in the Cloud cs.SE · 2013 · author #2
3. State Space Exploration of RT Systems in the Cloud cs.SE · 2012 · author #2
4. Preserving Co-Location Privacy in Geo-Social Networks cs.SI · 2012 · author #1

Mentions

• 1310.6670 #2 · backfill · confidence 0.70 Matteo Camilli
• 1203.6806 #2 · backfill · confidence 0.70 Matteo Camilli
• 1203.3946 #1 · backfill · confidence 0.70 Matteo Camilli

Frequent Coauthors

• Carlo Bellettini 2 shared papers
• Lorenzo Capra 2 shared papers
• Mattia Monga 2 shared papers