Volgen
Kristoffer Rose
Kristoffer Rose
Computer Scientist, Two Sigma Labs
Geverifieerd e-mailadres voor twosigma.com
Titel
Geciteerd door
Geciteerd door
Jaar
Lightweight bytecode verification
E Rose
Journal of Automated Reasoning 31, 303-334, 2003
1942003
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
1891995
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
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
1092012
Explicit substitution: tutorial & survey
KH Rose
Computer Science Department, 1996
761996
Explicit cyclic substitutions
KH Rose
International Workshop on Conditional Term Rewriting Systems, 36-50, 1992
711992
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
641996
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
462011
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
XY-pic User’s Guide
KH Rose
Disponıvel em: http://tug. org/applications/Xy-pic/soft/xyguide. ps. gz, 1999
421999
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, ...
322002
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
302005
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
252001
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20