DOI,IST REx ID,Title of publication
null,5447,Average-case analysis of programs: Automated recurrence analysis for almost-linear bounds