Name
Playground
About
FAQ
GitHub
Playground
Shortest Path Finder
Community Detector
Connected Papers
Author Trending
No Ik Park
Daniel P. Kennedy
Dan Graur
Barbara Aquilani
James Fan
Bas A. de Leng
Maximilian Dürr
Jhonathan Pinzon
Liangliang Shang
Chen Ma
Home
/
Author
/
GEORGES-AXEL JALOYAN
Author Info
Open Visualization
Name
Papers
Collaborators
GEORGES-AXEL JALOYAN
4
10
Citations
PageRank
Referers
1
1.41
3
Referees
References
15
6
Publications (4 rows)
Collaborators (10 rows)
Referers (3 rows)
Referees (15 rows)
Title
Citations
PageRank
Year
Return-Oriented Programming on RISC-V.
0
0.34
2020
Verification of Programs with Pointers in SPARK.
0
0.34
2020
Borrowing Safe Pointers from Rust in SPARK.
1
0.40
2018
Safe Pointers in SPARK 2014.
0
0.34
2017
1