24 citations · 57 across the 9 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.PL2019★ 5 cited
A Formal Approach to the Engineering of Domain-Specific Distributed Systems
Rocco De Nicola, Gianluigi Ferrari, Rosario Pugliese +1
We review some results regarding specification, programming and verification of different classes of distributed systems which stemmed from the research of the Concurrency and Mobi…
cs.SI2019
Do you really follow them? Automatic detection of credulous Twitter users
Alessandro Balestrucci, Rocco De Nicola, Marinella Petrocchi +1
Online Social Media represent a pervasive source of information able to reach a huge audience. Sadly, recent studies show how online social bots (automated, often malicious account…