| High-rate, ultralong cycle-life lithium/sulfur batteries enabled by nitrogen-doped graphene Y Qiu, W Li, W Zhao, G Li, Y Hou, M Liu, L Zhou, F Ye, H Li, Z Wei, S Yang, ... Nano letters 14 (8), 4821-4827, 2014 | 790 | 2014 |
| Tool support for refactoring functional programs H Li, C Reinke, S Thompson Proceedings of the 2003 ACM SIGPLAN workshop on Haskell, 27-38, 2003 | 170 | 2003 |
| A Domain-Specific Language for Scripting Refactorings in Erlang H Li, S Thompson 15th Fundamental Approaches to Software Engineering(FASE2012), 15pp, 2012 | 75 | 2012 |
| A Domain-Specific Language for Scripting Refactoring In Erlang H Li, S Thompson Technical Report 5-11, School of Computing, Univ, 2011 | 75 | 2011 |
| Clone detection and removal for Erlang/OTP within a refactoring environment H Li, S Thompson Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and …, 2009 | 71 | 2009 |
| The Haskell refactorer, HaRe, and its API H Li, S Thompson, C Reinke Electronic Notes in Theoretical Computer Science 141 (4), 29-34, 2005 | 71 | 2005 |
| Similar code detection and elimination for Erlang programs H Li, S Thompson Practical Aspects of Declarative Languages: 12th International Symposium …, 2010 | 60 | 2010 |
| Refactoring erlang programs H Li, S Thompson, L Lövei, Z Horváth, T Kozsik, A Víg, T Nagy The Proceedings of 12th International Erlang/OTP User Conference, 2006 | 50 | 2006 |
| Refactoring Haskell Programs H Li PQDT-UK & Ireland, 2006 | 48 | 2006 |
| Refactoring with Wrangler, updated: Data and process refactorings, and integration with Eclipse H Li, S Thompson, G Orosz, M Tóth Proceedings of the 7th ACM SIGPLAN Workshop on Erlang, 61-72, 2008 | 46 | 2008 |
| Let's make refactoring tools user-extensible! H Li, S Thompson Proceedings of the fifth workshop on refactoring tools, 32-39, 2012 | 36 | 2012 |
| Comparative study of refactoring haskell and erlang programs H Li, S Thompson 2006 Sixth IEEE International Workshop on Source Code Analysis and …, 2006 | 33 | 2006 |
| Incremental clone detection and elimination for erlang programs H Li, S Thompson Fundamental Approaches to Software Engineering: 14th International …, 2011 | 31 | 2011 |
| Towards property-based testing of restful web services P Lamela Seijas, H Li, S Thompson Proceedings of the twelfth ACM SIGPLAN workshop on Erlang, 77-78, 2013 | 29 | 2013 |
| Formalisation of Haskell refactorings H Li, S Thompson Intellect Books, 2005 | 28 | 2005 |
| Testing erlang refactorings with QuickCheck H Li, S Thompson Implementation and Application of Functional Languages: 19th International …, 2008 | 26 | 2008 |
| Refactoring tools for functional languages S Thompson, H Li Journal of Functional Programming 23 (3), 293-350, 2013 | 25 | 2013 |
| Refactoring with Wrangler, updated H Li, S Thompson, G Orosz, M Töth | 25 | 2008 |
| A User-extensible Refactoring Tool for Erlang Programs H Li, S Thompson University of Kent, 2011 | 23 | 2011 |
| An expression processor: a case study in refactoring Haskell programs C Brown, H Li, S Thompson Trends in Functional Programming: 11th International Symposium, TFP 2010 …, 2011 | 22 | 2011 |
