Algorithms and Hardness Results for Computing Cores of Markov Chains. - Ali Ahmadi; Krishnendu Chatterjee; Amir Kafshdar Goharshady; Tobias Meggendorfer; Roodabeh Safavi; Dorde Zikelic (FSTTCS, 2022)

Concurrent Composition for Continual Mechanisms. - Monika Henzinger; Roodabeh Safavi; Salil P. Vadhan (CoRR, 2024)

B-Treaps Revised: Write Efficient Randomized Block Search Trees with High Load. - Roodabeh Safavi; Martin P. Seybold (WADS, 2025)