bibliographer - Thomas Ströder

bibliographer a curated TCS bibliography

obsidian
tags
authors
no doi
no pdf
bad author
add item
librarian

Analyzing Program Termination and Complexity Automatically with AProVE 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 [github]

Automatically Proving Termination and Memory Safety for Programs with Pointer Arithmetic Thomas Ströder Jürgen Giesl Marc Brockschmidt Florian Frohn Carsten Fuhs Jera Hensel Peter Schneider-Kamp Cornelius Aschermann [github]

Library Size: 13G (2 entries), Last Updated: Apr 04, 2026, 18:14:59, Build Time: N/A

[show logs] [hide logs]