H.Gökalp Demirci公司
人员信息
附属： 美国伊利诺伊州芝加哥大学
优化列表
2020年–今天
2022 
【c6】 戈卡普·德米尔西 ， 维贾亚拉加万·穆拉利 ， 伊马德·艾哈迈德 ， 拉杰夫·拉奥 ， 加雷思·阿里（Gareth Ari Aye） :
使用语言建模检测隐私敏感代码更改。 汽水分离再热器 2022 : 761-762
2010 – 2019
2019 [j3] Gökalp德米尔西 ， 米卡·希尔文萨洛 ， 克劳斯·莱因哈特 ， A.C.Cem Say公司 
， 阿布泽·亚卡里尔马兹 :
交替、私有交替和量子交替实时自动机。 日志。 计算方法。 科学。 15 ( 三 ) ( 2019 ) 2018 [c5] Gökalp德米尔西 ， 伊万娜·马林西奇 ， 亨利·霍夫曼 :
功率约束下DAG调度的分治算法。 联合国安全理事会 2018 : 36:1-36:12 【c4】 戈卡普·德米尔西 ， 亨利·霍夫曼 ， 大卫·香港·金 :
具有资源和优先级约束的调度近似算法。 STACS公司 2018 : 25:1-25:14 2016 [注2] 阿布泽·亚卡里尔马兹 ， A.C.杰姆说 ， H.Gökalp德米尔西 :
与小型透明量子验证者的辩论。 发现的国际期刊。 计算。 科学。 27 ( 2 ) : 283- ( 2016 ) [c3] H.Gökalp Demirci公司 ， 史丽 :
具有（1+epsilon）容量违规的容量k中值的常数近似。 ICALP公司 2016 : 73:1-73:14 [i6] H.Gökalp Demirci公司 ， 史丽 :
具有（1+ε）-容量冲突的电容k中值的常数近似。 CoRR公司 abs/1603.02324 ( 2016 ) 2015 [j1] H.Gökalp Demirci公司 ， A.C.杰姆说 ， 阿布泽·雅卡伊玛 :
辩论检查的复杂性。 理论计算。 系统。 57 ( 1 ) : 36-80 ( 2015 ) 2014 【c2】 阿布泽·亚卡里尔马兹 ， A.C.杰姆说 ， H.Gökalp德米尔西 :
与小型透明量子验证者的辩论。 语言理论的发展 2014 : 327-338 【c1】 H.Gökalp Demirci公司 ， 米卡·希尔文萨洛 ， 克劳斯·莱因哈特 ， A.C.杰姆说 ， 阿布泽·亚卡里尔马兹 :
经典和量子实时交替自动机。 NCMA公司 2014 : 101-114 [i5] 阿布泽·亚卡里尔马兹 ， A.C.杰姆说 ， H.Gökalp Demirci公司 :
与小型透明量子验证器进行辩论。 CoRR公司 腹肌/1405.1655 ( 2014 ) [i4] H.Gökalp Demirci公司 ， 米卡·希尔文萨洛 ， 克劳斯·莱因哈特 ， A.C.杰姆说 ， 阿布泽·亚卡里尔马兹 :
经典和量子实时交替自动机。 CoRR公司 abs/1407.0334 ( 2014 ) [i3] H.Gökalp Demirci公司 ， A.C.杰姆说 ， 阿布泽·亚卡里尔马兹 :
辩论检查的复杂性。 电子。 计算机学术讨论会。 复杂。 14号机房 ( 2014 ) 2012 [i2] H.Gökalp Demirci公司 ， A.C.杰姆说 ， 阿布泽·雅卡伊玛 :
非对称辩论的概率验证器。 CoRR公司 abs/1209.5192 ( 2012 ) [i1] H.Gökalp Demirci公司 ， A.C.Cem Say公司 :
用小空间和随机性检查广义辩论。 CoRR公司 abs/1211.7346 ( 2012 )
合著者索引
