| Energy big data: A survey H Jiang, K Wang, Y Wang, M Gao, Y Zhang IEEE Access 4, 3844-3861, 2016 | 251 | 2016 |
| Probabilistic model checking and scheduling implementation of an energy router system in energy internet for green cities M Gao, K Wang, L He IEEE Transactions on Industrial Informatics 14 (4), 1501-1510, 2018 | 116 | 2018 |
| AutoDSE: Enabling software programmers to design efficient FPGA accelerators A Sohrabizadeh, CH Yu, M Gao, J Cong ACM Transactions on Design Automation of Electronic Systems (TODAES) 27 (4 …, 2022 | 65 | 2022 |
| A dispatching method for integrated energy system based on dynamic time-interval of model predictive control X Dou, J Wang, Z Wang, L Li, L Bai, S Ren, M Gao Journal of Modern Power Systems and Clean Energy 8 (5), 841-852, 2020 | 47 | 2020 |
| A data placement strategy based on clustering and consistent hashing algorithm in cloud computing Q Li, K Wang, S Wei, X Han, L Xu, M Gao 9th International Conference on Communications and Networking in China, 478-483, 2014 | 16 | 2014 |
| LKM: A LDA-Based K-Means Clustering Algorithm for Data Analysis of Intrusion Detection in Mobile Sensor Networks Y Zhang, K Wang, M Gao, Z Ouyang, S Chen International Journal of Distributed Sensor Networks 11 (10), 491910, 2015 | 12 | 2015 |
| Llsplat: Improving concolic testing by bounded model checking M Gao, L He, R Majumdar, Z Wang 2016 IEEE 16th international working conference on source code analysis and …, 2016 | 8 | 2016 |
| Probabilistic model checking for green energy router system in energy Internet M Gao, K Wang, L He GLOBECOM 2017-2017 IEEE Global Communications Conference, 1-6, 2017 | 7 | 2017 |
| A behavioral algorithm for state of charge estimation A Balkan, M Gao, P Tabuada, L He World Electric Vehicle Journal 5 (2), 412-417, 2012 | 4 | 2012 |
| NAPR: A node activity-based probabilistic routing algorithm in Delay Tolerant-Mobile Sensor Networks K Wang, Y Zhang, L Shu, C Zhu, M Gao 2015 IEEE International Conference on Communications (ICC), 7002-7006, 2015 | 2 | 2015 |
| Applications of Formal And Semi-formal Verification on Software Testing, High-level Synthesis And Energy Internet M Gao UCLA, 2018 | | 2018 |
| Codecomb: 基于符号执行的嵌入式软件测试案例自动生成与缺陷检测 郭文生， 汪勇， 杨霞， 高敏 小型微型计算机系统 38 (6), 1250-1255, 2017 | | 2017 |
| 基于满足性判定的布尔网络环求解算法 郭文生， 杨国武， 李晓瑜， 高敏 电子科技大学学报 44 (6), 881-886, 2015 | | 2015 |
| A Fast Method for SRAM Failure Estimation M Gao UCLA, 2012 | | 2012 |
| Electro-information management system with vicious load identifying function as well as multifunctional ammeter MG Guizhong Tang, Guangming Zhang, Lijian Liu CN Patent CN202,076,846 U, 2011 | | 2011 |
Kun Wang (王堃)UCLA, SMIEEEVerified email at ucla.edu
