Concepedia

Thomas Ströder

TS

Statistics

Publications

6

Citations

229

H-Index

6

Active since

2009

Affiliations

RWTH Aachen University(Current)

University of Southern Denmark

Birkbeck, University of London

Universität Innsbruck

Microsoft Research (United Kingdom)

Thomas Ströder is an author at RWTH Aachen University specializing in engineering, formal verification, and formal methods.

Top concepts

Publications per year

2009–2016

6

Publications

6

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

, , +10

Automated termination analysis for logic programs with cut

Peter Schneider–Kamp, Jürgen Giesl, Thomas Ströder et al. · Theory and Practice of Logic Programming · 2010 · 34 citations · Full text

Symbolic evaluation graphs and term rewriting

Jürgen Giesl, Thomas Ströder, Peter Schneider–Kamp et al. · 2012 · 26 citations

, , +20

Automatically Proving Termination and Memory Safety for Programs with Pointer Arithmetic

Thomas Ströder, Jürgen Giesl, Marc Brockschmidt et al. · Journal of Automated Reasoning · 2016 · 21 citations · Full text

, , +14

Lower Bounds for Runtime Complexity of Term Rewriting

Florian Frohn, Jürgen Giesl, Jera Hensel et al. · Journal of Automated Reasoning · 2016 · 13 citations

, , +5

1–5 of 6