停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

德米特里·奇斯蒂科夫0001

德米特里·V·奇斯蒂科夫

>主页 >珀森斯

人员信息

隶属关系： 英国考文垂华威大学计算机科学系

优化列表

精炼活动！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年-今天

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2024
[公元31年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atal/0001EPT24
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atal/001EPT24
德米特里·奇斯蒂科夫,路易斯·埃斯特拉达,迈克·帕特森,保罗·图里尼:
通过影响意见学习社交网络。美国原子能机构 2024:363-371
2023
[公元30年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/0001CHMS23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/0001CHMS23
德米特里·奇斯蒂科夫,沃伊切赫·切尔温斯基（Wojciech Czerwinski）,彼得罗·霍夫曼,菲利普·马佐维耶基,亨利·辛克莱·班克斯:
带重置的非循环Petri网和工作流网。 FSTTCS公司 2023:16:1-16:18
[公元29年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Benedikt0M23公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Benedikt0M23网站
本尼迪克特,德米特里·奇斯蒂科夫,阿莱西奥·曼苏蒂:
普雷斯伯格算法与幂的复杂性。 ICALP公司 2023:112:1-112:18
[公元28年]
- 看法
  - 电子版@nips.cc（开放存取）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/nips/0001E023
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/nips/0001E023
德米特里·奇斯蒂科夫,马蒂亚斯·恩格勒,兰科·拉齐奇:
通过浅ReLU网络学习神经元：相关输入的动力学和内隐偏差。 NeurIPS公司 2023
[第23条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2305-03037
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2305-03037
本尼迪克特,德米特里·奇斯蒂科夫,阿莱西奥·曼苏蒂:
具有幂或幂的Presburger算法的复杂性。 CoRR公司 abs/2305.03037(2023)
[i22]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2306-06479
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2306-06479
德米特里·奇斯蒂科夫,马蒂亚斯·恩格勒,兰科·拉齐奇:
通过浅ReLU网络学习神经元：相关输入的动力学和内隐偏差。 CoRR公司 abs/2306.06479(2023)
【i21】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-2310-01992
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2310-01992
德米特里·奇斯蒂科夫,沃伊切赫·切尔温斯基（Wojciech Czerwinski）,彼得罗·霍夫曼,菲利普·马佐维耶基,亨利·辛克莱·班克斯:
带重置的非循环Petri网和工作流网。 CoRR公司 abs/2310.01992(2023)
2022
[公元9年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/ChistikovKMP22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/ChistikovKMP22
德米特里·奇斯蒂科夫,斯特凡·基弗,安德烈·穆拉夫斯基,大卫·帕塞:
大O问题。日志。方法计算。科学。 18(1)(2022)
[j8]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/Chistikov MS22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/ChistikovMS22
德米特里·奇斯蒂科夫,鲁帕克·马朱姆达尔,菲利普·谢珀:
CFL可达性的子立方证书。程序。ACM计划。语言。 6(POPL公司):1-29(2022)
[j7]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tocl/AlmagorCOW22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tocl/AlmagorCOW22
沙乌尔·阿尔马戈,德米特里·奇斯蒂科夫,乔尔·瓦克宁,詹姆斯·沃雷尔:
离散时间动力系统的O-极小不变量。 ACM事务处理。计算。日志。 23(2):9点-9分20秒(2022)
[公元27年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/ChistikovHM22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/ChistikovHM22
德米特里·奇斯蒂科夫,克里斯托夫·哈斯,阿莱西奥·曼苏蒂:
普雷斯伯格算法计数扩展的量词消除。 FoSSaCS公司 2022:225-243
[c26]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/0001HM22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/0001HM22
德米特里·奇斯蒂科夫,克里斯托夫·哈斯,阿莱西奥·曼苏蒂:
几何决策程序和VC维线性算术理论。许可证 2022:59:1-59:13
[公元25年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/ChistikovHHM22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/ChistikovHHM22
德米特里·奇斯蒂科夫,克里斯托夫·哈斯,扎赫拉·哈迪扎德,阿莱西奥·曼苏蒂:
高阶量化布尔可满足性。 MFCS公司 2022:33:1-33:15
2021
[i20]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2102-13095
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2102-13095
德米特里·奇斯蒂科夫,鲁帕克·马朱姆达尔,菲利普·谢珀:
CFL可达性的子立方体证书。 CoRR公司 abs/2102.13095(2021)
[i19]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-2103-05087
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2103-05087
德米特里·奇斯蒂科夫,克里斯托夫·哈斯,阿莱西奥·曼苏蒂:
带有阈值计数量词的Presburger算法很容易实现。 CoRR公司腹肌/2103.05087(2021)
2020
[公元24年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/aaai/ChistikovLPT20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aaai/ChistikovLPT20
德米特里·奇斯蒂科夫,格里戈兹·利索夫斯基,迈克·帕特森,保罗·图里尼:
意见扩散的收敛是PSPACE-Complete。 AAAI公司 2020:7103-7110
【c23】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/ChistikovKMP20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/ChistikovKMP20
德米特里·奇斯蒂科夫,斯特凡·基弗,安德烈·穆拉夫斯基,大卫·帕塞:
标记马尔可夫链和加权自动机的大O问题。 CONCUR公司 2020:41:1-41:19
[公元22年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/CadilhacCZ20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/CadilhacCZ20
米夏·卡迪哈克,德米特里·奇斯蒂科夫,乔治·泽采:
Baumslag-Solitar群的有理子集。 ICALP公司 2020:116:1-116:16
【c21】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/ChistikovH20公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/ChistikovH20网址
德米特里·奇斯蒂科夫,克里斯托夫·哈斯:
线性算术理论中的排序能力。 ICALP公司 2020:119:1-119:15
[公元20年]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/ChistikovV20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/ChistikovV20
德米特里·奇斯蒂科夫,米哈伊尔·维亚利:
重装支架。许可证 2020:312-326
[i18]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2001-06442
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2001-06442
德米特里·奇斯蒂科夫,奥尔加·古尔科,艾德里安·肯特,迈克·帕特森:
打球。 CoRR公司 abs/2001.06442(2020)
[i17]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2006-11898
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2006-11898
米夏·卡迪哈克,德米特里·奇斯蒂科夫,乔治·泽采:
Baumslag-Solitar群的有理子集。 CoRR公司 abs/2006.11898(2020)
[i16]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2007-07694
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2007-07694
德米特里·奇斯蒂科夫,斯特凡·基弗,安德烈·穆拉夫斯基,大卫·帕塞:
标记马尔可夫链和加权自动机的大O问题。 CoRR公司 abs/2007.07694(2020)

2010 – 2019

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2019
[j6]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/jalc/ChistikovMS19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jalc/ChistikovMS19
德米特里·奇斯蒂科夫,帕维尔·马图金,马赫萨·希尔穆罕默德:
在嵌套单词上同步自动机。 J.自动化。语言梳。 24(2-4):219-251(2019)
[j5]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/ChistikovCHPW19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/ChistikovCHPW19
德米特里·奇斯蒂科夫,沃伊切赫·切尔温斯基（Wojciech Czerwinski）,彼得罗·霍夫曼,米查尔·皮利普祖克,迈克尔·韦哈尔:
单计数器系统中的最短路径。日志。方法计算。科学。 15(1)(2019)
[第19条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/Chistikov MP19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/ChistikovMP19
德米特里·奇斯蒂科夫,安德烈·穆拉夫斯基,大卫·帕塞:
近似差分隐私的不对称距离。 CONCUR公司 2019:10:1-10:17
【i15】
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1904-08402
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1904-08402
德米特里·奇斯蒂科夫,米哈伊尔·维亚利:
重装支架。 CoRR公司 abs/1904.08402(2019)
[第14条]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1912-09864
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1912-09864
德米特里·奇斯蒂科夫,格里戈兹·利索夫斯基,迈克·帕特森,保罗·图里尼:
意见扩散的收敛是PSPACE完成的。 CoRR公司 abs/1912.09864(2019)
2018
【j4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/ChistikovHH18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/ChistikovHH18
德米特里·奇斯蒂科夫,克里斯托夫·哈斯,西蒙·哈弗冯:
带整数计数器和重置的无上下文交换文法。西奥。计算。科学。 735:147-161(2018)
[第18条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/atva/ChistikovMP18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/atva/ChistikovMP18
德米特里·奇斯蒂科夫,安德烈·穆拉夫斯基,大卫·帕塞:
近似差异隐私的相似性距离。 ATVA公司 2018:194-210
[第17条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/AlmagorCO018公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/AlmagorCO018
沙乌尔·阿尔马戈,德米特里·奇斯蒂科夫,乔尔·瓦克宁,詹姆斯·沃雷尔:
线性循环的O-最小不变量。 ICALP公司 2018:114:1-114:14
[i13]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/cor/abs-1802-09263
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1802-09263
沙乌尔·阿尔马戈,德米特里·奇斯蒂科夫,乔尔·瓦克宁,詹姆斯·沃雷尔:
线性循环的O-最小不变量。 CoRR公司 abs/1802.09263(2018)
[i12]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1807-10015
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1807-10015
德米特里·奇斯蒂科夫,安德烈·穆拉夫斯基,大卫·帕塞:
近似差异隐私的相似性距离。 CoRR公司 abs/1807.10015(2018)
2017
[j3]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/acta/Chistikov DM17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/acta/ChistikovDM17
德米特里·奇斯蒂科夫,雷娜·迪米特洛娃,鲁帕克·马朱姆达尔:
SMT中的近似计数和概率程序的值估计。信息学报 54(8):729-764(2017)
[注2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/siaga/ChistikovKMS017
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/siaa/ChistikovKMS017
德米特里·奇斯蒂科夫,斯特凡·基弗,伊内斯·马鲁西奇,马赫萨·希尔穆罕默德,詹姆斯·沃雷尔:
非负矩阵分解需要非理性。 SIAM J.应用。代数几何。 1(1):285-307(2017)
[第16条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/ChistikovH17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/ChistikovH17网址
德米特里·奇斯蒂科夫,克里斯托夫·哈斯:
关于量化整数规划的复杂性。 ICALP公司 2017:94:1-94:13
[第15条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/苏打水/ChistikovKMSW17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/soda/ChistikovKMSW17
德米特里·奇斯蒂科夫,斯特凡·基弗,伊内斯·马鲁西奇,马赫萨·希尔穆罕默德,詹姆斯·沃雷尔:
非负矩阵分解的合理性。 SODA公司 2017:1290-1305
[第14条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/stasts/ChistikovILS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/stacs/ChistikovILS17
德米特里·奇斯蒂科夫,萨博尔斯·伊凡,安娜·卢比夫,杰弗里·沙利特:
分数覆盖、贪婪覆盖和整流器网络。 STACS公司 2017:23:1-23:14
2016
[第13条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/ChistikovMN16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/ChistikovMN16
德米特里·奇斯蒂科夫,鲁帕克·马朱姆达尔,菲利普·尼基奇:
点击异步程序的日程表系列。卡瓦（2） 2016:157-176
[第12条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/ChistikovMS16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/ChistikovMS16
德米特里·奇斯蒂科夫,帕维尔·马图金,马赫萨·希尔穆罕默德:
在嵌套单词上同步自动机。 FoSSaCS公司 2016:252至268
[第11条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/ChistikovCHPW16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/ChistikovCHPW16
德米特里·奇斯蒂科夫,沃伊切赫·切尔温斯基（Wojciech Czerwinski）,彼得罗·霍夫曼,米查尔·皮利普祖克,迈克尔·韦哈尔:
单计数器系统中的最短路径。 FoSSaCS公司 2016:462-478
[第10条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/ChistikovKMSW16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/ChistikovKMSW16
德米特里·奇斯蒂科夫,斯特凡·基弗,伊内斯·马鲁西奇,马赫萨·希尔穆罕默德,詹姆斯·沃雷尔:
关于限制非负矩阵分解。 ICALP公司 2016:103:1-103:14
[c9]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/ChistikovH16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/ChistikovH16
德米特里·奇斯蒂科夫,克里斯托夫·哈斯:
半线性集的驯化。 ICALP公司 2016:128:1-128:13
【c8】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/AtigCHKSZ16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/AtigCHKSZ16
穆罕默德·法乌齐·阿提格,德米特里·奇斯蒂科夫,彼得罗·霍夫曼,K.Narayan Kumar,普拉卡什·塞瓦桑,乔治·泽采:
单计数器语言规则抽象的复杂性。许可证 2016:207-216
[i11]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/AtigCHKSZ16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/AtigCHKSZ16
穆罕默德·法乌齐·阿提格,德米特里·奇斯蒂科夫,彼得罗·霍夫曼,K.Narayan Kumar,普拉卡什·塞瓦桑,乔治·泽采:
一种对立语言的规则抽象的复杂性。 CoRR公司 abs/1602.03419(2016)
[i10]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/cor/ChistikovMN16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/ChistikovMN16
德米特里·奇斯蒂科夫,鲁帕克·马朱姆达尔,菲利普·尼基奇:
点击异步程序的日程表系列。 CoRR公司 abs/1602.03755(2016)
[第九章]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/ChistikovKMSW16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/cor/ChistikovKMSW16
德米特里·奇斯蒂科夫,斯特凡·基弗,伊内斯·马鲁西奇,马赫萨·希尔穆罕默德,詹姆斯·沃雷尔:
非负矩阵分解需要非理性。 CoRR公司 abs/1605.06848(2016)
[i8]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/ChistikovKMSW16a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/ChistikovKMSW16a
德米特里·奇斯蒂科夫,斯特凡·基弗,伊内斯·马鲁西奇,马赫萨·希尔穆罕默德,詹姆斯·沃雷尔:
关于限制非负矩阵分解。 CoRR公司 abs/1605.07061(2016)
2015
【c7】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/ChistikovDM15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/ChistikovDM15
德米特里·奇斯蒂科夫,雷娜·迪米特洛娃,鲁帕克·马朱姆达尔:
SMT中的近似计数和概率程序的值估计。 TACAS公司 2015:320-334年
[i7]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/ChistikovILS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/ChistikovILS15
德米特里·奇斯蒂科夫,萨博尔斯·伊凡,安娜·卢比夫,杰弗里·沙利特:
分数覆盖物、贪婪覆盖物和整流器网络。 CoRR公司 abs/1509.07588(2015)
[i6]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/ChistikovCHPW15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/ChistikovCHPW15
德米特里·奇斯蒂科夫,沃伊切赫·切尔温斯基（Wojciech Czerwinski）,彼得罗·霍夫曼,米查尔·皮利普祖克,迈克尔·韦哈尔:
单计数器系统中的最短路径。 CoRR公司 abs/1510.05460(2015)
[i5]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/ChistikovHH15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/ChistikovHH15
德米特里·奇斯蒂科夫,克里斯托夫·哈斯,西蒙·哈弗冯:
具有整数计数器和重置的无上下文交换语法。 CoRR公司 abs/1511.04893(2015)
2014
[j1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fuin/ChistikovFV14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fuin/ChistikovFV14
德米特里·奇斯蒂科夫,瓦伦蒂娜·费多罗娃,安德烈·沃罗连科:
各类朗读功能的非会员证书。芬丹。信息学 132(1):63-77(2014)
【c6】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/Chistikov公司14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/Chistikov14
德米特里·奇斯蒂科夫:
关于有限机器计数的注记。 FSTTCS公司 2014:339-350
【c5】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/Chistikov公司M14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/Chistikov第14页
德米特里·奇斯蒂科夫,鲁帕克·马朱姆达尔:
一元下推自动机和直线程序。 ICALP（二） 2014:146-157
[i4]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/Chistikov M14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/ChistikovM14网址
德米特里·奇斯蒂科夫,鲁帕克·马朱姆达尔:
一元下推自动机和直线程序。 CoRR公司 abs/1403.0509(2014)
[i3]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/Chistikov DM14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/ChistikovDM14
德米特里·奇斯蒂科夫,雷娜·迪米特洛娃,鲁帕克·马朱姆达尔:
SMT中的近似计数和概率程序的值估计。 CoRR公司 abs/1411.0659(2014)
2013
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wia/ChitikovM13公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wia/Chistikov第13页
德米特里·奇斯蒂科夫,鲁帕克·马朱姆达尔:
嵌套词到词转义的一致化定理。 CIAA公司 2013:97-108
2012
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csr/Chistikov公司12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csr/Chistikov12
德米特里·V·奇斯蒂科夫:
检查任意基上的只读函数测试。企业社会责任 2012:52-63
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1203-0631
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1203-0631
德米特里·V·奇斯蒂科夫:
检查任意基上的只读函数测试。 CoRR公司 abs/1203.0631(2012)
2011
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/iwoca/Chistikov11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iwoca/Chistikov11
德米特里·V·奇斯蒂科夫:
测试单音读出功能。 IWOCA公司 2011:121-134
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/synasc/ZubkovCV11
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/synasc/ZubkovCV11
奥列格·祖布科夫,德米特里·V·奇斯蒂科夫,安德烈·沃罗连科:
几乎所有Cograph的测试复杂性检查上限。 SYNASC公司 2011:323-330
2010
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 轴颈/cor/abs-1007-1073
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1007-1073
德米特里·V·奇斯蒂科夫,安德烈·沃罗连科:
使用子多维数据集标识查询学习只读函数。 CoRR公司 abs/1007.1073(2010)

合著者索引

请参阅常见问题解答

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入才能让他们活跃起来。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。