Shiguang Feng

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 Logical Methods in Computer Science	2023-08-26	Paper
Optimization of the transmission cost of distributed quantum circuits based on merged transfer Quantum Information Processing	2023-06-01	Paper
The complexity of quantum circuit mapping with fixed parameters Quantum Information Processing	2022-12-09	Paper
On the expressiveness of TPTL and MTL over \(\omega\)-data words	2021-06-22	Paper
On the expressiveness of TPTL and MTL over \(\omega\)-data words (available as arXiv preprint)	2021-06-22	Paper
MTL and TPTL for One-Counter Machines ACM Transactions on Computational Logic	2020-02-14	Paper
Satisfiability of \(\mathrm{ECTL}^\) with local tree constraints Theory of Computing Systems*	2017-10-20	Paper
Path checking for MTL and TPTL over data words Logical Methods in Computer Science	2017-10-12	Paper
Path checking for MTL and TPTL over data words Lecture Notes in Computer Science	2015-11-10	Paper
Satisfiability of \(\mathsf {ECTL}^\) with tree constraints Lecture Notes in Computer Science*	2015-10-20	Paper
Satisfiability for MTL and TPTL over non-monotonic data words Language and Automata Theory and Applications	2014-03-31	Paper
Complexity and expressive power of second-order extended Horn logic Mathematical Logic Quarterly	2013-04-09	Paper

Research outcomes over time

This page was built for person: Shiguang Feng