| A perspective on rhythmic gymnastics performance analysis powered by intelligent fabric D Zhu, Z Zhang, M Chen, P Li, Y Xiang, J Ouyang, Z Huang, X Liu, ... Advanced Fiber Materials 5 (1), 1-11, 2023 | 24 | 2023 |
| Study of software-related causes in the FDA medical device recalls Z Fu, C Guo, Z Zhang, S Ren, Y Jiang, L Sha 2017 22nd International Conference on Engineering of Complex Computer …, 2017 | 21 | 2017 |
| Model and integrate medical resource available times and relationships in verifiably correct executable medical best practice guideline models C Guo, Z Fu, Z Zhang, S Ren, L Sha 2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS …, 2018 | 12 | 2018 |
| Mining timing constraints from event logs for process model Z Zhang, C Guo, S Ren 2020 IEEE 44th Annual Computers, Software, and Applications Conference …, 2020 | 11 | 2020 |
| UACFinder Mining Syntactic Carriers of Unspecified Assumptions in Medical Cyber-Physical System Design Models Z Fu, C Guo, Z Zhang, S Ren, L Sha ACM Transactions on Cyber-Physical Systems 4 (3), 1-25, 2020 | 8 | 2020 |
| Design verifiably correct model patterns to facilitate modeling medical best practice guidelines with statecharts C Guo, Z Fu, Z Zhang, S Ren, L Sha IEEE Internet of Things Journal 6 (4), 6276-6284, 2018 | 8 | 2018 |
| Empirical studies of three commonly used process mining algorithms W Peng, Z Zhang, R Hildebrant, S Ren 2021 IEEE International Conference on Systems, Man, and Cybernetics (SMC …, 2021 | 6 | 2021 |
| A framework for supporting the development of verifiably safe medical best practice guideline systems C Guo, Z Fu, Z Zhang, S Ren, L Sha Journal of Systems Architecture 104, 101693, 2020 | 5 | 2020 |
| Adaptive mobile applications to dynamic context M Zheng, B Wei, Z Zhang, X Yan Journal of Computer and Communications 2 (09), 9, 2014 | 5 | 2014 |
| Process scenario discovery from event logs based on activity and timing information Z Zhang, C Johnson, N Venkatasubramanian, S Ren Journal of Systems Architecture 125, 102435, 2022 | 4 | 2022 |
| Improving process discovery results by filtering out outliers from event logs with hidden Markov models Z Zhang, R Hildebrant, F Asgarinejad, N Venkatasubramanian, S Ren 2021 IEEE 23rd Conference on Business Informatics (CBI) 1, 171-180, 2021 | 3 | 2021 |
| Steering control strategy of AUV with vectored thruster based on double-loop mode C Shi-li, WEI Min, LI Yi-bo Journal of Tianjin University: Science and Technology 47 (6), 530-534, 2014 | 3 | 2014 |
| Using event log timing information to assist process scenario discoveries Z Zhang, C Guo, W Peng, S Ren 2020 IEEE Third International Conference on Artificial Intelligence and …, 2020 | 2 | 2020 |
| IAfinder identifying potential implicit assumptions to facilitate validation in medical cyber-physical system Z Fu, Z Wang, C Guo, Z Zhang, S Ren, L Sha Proceedings of the 55th Annual Design Automation Conference, 1-6, 2018 | 2 | 2018 |
| Model and integrate medical resource availability into verifiably correct executable medical guidelines C Guo, Z Fu, Z Zhang, S Ren, L Sha 2017 IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 964-969, 2017 | 2 | 2017 |
| Using Domain Knowledge to Assist Process Scenario Discoveries Z Zhang, J Zhu, R Hildebrant, N Venkatasubramanian, S Ren 2022 IEEE 46th Annual Computers, Software, and Applications Conference …, 2022 | 1 | 2022 |
| Formalism for Supporting the Development of Verifiably Safe Medical Guidelines with Statecharts C Guo, Z Fu, Z Zhang, S Ren, L Sha arXiv preprint arXiv:1909.10493, 2019 | 1 | 2019 |
| Prevent potential hazards caused by medical device time differences in integrated clinical environments Z Zhang, C Guo, Z Fu, S Ren, N Venkatasubramanian 2019 IEEE International Conference on Embedded Software and Systems (ICESS), 1-4, 2019 | 1 | 2019 |
| Reducing patient waiting time for radiotherapy treatments with a genetic algorithm Z Zhang, C Guo, Z Fu, Y Jiang, S Ren 2018 International Conference on Computational Science and Computational …, 2018 | 1 | 2018 |
| Optimized Early Prediction of Business Processes with Hyperdimensional Computing F Asgarinejad, A Thomas, R Hildebrant, Z Zhang, S Ren, T Rosing, ... Information 15 (8), 490, 2024 | | 2024 |