Follow
Kristoffer Rose
Kristoffer Rose
Computer Scientist, Two Sigma Labs
Verified email at twosigma.com
Title
Cited by
Cited by
Year
Lightweight bytecode verification
E Rose
Journal of Automated Reasoning 31, 303-334, 2003
1972003
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
1921995
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
1752007
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
1122012
Explicit substitution: tutorial & survey
KH Rose
Computer Science Department, 1996
811996
Explicit cyclic substitutions
KH Rose
International Workshop on Conditional Term Rewriting Systems, 36-50, 1992
721992
Optimization of XPath expressions for evaluation upon streaming XML data
K Rose, P Geneves
US Patent App. 10/847,405, 2005
652005
Operational reduction models for functional programming languages
KH Rose
Datalogisk Institut, Københavns Universitet, 1996
651996
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
462011
XY-pic User’s Guide
KH Rose
Disponıvel em: http://tug. org/applications/Xy-pic/soft/xyguide. ps. gz, 1999
461999
Combinatory reduction systems with explicit substitution that preserve strong normalisation
R Bloo, KH Rose
International Conference on Rewriting Techniques and Applications, 169-183, 1996
431996
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
431996
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, ...
332002
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
322005
XY-pic reference manual
KH Rose, R Moore
DIKU, University of Copenhagen, Universitetsparken, 1999
281999
Normalization by evaluation with typed abstract syntax
O Danvy, M Rhiger, KH Rose
Journal of Functional Programming 11 (6), 673-680, 2001
262001
Commutativity analysis for XML updates
G Ghelli, K Rose, J Siméon
ACM Transactions on Database Systems (TODS) 33 (4), 1-47, 2008
242008
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
242006
The system can't perform the operation now. Try again later.
Articles 1–20