default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDKristoffer Høgsbro Rose
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2012
[j5]Kristoffer Høgsbro Rose, Roel Bloo, Frédéric Lang:
On Explicit Substitution with Names. J. Autom. Reason. 49(2): 275-300 (2012)- [c14]Kristoffer Høgsbro Rose, Lionel Villard, Naoto Sato:
A Data Flow Language for Hybrid Query and Programming Languages. FLOPS 2012: 228-242 - 2011
- [c13]Kristoffer H. Rose:
CRSX - Combinatory Reduction Systems with Extensions. RTA 2011: 81-90 - 2010
- [c12]Kristoffer H. Rose:
Higher-order Rewriting for Executable Compiler Specifications. HOR 2010: 31-45
2000 – 2009
- 2009
- [c11]Hanne Gottliebsen, Kristoffer H. Rose:
Converting between Combinatory Reduction Systems and Big Step Semantics. Semantics and Algebraic Specification 2009: 297-314 - 2008
- [j4]Giorgio Ghelli
, Kristoffer Høgsbro Rose, Jérôme Siméon:
Commutativity analysis for XML updates. ACM Trans. Database Syst. 33(4): 29:1-29:47 (2008) - [c10]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 - 2007
- [c9]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 - [c8]Giorgio Ghelli, Kristoffer Høgsbro Rose, Jérôme Siméon:
Commutativity Analysis in XML Update Languages. ICDT 2007: 374-388 - 2006
- [j3]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): 411-424 (2006) - 2005
- [c7]Pierre Genevès, Kristoffer Høgsbro Rose:
Compiling XPath for streaming access policy. ACM Symposium on Document Engineering 2005: 52-54 - [c6]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
- [c5]Kristoffer Høgsbro Rose:
The XML world view. ACM Symposium on Document Engineering 2004: 34 - 2001
- [j2]Eva Rose, Kristoffer Høgsbro Rose:
Java access protection through typing. Concurr. Comput. Pract. Exp. 13(13): 1125-1132 (2001) - [j1]Olivier Danvy, Morten Rhiger, Kristoffer Høgsbro Rose:
Normalization by evaluation with typed abstract syntax. J. Funct. Program. 11(6): 673-680 (2001)
1990 – 1999
- 1998
- [c4]Olivier Danvy, Kristoffer Høgsbro Rose:
Higher-Order Rewriting and Partial Evaluation. RTA 1998: 286-301 - 1996
- [b1]Kristoffer Høgsbro Rose:
Operational reduction models for functional programming languages. University of Copenhagen, Denmark, Technical report / University of Copenhagen / Datalogisk institut 96/1, 1996, pp. 1-257 - [c3]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 - [c2]Roel Bloo, Kristoffer Høgsbro Rose:
Combinatory Reduction Systems with Explicit Substitution that Preserve Strong Nomalisation. RTA 1996: 169-183 - 1992
- [c1]Kristoffer Høgsbro Rose:
Explicit Cyclic Substitutions. CTRS 1992: 36-50
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 20:23 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
