Caterina Urban

Identifiers

• name variant Caterina Urban 0.60 · backfill

Papers (3)

1. A proof-theoretic approach to abstract interpretation cs.LO · 2026 · author #4
2. Faster Verified Explanations for Neural Networks cs.LG · 2025 · author #3
3. Permission Inference for Array Programs cs.PL · 2018 · author #3

Mentions

• 2605.26591 #4 · arxiv_oai · confidence 0.70 Caterina Urban

Frequent Coauthors

• Alessandra Palmigiano 1 shared papers
• Alessandro De Palma 1 shared papers
• Alexander J. Summers 1 shared papers
• Apostolos Tzimoulis 1 shared papers
• Greta Dolcetti 1 shared papers
• J\'er\^ome Dohrau 1 shared papers
• Peter M\"uller 1 shared papers
• Severin M\"unger 1 shared papers
• Vijay D'Silva 1 shared papers