Tiana J. Tsang Ung

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 2

Top Topics

Binary Matrices

Intelligent Systems

Rows And Columns

Top Venues

Des. Codes Cryptogr.

Publications

Johannes Åman Pohjola, Hira Taqdees Syeda, Miki Tanaka, Krishnan Winter, Tsun Wang Sau, Benjamin Nott, Tiana J. Tsang Ung, Craig McLaughlin, Remy Seassau, Magnus O. Myreen, Michael Norrish, Gernot Heiser
Pancake: Verified Systems Programming Made Sweeter. PLOS@SOSP (2023)
Rong Pan, R. Julian R. Abel, Yudhistira A. Bunjamin, Tao Feng, Tiana J. Tsang Ung, Xiaomiao Wang
Difference matrices with five rows over finite abelian groups. Des. Codes Cryptogr. 90 (2) (2022)