Explicit Cyclic Substitutions. - Kristoffer Høgsbro Rose (CTRS, 1992)

Operational reduction models for functional programming languages. - Kristoffer Høgsbro Rose (1996)

Modeling Sharing and Recursion for Weak Reduction Strategies Using Explicit Substitution. - Zine-El-Abidine Benaissa; Pierre Lescanne; Kristoffer Høgsbro Rose (PLILP, 1996)

Combinatory Reduction Systems with Explicit Substitution that Preserve Strong Nomalisation. - Roel Bloo; Kristoffer Høgsbro Rose (RTA, 1996)

Higher-Order Rewriting and Partial Evaluation. - Olivier Danvy; Kristoffer Høgsbro Rose (RTA, 1998)

Java access protection through typing. - Eva Rose; Kristoffer Høgsbro Rose (Concurr. Comput. Pract. Exp., 2001)

Normalization by evaluation with typed abstract syntax. - Olivier Danvy; Morten Rhiger; Kristoffer Høgsbro Rose (J. Funct. Program., 2001)

The XML world view. - Kristoffer Høgsbro Rose (ACM Symposium on Document Engineering, 2004)

Compiling XPath for streaming access policy. - Pierre Genevès; Kristoffer Høgsbro Rose (ACM Symposium on Document Engineering, 2005)

Compiling XSLT 2.0 into XQuery 1.0. - Achille Fokoue; Kristoffer Høgsbro Rose; Jérôme Siméon; Lionel Villard (WWW, 2005)

Virtual XML: A toolbox and use cases for the XML world view. - Kristoffer Høgsbro Rose; Susan Malaika; Robert J. Schloss (IBM Syst. J., 2006)

A Better Semantics for XQuery with Side-Effects. - Giorgio Ghelli; Nicola Onose; Kristoffer Høgsbro Rose; Jérôme Siméon (DBPL, 2007)

Commutativity Analysis in XML Update Languages. - Giorgio Ghelli; Kristoffer Høgsbro Rose; Jérôme Siméon (ICDT, 2007)

XML query optimization in the presence of side effects. - Giorgio Ghelli; Nicola Onose; Kristoffer Høgsbro Rose; Jérôme Siméon (SIGMOD Conference, 2008)

Commutativity analysis for XML updates. - Giorgio Ghelli; Kristoffer Høgsbro Rose; Jérôme Siméon (ACM Trans. Database Syst., 2008)

Converting between Combinatory Reduction Systems and Big Step Semantics. - Hanne Gottliebsen; Kristoffer H. Rose (Semantics and Algebraic Specification, 2009)

Higher-order Rewriting for Executable Compiler Specifications - Kristoffer H. Rose (HOR, 2010)

CRSX - Combinatory Reduction Systems with Extensions. - Kristoffer H. Rose (RTA, 2011)

A Data Flow Language for Hybrid Query and Programming Languages. - Kristoffer Høgsbro Rose; Lionel Villard; Naoto Sato (FLOPS, 2012)

On Explicit Substitution with Names. - Kristoffer Høgsbro Rose; Roel Bloo; Frédéric Lang (J. Autom. Reason., 2012)