| Secure and practical outsourcing of linear programming in cloud computing C Wang, K Ren, J Wang INFOCOM, 2011 Proceedings IEEE, 820-828, 2011 | 458 | 2011 |
| Harnessing the Cloud for securely outsourcing large-scale systems of linear equations C Wang, K Ren, J Wang, Q Wang IEEE Transactions on Parallel and Distributed Systems 24 (6), 1172-1181, 2013 | 252* | 2013 |
| Harnessing the cloud for securely solving large-scale systems of linear equations C Wang, K Ren, J Wang, KMR Urs Distributed Computing Systems (ICDCS), 2011 31st International Conference on …, 2011 | 85 | 2011 |
| TAPHS: Thermal-aware unified physical-level and high-level synthesis ZP Gu, Y Yang, J Wang, RP Dick, L Shang Proceedings of the 2006 Asia and South Pacific Design Automation Conference …, 2006 | 69 | 2006 |
| ACG-adjacent constraint graph for general floorplans H Zhou, J Wang Computer Design: VLSI in Computers and Processors, 2004. ICCD 2004 …, 2004 | 60 | 2004 |
| Gate sizing by Lagrangian relaxation revisited J Wang, D Das, H Zhou Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions …, 2009 | 59 | 2009 |
| Gate sizing by Lagrangian relaxation revisited J Wang, D Das, H Zhou IEEE/ACM International Conference on Computer-Aided Design, 2007 | 59 | 2007 |
| Incremental exploration of the combined physical and behavioral design space Z Gu, J Wang, RR Dick, H Zhou Design Automation Conference, 2005. Proceedings. 42nd, 208-213, 2005 | 52 | 2005 |
| Unified incremental physical-level and high-level synthesis Z Gu, J Wang, RP Dick, H Zhou Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions …, 2007 | 43 | 2007 |
| Parallel forward and back substitution for efficient power grid simulation X Xiong, J Wang Computer-Aided Design (ICCAD), 2012 IEEE/ACM International Conference on …, 2012 | 33 | 2012 |
| Retiming for synchronous data flow graphs N Liveris, C Lin, J Wang, H Zhou, P Banerjee Design Automation Conference, 2007. ASP-DAC'07. Asia and South Pacific, 480-485, 2007 | 30 | 2007 |
| Large-scale energy storage system design and optimization for emerging electric-drive vehicles J Wu, J Wang, K Li, H Zhou, Q Lv, L Shang, Y Sun Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions …, 2013 | 26 | 2013 |
| An efficient dual algorithm for vectorless power grid verification under linear current constraints X Xiong, J Wang Design Automation Conference (DAC), 2010 47th ACM/IEEE, 837-842, 2010 | 24 | 2010 |
| An efficient incremental algorithm for min-area retiming J Wang, H Zhou Proceedings of the 45th annual Design Automation Conference, 528-533, 2008 | 20 | 2008 |
| A hierarchical matrix inversion algorithm for vectorless power grid verification X Xiong, J Wang Proceedings of the International Conference on Computer-Aided Design, 543-550, 2010 | 17 | 2010 |
| Vectorless verification of RLC power grids with transient current constraints X Xiong, J Wang Proceedings of the International Conference on Computer-Aided Design, 548-554, 2011 | 14 | 2011 |
| In-Place FPGA retiming for mitigation of variational single-event transient faults W Xu, J Wang, Y Hu, JY Lee, F Gong, L He, M Sarrafzadeh Circuits and Systems I: Regular Papers, IEEE Transactions on 58 (6), 1372-1381, 2011 | 14 | 2011 |
| Deterministic random walk preconditioning for power grid analysis J Wang Proceedings of the International Conference on Computer-Aided Design, 392-398, 2012 | 13 | 2012 |
| Linear constraint graph for floorplan optimization with soft blocks J Wang, H Zhou Proceedings of the 2008 IEEE/ACM International Conference on Computer-Aided …, 2008 | 13 | 2008 |
| Verifying RLC power grids with transient current constraints X Xiong, J Wang IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND …, 2013 | 12 | 2013 |
Kui RenProfessor and Dean of Computer Science, Zhejiang University, ACM/IEEE FellowVerified email at zju.edu.cn