2008 |
14 | EE | Giorgio Ghelli,
Nicola Onose,
Kristoffer Høgsbro Rose,
Jérôme Siméon:
XML query optimization in the presence of side effects.
SIGMOD Conference 2008: 339-352 |
13 | EE | Giorgio Ghelli,
Kristoffer Høgsbro Rose,
Jérôme Siméon:
Commutativity analysis for XML updates.
ACM Trans. Database Syst. 33(4): (2008) |
2007 |
12 | EE | Giorgio Ghelli,
Nicola Onose,
Kristoffer Høgsbro Rose,
Jérôme Siméon:
A Better Semantics for XQuery with Side-Effects.
DBPL 2007: 81-96 |
11 | EE | Giorgio Ghelli,
Kristoffer Høgsbro Rose,
Jérôme Siméon:
Commutativity Analysis in XML Update Languages.
ICDT 2007: 374-388 |
2006 |
10 | EE | Kristoffer Høgsbro Rose,
Susan Malaika,
Robert J. Schloss:
Virtual XML: A toolbox and use cases for the XML world view.
IBM Systems Journal 45(2): 411-424 (2006) |
2005 |
9 | EE | Pierre Genevès,
Kristoffer Høgsbro Rose:
Compiling XPath for streaming access policy.
ACM Symposium on Document Engineering 2005: 52-54 |
8 | EE | Achille Fokoue,
Kristoffer Høgsbro Rose,
Jérôme Siméon,
Lionel Villard:
Compiling XSLT 2.0 into XQuery 1.0.
WWW 2005: 682-691 |
2004 |
7 | EE | Kristoffer Høgsbro Rose:
The XML world view.
ACM Symposium on Document Engineering 2004: 34 |
2001 |
6 | | Eva Rose,
Kristoffer Høgsbro Rose:
Java access protection through typing.
Concurrency and Computation: Practice and Experience 13(13): 1125-1132 (2001) |
5 | | Olivier Danvy,
Morten Rhiger,
Kristoffer Høgsbro Rose:
Normalization by evaluation with typed abstract syntax.
J. Funct. Program. 11(6): 673-680 (2001) |
1998 |
4 | EE | Olivier Danvy,
Kristoffer Høgsbro Rose:
Higher-Order Rewriting and Partial Evaluation.
RTA 1998: 286-301 |
1996 |
3 | | Zine-El-Abidine Benaissa,
Pierre Lescanne,
Kristoffer Høgsbro Rose:
Modeling Sharing and Recursion for Weak Reduction Strategies Using Explicit Substitution.
PLILP 1996: 393-407 |
2 | | Roel Bloo,
Kristoffer Høgsbro Rose:
Combinatory Reduction Systems with Explicit Substitution that Preserve Strong Nomalisation.
RTA 1996: 169-183 |
1992 |
1 | | Kristoffer Høgsbro Rose:
Explicit Cyclic Substitutions.
CTRS 1992: 36-50 |