Toggle navigation
Caterina Urban
Home
Research
Publications
Talks
People
Teaching
Software
Contact
1
A Decision Tree Abstract Domain for Proving Conditional Termination
An Abstract Domain to Infer Ordinal-Valued Ranking Functions
The Abstract Domain of Segmented Ranking Functions
Formal Analysis of Facebook Connect Single Sign-On Authentication Protocol
<
×
Cite