Author of the publication

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.

 

Other publications of authors with the same name

A Temporal-Rule Based Verification System for Business Collaboration Reliability., , and . RITA, 16 (2): 65-68 (2009)CoBTx-Net: A model for business collaboration reliability verification., , and . Inf. Syst. Frontiers, 11 (3): 257-272 (2009)Atmospheric Environment Five Dimensional Representation Model., , , , , and . AsiaSim/SCS AutumnSim (1), volume 643 of Communications in Computer and Information Science, page 281-286. (2016)Reliability Analysis for Manufacturing Grid., , and . PROLAMAT, volume 207 of IFIP, page 803-811. Springer, (2006)CoBTx-Net: A Model for Reliability Verification of Collaborative Business Transaction., and . Business Process Management Workshops, volume 4928 of Lecture Notes in Computer Science, page 220-231. Springer, (2007)Reasoning about the Node.js Event Loop using Async Graphs., , , and . CGO, page 61-72. IEEE, (2019)NodeMOP: runtime verification for Node.js applications., , , , and . SAC, page 1794-1801. ACM, (2019)MER 2024: Semi-Supervised Learning, Noise Robustness, and Open-Vocabulary Multimodal Emotion Recognition., , , , , , , , , and 8 other author(s). CoRR, (2024)3DRealCar: An In-the-wild RGB-D Car Dataset with 360-degree Views., , , , , , , , , and . CoRR, (2024)Multi-Process Runtime Verification for Android., , and . APSEC, page 701-706. IEEE Computer Society, (2017)