Author of the publication

Securing Aptos Framework with Formal Verification.

, , , , , , , and . FMBC@CAV, volume 118 of OASIcs, page 9:1-9:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2024)

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

Improving Fine-Grained Resource Mapping on Tightly Coupled Heterogeneous Multi-cores.. University of California, Los Angeles, USA, (2017)Designing "Fashion" into Uniform for Taipei City Public Cleaner Team., , and . HCI (19), volume 8528 of Lecture Notes in Computer Science, page 68-79. Springer, (2014)On Factors Influencing Typing Time: Insights from a Viral Online Typing Game., , and . CogSci, cognitivesciencesociety.org, (2021)Rubik: Knowledge Guided Tensor Factorization and Completion for Health Data Analytics., , , , , , , and . KDD, page 1265-1274. ACM, (2015)Abstract strategy learning underlies flexible transfer in physical problem solving., , , , and . CogSci, cognitivesciencesociety.org, (2020)From Adaptive Design to Adaptive City-Design in Motion for Taipei City., , and . HCI (19), volume 8528 of Lecture Notes in Computer Science, page 643-649. Springer, (2014)Hidden Flaws Behind Expert-Level Accuracy of GPT-4 Vision in Medicine., , , , , , , , , and 6 other author(s). CoRR, (2024)How oculus story studio created an immersive illustrated story.. SIGGRAPH ASIA VR Showcase, page 15:1. ACM, (2016)Deep brain stimulation and recordings: Insights into the contributions of subthalamic nucleus in cognition., and . NeuroImage, (2020)An Evaluation Model for Creating Immersive Experiences Based on Intangible Cultural Heritage., and . HCI (25), volume 14035 of Lecture Notes in Computer Science, page 44-57. Springer, (2023)