Get started
Author

林鲁霞

Observed names: Lin, Luxia, Luxia Lin
ORCID: 0009-0004-4998-0844
Observed ORCID: 0009-0004-4998-0844
OpenAlex ID: A5084648214
Exendin-4在大肠杆菌中的串联表达、纯化及活性鉴定
2011 · 刘延杰, 林鲁霞, et al. · 生物技术 · 1
LLM2Cert: LLM Synthesis of Certificates with SMT/Lean Verification
2026 · Cao, Zhipeng, Song, Peiyang, et al. · arXiv (Cornell University)
PDF
Metamorphic Fuzzing for Multi-Agent Path Finding Algorithms
2026 · Luxia Lin, Xudong Zhang, et al. · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)
Works count: 3
Citation count: 1
H-index: 1
I10-index:
Year
Topic
Type