dblp.uni-trier.dewww.uni-trier.de

Kristoffer Høgsbro Rose Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2008
14EEGiorgio 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
13EEGiorgio Ghelli, Kristoffer Høgsbro Rose, Jérôme Siméon: Commutativity analysis for XML updates. ACM Trans. Database Syst. 33(4): (2008)
2007
12EEGiorgio Ghelli, Nicola Onose, Kristoffer Høgsbro Rose, Jérôme Siméon: A Better Semantics for XQuery with Side-Effects. DBPL 2007: 81-96
11EEGiorgio Ghelli, Kristoffer Høgsbro Rose, Jérôme Siméon: Commutativity Analysis in XML Update Languages. ICDT 2007: 374-388
2006
10EEKristoffer 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
9EEPierre Genevès, Kristoffer Høgsbro Rose: Compiling XPath for streaming access policy. ACM Symposium on Document Engineering 2005: 52-54
8EEAchille 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
7EEKristoffer 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
4EEOlivier Danvy, Kristoffer Høgsbro Rose: Higher-Order Rewriting and Partial Evaluation. RTA 1998: 286-301
1996
3EEZine-El-Abidine Benaissa, Pierre Lescanne, Kristoffer Høgsbro Rose: Modeling Sharing and Recursion for Weak Reduction Strategies Using Explicit Substitution. PLILP 1996: 393-407
2EERoel 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

Coauthor Index

1Zine-El-Abidine Benaissa [3]
2Roel Bloo [2]
3Olivier Danvy [4] [5]
4Achille Fokoue [8]
5Pierre Genevès [9]
6Giorgio Ghelli [11] [12] [13] [14]
7Pierre Lescanne [3]
8Susan Malaika [10]
9Nicola Onose [12] [14]
10Morten Rhiger [5]
11Eva Rose [6]
12Robert J. Schloss [10]
13Jérôme Siméon [8] [11] [12] [13] [14]
14Lionel Villard [8]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)