4 citations · 9 across the 3 of their papers we have counts for
3 papers
cs.LO2014★ 3 cited
Constructing Coverability Graphs for Time Basic Petri Nets
Matteo Camilli
Time-Basic Petri nets, is a powerful formalism for modeling real-time systems where time constraints are expressed through time functions of marking's time description associated w…
cs.LO2014★ 2 cited
Verification of Reachability Problems for Time Basic Petri Nets
Matteo Camilli
Time-Basic Petri nets, is a powerful formalism for model- ing real-time systems where time constraints are expressed through time functions of marking's time description associated…
cs.SI2012★ 4 cited
Preserving Co-Location Privacy in Geo-Social Networks
Matteo Camilli
The number of people on social networks has grown exponentially. Users share very large volumes of personal informations and content every days. This content could be tagged with g…