arrow
Back
T

Ting Li

guangxi university

7H-index
15Paper Count
122Citation Count
Published Papers 5
Publication Date
Automatic assertion generation with LLM for ICS program verification
err2025-10-16
err0
PREAI
errKai Yang; Fugao Li; Ting Li; Yingjun Zhang; Limin Sun
errShare
errSave
errShare
errSave
Obesity and frontal-striatal brain structures in offspring of individuals with bipolar disorder: Results from the global mood and brain science initiative
err2017-09-25
err14
PREAI
errMansur, Rodrigo B.; McIntyre, Roger S.; Cao, Bo; Lee, Yena; Japiassu, Leticia; Chen, Kun; Lu, Rui; Lu, Weicong; Chen, Xiaodong; Li, Ting; Xu, Guiyun; Lin, Kangguang
errShare
errSave
Aging and cancer mortality: Dynamics of change and sex differences
err2012-09-01
err17
errOAAI
errYang, Yang; Li, Ting; Nielsen, Matthew E.
errShare
errSave