Concepedia

Kristoffer H. Rose

KH

Statistics

Publications

8

Citations

147

H-Index

8

Active since

1995

Affiliations

IBM (United States)(Current)

IBM Research - Thomas J. Watson Research Center

Aarhus University

Danish National Research Foundation

University of Pisa

Kristoffer H. Rose is an author at IBM (United States) specializing in engineering, computer science, and software engineering.

Top concepts

EngineeringComputer ScienceFormal MethodsAutomated ReasoningSoftware EngineeringSyntaxLanguageSoftware DesignRelational QueriesFormal Verification

Publications per year

1995–2011

8

Publications

8

Preservation of strong normalisation in named lambda calculi with explicit substitution and garbage collection

C.J. Bloo, Kristoffer H. Rose · Data Archiving and Networked Services (DANS) · 1995 · 35 citations

Normalization by evaluation with typed abstract syntax

Olivier Danvy, Morten Rhiger, Kristoffer H. Rose · Journal of Functional Programming · 2001 · 30 citations · Full text

Engineering, Type Theory, Object Language +19

Commutativity analysis for XML updates

Giorgio Ghelli, Kristoffer H. Rose, Jérǒme Simèon · ACM Transactions on Database Systems · 2008 · 18 citations

Xml Library, Xml Transformation, Xml Updates +14

Compiling XSLT 2.0 into XQuery 1.0

Achille Fokoue, Kristoffer H. Rose, Jérǒme Simèon et al. · 2005 · 16 citations

Relational Queries, Xml Library, Xml Transformation +10

XML query optimization in the presence of side effects

Giorgio Ghelli, Nicola Onose, Kristoffer H. Rose et al. · 2008 · 15 citations

1–5 of 8