停止战争！

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

对于科学家来说：

默认搜索操作

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

问别人

弗洛里安·斯坦博格0001

>主页 >珀森斯

人员信息

附属： INRIA Saclay，法国帕莱索

其他同名人员

请参阅常见问题解答

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年–今天

请参阅常见问题解答

出版物列表中的颜色是什么意思？

2021
[j6]
- 看法
  - 电子版@episciences.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 期刊/lmcs/SteinbergTT21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/SteinbergTT21
弗洛里安·斯坦博格,洛朗·塞里,霍尔格·蒂斯:
Coq中的可计算分析和连续性概念。日志。方法计算。科学。 17(2)(2021)
[第15条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/casc/SelivanovaSTZ21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/casc/SelivanovaSTZ21
斯维特兰娜·塞利瓦诺娃,弗洛里安·斯坦博格,霍尔格·蒂斯,马丁·齐格勒:
偏微分方程线性分析系统解算子的精确实计算。中国科学院 2021:370-390
[第14条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/GassnerP021
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/GassnerP021
克里斯汀·加纳,阿诺·保利,弗洛里安·斯坦博格:
实数计算中作为基元操作的计算测度。 CSL公司 2021:22:1-22:22
2020
[j5]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/NeumannS20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/NeumannS20
艾克·诺依曼,弗洛里安·斯坦博格:
参数化二阶复杂度理论及其在区间计算研究中的应用。西奥。计算。科学。 806:281-304(2020)
【j4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/KapronS20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/KapronS20
布鲁斯·卡普伦,弗洛里安·斯坦博格:
第二类多项式时间和限制前瞻。西奥。计算。科学。 813:1-19(2020)
[c13]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fsttcs/Konecny0T20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fsttcs/Konecny0T20
米查尔·科内肯（Michal Konecn）,弗洛里安·斯坦博格,霍尔格·蒂斯:
用于验证精确实际计算的可计算分析。 FSTTCS公司 2020:50:1-50:18
[第12条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/KonecnyST20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/KonecnyST20
米查尔·科内肯（Michal Konecn）,弗洛里安·斯坦博格,霍尔格·蒂斯:
连续和单音机器。 MFCS公司 2020:56:1-56:16
[i10]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2005-01624
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2005-01624
米查尔·科内肯（Michal Konecn）,弗洛里安·斯坦博格,霍尔格·蒂斯:
连续和单调机器。 CoRR公司腹肌/2005.01624(2020)

2010 – 2019

请参阅常见问题解答

出版物列表中的颜色是什么意思？

2019
[第11条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/itp/斯坦伯格TT19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/itp/SteinbergTT19
弗洛里安·斯坦博格,洛朗·塞里,霍尔格·蒂斯:
Coq中的定量连续性和可计算分析。 ITP公司 2019:28:1-28:21
[第10条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tamc/KawamuraST19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tamc/KawamuraST19
川村昭通,弗洛里安·斯坦博格,霍尔格·蒂斯:
二阶线性时间可计算性及其在可计算分析中的应用。 TAMC公司 2019:337-358
【c9】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-1908-04923
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1908-04923
布鲁斯·卡普伦,弗洛里安·斯坦博格:
带有界查询修订的第二类迭代。 DICE-FOPARA@ETAPS公司 2019:61-73
[第九章]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1904-13203
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1904-13203
弗洛里安·斯坦博格,洛朗·塞里,霍尔格·蒂斯:
Coq中的定量连续性和可计算分析。 CoRR公司 abs/1904.13203(2019)
[i8]
- 看法
  - 电子版@nii.ac.jp（开放存取）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 期刊/shonan报告/KapronKS19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/sonan-reports/KapronKS19
布鲁斯·卡普伦,川村明俊,弗洛里安·斯坦博格:
高阶复杂性理论及其应用（NII Shonan会议151）。 NII Shonan会议。代表。 2019(2019)
2018
[j3]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mst/PaulyS18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mst/PaulyS18
阿诺·保利,弗洛里安·斯坦博格:
比较可计算分析中函数空间的表示。理论计算。系统。 62(三):557-582(2018)
【c8】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/KapronS18公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/KapronS18
布鲁斯·卡普伦,弗洛里安·斯坦博格:
第二类多项式时间和限制前瞻。低收入国家 2018:579-588
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wollic/KawamuraST18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wollic/KawamuraST18
川村昭通,弗洛里安·斯坦博格,霍尔格·蒂斯:
多维分析函数统一算子的参数化复杂性和ODE求解。 WoLLIC公司 2018:223-236
[i7]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1801-07485
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1801-07485
布鲁斯·卡普伦,弗洛里安·斯坦博格:
第二类多项式时间和限制前瞻。 CoRR公司 abs/1801.07485(2018)
2017
[注2]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/Steinberg 17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/Steinberg17
弗洛里安·斯坦博格:
可积函数空间的复杂性理论。日志。方法计算。科学。 13(三)(2017)
[j1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/mscs/KawamuraSZ17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/mscs/KawamuraSZ17
川村昭通,弗洛里安·斯坦博格,马丁·齐格勒:
关于泊松方程Dirichlet问题的计算复杂性。数学。结构。计算。科学。 27(8):1437-1465(2017)
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/SchroderS17公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/SchroderS17
马蒂亚斯·施罗德,弗洛里安·斯坦博格:
度量空间和Banach空间上的有界时间计算。低收入国家 2017:1-12
【c5】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/rta/KawamuraS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/KawamuraS17
川村昭通,弗洛里安·斯坦博格:
多项式时间Oracle机器的多项式运行时间。金融稳定与发展部 2017:23:1-23:18
[i6]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/SchroderS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/SchroderS17
马蒂亚斯·施罗德,弗洛里安·斯坦博格:
度量空间和Banach空间上的有界时间计算。 CoRR公司 abs/1701.02274(2017)
[i5]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/BrausseS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/cor/BrausseS17
弗兰兹·布劳,弗洛里安·斯坦博格:
连续函数的最小表示。 CoRR公司 abs/1703.10044(2017)
[i4]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/KawamuraS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/KawamuraS17
川村昭通,弗洛里安·斯坦博格:
多项式时间预言机的多项式运行时间。 CoRR公司 abs/1704.01405(2017)
[i3]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1711-10530
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1711-10530
艾克·诺依曼,弗洛里安·斯坦博格:
参数化二阶复杂度理论及其在区间计算研究中的应用。 CoRR公司 abs/1711.10530(2017)
2016
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cie/KawamuraS016年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cie/KawamuraS016
川村昭通,弗洛里安·斯坦博格,马丁·齐格勒:
分析中高级函数空间的计算复杂性理论。 CiE公司 2016:142-152
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/csr/PaulyS16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csr/PaulyS16
阿诺·保利,弗洛里安·斯坦博格:
解析函数的表示与Weihrauch度。企业社会责任 2016:367-381
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lics/KawamuraS016年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/KawamuraS016
川村昭通,弗洛里安·斯坦博格,马丁·齐格勒:
紧度量空间上函数的复杂性理论。低收入国家 2016:837-846
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/Steinberg 16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/Steinberg16
弗洛里安·斯坦博格:
可积函数空间的复杂性理论。 CoRR公司 abs/1612.06419(2016)
2015
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/macis/SchroderSZ15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/macis/SchroderSZ15
马蒂亚斯·施罗德,弗洛里安·斯坦博格,马丁·齐格勒:
实函数的平均情况比特复杂度理论。 MACIS公司 2015:505-519
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/PaulyS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/PaulyS15
阿诺·保利,弗洛里安·斯坦博格:
解析函数和Weihrauch度的表示。 CoRR公司 abs/1512.03024(2015)

服务

管理网站设置

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