DOI,IST REx ID,Research Group,Title of publication
10.1007/978-3-319-63387-9_6,628,KrCh,Automated recurrence analysis for almost linear expected runtime bounds