Ren\'e Thiemann

Identifiers

• name variant Ren\'e Thiemann 0.60 · backfill

Papers (7)

1. Certification of Confluence Proofs using CeTA cs.LO · 2015 · author #2
2. Towards the Certification of Complexity Proofs cs.LO · 2012 · author #1
3. Recording Completion for Finding and Certifying Proofs in Equational Logic cs.LO · 2012 · author #2
4. A Relative Dependency Pair Framework cs.LO · 2012 · author #2
5. Certification extends Termination Techniques cs.LO · 2012 · author #2
6. CeTA - A Tool for Certified Termination Analysis cs.LO · 2012 · author #2
7. Automated Termination Analysis for Logic Programs with Cut cs.LO · 2010 · author #5

Mentions

• 1505.01337 #2 · backfill · confidence 0.70 Ren\'e Thiemann
• 1208.1609 #1 · backfill · confidence 0.70 Ren\'e Thiemann
• 1208.1597 #2 · backfill · confidence 0.70 Ren\'e Thiemann
• 1208.1595 #2 · backfill · confidence 0.70 Ren\'e Thiemann
• 1208.1594 #2 · backfill · confidence 0.70 Ren\'e Thiemann
• 1208.1591 #2 · backfill · confidence 0.70 Ren\'e Thiemann
• 1007.4908 #5 · backfill · confidence 0.70 Ren\'e Thiemann

Frequent Coauthors

• Christian Sternagel 4 shared papers
• Harald Zankl 2 shared papers
• Alexander Serebrenik 1 shared papers
• Julian Nagele 1 shared papers
• J\"urgen Giesl 1 shared papers
• Peter Schneider-Kamp 1 shared papers
• Sarah Winkler 1 shared papers
• Thomas Sternagel 1 shared papers
• Thomas Str\"oder 1 shared papers