Fei Pu

According to our database, Fei Pu authored at least 17 papers between 2005 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

Dual-Dimensional Refinement of Knowledge Graph Embedding Representation.

Jie Cui, Fei Pu, Bailin Yang

Proceedings of the Knowledge Science, Engineering and Management, 2023

2022

Learning Context-based Embeddings for Knowledge Graph Completion.

Fei Pu, Zhongwei Zhang, Yan Feng, Bailin Yang

J. Data Inf. Sci., 2022

2021

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

2020

A Contextualized Entity Representation for Knowledge Graph Completion.

Fei Pu, Bailin Yang, Jianchao Ying, Lizhou You, Chenou Xu

Proceedings of the Knowledge Science, Engineering and Management, 2020

2017

Bounded Correctness Checking for Extended CTL Properties with Past Operators.

Fei Pu

Proceedings of the Geo-Spatial Knowledge and Intelligence - 5th International Conference, 2017

Bounded Correctness Checking for Knowledge with eCTLK.

Fei Pu

Proceedings of the Geo-Spatial Knowledge and Intelligence - 5th International Conference, 2017

Bounded Correctness Checking of the Universal Fragment of eCTL.

Fei Pu, Wenhui Zhang

Proceedings of the Fuzzy Systems and Data Mining III, 2017

2014

Assumption-based Reasoning with Constraints for Diagnosing Program Errors.

Fei Pu

J. Comput., 2014

2013

Modular Reversibility Analysis in Self-loops Connections of Petri Net Systems.

Fei Pu

J. Networks, 2013

2012

Compositional Verification of Liveness Property in Inhibitor-arc Connections of Petri Net Systems.

Fei Pu

J. Softw., 2012

2011

Dynamic Invariance and Reversibility Preservation in Self-loops Connection of Petri Net Systems.

Fei Pu

Proceedings of the Information Computing and Applications, 2011

2010

ACTL Local Model Update with Constraints.

Michael Kelly, Fei Pu, Yan Zhang, Yi Zhou

Proceedings of the Knowledge-Based and Intelligent Information and Engineering Systems, 2010

2008

Localizing Program Errors via Slicing and Reasoning.

Fei Pu, Yan Zhang

Proceedings of the 11th IEEE High Assurance Systems Engineering Symposium, 2008

2007

Combining search space partition and abstraction for LTL model checking.

Fei Pu, Wenhui Zhang

Sci. China Ser. F Inf. Sci., 2007

Partition Refinement in Abstract Model Checking.

Fei Pu, Wenhui Zhang

Proceedings of the First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, 2007

2006

LTL Model Checking via Search Space Partition.

Fei Pu, Wenhui Zhang

Proceedings of the Sixth International Conference on Quality Software (QSIC 2006), 2006

2005

An Improved Case-Based Approach to LTL Model Checking.

Fei Pu, Wenhui Zhang, Shaochun Wang

Proceedings of the Rapid Integration of Software Engineering Techniques, 2005