Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Ryohei Ikeno
Jinxin Wang
Claudia Calabrese
Hao Mao
Ashwini Kumar Badal
Peter Malec
Giovanni Venturelli
Chen Ma
Radu Timofte
Kuanrui Yin
Home
/
Author
/
MARTIN BODIN
Author Info
Open Visualization
Name
Affiliation
Papers
MARTIN BODIN
Inria & ENS Lyon, Rennes, France
9
Collaborators
Citations
PageRank
18
47
4.28
Referers
Referees
References
128
212
119
Search Limit
100
212
Publications (9 rows)
Collaborators (18 rows)
Referers (100 rows)
Referees (100 rows)
Title
Citations
PageRank
Year
Two Mechanisations of WebAssembly 1.0
0
0.34
2021
Skeletal Semantics and their Interpretations.
0
0.34
2019
A trustworthy mechanized formalization of R.
0
0.34
2018
Certified Abstract Interpretation with Pretty-Big-Step Semantics
3
0.40
2015
Pretty-big-step-semantics-based Certified Abstract Interpretation.
0
0.34
2014
A trusted mechanised JavaScript specification
30
1.15
2014
Circular coinduction in coq using bisimulation-up-to techniques
9
0.62
2013
Pretty-Big-Step-Semantics-Based Certified Abstract Interpretation (Preliminary Version)
1
0.35
2013
Modular abstractions of reactive nodes using disjunctive invariants
4
0.42
2011
1