Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Claudia Calabrese
Hao Mao
Peter Malec
S. Noushath
Loredana Cristaldi
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Markus Wittmann
Home
/
Author
/
THOMAS JENSEN
Author Info
Open Visualization
Name
Affiliation
Papers
THOMAS JENSEN
INRIA, Le Chesnay, France
4
Collaborators
Citations
PageRank
6
1
1.36
Referers
Referees
References
4
74
33
Publications (4 rows)
Collaborators (6 rows)
Referers (4 rows)
Referees (74 rows)
Title
Citations
PageRank
Year
Regular language type inference with term rewriting
0
0.34
2020
Stable relations and abstract interpretation of higher-order programs
0
0.34
2020
Skeletal Semantics and their Interpretations.
0
0.34
2019
Pretty-Big-Step-Semantics-Based Certified Abstract Interpretation (Preliminary Version)
1
0.35
2013
1