Publikationen in Zusammenarbeit mit Forschern von University of California System (1)

2023

  1. Solving Recurrence Relations using Machine Learning, with Application to Cost Analysis

    Electronic Proceedings in Theoretical Computer Science, EPTCS