| Equity-structure-approach to Solve Corporate Governance Problem Y Huang, Y Sun, Y Shao, S WANG JOURNAL-TONGJI UNIVERSITY 31 (9), 1102-1105, 2003 | 26 | 2003 |
| Method, device and system for transmitting packet service data S Wang, Y Zhao, M Li, M Yang, W Yong, S Qin, Y Shao, W Gu, G Wang, ... US Patent 9,220,120, 2015 | 11 | 2015 |
| Certifying graph-manipulating C programs via localizations within data structures S Wang, Q Cao, A Mohan, A Hobor Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-30, 2019 | 8 | 2019 |
| Besfs: Mechanized proof of an iago-safe filesystem for enclaves S Shinde, S Wang, P Yuan, A Hobor, A Roychoudhury, P Saxena ArXiv e-prints, 2018 | 7 | 2018 |
| Certified reasoning with infinity A Sharma, S Wang, A Costea, A Hobor, WN Chin International Symposium on Formal Methods, 496-513, 2015 | 6 | 2015 |
| BesFS: A {POSIX} Filesystem for Enclaves with a Mechanized Safety Proof S Shinde, S Wang, P Yuan, A Hobor, A Roychoudhury, P Saxena 29th {USENIX} Security Symposium ({USENIX} Security 20), 523-540, 2020 | 3 | 2020 |
| Stack bound inference for abstract Java bytecode S Wang, Z Qiu, S Qin, WN Chin 2010 4th IEEE International Symposium on Theoretical Aspects of Software …, 2010 | 3 | 2010 |
| Proof pearl: Magic wand as frame Q Cao, S Wang, A Hobor, AW Appel arXiv preprint arXiv:1909.08789, 2019 | 2 | 2019 |
| Method, Apparatus, and System for Transmitting Packet Service Data Y Zhao, Y Shao, S Wang, M Li, J Wei, W Yong, S Qin, QIU Hua, Y Zhang, ... US Patent App. 13/290,674, 2012 | 2 | 2012 |
| Circulating Nurses' experience of Coordination Involved in 10, 000 cases of Extracorporeal Circulation Operation SF Wang, Y Liu, S Qin CHINESE JOURNAL OF NURSING 33, 135-136, 1998 | | 1998 |
| ELSEVIER Journal of Materials Processing Technology 47 {1995~ 395 S Altintas, MJM Barata Marques, DJ Barrett, PS Bate, E Bayraktar, ... Journal of Materials Processing Technology 47, 395, 1995 | | 1995 |
| A Machine-Checked C Implementation of Dijkstra’s Shortest Path Algorithm A Mohan, S Wang, A Hobor | | |
| The Ramifications of Mechanized Localizations within Data Structures SWQCA Sharma, X Aquinas Hobor | | |
