| Age-based policy for blood transshipment during blood shortage KM Wang, ZJ Ma Transportation Research Part E: Logistics and Transportation Review 80, 166-183, 2015 | 61 | 2015 |
| An emergency blood allocation approach considering blood group compatibility in disaster relief operations ZJ Ma, KM Wang, Y Dai International Journal of Disaster Risk Science 10, 74-88, 2019 | 32 | 2019 |
| LED 大屏幕输出电路的优化设计 王飞， 靳桅， 邬芝权 液晶与显示 23 (1), 102-105, 2008 | 28 | 2008 |
| Behaviour-driven formal model development C Snook, TS Hoang, D Dghyam, M Butler, T Fischer, R Schlick, K Wang Formal Methods and Software Engineering: 20th International Conference on …, 2018 | 14 | 2018 |
| 应急物资储备库的可靠性 P-中位选址模型 周愉峰， 马祖军， 王恪铭 管理评论 27 (5), 198, 2015 | 11 | 2015 |
| Formal modeling and data validation of general railway interlocking system W Keming, W Zheng, Z Chuandong WIT Transactions on The Built Environment 181, 527-538, 2018 | 7 | 2018 |
| Traffic assignment model based on cumulative prospect theory for stochastic road network with heterogeneous users B Lü, H Liu, Y Pu, K Wang, Q Guo Xinan Jiaotong Daxue Xuebao/Journal of Southwest Jiaotong University 50 (1 …, 2015 | 7 | 2015 |
| Formal method for behavior verification and data validation of station interlocking system W Keming, W Xia, C Peng, LIU Ning, Z Chuandong 西南交通大学学报 56 (3), 587-593, 610, 2021 | 6 | 2021 |
| Age-Based Transshipment Strategy for Overstock Blood in Emergency Relief K Wang, Z Ma, Y Zhou Advances in Information Sciences and Service Sciences 4 (18), 633-642, 2012 | 6 | 2012 |
| 车站联锁系统行为验证与数据确认的形式化方法 王恪铭， 王霞， 程鹏， 刘宁， 张传东 西南交通大学学报 56 (3), 587-593, 2021 | 5 | 2021 |
| Robustness verification of railway level crossing control system by formal method K Wang, Z Wang 2018 12th International Conference on Reliability, Maintainability, and …, 2018 | 5 | 2018 |
| A Two phase Decision making Approach for Emergency Blood Transferring Problem in Public Emergencies W Ke-ming, MA Zu-jun, Z Yu-feng Journal of Transportation Systems Engineering and Information Technology 13 …, 2013 | 5 | 2013 |
| 基于形式化方法的道口控制系统规范建模与验证 王恪铭， 王峥 西南交通大学学报 54 (3), 573-578, 603, 2019 | 4 | 2019 |
| 有容量限制的可靠性固定费用选址问题 周愉峰， 马祖军， 王恪铭 运筹与管理 24 (3), 6-13, 2015 | 4 | 2015 |
| Optimization of multi-stage emergency blood transferring W Ke-ming, MA Zu-jun Systems Engineering—Theory & Practice 34 (7), 7, 2014 | 4 | 2014 |
| 突发事件应急血液调剂问题的两阶段决策方法 王恪铭， 马祖军， 周愉峰 交通运输系统工程与信息 13 (1), 169, 2013 | 4 | 2013 |
| 灾后重建地区新增血站的选址问题研究 王恪铭， 马祖军， 郑斌 运筹与管理 21 (1), 136-141, 2012 | 4 | 2012 |
| 道口管理系统多参数的形式化建模与验证 王霞,刘宁王恪铭 综合运输 41 (02), 65-72, 2019 | 3 | 2019 |
| 基于累积前景理论的随机异质道路网配流模型 吕彪， 刘海旭， 蒲云， 王恪铭， 郭茜 西南交通大学学报 50 (1), 173-182, 2015 | 3 | 2015 |
| Automatic generation of test cases of multi-agent systems based on model checking W Tang, K Wang 2021 16th International Conference on Intelligent Systems and Knowledge …, 2021 | 2 | 2021 |
Michael ButlerProfessor of Computer Science, University of SouthamptonVerified email at ecs.soton.ac.uk
