Author of the publication

Towards Verifiable Safe and Correct Medical Best Practice Guideline Systems.

, , , , and . COMPSAC (1), page 760-765. IEEE Computer Society, (2017)

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

Answering the Min-Cost Quality-Aware Query on Multi-sources in Sensor-Cloud Systems., , , and . SpaCCS, volume 11342 of Lecture Notes in Computer Science, page 156-165. Springer, (2018)Approximate Steady State Models for Magnetic Resonance Elastography., , and . SIAM J. Appl. Math., 71 (6): 1965-1989 (2011)Reliability-Based Transit Assignment for Congested Stochastic Transit Networks., , and . Comput. Aided Civ. Infrastructure Eng., 26 (4): 311-326 (2011)基于断裂结构线匹配模型的大破损区域图像修复算法 (Large Damaged Area Image Inpainting Algorithm Based on Matching Model for Broken Structure Line)., , , and . 计算机科学, 43 (10): 292-296 (2016)Enabling clone detection for ethereum via smart contract birthmarks., , , , and . ICPC, page 105-115. IEEE / ACM, (2019)Anomaly Detection Based on Kernel Principal Component and Principal Component Analysis., , , , , and . CSPS, volume 463 of Lecture Notes in Electrical Engineering, page 2222-2228. Springer, (2017)Erratum for Äpproximate Steady State Models for Magnetic Resonance Elastography"., , and . SIAM J. Appl. Math., 80 (4): 2001 (2020)Adaptive dynamic programming as a theory of sensorimotor control., and . Biol. Cybern., 108 (4): 459-473 (2014)Optimization of Vehicles Arrangement in Distribution Center., , , and . LISS (2), page 180-184. SciTePress, (2011)TCRec: product recommendation via exploiting social-trust network and product category information., , , , and . WWW (Companion Volume), page 233-234. International World Wide Web Conferences Steering Committee / ACM, (2013)