Shiguang Feng

According to our database, Shiguang Feng authored at least 23 papers between 2013 and 2023.

Collaborative distances:

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

2023

A Variation-Aware Quantum Circuit Mapping Approach Based on Multi-Agent Cooperation.

Pengcheng Zhu, Weiping Ding, Lihua Wei, Xueyun Cheng, Zhijin Guan, Shiguang Feng

IEEE Trans. Computers, August, 2023

Quantum Circuit Template Matching Optimization Method for Constrained Connectivity.

Xiaofeng Gao, Zhijin Guan, Shiguang Feng, Yibo Jiang

Axioms, July, 2023

Suppression of Crosstalk in Quantum Circuit Based on Instruction Exchange Rules and Duration.

Zhijin Guan, Renjie Liu, Xueyun Cheng, Shiguang Feng, Pengcheng Zhu

Entropy, June, 2023

Optimization of the transmission cost of distributed quantum circuits based on merged transfer.

Xueyun Cheng, Xinyu Chen, Kexin Cao, Pengcheng Zhu, Shiguang Feng, Zhijin Guan

Quantum Inf. Process., May, 2023

A Method Based on Timing Weight Priority and Distance Optimization for Quantum Circuit Transformation.

Yang Qian, Zhijin Guan, Shenggen Zheng, Shiguang Feng

Entropy, March, 2023

Capturing the polynomial hierarchy by second-order revised Krom logic.

Kexu Wang, Shiguang Feng, Xishun Zhao

Log. Methods Comput. Sci., 2023

Quantum and classical query complexities for determining connectedness of matroids.

Xiaowei Huang, Shiguang Feng, Lvzhou Li

CoRR, 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

The Expressive Power of Revised Datalog on Problems with Closure Properties.

Shiguang Feng

Proceedings of the Logic, Rationality, and Interaction - 9th International Workshop, 2023

2022

An Iterated Local Search Methodology for the Qubit Mapping Problem.

Pengcheng Zhu, Shiguang Feng, Zhijin Guan

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

The complexity of quantum circuit mapping with fixed parameters.

Pengcheng Zhu, Shenggen Zheng, Lihua Wei, Xueyun Cheng, Zhijin Guan, Shiguang Feng

Quantum Inf. Process., 2022

The Complexity and Expressive Power of Second-Order Extended Logic.

Shiguang Feng, Xishun Zhao

CoRR, 2022

Capturing the polynomial hierarchy by second-order revised Krom logic.

Shiguang Feng, Kexu Wang, Xishun Zhao, Yuping Shen

CoRR, 2022

2020

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

2017

Satisfiability of ECTL∗ with Local Tree Constraints.

Claudia Carapelle, Shiguang Feng, Alexander Kartzow, Markus Lohrey

Theory Comput. Syst., 2017

Path Checking for MTL and TPTL over Data Words.

Shiguang Feng, Markus Lohrey, Karin Quaas

Log. Methods Comput. Sci., 2017

2016

The expressive power, satisfiability and path checking problems of MTL and TPTL over non-monotonic data words.

Shiguang Feng

PhD thesis, 2016

2015

Satisfiability of ECTL* with Tree Constraints.

Claudia Carapelle, Shiguang Feng, Alexander Kartzow, Markus Lohrey

Proceedings of the Computer Science - Theory and Applications, 2015

2014

More on Descriptive Complexity of Second-Order HORN Logics.

Shiguang Feng, Xishun Zhao

CoRR, 2014

Ehrenfeucht-Fraisse Games for TPTL and MTL over Non-monotonic Data Words.

Claudia Carapelle, Shiguang Feng, Oliver Fernandez Gil, Karin Quaas

Proceedings of the Proceedings 14th International Conference on Automata and Formal Languages, 2014

Satisfiability for MTL and TPTL over Non-monotonic Data Words.

Claudia Carapelle, Shiguang Feng, Oliver Fernandez Gil, Karin Quaas

Proceedings of the Language and Automata Theory and Applications, 2014

Weighted Temporal Logic.

Shiguang Feng

Proceedings of the 8th Joint Workshop of the German Research Training Groups in Computer Science, 2014

2013

Complexity and expressive power of second-order extended Horn logic.

Shiguang Feng, Xishun Zhao

Math. Log. Q., 2013