Shiguang Feng

ORCID

Publication Activity (10 Years)

Years Active: 2013-2023
Publications (10 Years): 19

Top Venues

CoRR

Quantum Inf. Process.

Log. Methods Comput. Sci.

Entropy

Leipzig University, Germany (PHD)

Education History

Leipzig University, Germany

PHD

Publications

Xiaowei Huang, Shiguang Feng, Lvzhou Li
Quantum and classical query complexities for determining connectedness of matroids. CoRR (2023)
Kexu Wang, Shiguang Feng, Xishun Zhao
Capturing the polynomial hierarchy by second-order revised Krom logic. Log. Methods Comput. Sci. 19 (3) (2023)
Wei Jin, Shuo Zhang, Jian Li, Mengqiang Feng, Shiguang Feng, Yuping Lu
A Novel Differential Protection Scheme for Distribution Lines Under Weak Synchronization Conditions Considering DG Characteristics. IEEE Access 11 (2023)
Yang Qian, Zhijin Guan, Shenggen Zheng, Shiguang Feng
A Method Based on Timing Weight Priority and Distance Optimization for Quantum Circuit Transformation. Entropy 25 (3) (2023)
Xueyun Cheng, Xinyu Chen, Kexin Cao, Pengcheng Zhu, Shiguang Feng, Zhijin Guan
Optimization of the transmission cost of distributed quantum circuits based on merged transfer. Quantum Inf. Process. 22 (5) (2023)
Shiguang Feng
The Expressive Power of Revised Datalog on Problems with Closure Properties. LORI (2023)
Zhijin Guan, Renjie Liu, Xueyun Cheng, Shiguang Feng, Pengcheng Zhu
Suppression of Crosstalk in Quantum Circuit Based on Instruction Exchange Rules and Duration. Entropy 25 (6) (2023)
Xiaofeng Gao, Zhijin Guan, Shiguang Feng, Yibo Jiang
Quantum Circuit Template Matching Optimization Method for Constrained Connectivity. Axioms 12 (7) (2023)
Pengcheng Zhu, Weiping Ding, Lihua Wei, Xueyun Cheng, Zhijin Guan, Shiguang Feng
A Variation-Aware Quantum Circuit Mapping Approach Based on Multi-Agent Cooperation. IEEE Trans. Computers 72 (8) (2023)
Shiguang Feng, Xishun Zhao
The Complexity and Expressive Power of Second-Order Extended Logic. CoRR (2022)
Pengcheng Zhu, Shenggen Zheng, Lihua Wei, Xueyun Cheng, Zhijin Guan, Shiguang Feng
The Complexity of Quantum Circuit Mapping with Fixed Parameters. CoRR (2022)
Pengcheng Zhu, Shiguang Feng, Zhijin Guan
An Iterated Local Search Methodology for the Qubit Mapping Problem. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41 (8) (2022)
Pengcheng Zhu, Shenggen Zheng, Lihua Wei, Xueyun Cheng, Zhijin Guan, Shiguang Feng
The complexity of quantum circuit mapping with fixed parameters. Quantum Inf. Process. 21 (1) (2022)
Shiguang Feng, Kexu Wang, Xishun Zhao, Yuping Shen
Capturing the polynomial hierarchy by second-order revised Krom logic. CoRR (2022)
Shiguang Feng, Claudia Carapelle, Oliver Fernández Gil, Karin Quaas
MTL and TPTL for One-Counter Machines: Expressiveness, Model Checking, and Satisfiability. ACM Trans. Comput. Log. 21 (2) (2020)
Shiguang Feng, Markus Lohrey, Karin Quaas
Path Checking for MTL and TPTL over Data Words. Log. Methods Comput. Sci. 13 (3) (2017)
Claudia Carapelle, Shiguang Feng, Alexander Kartzow, Markus Lohrey
Satisfiability of ECTL∗ with Local Tree Constraints. Theory Comput. Syst. 61 (2) (2017)
Claudia Carapelle, Shiguang Feng, Alexander Kartzow, Markus Lohrey
Satisfiability of ECTL* with Tree Constraints. CSR (2015)
Shiguang Feng, Markus Lohrey, Karin Quaas
Path Checking for MTL and TPTL over Data Words. DLT (2015)
Claudia Carapelle, Shiguang Feng, Alexander Kartzow, Markus Lohrey
Satisfiability of ECTL* with tree constraints. CoRR (2014)
Shiguang Feng, Xishun Zhao
More on Descriptive Complexity of Second-Order HORN Logics. CoRR (2014)
Shiguang Feng
Weighted Temporal Logic. Joint Workshop of the German Research Training Groups in Computer Science (2014)
Claudia Carapelle, Shiguang Feng, Oliver Fernandez Gil, Karin Quaas
Satisfiability for MTL and TPTL over Non-monotonic Data Words. LATA (2014)
Claudia Carapelle, Shiguang Feng, Oliver Fernandez Gil, Karin Quaas
Ehrenfeucht-Fraisse Games for TPTL and MTL over Non-monotonic Data Words. AFL (2014)
Shiguang Feng, Markus Lohrey, Karin Quaas
Path-Checking for MTL and TPTL over Data Words. CoRR (2014)
Shiguang Feng, Xishun Zhao
Complexity and expressive power of second-order extended Horn logic. Math. Log. Q. 59 (1-2) (2013)

Shiguang Feng.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Shiguang Feng