Follow
Gökalp Demirci
Title
Cited by
Cited by
Year
Constant Approximation for Capacitated -Median with -Capacity Violation
G Demirci, S Li
43rd International Colloquium on Automata, Languages, and Programming (ICALP …, 2016
522016
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
122018
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
102018
The complexity of debate checking
HG Demirci, ACC Say, A Yakaryılmaz
Theory of Computing Systems 57, 36-80, 2015
82015
Classical and quantum realtime alternating automata.
HG Demirci, M Hirvensalo, K Reinhardt, ACC Say, A Yakaryilmaz
NCMA, 101-114, 2014
82014
Debates with small transparent quantum verifiers
A Yakaryilmaz, ACC Say, HG Demirci
International Journal of Foundations of Computer Science 27 (02), 283-300, 2016
72016
Probabilistic verifiers for asymmetric debates
HG Demirci, AC Say, A Yakaryılmaz
arXiv preprint arXiv:1209.5192, 2012
12012
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
The system can't perform the operation now. Try again later.
Articles 1–10