Search - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly

Filter your results

6 Results
authFullName_s : Kristoffer Rose
Image document

Compiling XPath into a State-less Forward-only Subset

Pierre Genevès , Kristoffer Rose
First International Workshop on High Performance XML Processing, May 2004, New York, United States
Conference papers inria-00423382v1
Image document

Addressed Term Rewriting Systems

Frédéric Lang , Daniel Dougherty , Pierre Lescanne , Kristoffer Rose
[Research Report] LIP RR-1999-30, Laboratoire de l'informatique du parallélisme. 1999, 2+34p
Reports hal-02102103v1
Image document

A Generic Object-Calculus Based on Addressed Term Rewriting Systems

Daniel J. Dougherty , Frederic Lang , Pierre Lescanne , Luigi Liquori , Kristoffer Rose et al.
Proceedings of the Fourth Workshop on Explicit Substitutions Theory and Applications (WESTAPP '01), May 2001, Utrecht, Netherlands. pp.6-25
Conference papers hal-01152576v1
Image document

Compiling XPath for Streaming Access Policy

Pierre Genevès , Kristoffer Rose
Proceedings of the 2005 ACM Symposium on Document Engineering, DocEng 2005, Nov 2005, Bristol, United Kingdom. pp.52-54
Conference papers inria-00423319v1
Image document

A generic object-calculus based on Addressed Term Rewriting Systems

Daniel Dougherty , Frédéric Lang , Pierre Lescanne , Luigi Liquori , Kristoffer Rose et al.
[Research Report] LIP RR-1999-54, Laboratoire de l'informatique du parallélisme. 1999, 2+32p
Reports hal-02101981v1
Image document

A Generic Object-Calculus Based on Addressed Term Rewriting Systems

Dan Dougherty , Frédéric Lang , Pierre Lescanne , Luigi Liquori , Kristoffer Rose et al.
[Research Report] RR-4549, LORIA, UMR 7503, Université de Lorraine, CNRS, Vandoeuvre-lès-Nancy; INRIA. 2002, pp.49
Reports inria-00072039v1