Concepedia

Fabian Emmes

FE

Statistics

Publications

4

Citations

257

H-Index

4

Active since

2012

Affiliations

RWTH Aachen University(Current)

University of Southern Denmark

Microsoft Research (United Kingdom)

Birkbeck, University of London

Fabian Emmes is an author at RWTH Aachen University specializing in formal methods, engineering, and program analysis.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationComputational ComplexityLanguageComplexitySoftware Engineering

Publications per year

2012–2016

4

Publications

4

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

Analyzing Runtime and Size Complexity of Integer Programs

Marc Brockschmidt, Fabian Emmes, Stephan Falke et al. · ACM Transactions on Programming Languages and Systems · 2016 · 58 citations

Size Complexity, Symbolic Time Bounds, Engineering +20

Analyzing Innermost Runtime Complexity of Term Rewriting by Dependency Pairs

Lars Noschinski, Fabian Emmes, Jürgen Giesl · Journal of Automated Reasoning · 2013 · 49 citations

Syntax, Engineering, Computational Complexity Theory +13

Symbolic evaluation graphs and term rewriting

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

Program Checking, Engineering, Verification +20

1–4 of 4