Ren\'e Thiemann (University of Innsbruck

Identifiers

• name variant Ren\'e Thiemann (University of Innsbruck 0.60 · backfill

Papers (2)

1. The Certification Problem Format cs.LO · 2014 · author #3
2. Loops under Strategies ... Continued cs.LO · 2010 · author #1

Mentions

• 1410.8220 #3 · backfill · confidence 0.70 Ren\'e Thiemann (University of Innsbruck
• 1012.5563 #1 · backfill · confidence 0.70 Ren\'e Thiemann (University of Innsbruck

Frequent Coauthors

• Austria) 2 shared papers
• Christian Sternagel (University of Innsbruck 2 shared papers
• Denmark) 1 shared papers
• Germany) 1 shared papers
• J\"urgen Giesl (RWTH Aachen University 1 shared papers
• Peter Schneider-Kamp (University of Southern Denmark 1 shared papers