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

1 |
Approximation of smallest linear tree grammar |
Jez, Artur et al. |
2014 |

2 |
On Boolean closed full trios and rational Kripke frames |
Lohrey, Markus et al. |
2014 |

3 |
Compression of Rewriting Systems for Termination Analysis |
Bau, Alexander et al. |
2013 |

4 |
The First-Order Theory of Ground Tree Rewrite Graphs |
Göller, Stefan et al. |
2011 |

5 |
Branching-time Model Checking of One-counter Processes |
Göller, Stefan et al. |
2010 |

6 |
07441 Abstracts Collection -- Algorithmic-Logical Theory of Infinite Structures |
Downey, Rod et al. |
2008 |

7 |
07441 Summary -- Algorithmic-Logical Theory of Infinite Structures |
Downey, Rod et al. |
2008 |

8 |
08261 Abstracts Collection -- Structure-Based Compression of Complex Massive Data |
Böttcher, Stefan et al. |
2008 |

9 |
08261 Executive Summary -- Structure-Based Compression of Complex Massive Data |
Böttcher, Stefan et al. |
2008 |

10 |
Application of verification techniques to inverse monoids |
Lohrey, Markus |
2008 |