| Quality-driven architecture development using architectural tactics S Kim, DK Kim, L Lu, S Park Journal of Systems and Software 82 (8), 1211-1231, 2009 | 120 | 2009 |
| A backward analysis for constraint logic programs A King, L Lu Theory and Practice of Logic Programming 2 (4-5), 517-547, 2002 | 45 | 2002 |
| A feature-based approach for modeling role-based access control systems S Kim, DK Kim, L Lu, S Kim, S Park Journal of Systems and Software 84 (12), 2035-2052, 2011 | 33 | 2011 |
| Toward interoperability of smart grids DK Kim, A Alaerjan, L Lu, H Yang, H Jang IEEE Communications Magazine 55 (8), 204-210, 2017 | 26 | 2017 |
| Inference of design pattern instances in UML models via logic programming DK Kim, L Lu 11th IEEE International Conference on Engineering of Complex Computer …, 2006 | 23 | 2006 |
| Analysing logic programs by reasoning backwards JM Howe, A King, L Lu Program Development in Computational Logic: A Decade of Research Advances in …, 2004 | 20 | 2004 |
| Required behavior of sequence diagrams: Semantics and refinement L Lu, DK Kim 2011 16th ieee international conference on engineering of complex computer …, 2011 | 19 | 2011 |
| Design pattern-based model transformation supported by QVT DK Kim, L Lu, B Lee Journal of Systems and Software 125, 289-308, 2017 | 18 | 2017 |
| Polymorphic type analysis in logic programs by abstract interpretation L Lu The Journal of Logic Programming 36 (1), 1-54, 1998 | 18 | 1998 |
| Required behavior of sequence diagrams: Semantics and conformance L Lu, DK Kim ACM Transactions on Software Engineering and Methodology (TOSEM) 23 (2), 1-28, 2014 | 17 | 2014 |
| Forward versus backward verification of logic programs A King, L Lu International Conference on Logic Programming, 315-330, 2003 | 17 | 2003 |
| An operational semantics of starlog L Lu, JG Cleary Principles and Practice of Declarative Programming: International Conference …, 1999 | 16 | 1999 |
| Code smell detection tool for Java Script programs N Almashfi, L Lu 2020 5th International Conference on Computer and Communication Systems …, 2020 | 15 | 2020 |
| On Dart-Zobel algorithm for testing regular type inclusion L Lu ACM SIGPLAN Notices 36 (9), 81-85, 2001 | 15 | 2001 |
| Abstract interpretation, bug detection and bug diagnosis in normal logic programs L Lu University of Birmingham, 1994 | 15 | 1994 |
| A tactic-based approach to embodying non-functional requirements into software architectures S Kim, DK Kim, L Lu, SY Park 2008 12th International IEEE Enterprise Distributed Object Computing …, 2008 | 14 | 2008 |
| Determinacy inference for logic programs L Lu, A King European Symposium on Programming, 108-123, 2005 | 14 | 2005 |
| B-kNN to Improve the Efficiency of kNN DAL Kafaf, DK Kim, L Lu Proceedings of the 6th international conference on data science, technology …, 2017 | 12 | 2017 |
| Improving precision of java script program analysis with an extended domain of intervals A Younang, L Lu 2015 IEEE 39th Annual Computer Software and Applications Conference 3, 441-446, 2015 | 11 | 2015 |
| Detecting determinacy in Prolog programs A King, L Lu, S Genaim International Conference on Logic Programming, 132-147, 2006 | 11 | 2006 |
