Concepedia

Yilong Li

YL

13

Publications

281

Citations

11

H-Index

2016

Active since

Affiliations

University of Leicester(Current)

Queen Mary University of London

Communication University of Zhejiang

Hunan Agricultural University

Runtime Verification (United States)

Yilong Li is an author at University of Leicester specializing in engineering, formal methods, and program analysis.

Top concepts

EngineeringMedicineSemanticsVerificationFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingSoftware Analysis

Publications per year

2016–2025

13

Publications

13

Semantics-based program verifiers for all languages

Andrei Ștefănescu, Daejun Park, Shijiao Yuwen et al. · 2016 · 74 citations

Program Checking, Engineering, Verification +20

Insight into the chemical compositions of Anhua dark teas derived from identical tea materials: A multi-omics, electronic sensory, and microbial sequencing analysis

Xiangxiang Huang, Yilong Li, Fang Zhou et al. · Food Chemistry · 2024 · 30 citations

Food Chemistry, Biochemistry, Chemical Compositions +6

Semantics-based program verifiers for all languages

Andrei Ștefănescu, Daejun Park, Shijiao Yuwen et al. · ACM SIGPLAN Notices · 2016 · 23 citations · Full text

Program Checking, Engineering, Verification +20

LiveTag

Chuhan Gao, Yilong Li, Xinyu Zhang · GetMobile Mobile Computing and Communications · 2019 · 22 citations

Cognitive Science, Kinesiology, Assistive Technology +11

POST-IVUS: A perceptual organisation-aware selective transformer framework for intravascular ultrasound segmentation

Xingru Huang, Retesh Bajaj, Yilong Li et al. · Medical Image Analysis · 2023 · 20 citations · Full text

Rows per page

1–5 of 13