Follow
Kristoffer Rose
Kristoffer Rose
Computer Scientist, Two Sigma Labs
Verified email at twosigma.com
Title
Cited by
Cited by
Year
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
1851995
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
1732007
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
1732007
Lightweight bytecode verification
E Rose, KH Rose
The OOPSLA 98, 1998
1301998
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
1242007
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
1052012
Explicit substitution: tutorial & survey
KH Rose
Computer Science Department, 1996
721996
Explicit cyclic substitutions
KH Rose
International Workshop on Conditional Term Rewriting Systems, 36-50, 1992
681992
Operational reduction models for functional programming languages
KH Rose
DIKU TECHNICAL REPORT, 1996
671996
Optimization of XPath expressions for evaluation upon streaming XML data
K Rose, P Geneves
US Patent App. 10/847,405, 2005
632005
Method and system for stylesheet execution interactive feedback
AR Clarke, DM Cusson, AL Diaz, DC Lovell, KH Rose
US Patent 7,337,391, 2008
562008
Method and system for stylesheet execution interactive feedback
AR Clarke, DM Cusson, AL Diaz, DC Lovell, KH Rose
US Patent 7,337,391, 2008
542008
Method and system for copy and paste technology for stylesheet editing
KH Rose
US Patent 7,992,088, 2011
482011
XY-pic User’s Guide
KH Rose
Disponıvel em: http://tug. org/applications/Xy-pic/soft/xyguide. ps. gz, 1999
441999
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
421996
Combinatory reduction systems with explicit substitution that preserve strong normalisation
R Bloo, KH Rose
International Conference on Rewriting Techniques and Applications, 169-183, 1996
401996
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, ...
292002
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
282005
XY-pic reference manual
KH Rose, R Moore
DIKU, University of Copenhagen, Universitetsparken, 1999
251999
Commutativity analysis for XML updates
G Ghelli, K Rose, J Siméon
ACM Transactions on Database Systems (TODS) 33 (4), 1-47, 2008
242008
The system can't perform the operation now. Try again later.
Articles 1–20