Complexity and expressive power of second-order extended Horn logic. - Shiguang Feng; Xishun Zhao (Math. Log. Q., 2013)

Weighted Temporal Logic. - Shiguang Feng (Joint Workshop of the German Research Training Groups in Computer Science, 2014)

Satisfiability for MTL and TPTL over Non-monotonic Data Words. - Claudia Carapelle; Shiguang Feng; Oliver Fernandez Gil; Karin Quaas (LATA, 2014)

Ehrenfeucht-Fraisse Games for TPTL and MTL over Non-monotonic Data Words. - Claudia Carapelle; Shiguang Feng; Oliver Fernandez Gil; Karin Quaas (AFL, 2014)

More on Descriptive Complexity of Second-Order HORN Logics. - Shiguang Feng; Xishun Zhao (CoRR, 2014)

Satisfiability of ECTL* with Tree Constraints. - Claudia Carapelle; Shiguang Feng; Alexander Kartzow; Markus Lohrey (CSR, 2015)

The expressive power, satisfiability and path checking problems of MTL and TPTL over non-monotonic data words. - Shiguang Feng (2016)

Path Checking for MTL and TPTL over Data Words. - Shiguang Feng; Markus Lohrey; Karin Quaas (Log. Methods Comput. Sci., 2017)

Satisfiability of ECTL∗ with Local Tree Constraints. - Claudia Carapelle; Shiguang Feng; Alexander Kartzow; Markus Lohrey (Theory Comput. Syst., 2017)

MTL and TPTL for One-Counter Machines: Expressiveness, Model Checking, and Satisfiability. - Shiguang Feng; Claudia Carapelle; Oliver Fernández Gil; Karin Quaas (ACM Trans. Comput. Log., 2020)

Capturing the polynomial hierarchy by second-order revised Krom logic. - Shiguang Feng; Kexu Wang; Xishun Zhao; Yuping Shen (CoRR, 2022)

The Complexity and Expressive Power of Second-Order Extended Logic. - Shiguang Feng; Xishun Zhao (CoRR, 2022)

The complexity of quantum circuit mapping with fixed parameters. - Pengcheng Zhu 002; Shenggen Zheng; Lihua Wei; Xueyun Cheng; Zhijin Guan; Shiguang Feng (Quantum Inf. Process., 2022)

An Iterated Local Search Methodology for the Qubit Mapping Problem. - Pengcheng Zhu 002; Shiguang Feng; Zhijin Guan (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022)

The Expressive Power of Revised Datalog on Problems with Closure Properties. - Shiguang Feng (LORI, 2023)

A Novel Differential Protection Scheme for Distribution Lines Under Weak Synchronization Conditions Considering DG Characteristics. - Wei Jin; Shuo Zhang; Jian Li; Mengqiang Feng; Shiguang Feng; Yuping Lu (IEEE Access, 2023)

Quantum and classical query complexities for determining connectedness of matroids. - Xiaowei Huang; Shiguang Feng; Lvzhou Li (CoRR, 2023)

Capturing the polynomial hierarchy by second-order revised Krom logic. - Kexu Wang; Shiguang Feng; Xishun Zhao (Log. Methods Comput. Sci., 2023)

A Method Based on Timing Weight Priority and Distance Optimization for Quantum Circuit Transformation. - Yang Qian; Zhijin Guan; Shenggen Zheng; Shiguang Feng (Entropy, 2023)

Optimization of the transmission cost of distributed quantum circuits based on merged transfer. - Xueyun Cheng; Xinyu Chen; Kexin Cao; Pengcheng Zhu 002; Shiguang Feng; Zhijin Guan (Quantum Inf. Process., 2023)

Suppression of Crosstalk in Quantum Circuit Based on Instruction Exchange Rules and Duration. - Zhijin Guan; Renjie Liu; Xueyun Cheng; Shiguang Feng; Pengcheng Zhu 002 (Entropy, 2023)

Quantum Circuit Template Matching Optimization Method for Constrained Connectivity. - Xiaofeng Gao 011; Zhijin Guan; Shiguang Feng; Yibo Jiang (Axioms, 2023)

A Variation-Aware Quantum Circuit Mapping Approach Based on Multi-Agent Cooperation. - Pengcheng Zhu 002; Weiping Ding 001; Lihua Wei; Xueyun Cheng; Zhijin Guan; Shiguang Feng (IEEE Trans. Computers, 2023)