Shiguang Feng

Available identifiers

zbMath Open feng.shiguangMaRDI QIDQ2102775

List of research outcomes

Publication	Date of Publication	Type
The expressive power of revised Datalog on problems with closure properties	2024-06-26	Paper
Capturing the polynomial hierarchy by second-order revised Krom logic	2023-08-26	Paper
Optimization of the transmission cost of distributed quantum circuits based on merged transfer	2023-06-01	Paper
The complexity of quantum circuit mapping with fixed parameters	2022-12-09	Paper
https://portal.mardi4nfdi.de/entity/Q4994943	2021-06-22	Paper
MTL and TPTL for One-Counter Machines	2020-02-14	Paper
Satisfiability of \(\mathrm{ECTL}^*\) with local tree constraints	2017-10-20	Paper
Path Checking for MTL and TPTL over Data Words	2017-10-12	Paper
Path Checking for MTL and TPTL over Data Words	2015-11-10	Paper
Satisfiability of ECTL* with Tree Constraints	2015-10-20	Paper
Satisfiability for MTL and TPTL over Non-monotonic Data Words	2014-03-31	Paper
Complexity and expressive power of second‐order extended Horn logic	2013-04-09	Paper

Research outcomes over time

This page was built for person: Shiguang Feng