Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Claudia Calabrese
Hao Mao
Peter Malec
Chao Hung Yu
Leifert, S.
Tejeswini Sundaram
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Author
/
CATERINA URBAN
Author Info
Open Visualization
Name
Affiliation
Papers
CATERINA URBAN
ENS, CNRS, INRIA, Paris, France
12
Collaborators
Citations
PageRank
13
79
5.39
Referers
Referees
References
125
292
258
Search Limit
100
292
Publications (12 rows)
Collaborators (13 rows)
Referers (100 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
An Abstract Interpretation Framework for Input Data Usage.
2
0.36
2018
Abstract Interpretation of CTL Properties.
0
0.34
2018
Maxsmt-Based Type Inference For Python 3
0
0.34
2018
Permission Inference For Array Programs
2
0.38
2018
Precise Widening Operators For Proving Termination By Abstract Interpretation
2
0.36
2017
Inference of ranking functions for proving temporal properties by abstract interpretation
3
0.37
2017
Synthesizing Ranking Functions from Bits and Pieces.
13
0.49
2016
Proving Guarantee And Recurrence Temporal Properties By Abstract Interpretation
5
0.42
2015
Abstract Interpretation as Automated Deduction
3
0.40
2015
A Decision Tree Abstract Domain for Proving Conditional Termination.
21
0.72
2014
An Abstract Domain to Infer Ordinal-Valued Ranking Functions.
18
0.69
2014
The Abstract Domain of Segmented Ranking Functions.
10
0.53
2013
1