H.Gökalp Demirci公司
人员信息
附属: 美国伊利诺伊州芝加哥大学
SPARQL查询
优化列表
2020年–今天
2022 【c6】 戈卡普·德米尔西 , 维贾亚拉加万·穆拉利 , 伊马德·艾哈迈德 , 拉杰夫·拉奥 , 加雷思·阿里(Gareth Ari Aye) :
使用语言建模检测隐私敏感代码更改。 汽水分离再热器 2022 : 761-762
2010 – 2019
2019 [j3] 戈卡普·德米尔西 , 米卡·希尔文萨洛 , 克劳斯·莱因哈特 , A.C.杰姆说 , 阿布泽·亚卡里尔马兹 :
交替、私有交替和量子交替实时自动机。 日志。 方法计算。 科学。 15 ( 三 ) ( 2019 ) 2018 【c5】 戈卡普·德米尔西 , 伊万娜·马里西奇 , 亨利·霍夫曼 :
功率约束下DAG调度的分治算法。 联合国安全理事会 2018 : 36:1-36:12 【c4】 戈卡普·德米尔西 , 亨利·霍夫曼 , 大卫·香港·金 :
具有资源和优先级约束的调度近似算法。 STACS公司 2018 : 25:1-25:14 2016 [注2] 阿布泽·亚卡里尔马兹 , A.C.杰姆说 , H.Gökalp Demirci公司 :
与小型透明量子验证者的辩论。 发现的国际期刊。 计算。 科学。 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 Demirci公司 :
与小型透明量子验证程序进行辩论。 语言理论的发展 2014 : 327-338 【c1】 H.Gökalp Demirci公司 , 米卡·希尔文萨洛 , 克劳斯·莱因哈特 , A.C.杰姆说 , 阿布泽·亚卡里尔马兹 :
经典和量子实时交替自动机。 NCMA公司 2014 : 101-114 [i5] 阿布泽·亚卡里尔马兹 , A.C.杰姆说 , H.Gökalp Demirci公司 :
与小型透明量子验证器进行辩论。 CoRR公司 abs/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.杰姆说 :
用小空间和随机性检查广义辩论。 CoRR公司 abs/1211.7346 ( 2012 )