Login / Signup
Elena Pagani
ORCID
Publication Activity (10 Years)
Years Active: 1993-2024
Publications (10 Years): 22
Top Topics
Model Checking
Data Distribution
Quantifier Elimination
Social Networks
Top Venues
CoRR
Pervasive Mob. Comput.
Comput. Commun.
SAC
</>
Publications
</>