Disruption of FLNB leads to skeletal malformation by interfering with skeletal segmentation through the HOX gene
Xu, Qiming, Cui, Lijia, Lin, Yude, Cui, Leigh-Anne, Xia, Weibo
Published in Bone Reports (01.03.2024)
Published in Bone Reports (01.03.2024)
Get full text
Journal Article
Compositional Symbolic Execution Using Fine-Grained Summaries
Yude Lin, Miller, Tim, Sondergaard, Harald
Published in 2015 24th Australasian Software Engineering Conference (01.09.2015)
Published in 2015 24th Australasian Software Engineering Conference (01.09.2015)
Get full text
Conference Proceeding
Journal Article
Influence of Indo-Pacific ocean currents on the distribution and demographic patterns of the brown seaweed Sargassum polycystum in tropical east Asia
Liang, Yanshuo, Zhang, Shuangshuang, Yan, Changxiang, Draisma, Stefano G. A., Kantachumpoo, Attachai, Li, Zhao, Lin, Yude, Zhu, Jiang, Zhang, Jie, Duan, Delin
Published in Frontiers in Marine Science (11.08.2022)
Published in Frontiers in Marine Science (11.08.2022)
Get full text
Journal Article
Fairness-aware shared relay assignment for cooperative communications
Hongli Xu, Liusheng Huang, Hou Deng, Chunming Qiao, Yude Lin
Published in 2014 IEEE International Conference on Communications (ICC) (01.06.2014)
Published in 2014 IEEE International Conference on Communications (ICC) (01.06.2014)
Get full text
Conference Proceeding
Compositional Symbolic Execution: Incremental Solving Revisited
Lin, Yude, Miller, Tim, Sondergaard, Harald
Published in 2016 23rd Asia-Pacific Software Engineering Conference (APSEC) (2016)
Published in 2016 23rd Asia-Pacific Software Engineering Conference (APSEC) (2016)
Get full text
Conference Proceeding