Dynaplex: analyzing program complexity using dynamically inferred recurrence relations. - Didier Ishimwe; KimHao Nguyen; ThanhVu Nguyen (Proc. ACM Program. Lang., 2021)

Dynaplex: Inferring Asymptotic Runtime Complexity of Recursive Programs. - Didier Ishimwe; ThanhVu Nguyen; KimHao Nguyen (ICSE-Companion, 2022)

Inferring Complexity Bounds from Recurrence Relations. - Didier Ishimwe (ESEC/SIGSOFT FSE, 2023)