数据库:H.Gökalp Demirci https://dblp.org/pid/119/4865.html dblp个人页面RSS提要 2024年4月24日星期三22:45:40+0200 英语-美国 每日的 1 根据CC0 1.0许可证发布 dblp@dagstuhl.de(dblp团队) dblp@dagstuhl.de(dblp团队) 计算机/计算机科学/出版物/书目 http://www.rssboard.org/rss-specification网站 https://dblp.org/img/logo.144x51.png网址数据库:H.Gökalp Demircihttps://dblp.org/pid/119/4865.html14451 使用语言建模检测隐私敏感代码更改。https://doi.org/10.1145/3524842.3528518,,,,:
使用语言建模检测隐私敏感代码更改。 汽水分离再热器 :761-762]]>
https://dblp.org/rec/conf/msr/DemirciMARA22网址2022年1月1日星期六00:00:00+0100
交替、私有交替和量子交替实时自动机。https://doi.org/10.23638/LMCS-15(3:22)2019,,,,:
交替、私有交替和量子交替实时自动机。 日志。方法计算。科学。 15()()]]>
https://dblp.org/rec/journals/lmcs/DemirciHRSY192019年1月1日星期二00:00:00+0100
功率约束下DAG调度的分治算法。http://dl.acm.org/citation.cfm?id=3291704,,:
功率约束下DAG调度的分治算法。 联合国安全理事会 :36:1-36:12]]>
https://dblp.org/rec/conf/sc/DemirciMH182018年1月1日星期一00:00:00+0100
具有资源和优先级约束的调度近似算法。https://doi.org/10.4230/LIPIcs.STACS.2018.25,,:
具有资源和优先级约束的调度近似算法。 STACS公司 :25:1-25:14]]>
https://dblp.org/rec/conf/stacs/DemirciHK182018年1月1日星期一00:00:00+0100
与小型透明量子验证者的辩论。https://doi.org/10.1142/S012905411600104,,:
与小型透明量子验证者的辩论。 发现的国际期刊。计算。科学。 27(2):283-()]]>
https://dblp.org/rec/journals/ijfcs/YakaryilmazSD162016年1月1日,星期五00:00:00+0100
具有(1+ε)-容量冲突的电容k-中值的常数近似。https://doi.org/10.4230/LIPIcs.ICALP.2016.73,:
具有(1+epsilon)容量违规的容量k中值的常数近似。 ICALP公司 :73:1-73:14]]>
https://dblp.org/rec/conf/icalp/DemirciL162016年1月1日,星期五00:00:00+0100
具有(1+ε)-容量冲突的容量k-中值的常数逼近。http://arxiv.org/abs/1603.02324,:
具有(1+ε)-容量冲突的电容k中值的常数近似。 CoRR公司 abs/1603.02324()]]>
https://dblp.org/rec/journals/corr/DemirciL162016年1月1日,星期五00:00:00+0100
辩论检查的复杂性。https://doi.org/10.1007/s00224-014-9547-7,,:
辩论检查的复杂性。 理论计算。系统。 57(1):36-80()]]>
https://dblp.org/rec/journals/mst/DemirciSY152015年1月1日星期四00:00:00+0100
与小型透明量子验证者的辩论。https://doi.org/10.1007/978-3-319-09698-8_29,,:
与小型透明量子验证者的辩论。 语言理论的发展 :327-338]]>
https://dblp.org/rec/conf/dlt/YakaryilmazSD142014年1月1日星期三00:00:00+0100
经典和量子实时交替自动机。https://dblp.org/pid/119/4865.html,,,,:
经典和量子实时交替自动机。 NCMA公司 :101-114]]>
https://dblp.org/rec/conf/ncma/DemirciHRSY142014年1月1日星期三00:00:00+0100
与小型透明量子验证器进行辩论。http://arxiv.org/abs/1405.1655,,:
与小型透明量子验证器进行辩论。 CoRR公司 abs/1405.1655()]]>
https://dblp.org/rec/journals/corr/YakaryilmazSD142014年1月1日星期三00:00:00+0100
经典和量子实时交替自动机。http://arxiv.org/abs/1407.0334,,,,:
经典和量子实时交替自动机。 CoRR公司 abs/1407.0334()]]>
https://dblp.org/rec/journals/corr/DemirciHRSY142014年1月1日星期三00:00:00+0100
辩论检查的复杂性。https://eccc.weizmann.ac.il/report/2014/016,,:
辩论检查的复杂性。 电子。计算机学术讨论会。复杂。 14号机房()]]>
https://dblp.org/rec/journals/eccc/DemirciSY142014年1月1日星期三00:00:00+0100
非对称辩论的概率验证器。http://arxiv.org/abs/1209.5192,,:
非对称辩论的概率验证器。 CoRR公司 abs/1209.5192()]]>
https://dblp.org/rec/journals/corr/abs-1209-51922012年1月1日,星期日00:00:00+0100
用小空间和随机性检查广义辩论。http://arxiv.org/abs/1211.7346,:
用小空间和随机性检查广义辩论。 CoRR公司 abs/1211.7346()]]>
https://dblp.org/rec/journals/corr/DemirciS122012年1月1日,星期日00:00:00+0100