No. |
Title |
Author |
Year |
---|

1 |
Uniform Resource Analysis by Rewriting: Strenghts and Weaknesses (Invited Talk) |
Moser, Georg |
2017 |

2 |
Complexity of Acyclic Term Graph Rewriting |
Avanzini, Martin et al. |
2016 |

3 |
Leftmost Outermost Revisited |
Hirokawa, Nao et al. |
2015 |

4 |
Multivariate Amortised Resource Analysis for Term Rewrite Systems |
Hofmann, Martin et al. |
2015 |

5 |
A Combination Framework for Complexity |
Avanzini, Martin et al. |
2013 |

6 |
The Structure of Interaction |
Gimenez, Stéphane et al. |
2013 |

7 |
Tyrolean Complexity Tool: Features and Usage |
Avanzini, Martin et al. |
2013 |

8 |
A Path Order for Rewrite Systems that Compute Exponential Time Functions |
Avanzini, Martin et al. |
2011 |

9 |
Termination Proofs in the Dependency Pair Framework May Induce Multiple Recursive Derivational Complexity |
Moser, Georg et al. |
2011 |

10 |
Closing the Gap Between Runtime Complexity and Polytime Computability |
Avanzini, Martin et al. |
2010 |

11 |
Complexity Analysis of Term Rewriting Based on Matrix and Context Dependent Interpretations |
Moser, Georg et al. |
2008 |