Adding Context to Tableaux for DLs. - Weili Fu; Rafael Peñaloza (Description Logics, 2012)

An Operational Semantics for a Fragment of the Puppet Configuration Language. - Weili Fu; James Cheney; Paul Anderson 003 (CoRR, 2016)

muPuppet: A Declarative Subset of the Puppet Configuration Language. - Weili Fu; Roly Perera; Paul Anderson 003; James Cheney (ECOOP, 2017)

Semantics and provenance of configuration programming language μPuppet. - Weili Fu (2019)

Label dependent lambda calculus and gradual typing. - Weili Fu; Fabian Krause; Peter Thiemann 001 (Proc. ACM Program. Lang., 2021)

Artifact for Label Dependent Lambda Calculus and Gradual Typing. - Fabian Krause; Weili Fu; Peter Thiemann 001 (Zenodo, 2021)

Enhancing diagnostic capability with multi-agents conversational large language models. - Xi Chen; Huahui Yi; Mingke You; Weizhi Liu; Li Wang 109; Hairui Li; Xue Zhang; Yingman Guo; Lei Fan; Gang Chen; Qicheng Lao; Weili Fu; et al. (npj Digit. Medicine, 2025)