Constant Approximation for Capacitated -Median with -Capacity Violation G Demirci, S Li
43rd International Colloquium on Automata, Languages, and Programming (ICALP …, 2016
52 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
12 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
10 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