Old Web
English
Sign In
Acemap
>
authorDetail
>
Stephanie Swiderski
Stephanie Swiderski
Haskell
Algorithm
Computer science
Software construction
Mathematical proof
2
Papers
175
Citations
0.00
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (2)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
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)
Proving Termination of Programs Automatically with AProVE
2014
IJCAR | International Joint Conference on Automated Reasoning
Jürgen Giesl
Marc Brockschmidt
Fabian Emmes
Florian Frohn
Carsten Fuhs
Carsten Otto
Martin Plücker
Peter Schneider-Kamp
Thomas Ströder
Stephanie Swiderski
René Thiemann
Show All
Source
Cite
Save
Citations (76)
1