| Real-time verification of network properties using atomic predicates H Yang, SS Lam IEEE/ACM Transactions on Networking 24 (2), 887-900, 2016 | 201 | 2016 |
| Frequency-domain packet scheduling for 3GPP LTE uplink H Yang, F Ren, C Lin, J Zhang INFOCOM, 2010 Proceedings IEEE, 1-9, 2010 | 89 | 2010 |
| Dynamic routing for data integrity and delay differentiated services in wireless sensor networks J Zhang, F Ren, S Gao, H Yang, C Lin IEEE Transactions on Mobile Computing 14 (2), 328-343, 2015 | 72 | 2015 |
| Optimization of energy efficient transmission in underwater sensor networks H Yang, B Liu, F Ren, H Wen, C Lin Global Telecommunications Conference, 2009. GLOBECOM 2009. IEEE, 1-6, 2009 | 67 | 2009 |
| Scalable verification of networks with packet transformers using atomic predicates H Yang, SS Lam IEEE/ACM Transactions on Networking 25 (5), 2900-2915, 2017 | 39 | 2017 |
| Practical network-wide packet behavior identification by ap classifier H Wang, C Qian, Y Yu, H Yang, SS Lam IEEE/ACM Transactions on Networking 25 (5), 2886-2899, 2017 | 38 | 2017 |
| Frequency domain packet scheduling with stability analysis for 3GPP LTE uplink F Ren, Y Xu, H Yang, J Zhang, C Lin IEEE Transactions on Mobile Computing 12 (12), 2412-2426, 2013 | 29 | 2013 |
| Frequency domain packet scheduling with MIMO for 3GPP LTE downlink Y Xu, H Yang, F Ren, C Lin, XS Shen IEEE Transactions on Wireless Communications 12 (4), 1752-1761, 2013 | 28 | 2013 |
| Security analysis for online banking system using hierarchical stochastic game nets model Y Wang, C Lin, K Meng, H Yang, J Lv Global Telecommunications Conference, 2009. GLOBECOM 2009. IEEE, 1-6, 2009 | 25 | 2009 |
| Hybrid simulation of biochemical systems using hybrid adaptive Petri nets H Yang, C Lin, Q Li Proceedings of the Fourth International ICST Conference on Performance …, 2009 | 14 | 2009 |
| Design and analysis of a backpressure congestion control algorithm in wireless sensor network Y Ouyang, C Lin, F Ren, H Yang, X Huang, T Liu Parallel and Distributed Computing, Applications and Technologies, 2007 …, 2007 | 13 | 2007 |
| SICS: Secure In-Cloud Service Function Chaining H Wang, X Li, Y Zhao, Y Yu, H Yang, C Qian arXiv preprint arXiv:1606.07079, 2016 | 12 | 2016 |
| Energy efficient cooperation in underwater sensor networks H Yang, F Ren, C Lin, B Liu Quality of Service (IWQoS), 2010 18th International Workshop on, 1-9, 2010 | 12 | 2010 |
| A Novel Cookie-based DDoS Protection Scheme and its Performance Analysis R Zeng, C Lin, H Yang, Y Wang, Y Wang, P Ungsunan Advanced Information Networking and Applications, 2009. AINA'09 …, 2009 | 11 | 2009 |
| Collaborative Verification of Forward and Reverse Reachability in the Internet Data Plane H Yang, SS Lam Network Protocols (ICNP), 2014 IEEE 22nd International Conference on, 320-331, 2014 | 9 | 2014 |
| An effective early warning scheme against pollution dissemination for BitTorrent C Lin, Y Jiang, X Chu, H Yang Global Telecommunications Conference, 2009. GLOBECOM 2009. IEEE, 1-7, 2009 | 4 | 2009 |
| Joint Adaptive Redundancy and Partial Retransmission for Reliable Transmission in Wireless Sensor Networks H Wen, C Lin, F Ren, H Yang, T He, E Dutkiewicz Performance, Computing and Communications Conference, 2008. IPCCC 2008. IEEE …, 2008 | 4 | 2008 |
| Application of Petri Nets to Bioinformatics C Lin, HK YANG, ZG SHAN CHINESE JOURNAL OF COMPUTERS-CHINESE EDITION- 30 (11), 1889, 2007 | 4 | 2007 |
| Efficient verification of packet networks H Yang | 1 | 2015 |
| Efficient verification of network reachability properties H Yang Network Protocols (ICNP), 2013 21st IEEE International Conference on, 1-3, 2013 | 1 | 2013 |
Simon LamUniversity of Texas at AustinVerified email at cs.utexas.edu
