Author Info
Name
Affiliation
Papers
AZALEA RAAD
Max Planck Institute for Software Systems
4
Collaborators
Citations 
PageRank 
5
7
1.51
Referers 
Referees 
References 
13
22
7
Title
Citations
PageRank
Year
Persistency semantics of the Intel-x86 architecture20.372020
Hyperstate Space Graphs for Automated Game Analysis20.422019
Weak persistency semantics from the ground up: formalising the persistency semantics of ARMv8 and transactional models20.372019
Effective lock handling in stateless model checking10.352019