85 citations · 118 across the 5 of their papers we have counts for
5 papers
PLIERS: a Popularity-Based Recommender System for Content Dissemination in Online Social Networks
Valerio Arnaboldi, Mattia Giovanni Campana, Franca Delmastro +1
In this paper, we propose a novel tag-based recommender system called PLIERS, which relies on the assumption that users are mainly interested in items and tags with similar popular…
A Personalized Recommender System for Pervasive Social Networks
Valerio Arnaboldi, Mattia G. Campana, Franca Delmastro +1
The current availability of interconnected portable devices, and the advent of the Web 2.0, raise the problem of supporting anywhere and anytime access to a huge amount of content,…
From MANET to people-centric networking: milestones and open research challenges
Marco Conti, Chiara Boldrini, Salil S. Kanhere +4
In this paper we discuss the state of the art of (mobile) multi-hop ad hoc networking with the aim to present the current status of the research activities and identify the consoli…
Counter Simulations via Higher Order Quantifier Elimination: a preliminary report
Silvio Ghilardi, Elena Pagani
Quite often, verification tasks for distributed systems are accomplished via counter abstractions. Such abstractions can sometimes be justified via simulations and bisimulations. I…
Counting Constraints in Flat Array Fragments
Francesco Alberti, Silvio Ghilardi, Elena Pagani
We identify a fragment of Presburger arithmetic enriched with free function symbols and cardinality constraints for interpreted sets, which is amenable to automated analysis. We es…