An Improved Case-Based Approach to LTL Model Checking. - Fei Pu; Wenhui Zhang; Shaochun Wang (RISE, 2005)

LTL Model Checking via Search Space Partition. - Fei Pu; Wenhui Zhang (QSIC, 2006)

Partition Refinement in Abstract Model Checking. - Fei Pu; Wenhui Zhang (TASE, 2007)

Combining search space partition and abstraction for LTL model checking. - Fei Pu; Wenhui Zhang (Sci. China Ser. F Inf. Sci., 2007)

Localizing Program Errors via Slicing and Reasoning. - Fei Pu; Yan Zhang (HASE, 2008)

ACTL Local Model Update with Constraints. - Michael Kelly; Fei Pu; Yan Zhang 003; Yi Zhou 013 (KES (4), 2010)

Dynamic Invariance and Reversibility Preservation in Self-loops Connection of Petri Net Systems. - Fei Pu (ICICA (2), 2011)

Compositional Verification of Liveness Property in Inhibitor-arc Connections of Petri Net Systems. - Fei Pu (J. Softw., 2012)

Modular Reversibility Analysis in Self-loops Connections of Petri Net Systems. - Fei Pu (J. Networks, 2013)

Assumption-based Reasoning with Constraints for Diagnosing Program Errors. - Fei Pu (J. Comput., 2014)

Bounded Correctness Checking of the Universal Fragment of eCTL. - Fei Pu; Wenhui Zhang (FSDM, 2017)

Bounded Correctness Checking for Knowledge with eCTLK. - Fei Pu (GSKI (1), 2017)

Bounded Correctness Checking for Extended CTL Properties with Past Operators. - Fei Pu (GSKI (2), 2017)

A Contextualized Entity Representation for Knowledge Graph Completion. - Fei Pu; Bailin Yang; Jianchao Ying; Lizhou You; Chenou Xu (KSEM (1), 2020)

Spatial Stationarity, Ergodicity, and CLT for Parabolic Anderson Model with Delta Initial Condition in Dimension $d geq 1$. - Davar Khoshnevisan; David Nualart; Fei Pu (SIAM J. Math. Anal., 2021)

Learning Context-based Embeddings for Knowledge Graph Completion. - Fei Pu; Zhongwei Zhang; Yan Feng; Bailin Yang (J. Data Inf. Sci., 2022)

Dual-Dimensional Refinement of Knowledge Graph Embedding Representation. - Jie Cui; Fei Pu; Bailin Yang (KSEM (1), 2023)

A Recommendation Method for Electronic Components Based on Knowledge Graph. - Xudong Yu; Yanhui Zhou; Fei Pu; Guilian Zhang (CSAIDE, 2024)

Affine Transformation-Based Knowledge Graph Embedding. - Jiahao Jiang; Fei Pu; Jie Cui; Bailin Yang (KSEM (1), 2024)