( en | de | ru )

 

Disambiguation of "Wan, Hai"

Author of the publication

copydeleteadd this publication to your clipboard
Model-based adaptation to extreme physical environments: a case study on mixed-criticality industrial ethernet.

, , , , , , and . ICSE (Companion Volume), page 327-328. ACM, (2018)

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.

Wan Shen

Xianglong Wan

Shuying Wan

Hui Wan

Ning Wan

 

Other publications of authors with the same name

An Adaptive-Granularity Locking Algorithm and Its Application in Collaborative Authoring System., , , and . CSCWD, page 168-173. IEEE, (2007)Multi-model induced network for participatory-sensing-based classification tasks in intelligent and connected transportation systems., , , , , , and . Comput. Networks, (2018)Formalisation and verification of programmable logic controllers timers in Coq., , , and . IET Softw., 5 (1): 32-42 (2011)Synthesizing Fault-Tolerant Schedule for Time-Triggered Network Without Hot Backup., , , , , , , and . IEEE Trans. Ind. Electron., 66 (2): 1345-1355 (2019)Online Scheduling for Dynamic VM Migration in Multicast Time-Sensitive Networks., , , , and . IEEE Trans. Ind. Informatics, 16 (6): 3778-3788 (2020)τε2asp : Implementing $TE$ via Answer Set Programming., , , and . PRICAI, volume 7458 of Lecture Notes in Computer Science, page 820-825. Springer, (2012)A General Multi-agent Epistemic Planner Based on Higher-order Belief Change., , , and . IJCAI, page 1093-1101. ijcai.org, (2017)Flow Scheduling for Conflict-Free Network Updates in Time-Sensitive Software-Defined Networks., , , , , , and . IEEE Trans. Ind. Informatics, 17 (3): 1668-1678 (2021)Warp-Aware Adaptive Energy Efficiency Calibration for Multi-GPU Systems., , , , , and . IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 42 (5): 1676-1690 (May 2023)A general multi-agent epistemic planner based on higher-order belief change., , and . Artif. Intell., (2021)