| Cause mining and controller synthesis with STL I Saglam, EA Gol 2019 IEEE 58th Conference on Decision and Control (CDC), 4589-4594, 2019 | 8 | 2019 |
| Rabin games and colourful universal trees R Majumdar, I Sağlam, KS Thejaswini International Conference on Tools and Algorithms for the Construction and …, 2024 | 2 | 2024 |
| Solving odd-fair parity games I Sağlam, AK Schmuck arXiv preprint arXiv:2307.13396, 2023 | 2 | 2023 |
| Solving two-player games under progress assumptions AK Schmuck, KS Thejaswini, I Sağlam, SP Nayak International Conference on Verification, Model Checking, and Abstract …, 2023 | 1 | 2023 |
| Some new bounds on closed ordinal Ramsey numbers I Sağlam Middle East Technical University, 2020 | 1 | 2020 |
| On the closed Ramsey numbers B Kaya, I Saglam arXiv preprint arXiv:2005.09519, 2020 | 1 | 2020 |
| Fair -Regular Games D Hausmann, N Piterman, I Sağlam, AK Schmuck International Conference on Foundations of Software Science and Computation …, 2024 | | 2024 |
| Directed regular and context-free languages M Ganardi, I Saglam, G Zetzsche arXiv preprint arXiv:2401.07106, 2024 | | 2024 |
| Synthesis of Controllable ptSTL Formulas I Saglam, EA Gol 2020 28th Signal Processing and Communications Applications Conference (SIU …, 2020 | | 2020 |
| Kontrol Edilebilir ptSTL Formulu Sentezi--Synthesis of Controllable ptSTL Formulas I Saglam, EA Gol arXiv preprint arXiv:2003.09918, 2020 | | 2020 |
| Fixpoint Algorithms for Fair Parity/⊥ Games D Hausmann, N Piterman, I Saglam, AK Schmuck | | |
