Shiguang Feng

31 papers C 2Misc 1Journal 24Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
Quantum and classical query complexities for determining connectedness of matroids.
J. Comput. Syst. Sci.
Xiaowei Huang, Shiguang Feng, Lvzhou Li
2026 J jnl
Revisiting fixed-point quantum search: proof of the quasi-Chebyshev lemma.
Frontiers Comput. Sci.
Guanzhong Li, Shiguang Feng, Lvzhou Li
2025 J jnl
A Line-Mode Current Slope-Based Protection Scheme for Pole-to-Pole Short-Circuit Faults in DC Distribution Networks.
Symmetry
Wei Jin, Shiguang Feng, Yuping Lu
2025 J jnl
The logics for the complexity classes with limited non-determinism.
J. Log. Comput.
Kexu Wang, Shiguang Feng, Xishun Zhao
2023 J jnl
A Method Based on Timing Weight Priority and Distance Optimization for Quantum Circuit Transformation.
Entropy
Yang Qian, Zhijin Guan, Shenggen Zheng, Shiguang Feng
2023 J jnl
A Novel Differential Protection Scheme for Distribution Lines Under Weak Synchronization Conditions Considering DG Characteristics.
IEEE Access
Wei Jin, Shuo Zhang, Jian Li, Mengqiang Feng, Shiguang Feng, Yuping Lu
2023 J jnl
A Variation-Aware Quantum Circuit Mapping Approach Based on Multi-Agent Cooperation.
IEEE Trans. Computers
Pengcheng Zhu, Weiping Ding, Lihua Wei, Xueyun Cheng, Zhijin Guan, Shiguang Feng
2023 J jnl
Capturing the polynomial hierarchy by second-order revised Krom logic.
Log. Methods Comput. Sci.
Kexu Wang, Shiguang Feng, Xishun Zhao
2023 J jnl
Optimization of the transmission cost of distributed quantum circuits based on merged transfer.
Quantum Inf. Process.
Xueyun Cheng, Xinyu Chen, Kexin Cao, Pengcheng Zhu, Shiguang Feng, Zhijin Guan
2023 J jnl
Quantum Circuit Template Matching Optimization Method for Constrained Connectivity.
Axioms
Xiaofeng Gao, Zhijin Guan, Shiguang Feng, Yibo Jiang
2023 J jnl
Quantum and classical query complexities for determining connectedness of matroids.
CoRR
Xiaowei Huang, Shiguang Feng, Lvzhou Li
2023 J jnl
Suppression of Crosstalk in Quantum Circuit Based on Instruction Exchange Rules and Duration.
Entropy
Zhijin Guan, Renjie Liu, Xueyun Cheng, Shiguang Feng, Pengcheng Zhu
2023 — conf
The Expressive Power of Revised Datalog on Problems with Closure Properties.
LORI
Shiguang Feng
2022 J jnl
An Iterated Local Search Methodology for the Qubit Mapping Problem.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Pengcheng Zhu, Shiguang Feng, Zhijin Guan
2022 J jnl
Capturing the polynomial hierarchy by second-order revised Krom logic.
CoRR
Shiguang Feng, Kexu Wang, Xishun Zhao, Yuping Shen
2022 J jnl
The Complexity and Expressive Power of Second-Order Extended Logic.
CoRR
Shiguang Feng, Xishun Zhao
2022 J jnl
The Complexity of Quantum Circuit Mapping with Fixed Parameters.
CoRR
Pengcheng Zhu, Shenggen Zheng, Lihua Wei, Xueyun Cheng, Zhijin Guan, Shiguang Feng
2022 J jnl
The complexity of quantum circuit mapping with fixed parameters.
Quantum Inf. Process.
Pengcheng Zhu, Shenggen Zheng, Lihua Wei, Xueyun Cheng, Zhijin Guan, Shiguang Feng
2020 J jnl
MTL and TPTL for One-Counter Machines: Expressiveness, Model Checking, and Satisfiability.
ACM Trans. Comput. Log.
Shiguang Feng, Claudia Carapelle, Oliver Fernández Gil, Karin Quaas
2017 J jnl
Path Checking for MTL and TPTL over Data Words.
Log. Methods Comput. Sci.
Shiguang Feng, Markus Lohrey, Karin Quaas
2017 J jnl
Satisfiability of ECTL∗ with Local Tree Constraints.
Theory Comput. Syst.
Claudia Carapelle, Shiguang Feng, Alexander Kartzow, Markus Lohrey
2016 — —
The expressive power, satisfiability and path checking problems of MTL and TPTL over non-monotonic data words.
Shiguang Feng
2015 C conf
Path Checking for MTL and TPTL over Data Words.
DLT
Shiguang Feng, Markus Lohrey, Karin Quaas
2015 Misc conf
Satisfiability of ECTL* with Tree Constraints.
CSR
Claudia Carapelle, Shiguang Feng, Alexander Kartzow, Markus Lohrey
2014 — conf
Ehrenfeucht-Fraisse Games for TPTL and MTL over Non-monotonic Data Words.
AFL
Claudia Carapelle, Shiguang Feng, Oliver Fernandez Gil, Karin Quaas
2014 J jnl
More on Descriptive Complexity of Second-Order HORN Logics.
CoRR
Shiguang Feng, Xishun Zhao
2014 J jnl
Path-Checking for MTL and TPTL over Data Words.
CoRR
Shiguang Feng, Markus Lohrey, Karin Quaas
2014 C conf
Satisfiability for MTL and TPTL over Non-monotonic Data Words.
LATA
Claudia Carapelle, Shiguang Feng, Oliver Fernandez Gil, Karin Quaas
2014 J jnl
Satisfiability of ECTL* with tree constraints.
CoRR
Claudia Carapelle, Shiguang Feng, Alexander Kartzow, Markus Lohrey
2014 — conf
Weighted Temporal Logic.
Joint Workshop of the German Research Training Groups in Computer Science
Shiguang Feng
2013 J jnl
Complexity and expressive power of second-order extended Horn logic.
Math. Log. Q.
Shiguang Feng, Xishun Zhao