by Lin, Shaokai, Wang, Kai, Zhan, Xiaohai, Lu, Cuiying, Lin, Zaisheng
Published in Huan jing yu zhi ye yi xue = Journal of environmental & occupational medicine (25.11.2022)

by Lee, Edward A., Bateni, Soroush, Lin, Shaokai, Lohstroh, Marten, Menard, Christian
Published in Intelligent computing (01.01.2023)

by Lin, Shaokai, Tanneberger, Tassilo, Bi, Jiahong, Feng, Guangyu, Xu, Yimo, Robledo, Julian, Khasanov, Robert, Castrillon, Jeronimo
Published in IEEE embedded systems letters (01.10.2024)

by Sun, Xinyuan, Lin, Shaokai, Sjöberg, Vilhelm, Jie, Jay
Published in Financial Cryptography and Data Security. FC 2021 International Workshops

by Midolo, Peter D, Dakic, Bilijana, Nicholson, Lesley, Lambert, John R, Lin, Shaokai, Russell, Edward G
Published in Journal of gastroenterology and hepatology (01.03.2000)

by Bateni, Soroush, Lohstroh, Marten, Wong, Hou Seng, Kim, Hokeun, Lin, Shaokai, Menard, Christian, Lee, Edward A.
Published in 2023 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design (MEMOCODE) (21.09.2023)

by Donovan, Peter, Jellum, Erling, Jun, Byeonggil, Kim, Hokeun, Lee, Edward A, Lin, Shaokai, Lohstroh, Marten, Rengarajan, Anirudh
Year of Publication 20.05.2024

by Lin, Shaokai, Wang, Zichuan, Horesh, Lior
Year of Publication 17.10.2019

by Lee, Edward A, Akella, Ravi, Bateni, Soroush, Lin, Shaokai, Lohstroh, Marten, Menard, Christian
Year of Publication 21.01.2023

by LIN SHAOKAI
Year of Publication 01.02.2022

by Lin, Shaokai, Sun, Xinyuan, Yao, Jianan, Gu, Ronghui
Year of Publication 03.03.2021

by LIN SHAOKAI
Year of Publication 21.12.2021

by Lin, Shaokai, Jellum, Erling, Theile, Mirco, Tanneberger, Tassilo, Sun, Binqi, Jerad, Chadlia, Xu, Ruomu, Feng, Guangyu, Menard, Christian, Lohstroh, Marten, Castrillon, Jeronimo, Seshia, Sanjit, Lee, Edward
Year of Publication 10.06.2024

by Deantoni, Julien, Cambeiro, Joao, Bateni, Soroush, Lin, Shaokai, Lohstroh, Marten
Published in 2021 Forum on specification & Design Languages (FDL) (08.09.2021)

by Polgreen, Elizabeth, Cheang, Kevin, Gaddamadugu, Pranav, Godbole, Adwait, Laeufer, Kevin, Lin, Shaokai, Manerkar, Yatin A, Mora, Federico, Seshia, Sanjit A
Year of Publication 07.08.2022

by Lee, Edward A, Bateni, Soroush, Lin, Shaokai, Lohstroh, Marten, Menard, Christian
Year of Publication 16.09.2021

by Bateni, Soroush, Lohstroh, Marten, Wong, Hou Seng, Tabish, Rohan, Kim, Hokeun, Lin, Shaokai, Menard, Christian, Liu, Cong, Lee, Edward A
Year of Publication 19.07.2022

by Menard, Christian, Lohstroh, Marten, Bateni, Soroush, Chorlian, Matthew, Deng, Arthur, Donovan, Peter, Fournier, Clément, Lin, Shaokai, Suchert, Felix, Tanneberger, Tassilo, Kim, Hokeun, Castrillon, Jeronimo, Lee, Edward A
Year of Publication 06.01.2023

by LIN SHAOKAI
Year of Publication 01.02.2019

by Donovan, Peter, Jellum, Erling, Byeonggil Jun, Kim, Hokeun, Lee, Edward A, Lin, Shaokai, Lohstroh, Marten, Rengarajan, Anirudh
Published in arXiv.org (20.05.2024)