85 citations · 87 across the 2 of their papers we have counts for
2 papers
cs.NI2021★ 85 cited
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…
cs.LO2017★ 2 cited
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…