( en | de | ru )

 

Disambiguation of "Qin, Xudong"

Author of the publication

copydeleteadd this publication to your clipboard
SMT-based generation of symbolic automata.

, , , , , and . Acta Informatica, 57 (3-5): 627-656 (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Xudong Liu

Xudong Cui

Xudong Xie

Xudong Ma

Xudong Jiang

 

Other publications of authors with the same name

Efficient Distributed Threshold-Based Offloading for Large-Scale Mobile Cloud Computing., , and . IEEE/ACM Trans. Netw., 31 (1): 308-321 (February 2023)Motion-Prediction-based Wireless Scheduling for Multi-User Panoramic Video Streaming., , , , and . INFOCOM, page 1-10. IEEE, (2021)Distributed Threshold-based Offloading for Large-Scale Mobile Cloud Computing., , and . INFOCOM, page 1-10. IEEE, (2021)Optimal Joint Offloading and Wireless Scheduling for Parallel Computing with Deadlines., , and . WiOpt, page 1-8. IEEE, (2019)Distributed Threshold-Based Offloading for Heterogeneous Mobile Edge Computing., , and . ICDCS, page 202-213. IEEE, (2023)SMT-based generation of symbolic automata., , , , , and . Acta Informatica, 57 (3-5): 627-656 (2020)Verifying Quantum Communication Protocols with Ground Bisimulation., , and . TACAS (2), volume 12079 of Lecture Notes in Computer Science, page 21-38. Springer, (2020)Motion-Prediction-Based Wireless Scheduling for Interactive Panoramic Scene Delivery., , , , and . IEEE Trans. Netw. Sci. Eng., 11 (2): 1566-1579 (March 2024)Using SMT Engine to Generate Symbolic Automata., , , and . Electron. Commun. Eur. Assoc. Softw. Sci. Technol., (2018)Index-aware reinforcement learning for adaptive video streaming at the wireless edge., , , , and . MobiHoc, page 81-90. ACM, (2022)