Cause Mining and Controller Synthesis with STL. - Irmak Saglam; Ebru Aydin Gol (CDC, 2019)

Synthesis of Controllable ptSTL Formulas. - Irmak Saglam; Ebru Aydin Gol (SIU, 2020)

Kontrol Edilebilir ptSTL Formulu Sentezi - Synthesis of Controllable ptSTL Formulas. - Irmak Saglam; Ebru Aydin Gol (CoRR, 2020)

Solving Odd-Fair Parity Games. - Irmak Saglam; Anne-Kathrin Schmuck (FSTTCS, 2023)

A Decremental Algorithm for Fair Büchi Games. - Irmak Saglam; Anne-Kathrin Schmuck; Munko Tsyrempilon (ATVA, 2024)

Fair ω-Regular Games. - Daniel Hausmann 001; Nir Piterman; Irmak Saglam; Anne-Kathrin Schmuck (FoSSaCS (1), 2024)

Directed Regular and Context-Free Languages. - Moses Ganardi; Irmak Saglam; Georg Zetzsche (STACS, 2024)

Rabin Games and Colourful Universal Trees. - Rupak Majumdar; Irmak Saglam; K. S. Thejaswini (TACAS (3), 2024)

Solving Two-Player Games Under Progress Assumptions. - Anne-Kathrin Schmuck; K. S. Thejaswini; Irmak Saglam; Satya Prakash Nayak (VMCAI (1), 2024)

Fair Quantitative Games. - Ashwani Anand; Satya Prakash Nayak; Ritam Raha; Irmak Saglam; Anne-Kathrin Schmuck (FoSSaCS, 2025)

Quantitative Strategy Templates. - Ashwani Anand; Satya Prakash Nayak; Ritam Raha; Irmak Saglam; Anne-Kathrin Schmuck (CoRR, 2025)