停止战争！

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

对于科学家：

默认搜索操作

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

问别人

2012年第32届FSTTCS：印度海得拉巴

>主页 >会议和研讨会 >FSTTCS公司

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  - 电子版@dagstuhl.de
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/fsttcs/2012
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/2012
Deepak D'Souza公司,Telikepalli Kavitha公司,杰库马尔·拉德哈克里希南:
2012年12月15日至17日，印度海得拉巴，2012年FSTTCS，IARCS软件技术和理论计算机科学基础年会。 LIPIcs公司18,达格斯图尔-莱布尼兹·泽特鲁姆宫（Schloss Dagstuhl-Leibniz-Zentrum für Informatik） 2012，国际标准图书编号978-3-939897-47-7
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/X12文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/X12
前言、目录、前言、会议组织。
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/Rabani12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/Rabani12
尤瓦尔·拉巴尼:
学习大型离散域上分布的混合。 1-3
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/BojanczykT12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/BojanczykT12
米科拉伊·博扬奇克,Szymon Torunczyk公司:
原子集合中的强制编程。 4-15
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/AchlioptasG12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/AchlioptasG12
迪米特里斯·阿奇利奥普塔斯,西米斯·古利基斯:
通过簇扩展改进Lovász局部引理的算法。 16-23
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/Godefroid12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/Godefroid12
帕特丽斯·戈德弗里德:
使用符号执行的测试生成。 24-33
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/Madhusudan 12号机组
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/Madhusudan 12网址
帕塔萨拉提·马杜苏丹:
用于处理数据结构的程序的自动推理和自然证明。 34-35
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/KoppartyS12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/KoppartyS12
纳粹党,斯里坎斯·斯里尼瓦桑:
AC^0（奇偶）电路的认证多项式及其应用。 36-47
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fttcs/Vempala12文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/Vempala12网址
桑托什S.万帕拉:
随机定向k-d树适应内在维数。 48-57
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/GoyalR12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/GoyalR12
纳文·戈亚尔,路易斯·拉德马赫:
Pareto Optima平均数和平滑数的下限。 58-69
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/FeigenblatPS12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/FeigenblatPS12
盖·费根布拉特,爱丽·波拉特,阿里尔·西夫坦:
基于minwise算法的指数空间改进。 70-85
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fsetcs/KrebsS12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/KrebsS12
安德烈亚斯·克雷布斯,霍华德·斯特劳宾:
二元逻辑中交替层次的有效表征。 86-98
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fsetcs/BaranyBFP12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/BaranyBFP12
文斯·巴拉尼,米科拉伊·博扬奇克,迭戈·菲盖拉,Pawel公园:
XPath文档的可决定类。 99-111
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/GajarskyH12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/GajarskyH12
雅库布·加亚尔斯克,彼得·赫莱宁（Petr Hlinen）:
快速确定固定高度树的MSO属性及其结果。 112-123
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/FijalkowZ12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/FijalkowZ12
纳塔娜·菲亚尔科夫,马丁·齐默尔曼:
Cost-Parity和Cost-Streett游戏。 124-135
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/KothapaliP12文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/KothapallipP12
基肖尔·科塔帕利,斯里拉姆·V·彭马拉朱:
超快速3规则集。 136-147
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/IvanyosKLSW12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/IvanyosKLSW12
加博尔·伊万约斯,哈特穆特·克劳克,特洛·李,米克洛斯·桑塔,罗纳德·沃尔夫:
一些图属性的经典和量子通信复杂性的新边界。 148-159
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/BroadbentG12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/BroadbentG12
克里斯托弗·布劳德本特,斯特凡·格勒:
关于高阶下推自动机的双相似性：二阶不确定性。 160-172
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/TorreP12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/TorreP12
萨尔瓦托雷·拉托雷,根纳罗·帕拉托:
基于范围的多堆栈下推系统：固定点、序列化和树宽度。 173-184
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/KhandekarHRW12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/KhandekarHRW12
罗希特·坎德卡尔,Kirsten Hildrum公司,迪帕克·拉詹,乔尔·沃尔夫:
设置成本和单音惩罚的日程安排。 185-198
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/ChakaravarthyPRS12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/ChakaravarthyPRS12
文卡特桑·查卡拉瓦尔西,Arindam Pal公司,萨姆布达·罗伊,Yogish Sabharwal瑜伽:
调度资源以执行部分作业集。 199-210
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/博泽利12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/BozzelliS12
劳拉·博泽利,塞萨尔·桑切斯:
可见的理性表达。 211-223
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/HeussnerGS12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/HeussnerGS12
亚历山大·休纳,特里斯坦·勒加尔,格雷戈伊尔·苏特雷:
通信单计数器的安全验证。 224-235
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/ChakaravarthyMNRS12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/ChakaravarthyMNRS12
文卡特桑·查卡拉瓦尔西,纳瓦尔·莫达尼,Sivaramakrishnan R.Natarajan先生,萨姆布达·罗伊,Yogish Sabharwal瑜伽:
受协矩阵约束的密度函数。 236-248
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/KumarPS12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/KumarPS12
阿米特·库玛尔,Preeti Ranjan熊猫,斯姆鲁蒂·R·萨兰吉:
一种维护稀疏比特串k覆盖的高效在线算法。 249-256
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fsetcs/AnandBGS12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/AnandBGS12
Abhash Anand公司,苏伦德·巴斯瓦纳,马诺伊·古普塔,桑迪普·森:
在全动态图中保持近似最大加权匹配。 257-266
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/ElbassioniGGKN12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/ElbassioniGGKN12
哈立德·埃尔巴西尼,纳文·加格,迪夫亚·古普塔,阿米特·库玛尔,Vishal Narula公司,Arindam Pal公司:
路径和树上不可分裂流问题的近似算法。 267-275
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/DanosFFHH12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/DanosFFHH12
文森特·达诺斯,杰罗姆·费雷特,沃尔特·丰塔纳,罗素·哈默,乔纳森·海曼,让·克里文,克里斯托弗·汤普森-沃尔什,格林·温斯克:
基于规则的模型的图、重写和路径重建。 276-288
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/DelzannoSTZ12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/DelzannoSTZ12
乔治·德尔扎诺,阿诺德·桑尼尔,里卡多·特拉弗索,吉安路易吉·扎瓦塔罗:
可重构广播网络中参数化可达性的复杂性。 289-300
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/阀盖FP12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/BonnetFP12
雷米发动机盖,阿兰·芬克尔,M.Praveen先生:
将Rackoff技术扩展到仿射网。 301-312
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/Anthony12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/Anthony12
安东尼·威贾贾·林:
加速树的自动关系。 313-324
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/BhattacharyaH12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/BhattacharyaH12
Binay K.Bhattacharya公司,胡玉庄:
树网络上的k-delivery旅行商问题。 325-336
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/Bonsma12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/Bonsma12
保罗·邦斯玛:
重新路由平面图中的最短路径。 337-349
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/Rajan12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/Rajan12
瓦伦·拉詹:
节省空间的边缘容错布线。 350-361
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/BokerH12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/BokerH12
乌迪·博克,托马斯·亨辛格:
定量自动机的近似确定。 362-373
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/AbdullaAC12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/AbdullaAC12
帕罗什·阿齐兹·阿卜杜拉,穆罕默德·法乌齐·阿提格,乔纳森·塞德伯格:
定时有损信道系统。 374-386
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/KoblerKV12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/KoblerKV12
约翰内斯·科布勒,塞巴斯蒂安·库内特,奥列格·维尔比茨基:
对数空间中真圆弧图的标准表示和星系问题的求解。 387-399
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/CrowstonGJ12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/CrowstonGJ12
罗伯特·克劳斯顿,格雷戈里·古汀,马克·琼斯:
在Poljak-Turzik界以上参数化的有向非循环子图问题。 400-411
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/MnichPSS12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/MnichPSS12
马蒂亚斯·姆尼奇,吉瓦尔盖斯·菲利普,Saket Saurabh酒,Ondrej如此:
超越最大切割：lambda-在Poljak-Turzik界限以上参数化的可扩展特性。 412-423
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/LokshtanovSW12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/LokshtanovSW12
丹尼尔·洛克斯塔诺夫,Saket Saurabh酒,马格努斯·瓦尔斯特伦:
平面图上的次指数参数化奇圈横截。 424-434
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/HermannsT12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/HermannsT12
霍尔格·赫尔曼斯,安德烈亚·图里尼:
多项式时间中概率自动机弱互模拟的判定。 435-447
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/ForejtJKW12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/ForejtJKW12
Vojtech预测,彼得·詹卡尔,斯特凡·基弗,詹姆斯·沃雷尔:
概率下推自动机的相似性。 448-460
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/ChatterjeeJS12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/ChatterjeeJS12
克里希南德·查特吉,玛纳斯·约格勒卡尔,尼萨格·沙阿:
具有Büchi目标的Markov决策过程经典算法的平均案例分析。 461-473
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/BraddilHKKR12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/BrazdilHKKR12
托马斯·布拉兹迪尔,霍尔格·赫尔曼斯,扬·科卡尔,扬·克伦斯克,Vojtech Rehák公司:
开放交互马尔可夫链的验证。 474-485
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/VaradarajanX12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/VaradarajanX12
卡斯图里·瓦拉达拉扬,辛晓（Xin Xiao）:
形状拟合问题的敏感性。 486-497
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/AhnCKY12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/AhnCKY12
Hee-Kap Ahn先生,萧永成（Siu-Wing Cheng）,Hyuk Jun Kweon先生,Juyoung Yon公司:
刚性运动下凸多面体的重叠。 498-509
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/DeNR12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/DeNR12
米纳蒂·德,Subhas C.南迪,萨桑卡·罗伊:
具有少量额外变量的最小封闭圆。 510-521
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/DevakiK12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/DevakiK12
普拉纳瓦达塔·德瓦基,阿迪蒂亚·卡纳德:
用于检查程序数据格式兼容性的静态分析。 522-533
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/ChadhaU12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/ChadhaU12
罗希特·查达,迈克尔·乌梅尔斯:
递归程序中定量信息流的复杂性。 534-545
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/BanaAS12
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/BanaAS12
格尔盖·巴纳,佩德罗·阿德诺,樱田秀树:
计算完成的符号攻击者正在行动。 546-560

服务

管理网站设置

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