Lightweight bytecode verification E Rose Journal of Automated Reasoning 31, 303-334, 2003 | 197 | 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 | 192 | 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 | 175 | 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 | 112 | 2012 |
Explicit substitution: tutorial & survey KH Rose Computer Science Department, 1996 | 81 | 1996 |
Explicit cyclic substitutions KH Rose International Workshop on Conditional Term Rewriting Systems, 36-50, 1992 | 72 | 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 | 61* | 2008 |
Method and system for copy and paste technology for stylesheet editing KH Rose US Patent 7,992,088, 2011 | 46 | 2011 |
XY-pic User’s Guide KH Rose Disponıvel em: http://tug. org/applications/Xy-pic/soft/xyguide. ps. gz, 1999 | 46 | 1999 |
Combinatory reduction systems with explicit substitution that preserve strong normalisation R Bloo, KH Rose International Conference on Rewriting Techniques and Applications, 169-183, 1996 | 43 | 1996 |
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 | 43 | 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 | 32 | 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 | 26 | 2001 |
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 |
Virtual XML: A toolbox and use cases for the XML world view KH Rose, S Malaika, RJ Schloss IBM Systems Journal 45 (2), 411-424, 2006 | 24 | 2006 |