Qiwen Xu

Changsha University of Science and Technology — China

Computer Science · Physical Sciences

11h-index530citations55works1.42yr avg
OpenAlex↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(23), Logic, programming, and type systems(14), Distributed systems and fault tolerance(12), Parallel Computing and Optimization Techniques(8), Real-Time Systems Scheduling(7)

Publications55 total

Hydrological alterations driven by climate change and human activities: historical attribution, future projections, and process mechanisms in the Daqing River Basin, China
Hydrology research·2026Open Access
Research on the Design of Control Strategy and Capacity Optimization for the Hybrid Energy Storage System Assisting Thermal Power Frequency Modulation Based on Harris Hawk Optimization Algorithm
2025
Soil micro-structure drives trophic interactions within micro-food webs via bottom-up regulation under different planting patterns
Agriculture Ecosystems & Environment·2025· 1 cited
Temporal variability of dissolved inorganic nitrogen and key environmental drivers in a dam-induced subtropical urban lake
Ecological Indicators·2025· 2 citedOpen Access
Vegetation succession increases soil organic carbon density and decreases soil erodibility: Evidence from a karst trough valley experiencing farmland abandonment
CATENA·2024· 6 cited
Causes and Trends of Hydrological Processes in Areas with Intensive Human Activity: A Case Study in Daqing River Basin
SSRN Electronic Journal·2024Open Access
Identification of the relationship between chlorophyll<i>-a</i> and its key influencing factors in Lake Hanfeng in the Three Gorges Reservoir based on structural equation model
Journal of Lake Sciences·2024· 1 citedOpen Access
[Effects of Balanced Fertilization and Straw Mulching on Soil Nutrients and Stoichiometry in Purple Soil Slope].
PubMed·2023· 4 cited
Theories of Programming and Formal Methods
Lecture notes in computer science·2023· 4 citedOpen Access
Embedding teacher scaffolding in a mobile technology supported collaborative learning environment in English reading class: students' learning outcomes, engagement, and attitudes
International Journal of Mobile Learning and Organisation·2023· 5 cited
Embedding teacher scaffolding in a mobile technology supported collaborative learning environment in English reading class: students' learning outcomes, engagement, and attitudes
International Journal of Mobile Learning and Organisation·2023· 1 cited
Modeling and Verifying PSO Memory Model Using CSP
Mobile Networks and Applications·2022· 8 cited
A simple proof of data-race freedom and coherence for simpson's 4-slot algorithm
Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing·2022
A simple proof of three properties on Simpson's 4-slot Algorithm
arXiv (Cornell University)·2021Open Access
Trace Semantics and Algebraic Laws for Total Store Order Memory Model
Journal of Computer Science and Technology·2021· 4 cited
Formal Modelling and Verification of the RTPS Behavior Module
2021· 1 cited
A process calculus BigrTiMo of mobile systemsand its formal semantics
Formal Aspects of Computing·2021· 6 cited
Correction to “Comparative Research of Swarm Intelligence Clustering Algorithms for Analyzing Medical Data”
IEEE Access·2020Open Access
Formalization and Verification of RTPS StatefulWriter Module Using CSP
Proceedings/Proceedings of the ... International Conference on Software Engineering and Knowledge Engineering·2019· 4 citedOpen Access
Comparative Research of Swarm Intelligence Clustering Algorithms for Analyzing Medical Data
IEEE Access·2019· 27 citedOpen Access
page 1 of 3Next →

Frequent Co-authors

Huibiao Zhu(11), Jifeng He(5), Tianyang Li(5), Simon Fong(4), He Jifeng(3), Xueyuan Gong(3), Liansheng Liu(3), Naijun Zhan(3), Binghui He(3), Mengdie Feng(3), Tingxi Wen(2), Antonio Cau(2), Pierre Collette(2), Jonathan P. Bowen(2), Lili Xiao(2), Liang Ke(2), Wanling Xie(2), Daner Sun(2), Ying Zhan(2), Qin Li(2)