Concepedia

René Thiemann

RT

14

Publications

660

Citations

12

H-Index

2005

Active since

Affiliations

Universität Innsbruck(Current)

RWTH Aachen University

University of Southern Denmark

Eindhoven University of Technology

René Thiemann is an author at Universität Innsbruck specializing in formal methods, engineering, and automated reasoning.

Top concepts

Formal MethodsEngineeringComputer ScienceAutomated ReasoningFormal VerificationProgram AnalysisVerificationSoftware AnalysisProof ComplexitySoftware Engineering

Publications per year

2005–2016

14

Publications

14

Mechanizing and Improving Dependency Pairs

Jürgen Giesl, René Thiemann, Peter Schneider–Kamp et al. · Journal of Automated Reasoning · 2007 · 193 citations

Programming Language Theory, Dependency Analysis, Engineering +9

Analyzing Program Termination and Complexity Automatically with AProVE

Jürgen Giesl, Cornelius Aschermann, Marc Brockschmidt et al. · Journal of Automated Reasoning · 2016 · 124 citations · Full text

Software Maintenance, Program Checking, Engineering +10

Automated termination proofs for haskell by term rewriting

Jürgen Giesl, Matthias Raffelsieper, Peter Schneider–Kamp et al. · ACM Transactions on Programming Languages and Systems · 2011 · 74 citations · Full text

Term Rewriting, Engineering, Automated Reasoning +14

Automated termination proofs for logic programs by term rewriting

Peter Schneider–Kamp, Jürgen Giesl, Alexander Serebrenik et al. · ACM Transactions on Computational Logic · 2009 · 48 citations

Computational Logic, Term Rewriting, Engineering +13

The size-change principle and dependency pairs for termination of term rewriting

René Thiemann, Jürgen Giesl · Applicable Algebra in Engineering Communication and Computing · 2005 · 42 citations

Syntax, Regulated Rewriting, Formal Methods +7

Rows per page

1–5 of 14