Kristoffer Høgsbro Rose

According to our database1, Kristoffer Høgsbro Rose
  • authored at least 19 papers between 1992 and 2012.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2012
On Explicit Substitution with Names.
J. Autom. Reasoning, 2012

A Data Flow Language for Hybrid Query and Programming Languages.
Proceedings of the Functional and Logic Programming - 11th International Symposium, 2012

2011
CRSX - Combinatory Reduction Systems with Extensions.
Proceedings of the 22nd International Conference on Rewriting Techniques and Applications, 2011

2010
Higher-order Rewriting for Executable Compiler Specifications
Proceedings of the Proceedings 5th International Workshop on Higher-Order Rewriting, 2010

2009
Converting between Combinatory Reduction Systems and Big Step Semantics.
Proceedings of the Semantics and Algebraic Specification, 2009

2008
Commutativity analysis for XML updates.
ACM Trans. Database Syst., 2008

XML query optimization in the presence of side effects.
Proceedings of the ACM SIGMOD International Conference on Management of Data, 2008

2007
Commutativity Analysis in XML Update Languages.
Proceedings of the Database Theory, 2007

A Better Semantics for XQuery with Side-Effects.
Proceedings of the Database Programming Languages, 11th International Symposium, 2007

2006
Virtual XML: A toolbox and use cases for the XML world view.
IBM Systems Journal, 2006

2005
Compiling XSLT 2.0 into XQuery 1.0.
Proceedings of the 14th international conference on World Wide Web, 2005

Compiling XPath for streaming access policy.
Proceedings of the 2005 ACM Symposium on Document Engineering, 2005

2004
The XML world view.
Proceedings of the 2004 ACM Symposium on Document Engineering, 2004

2001
Normalization by evaluation with typed abstract syntax.
J. Funct. Program., 2001

Java access protection through typing.
Concurrency and Computation: Practice and Experience, 2001

1998
Higher-Order Rewriting and Partial Evaluation.
Proceedings of the Rewriting Techniques and Applications, 9th International Conference, 1998

1996
Combinatory Reduction Systems with Explicit Substitution that Preserve Strong Nomalisation.
Proceedings of the Rewriting Techniques and Applications, 7th International Conference, 1996

Modeling Sharing and Recursion for Weak Reduction Strategies Using Explicit Substitution.
Proceedings of the Programming Languages: Implementations, 1996

1992
Explicit Cyclic Substitutions.
Proceedings of the Conditional Term Rewriting Systems, Third International Workshop, 1992


  Loading...