Trust Signal Map
Public graph snapshot linking moderation, structured review and trust-aware ranking.
Graph explorer
Research map
Explore the papers, people and topics connected to your research.
Drag to move · Scroll or pinch to zoom · Select a node for details
3 links
Damiano Zanardini
Researcher
PaperInference of Field-Sensitive Reachability and CyclicityAuthorship / preprint / 2014PaperReachability-based Acyclicity Analysis by Abstract InterpretationAuthorship / preprint / 2013PaperAbstract Program Slicing: an Abstract Interpretation-based approach to Program SlicingAuthorship / preprint / 2016