Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Tiana Tsang Ung
3  Ergebnisse:
Personensuche X
?
1

Pancake : Verified Systems Programming Made Sweeter:

, In: Proceedings of the 12th Workshop on Programming Languages and Operating Systems,
Pohjola, Johannes Åman ; Syeda, Hira Taqdees ; Tanaka, Miki... - p. 1-9 , 2023
Link: https://dl.acm.org/doi/1..
 
?
2

Difference matrices with five rows over finite abelian grou..:

Pan, Rong ; Abel, R. Julian R. ; Bunjamin, Yudhistira A....
Designs, Codes and Cryptography.  90 (2022)  2 - p. 367-386 , 2022
Link: https://doi.org/10.1007/..
 
?
3

PACE Challenge 2021 Solver Description, from the Random Sam..:

Angus Ritossa ; Paula Tennent ; Tiana Tsang Ung.
doi:10.5281/zenodo.4946083.  , 2021
Link: https://zenodo.org/recor..
 
1-3