Author Info
Name
Affiliation
Papers
JEAN PICHON-PHARABOD
Aarhus Univ, Aarhus, Denmark
2
Collaborators
Citations 
PageRank 
11
1
0.69
Referers 
Referees 
References 
3
0
0
Title
Citations
PageRank
Year
Islaris: Verification of Machine Code Against Authoritative ISA Semantics00.342022
Relaxed virtual memory in Armv8-A10.352021