| Constant Approximation for Capacitated -Median with -Capacity Violation G Demirci, S Li 43rd International Colloquium on Automata, Languages, and Programming (ICALP …, 2016 | 51 | 2016 |
| A divide and conquer algorithm for dag scheduling under power constraints G Demirci, I Marincic, H Hoffmann SC18: international conference for high performance computing, networking …, 2018 | 11 | 2018 |
| Approximation algorithms for scheduling with resource and precedence constraints G Demirci, H Hoffmann, DHK Kim 35th Symposium on Theoretical Aspects of Computer Science (STACS 2018), 2018 | 8 | 2018 |
| The complexity of debate checking HG Demirci, ACC Say, A Yakaryılmaz Theory of Computing Systems 57, 36-80, 2015 | 8 | 2015 |
| Classical and quantum realtime alternating automata. HG Demirci, M Hirvensalo, K Reinhardt, ACC Say, A Yakaryilmaz NCMA, 101-114, 2014 | 8 | 2014 |
| Debates with small transparent quantum verifiers A Yakaryilmaz, ACC Say, HG Demirci International Journal of Foundations of Computer Science 27 (02), 283-300, 2016 | 7 | 2016 |
| Probabilistic verifiers for asymmetric debates HG Demirci, AC Say, A Yakaryılmaz arXiv preprint arXiv:1209.5192, 2012 | 1 | 2012 |
| Detecting privacy-sensitive code changes with language modeling G Demirci, V Murali, I Ahmad, R Rao, GA Aye Proceedings of the 19th International Conference on Mining Software …, 2022 | | 2022 |
| Alternating, private alternating, and quantum alternating realtime automata G Demirci, M Hirvensalo, K Reinhardt, AC Say, A Yakaryılmaz Logical Methods in Computer Science 15, 2019 | | 2019 |
| Checking generalized debates with small space and randomness HG Demirci, AC Say arXiv preprint arXiv:1211.7346, 2012 | | 2012 |
