Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
Michio Ogasawara
Krzysztof Pietrzak
Daniel P. Kennedy
Roland Zumkeller
Maximilian Dürr
Dan Graur
Liangliang Shang
Chen Ma
Barbara Aquilani
Ricky Grant
Home
/
Author
/
FERMÍN REIG
Author Info
Open Visualization
Name
Papers
Collaborators
FERMÍN REIG
3
5
Citations
PageRank
Referers
14
1.77
21
Referees
References
46
19
Publications (3 rows)
Collaborators (5 rows)
Referers (21 rows)
Referees (46 rows)
Title
Citations
PageRank
Year
A portable Virtual Machine target for Proof-Carrying Code
4
0.45
2005
Generic proofs for combinator-based generic programs.
9
0.95
2004
Annotations for Portable Intermediate Languages
1
0.37
2001
1