Kristoffer Høgsbro Rose

Publication Activity (10 Years)

Years Active: 1992-2012
Publications (10 Years): 0

Top Venues

FLOPS

J. Autom. Reason.

University of Copenhagen, Denmark (PHD)

Education History

University of Copenhagen, Denmark

PHD

Publications

Kristoffer Høgsbro Rose, Lionel Villard, Naoto Sato
A Data Flow Language for Hybrid Query and Programming Languages. FLOPS (2012)
Kristoffer Høgsbro Rose, Roel Bloo, Frédéric Lang
On Explicit Substitution with Names. J. Autom. Reason. 49 (2) (2012)
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)
Giorgio Ghelli, Kristoffer Høgsbro Rose, Jérôme Siméon
Commutativity analysis for XML updates. ACM Trans. Database Syst. 33 (4) (2008)
Giorgio Ghelli, Nicola Onose, Kristoffer Høgsbro Rose, Jérôme Siméon
A Better Semantics for XQuery with Side-Effects. DBPL (2007)
Giorgio Ghelli, Kristoffer Høgsbro Rose, Jérôme Siméon
Commutativity Analysis in XML Update Languages. ICDT (2007)
Kristoffer Høgsbro Rose, Susan Malaika, Robert J. Schloss
Virtual XML: A toolbox and use cases for the XML world view. IBM Syst. J. 45 (2) (2006)
Achille Fokoue, Kristoffer Høgsbro Rose, Jérôme Siméon, Lionel Villard
Compiling XSLT 2.0 into XQuery 1.0. WWW (2005)
Pierre Genevès, Kristoffer Høgsbro Rose
Compiling XPath for streaming access policy. ACM Symposium on Document Engineering (2005)
Kristoffer Høgsbro Rose
The XML world view. ACM Symposium on Document Engineering (2004)
Olivier Danvy, Morten Rhiger, Kristoffer Høgsbro Rose
Normalization by evaluation with typed abstract syntax. J. Funct. Program. 11 (6) (2001)
Eva Rose, Kristoffer Høgsbro Rose
Java access protection through typing. Concurr. Comput. Pract. Exp. 13 (13) (2001)
Olivier Danvy, Kristoffer Høgsbro Rose
Higher-Order Rewriting and Partial Evaluation. RTA (1998)
Roel Bloo, Kristoffer Høgsbro Rose
Combinatory Reduction Systems with Explicit Substitution that Preserve Strong Nomalisation. RTA (1996)
Zine-El-Abidine Benaissa, Pierre Lescanne, Kristoffer Høgsbro Rose
Modeling Sharing and Recursion for Weak Reduction Strategies Using Explicit Substitution. PLILP (1996)
Kristoffer Høgsbro Rose
Explicit Cyclic Substitutions. CTRS (1992)

Kristoffer Høgsbro Rose.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Kristoffer Høgsbro Rose