Sen Zheng
Orcid: 0000-0003-4415-811X
According to our database1,
Sen Zheng
authored at least 7 papers
between 2020 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
2020
2021
2022
2023
2024
2025
0
1
2
3
4
5
1
1
1
1
3
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2025
A visualization system for dam safety monitoring with application of digital twin platform.
Expert Syst. Appl., 2025
2023
Saturation-Based Boolean Conjunctive Query Answering and Rewriting for the Guarded Quantification Fragments.
J. Autom. Reason., December, 2023
2022
Expert Syst. Appl., 2022
2020
Proceedings of the 2020 International Conferences on Internet of Things (iThings) and IEEE Green Computing and Communications (GreenCom) and IEEE Cyber, 2020
Proceedings of the Joint Proceedings of the 7th Workshop on Practical Aspects of Automated Reasoning (PAAR) and the 5th Satisfiability Checking and Symbolic Computation Workshop (SC-Square) Workshop, 2020
Deciding the Loosely Guarded Fragment and Querying Its Horn Fragment Using Resolution.
Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020