Login / Signup
Damiano Zanardini
ORCID
Publication Activity (10 Years)
Years Active: 2005-2024
Publications (10 Years): 7
Top Topics
Abstract Interpretation
Product Line
Graph Mining
Dense Subgraphs
Top Venues
J. Log. Algebraic Methods Program.
CoRR
ACM Trans. Comput. Log.
STAF Workshops
</>
Publications
</>