( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Reasoning about the Node.js Event Loop using Async Graphs.

, , , и . CGO, стр. 61-72. IEEE, (2019)

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.

Haiyang Yun

Haiyang Hao

Yü-Sün Sun

Deming Sun

Xianyong Sun

 

Другие публикации лиц с тем же именем

A Temporal-Rule Based Verification System for Business Collaboration Reliability., , и . RITA, 16 (2): 65-68 (2009)CoBTx-Net: A model for business collaboration reliability verification., , и . Inf. Syst. Frontiers, 11 (3): 257-272 (2009)Atmospheric Environment Five Dimensional Representation Model., , , , , и . AsiaSim/SCS AutumnSim (1), том 643 из Communications in Computer and Information Science, стр. 281-286. (2016)Reliability Analysis for Manufacturing Grid., , и . PROLAMAT, том 207 из IFIP, стр. 803-811. Springer, (2006)CoBTx-Net: A Model for Reliability Verification of Collaborative Business Transaction., и . Business Process Management Workshops, том 4928 из Lecture Notes in Computer Science, стр. 220-231. Springer, (2007)Two-Aspect Information Interaction Model for ABAW4 Multi-task Challenge., , , , , , и . ECCV Workshops (6), том 13806 из Lecture Notes in Computer Science, стр. 173-180. Springer, (2022)Prediction of Soil Moisture Content Based on Improved BP Neural Network., , , , и . ICAIIS, стр. 23:1-23:5. ACM, (2021)Improving Law Enforcement Daily Deployment Through Machine Learning-Informed Optimization under Uncertainty., , , и . IJCAI, стр. 5815-5821. ijcai.org, (2019)NodeMOP: runtime verification for Node.js applications., , , , и . SAC, стр. 1794-1801. ACM, (2019)Multi-Process Runtime Verification for Android., , и . APSEC, стр. 701-706. IEEE Computer Society, (2017)