I agree that this site is using cookies. You can find further informations here.
X
id_orcid:0 000-0001-7669-6348
2  results:
Search for persons X
?
1

Grove: a Separation-Logic Library for Verifying Distributed..:

Sharma, Upamanyu ; Jung, Ralf ; id_orcid:0 000-0001-7669-6348...
info:eu-repo/semantics/altIdentifier/doi/10.1145/3600006.3613172.  , 2023
Link: https://hdl.handle.net/2..
 
?
2

Verifying vMVCC, a high-performance transaction library usi..:

Chang, Yun-Sheng ; Jung, Ralf ; id_orcid:0 000-0001-7669-6348...
info:eu-repo/semantics/altIdentifier/isbn/978-1-939133-34-2.  , 2023
Link: https://hdl.handle.net/2..
 
1-2