( en | de | ru )

 

Disambiguation of "Wan, Hai"

Author of the publication

copydeleteadd this publication to your clipboard
Improving Local Search Algorithms via Probabilistic Configuration Checking.

, , , , , and . AAAI, page 10283-10290. AAAI Press, (2022)

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

Hui Wan

Shuying Wan

Ning Wan

 

Other publications of authors with the same name

Synthesizing Fault-Tolerant Schedule for Time-Triggered Network Without Hot Backup., , , , , , , and . IEEE Trans. Ind. Electron., 66 (2): 1345-1355 (2019)An Adaptive-Granularity Locking Algorithm and Its Application in Collaborative Authoring System., , , and . CSCWD, page 168-173. IEEE, (2007)τε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)A general multi-agent epistemic planner based on higher-order belief change., , and . Artif. Intell., (2021)Online Scheduling for Dynamic VM Migration in Multicast Time-Sensitive Networks., , , , and . IEEE Trans. Ind. Informatics, 16 (6): 3778-3788 (2020)Formalisation and verification of programmable logic controllers timers in Coq., , , and . IET Softw., 5 (1): 32-42 (2011)Multi-model induced network for participatory-sensing-based classification tasks in intelligent and connected transportation systems., , , , , , and . Comput. Networks, (2018)A Noise-tolerant Differentiable Learning Approach for Single Occurrence Regular Expression with Interleaving., , , , , and . CoRR, (2022)