Jianwen Li

机构：Carnegie Mellon University · ORCID：0000-0001-9286-8285

发表论文 91 篇 · 总被引 900 次 · h-index 16

代表论文

• Effects of Lactobacillus acidophilus and L. reuteri on bone mass and gut microbiota in ovariectomized mice (2023 · Cellular and Molecular Biology · 被引 8)
• Searching for i-Good Lemmas to Accelerate Safety Model Checking (2023 · Lecture notes in computer science · 被引 8)
• Avoiding the Shoals - A New Approach to Liveness Checking (2024 · Lecture notes in computer science · 被引 6)
• Revisiting Assumptions Ordering in CAR-Based Model Checking (2025 · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 被引 3)
• Property-Based Testing for Validating User Privacy-Related Functionalities in Social Media Apps (2024 · 被引 3)
• Model-Guided Synthesis for LTL over Finite Traces (2023 · Lecture notes in computer science · 被引 3)