Zetian Zhang
Inner Mongolia University of Science and Technology(CN)
Publications by Year
Research Areas
Formal Methods in Verification, IoT and Edge/Fog Computing, Cloud Computing and Resource Management, Robotic Path Planning Algorithms, Model-Driven Software Engineering Techniques
Most-Cited Works
- → A cloud service adaptive framework based on reliable resource allocation(2018)21 cited
- → Route Guidance for Satisfying Temporal Logic Specifications on Aircraft Motion(2016)6 cited
- → Motion-planning with global temporal logic specifications for multiple nonholonomic robotic vehicles(2016)6 cited
- → Decentralized Route-Planning to Satisfy Global Linear Temporal Logic Specifications on Multiple Aircraft(2018)5 cited
- → The QoS evaluation model for cloud resource node(2021)1 cited
- → Anonymous data sharing scheme for resource-constrained internet of things environments(2024)1 cited
- → BCPA: A Blockchain-Based Cross-Domain Privacy-Preserving Authentication Scheme in Internet of Things Environments(2025)
- Motion-Planning and Control of Autonomous Vehicles to Satisfy Linear Temporal Logic Specifications(2018)
- → A Fast Sampling-based Optimal Route-Planning Algorithm to Satisfy Linear Temporal Logic Specifications(2018)