Fei Pu

Publication Activity (10 Years)

Years Active: 2005-2023
Publications (10 Years): 7

Top Topics

Graph Embedding

Learned Knowledge

Top Venues

Publications

Jie Cui, Fei Pu, Bailin Yang
Dual-Dimensional Refinement of Knowledge Graph Embedding Representation. KSEM (1) (2023)
Fei Pu, Zhongwei Zhang, Yan Feng, Bailin Yang
Learning Context-based Embeddings for Knowledge Graph Completion. J. Data Inf. Sci. 7 (2) (2022)
Davar Khoshnevisan, David Nualart, Fei Pu
Spatial Stationarity, Ergodicity, and CLT for Parabolic Anderson Model with Delta Initial Condition in Dimension $d\geq 1$. SIAM J. Math. Anal. 53 (2) (2021)
Fei Pu, Bailin Yang, Jianchao Ying, Lizhou You, Chenou Xu
A Contextualized Entity Representation for Knowledge Graph Completion. KSEM (1) (2020)
Fei Pu, Wenhui Zhang
Bounded Correctness Checking of the Universal Fragment of eCTL. FSDM (2017)
Fei Pu
Bounded Correctness Checking for Knowledge with eCTLK. GSKI (1) (2017)
Fei Pu
Bounded Correctness Checking for Extended CTL Properties with Past Operators. GSKI (2) (2017)
Fei Pu
Assumption-based Reasoning with Constraints for Diagnosing Program Errors. J. Comput. 9 (1) (2014)
Fei Pu
Modular Reversibility Analysis in Self-loops Connections of Petri Net Systems. J. Networks 8 (2) (2013)
Fei Pu
Compositional Verification of Liveness Property in Inhibitor-arc Connections of Petri Net Systems. J. Softw. 7 (3) (2012)
Fei Pu
Dynamic Invariance and Reversibility Preservation in Self-loops Connection of Petri Net Systems. ICICA (2) (2011)
Michael Kelly, Fei Pu, Yan Zhang, Yi Zhou
ACTL Local Model Update with Constraints. KES (4) (2010)
Fei Pu, Yan Zhang
Localizing Program Errors via Slicing and Reasoning. HASE (2008)
Fei Pu, Wenhui Zhang
Partition Refinement in Abstract Model Checking. TASE (2007)
Fei Pu, Wenhui Zhang
Combining search space partition and abstraction for LTL model checking. Sci. China Ser. F Inf. Sci. 50 (6) (2007)
Fei Pu, Wenhui Zhang
LTL Model Checking via Search Space Partition. QSIC (2006)
Fei Pu, Wenhui Zhang, Shaochun Wang
An Improved Case-Based Approach to LTL Model Checking. RISE (2005)