Author of the publication

Toward a Unified Executable Formal Automobile OS Kernel and Its Applications.

, , , , , and . IEEE Trans. Reliab., 68 (3): 1117-1133 (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. 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

DeMPT: Decoding-enhanced Multi-phase Prompt Tuning for Making LLMs Be Better Context-aware Translators., , , , , , , and . CoRR, (2024)Exploring various knowledge in relation extraction, , , and . ACL '05: Proceedings of the 43rd Annual Meeting on Association for Computational Linguistics, page 427--434. Morristown, NJ, USA, Association for Computational Linguistics, (2005)The Infinite Evolution Mechanism of ϵ-Bisimilarity., and . J. Comput. Sci. Technol., 28 (6): 1097-1105 (2013)Infinite Evolution Mechanism of Probabilistic Processes., , and . ICTCS, page 155-161. (2009)Evaluation on multi-threaded queue test data for multi-channel filter rod forming machine., , , and . Int. J. Wirel. Mob. Comput., 17 (1): 12-15 (2019)Flexible Pressure Sensor Array with Tunable Measurement Range and High Sensitivity., , , , and . NEMS, page 196-200. IEEE, (2019)Designing for the Infrastructure of the Supply Chain of Malay Handwoven Songket in Terengganu., , , and . CHI, page 486. ACM, (2019)Why People Search for Images using Web Search Engines., , , , , and . CoRR, (2017)Searching for people to follow in social networks., , , , , and . Expert Syst. Appl., 41 (16): 7455-7465 (2014)Beyond Your Interests: Exploring the Information Behind User Tags., , , , and . NLPCC, volume 9362 of Lecture Notes in Computer Science, page 257-269. Springer, (2015)