| Preservation of strong normalisation in named lambda calculi with explicit substitution and garbage collection R Bloo, KH Rose In CSN-95: Computer Science in the Netherlands, 1995 | 185 | 1995 |
| XQuery 1.0 and XPath 2.0 formal semantics D Draper, P Fankhauser, M Fernandez, A Malhotra, K Rose, M Rys, ... W3C recommendation 23, 2007 | 177 | 2007 |
| XQuery 1.0 and XPath 2.0 formal semantics D Draper, P Fankhauser, M Fernandez, A Malhotra, K Rose, M Rys, ... W3C recommendation 23, 2007 | 177 | 2007 |
| Lightweight bytecode verification E Rose, KH Rose The OOPSLA 98, 1998 | 128 | 1998 |
| Method and system for stylesheet-centric editing SC Adler, ALR Berglund, TJ Brawn, AR Clarke, DM Cusson, AL Diaz, ... US Patent 7,191,395, 2007 | 124 | 2007 |
| Method and system for stylesheet rule creation, combination, and removal SC Adler, ALR Berglund, DJ Boulia, TJ Brawn, DK Grotjohn, KH Rose US Patent 8,117,533, 2012 | 102 | 2012 |
| Explicit substitution: tutorial & survey KH Rose Computer Science Department, 1996 | 71 | 1996 |
| Explicit cyclic substitutions KH Rose International Workshop on Conditional Term Rewriting Systems, 36-50, 1992 | 68 | 1992 |
| Operational reduction models for functional programming languages KH Rose DIKU TECHNICAL REPORT, 1996 | 66 | 1996 |
| Optimization of XPath expressions for evaluation upon streaming XML data K Rose, P Geneves US Patent App. 10/847,405, 2005 | 63 | 2005 |
| Method and system for stylesheet execution interactive feedback AR Clarke, DM Cusson, AL Diaz, DC Lovell, KH Rose US Patent 7,337,391, 2008 | 56 | 2008 |
| Method and system for stylesheet execution interactive feedback AR Clarke, DM Cusson, AL Diaz, DC Lovell, KH Rose US Patent 7,337,391, 2008 | 54 | 2008 |
| Method and system for copy and paste technology for stylesheet editing KH Rose US Patent 7,992,088, 2011 | 45 | 2011 |
| Modeling sharing and recursion for weak reduction strategies using explicit substitution ZEA Benaissa, P Lescanne, KH Rose International Symposium on Programming Language Implementation and Logic …, 1996 | 41 | 1996 |
| Combinatory reduction systems with explicit substitution that preserve strong normalisation R Bloo, KH Rose International Conference on Rewriting Techniques and Applications, 169-183, 1996 | 40 | 1996 |
| XY-pic User’s Guide KH Rose Disponıvel em: http://tug. org/applications/Xy-pic/soft/xyguide. ps. gz, 1999 | 39 | 1999 |
| Compiling XSLT 2.0 into XQuery 1.0 A Fokoue, K Rose, J Siméon, L Villard Proceedings of the 14th international conference on World Wide Web, 682-691, 2005 | 29 | 2005 |
| XQuery 1.0 and XPath 2.0 Formal Semantics. W3C Working Draft D Draper, P Fankhauser, M Fernández, A Malhotra, K Rose, M Rys, ... | 29 | 2002 |
| XY-pic reference manual KH Rose, R Moore DIKU, University of Copenhagen, Universitetsparken, 1999 | 25 | 1999 |
| Commutativity analysis for XML updates G Ghelli, K Rose, J Siméon ACM Transactions on Database Systems (TODS) 33 (4), 1-47, 2008 | 24 | 2008 |
