Old Web
English
Sign In
Acemap
>
authorDetail
>
Cornelius Aschermann
Cornelius Aschermann
RWTH Aachen University
Algorithm
Theoretical computer science
Computer science
Mathematical proof
Programming language
5
Papers
151
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (5)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
Lower Bounds for Runtime Complexity of Term Rewriting
2017
Journal of Automated Reasoning
Florian Frohn
Jürgen Giesl
Jera Hensel
Cornelius Aschermann
Thomas Ströder
Show All
Source
Cite
Save
Citations (9)
Automatically Proving Termination and Memory Safety for Programs with Pointer Arithmetic
2017
Journal of Automated Reasoning
Thomas Ströder
Jürgen Giesl
Marc Brockschmidt
Florian Frohn
Carsten Fuhs
Jera Hensel
Peter Schneider-Kamp
Cornelius Aschermann
Show All
Source
Cite
Save
Citations (20)
Analyzing Program Termination and Complexity Automatically with AProVE
2017
Journal of Automated Reasoning
Jürgen Giesl
Cornelius Aschermann
Marc Brockschmidt
Fabian Emmes
Florian Frohn
Carsten Fuhs
Jera Hensel
Carsten Otto
Martin Plücker
Peter Schneider-Kamp
Thomas Ströder
Stephanie Swiderski
René Thiemann
Show All
Source
Cite
Save
Citations (99)
AProVE: Termination and Memory Safety of C Programs
2015
TACAS | Tools and Algorithms for Construction and Analysis of Systems
Thomas Ströder
Cornelius Aschermann
Florian Frohn
Jera Hensel
Jürgen Giesl
Show All
Source
Cite
Save
Citations (17)
Inferring Lower Bounds for Runtime Complexity
2015
RTA | Rewriting Techniques and Applications
Florian Frohn
Jürgen Giesl
Jera Hensel
Cornelius Aschermann
Thomas Ströder
Show All
Source
Cite
Save
Citations (6)
1