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
8 links
Francesco Ranzato
Researcher
PaperFair Training of Decision Tree ClassifiersAuthorship / preprint / 2021PaperDecidability and Synthesis of Abstract Inductive InvariantsAuthorship / preprint / 2020PaperAn Efficient Simulation Algorithm on Kripke StructuresAuthorship / preprint / 2013PaperAbstract Interpretation of Supermodular GamesAuthorship / preprint / 2015PaperLocal Completeness Logic on Kleene Algebra with TestsAuthorship / preprint / 2022PaperComplete Abstractions for Checking Language InclusionAuthorship / preprint / 2021PaperCorrectness Kernels of Abstract InterpretationsAuthorship / preprint / 2013PaperAn Abstract Interpretation-based Model of Tracing Just-In-Time CompilationAuthorship / preprint / 2015