Fei Pu

21 papers B 1Misc 1Journal 6Unranked 13
YearRankTypeTitle / Venue / Authors
2025 — conf
Learning Interaction-Aware and Neighborhood Semantic-Enhanced Embedding for Link Prediction.
KSEM (4)
Zhen Ren, Fei Pu, Siyuan Wang, Bailin Yang, Lirong Cheng
2025 B conf
Multi-Feature Fusion Strategies for Enhancing Knowledge Graph Embedding.
IEEE Big Data
Chenchen Liu, Fei Pu, Bailin Yang, Lirong Cheng
2024 — conf
A Recommendation Method for Electronic Components Based on Knowledge Graph.
CSAIDE
Xudong Yu, Yanhui Zhou, Fei Pu, Guilian Zhang
2024 — conf
Affine Transformation-Based Knowledge Graph Embedding.
KSEM (1)
Jiahao Jiang, Fei Pu, Jie Cui, Bailin Yang
2023 — conf
Dual-Dimensional Refinement of Knowledge Graph Embedding Representation.
KSEM (1)
Jie Cui, Fei Pu, Bailin Yang
2022 J jnl
Learning Context-based Embeddings for Knowledge Graph Completion.
J. Data Inf. Sci.
Fei Pu, Zhongwei Zhang, Yan Feng, Bailin Yang
2021 J jnl
Spatial Stationarity, Ergodicity, and CLT for Parabolic Anderson Model with Delta Initial Condition in Dimension $d\geq 1$.
SIAM J. Math. Anal.
Davar Khoshnevisan, David Nualart, Fei Pu
2020 — conf
A Contextualized Entity Representation for Knowledge Graph Completion.
KSEM (1)
Fei Pu, Bailin Yang, Jianchao Ying, Lizhou You, Chenou Xu
2017 — conf
Bounded Correctness Checking for Extended CTL Properties with Past Operators.
GSKI (2)
Fei Pu
2017 — conf
Bounded Correctness Checking for Knowledge with eCTLK.
GSKI (1)
Fei Pu
2017 — conf
Bounded Correctness Checking of the Universal Fragment of eCTL.
FSDM
Fei Pu, Wenhui Zhang
2014 J jnl
Assumption-based Reasoning with Constraints for Diagnosing Program Errors.
J. Comput.
Fei Pu
2013 J jnl
Modular Reversibility Analysis in Self-loops Connections of Petri Net Systems.
J. Networks
Fei Pu
2012 J jnl
Compositional Verification of Liveness Property in Inhibitor-arc Connections of Petri Net Systems.
J. Softw.
Fei Pu
2011 — conf
Dynamic Invariance and Reversibility Preservation in Self-loops Connection of Petri Net Systems.
ICICA (2)
Fei Pu
2010 — conf
ACTL Local Model Update with Constraints.
KES (4)
Michael Kelly, Fei Pu, Yan Zhang, Yi Zhou
2008 — conf
Localizing Program Errors via Slicing and Reasoning.
HASE
Fei Pu, Yan Zhang
2007 J jnl
Combining search space partition and abstraction for LTL model checking.
Sci. China Ser. F Inf. Sci.
Fei Pu, Wenhui Zhang
2007 Misc conf
Partition Refinement in Abstract Model Checking.
TASE
Fei Pu, Wenhui Zhang
2006 — conf
LTL Model Checking via Search Space Partition.
QSIC
Fei Pu, Wenhui Zhang
2005 — conf
An Improved Case-Based Approach to LTL Model Checking.
RISE
Fei Pu, Wenhui Zhang, Shaochun Wang