| Lightweight bytecode verification E Rose Journal of Automated Reasoning 31, 303-334, 2003 | 193 | 2003 |
| Preservation of strong normalisation in named lambda calculi with explicit substitution and garbage collection CJ Bloo, KH Rose Computing Science in the Netherlands (CSN'95, Utrecht, The Netherlands …, 1995 | 191 | 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 | 172 | 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 | 172 | 2007 |
| 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 | 107 | 2012 |
| Explicit substitution: tutorial & survey KH Rose Computer Science Department, 1996 | 74 | 1996 |
| Explicit cyclic substitutions KH Rose International Workshop on Conditional Term Rewriting Systems, 36-50, 1992 | 69 | 1992 |
| Optimization of XPath expressions for evaluation upon streaming XML data K Rose, P Geneves US Patent App. 10/847,405, 2005 | 65 | 2005 |
| Operational reduction models for functional programming languages KH Rose Datalogisk Institut, Københavns Universitet, 1996 | 65 | 1996 |
| Method and system for stylesheet execution interactive feedback AR Clarke, DM Cusson, AL Diaz, DC Lovell, KH Rose US Patent 7,337,391, 2008 | 60* | 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 | 58* | 2008 |
| Method and system for copy and paste technology for stylesheet editing KH Rose US Patent 7,992,088, 2011 | 50 | 2011 |
| Combinatory reduction systems with explicit substitution that preserve strong normalisation R Bloo, KH Rose International Conference on Rewriting Techniques and Applications, 169-183, 1996 | 44 | 1996 |
| XY-pic User’s Guide KH Rose Disponıvel em: http://tug. org/applications/Xy-pic/soft/xyguide. ps. gz, 1999 | 42 | 1999 |
| Modeling sharing and recursion for weak reduction strategies using explicit substitution ZEA Benaissa, P Lescanne, KH Rose Programming Languages: Implementations, Logics, and Programs: 8th …, 1996 | 42 | 1996 |
| 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, ... | 33 | 2002 |
| 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 | 30 | 2005 |
| XY-pic reference manual KH Rose, R Moore DIKU, University of Copenhagen, Universitetsparken, 1999 | 28 | 1999 |
| Normalization by evaluation with typed abstract syntax O Danvy, M Rhiger, KH Rose Journal of Functional Programming 11 (6), 673-680, 2001 | 25 | 2001 |
