停止战争！

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

对于科学家：

默认搜索操作

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

问别人

托尔斯滕·维曼

>主页 >珀森斯

人员信息

附属： 德国埃尔兰根-纽伦堡大学
隶属关系（前）： 荷兰奈梅亨Radboud大学

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年–今天

请参阅常见问题解答

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

2023
[j8]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/pacmpl/JacobsW23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/pacmpl/JacobsW23
朱尔斯·雅各布斯,托尔斯滕·维曼:
快速同胚双相似度最小化。程序。ACM计划。语言。 7(POPL公司):1514-1541(2023)
[第18条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/calco/RotW23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/calco/RotW23
尤里安腐烂,托尔斯滕·维曼:
不确定结构中的双相似态。 CALCO公司 2023:12:1-12:17
[第17条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/csl/Wissmann23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/csl/Wissmann23
托尔斯滕·维曼:
支持集-标称集和自动机的新基础。 CSL公司 2023:38:1-38:19
[第16条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/DubutW23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/DubutW23
杰瑞米·杜布特,托尔斯滕·维曼:
广义开映射的加权和分支相似性。 FoSSaCS公司 2023:308-327
[第15条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/icalp/VaandragerW23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/VaandragerW23
Frits W.Vaandrager公司,托尔斯滕·维曼:
行动代码。 ICALP公司 2023:137:1-137:20
[i22]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2301-00199
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2301-00199
Frits W.Vaandrager公司,托尔斯滕·维曼:
行动代码。 CoRR公司 abs/2301.00199(2023)
【i21】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2301-07004
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2301-07004
杰瑞米·杜布特,托尔斯滕·维曼:
广义开映射的加权和分支相似性。 CoRR公司 abs/2301.07004(2023)
[i20]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-2303-15279
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2303-15279
尤里安腐烂,托尔斯滕·维曼:
不确定结构中的双相似态。 CoRR公司 abs/2303.15279(2023)
2022
[j7]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/Wissmann22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/Wissmann22
托尔斯滕·维曼:
通过因子分解系统和示例的最小概念。日志。方法计算。科学。 18(三)(2022)
[j6]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/WissmannMS22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/WissmannMS22
托尔斯滕·维曼,斯特凡·米利乌斯,卢茨·施罗德:
行为不等价的一般模态见证的拟线性时间计算。日志。方法计算。科学。 18(4)(2022)
[第14条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/MoermanW22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/MoermanW22
约书亚·莫尔曼,托尔斯滕·维曼:
满意地进行状态识别和验证。从过程代数到时间自动机到模型学习的旅程 2022:450-466
[第13条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/VaandragerGRW22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/VaandragerGRW22
Frits W.Vaandrager公司,巴拉特·加休尔,尤里安腐烂,托尔斯滕·维曼:
基于Apartness的主动自动机学习新方法。 TACAS（1） 2022:第223页至第243页
[i19]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-2201-09825
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2201-09825
托尔斯滕·维曼:
支持集-标称集和自动机的新基础。 CoRR公司 abs/2201.09825(2022)
[i18]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-2202-05701
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2202-05701
托尔斯滕·维曼:
通过因子分解系统和示例的最小概念。 CoRR公司 abs/2202.05701(2022)
[i17]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-2203-11175
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2203-11175
托尔斯滕·维曼,斯特凡·米利乌斯,卢茨·施罗德:
行为不等效通用模态见证的准线性时间计算。 CoRR公司 abs/2203.11175(2022)
[i16]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2204-12368
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2204-12368
朱尔斯·雅各布斯,托尔斯滕·维曼:
所有函数的Coalgebraic划分精化。 CoRR公司 abs/2204.12368(2022)
2021
[j5]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/fac/WissmannDMS21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/fac/WissmannDMS21
托尔斯滕·维曼,汉斯·佩特·迪费尔,斯特凡·米利乌斯,卢茨·施罗德:
从泛型分区细化到加权树自动机最小化。形式方面计算。 33(4-5):695-727(2021)
[第12条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/calco/Wissmann21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/calco/Wissmann21
托尔斯滕·维曼:
通过因子分解系统的极小概念（（Co）代数珍珠）。 CALCO公司 2021:24:1-24:21
[第11条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/WissmannMS21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/WissmannMS21
托尔斯滕·维曼,斯特凡·米利乌斯,卢茨·施罗德:
拟线性时间中行为不等价的一般解释。 CONCUR公司 2021:32:1-32:18
[第10条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fscd/DeifelMW21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fscd/DeifelMW21
汉斯·彼得·德菲尔,斯特凡·米利乌斯,托尔斯滕·维曼:
有效最小化的余代数编码。金融稳定与发展部 2021:28:1-28:19
【i15】
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-2102-12842
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2102-12842
汉斯·佩特·迪费尔,斯特凡·米利厄斯,托尔斯滕·维曼:
有效最小化的余代数编码。 CoRR公司 abs/2102.12842(2021)
[第14条]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-2105-00669
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2105-00669
托尔斯滕·维曼,斯特凡·米利乌斯,卢茨·施罗德:
拟线性时间中行为不等价的一般解释。 CoRR公司腹肌/2105.000669(2021)
[i13]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2106-07233
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2106-07233
托尔斯滕·维曼:
通过因子分解系统的最小概念。 CoRR公司 abs/2106.07233(2021)
[i12]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-2107-05419
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2107-05419
Frits W.Vaandrager公司,巴拉特·加休尔,尤里安腐烂,托尔斯滕·维曼:
一种基于Apartness的主动自动机学习新方法。 CoRR公司 abs/2107.05419(2021)
2020
【b1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 博士/dnb/Wissmann20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/phd/dnb/Wissmann20
托尔斯滕·维曼:
集合及其以外的协同语义和最小化。德国埃尔兰根-纽姆堡大学，2020
【j4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/iadc/MiliusPW20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/iandc/MiliusPW20
斯特凡·米利乌斯,德克·帕丁森,托尔斯滕·维曼:
有限共递归和迭代代数的新基础。 Inf.计算。 271:104456(2020)
[j3]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/WissmannDMS19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/WissmannDMS19
托尔斯滕·维曼,乌尔里希·多尔希,斯特凡·米利乌斯,卢茨·施罗德:
高效且模块化的Coalgebraic划分细化。日志。方法计算。科学。 16(1)(2020)
[i11]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2004-01250
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2004-01250
托尔斯滕·维曼,汉斯·佩特·迪费尔,斯特凡·米利乌斯,卢茨·施罗德:
从泛型划分精化到加权树自动机最小化。 CoRR公司 abs/2004.01250(2020)

2010 – 2019

请参阅常见问题解答

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

2019
【c9】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fm/DeifelMSW19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fm/DeifelMSW19
汉斯·佩特·迪费尔,斯特凡·米利乌斯,卢茨·施罗德,托尔斯滕·维曼:
一般划分精化和加权树自动机。 FM公司 2019:280-297
【c8】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/WissmannDKH19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/WissmannDKH19
托尔斯滕·维曼,杰雷米·杜布特,Shin-ya胜本,哈朔一郎:
具有非确定性分支的代数的自由开放态射的路径范畴。 FoSSaCS公司 2019:523-540
2018
[注2]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/Beohar0K0W18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/Beohar0K0W18
严酷的贝哈尔,芭芭拉·科尼格,塞巴斯蒂安·库珀,亚历山德拉·席尔瓦,托尔斯滕·维曼:
带升级的条件转换系统的一种代数处理。日志。方法计算。科学。 14(1)(2018)
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cmcs/DorschMSW18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cmcs/DorschMSW18
乌尔里希·多尔希,斯特凡·米利乌斯,卢茨·施罗德,托尔斯滕·维曼:
余代数表达式语言中的谓词提升和函数表示。 CMCS公司 2018:56至77
[i10]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1802-08070
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1802-08070
斯特凡·米利乌斯,德克·帕丁森,托尔斯滕·维曼:
Finitary Corecurion和迭代代数的新基础。 CoRR公司腹肌/1802.08070(2018)
[第九章]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1805-07211
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1805-07211
乌尔里希·多尔希,斯特凡·米利乌斯,卢茨·施罗德,托尔斯滕·维曼:
余代数表达式语言中的谓词提升和函数表示。 CoRR公司 abs/1805.07211(2018)
[i8]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1806-05654
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1806-05654
托尔斯滕·维曼,乌尔里希·多尔希,斯特凡·米利乌斯,卢茨·施罗德:
高效且模块化的Coalgebraic划分细化。 CoRR公司 abs/1806.05654(2018)
[i7]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1811-08850
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1811-08850
汉斯·佩特·迪费尔,斯特凡·米利乌斯,卢茨·施罗德,托尔斯滕·维曼:
CoPaR：一个高效的通用分区优化程序。 CoRR公司 abs/1811.08850(2018)
[i6]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1811-12294
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1811-12294
托尔斯滕·维曼,杰雷米·杜布特,Shin-ya胜本,哈朔一郎:
具有非确定性分支的余代数的自由开态射的路径范畴。 CoRR公司 abs/1811.12294(2018)
2017
【c6】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/concor/DorschMSW17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/DorschMSW17
乌尔里希·多尔希,斯特凡·米利乌斯,卢茨·施罗德,托尔斯滕·维曼:
有效的Coalgebraic划分细化。 CONCUR公司 2017:32:1-32:16
【c5】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/SchroderKMW17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/SchroderKMW17
卢茨·施罗德,德克斯特·科赞,斯特凡·米利乌斯,托尔斯滕·维曼:
带有名称绑定的标称自动机。 FoSSaCS公司 2017:124-142
[i5]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/DorschMSW17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/DorschMSW17
乌尔里希·多尔希,斯特凡·米利乌斯,卢茨·施罗德,托尔斯滕·维曼:
一种Coalgebraic Paige-Tarjan算法。 CoRR公司 abs/1705.08362(2017)
2016
[j1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/acs/MiliusSW16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/acs/MiliusSW16
斯特凡·米利厄斯,卢茨·施罗德,托尔斯滕·维曼:
带名称的正则行为——关于标称集上内函的有理不动点。申请。分类结构。 24(5):663-701(2016)
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/MiliusPW16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/MiliusPW16
斯特凡·米利乌斯,德克·帕丁森,托尔斯滕·维曼:
金融担保的新基础——局部有限不动点及其性质。 FoSSaCS公司 2016:107-125
[i4]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/MiliusPW16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/MiliusPW16
斯特凡·米利乌斯,德克·帕丁森,托尔斯滕·维曼:
财政担保新基金会。 CoRR公司 abs/1601.01532(2016)
[i3]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/SchroderKMW16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/cor/SchroderKMW16
卢茨·施罗德,德克斯特·科赞,斯特凡·米利乌斯,托尔斯滕·维曼:
带有名称绑定的标称自动机。 CoRR公司 abs/1603.01455(2016)
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/MiliusSW16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/MiliusSW16
斯特凡·米利厄斯,卢茨·施罗德,托尔斯滕·维曼:
有名字的常规行为。 CoRR公司 abs/1607.07828(2016)
2015
【c3】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/calco/MiliusW15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/calco/MiliusW15
斯特凡·米利乌斯,托尔斯滕·维曼:
无限Lambda微积分的金融学证明。 CALCO公司 2015:336-351
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/MiliusW15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/MiliusW15
斯特凡·米利乌斯,托尔斯滕·维曼:
无限Lambda微积分的金融学证明。 CoRR公司 abs/1505.07736(2015)
2014
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/GorinPSWW14
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/GorinPSWW14
丹尼尔·戈林,德克·帕丁森,卢茨·施罗德,弗洛里安·维德曼,托尔斯滕·维曼:
Cool-一个用于混合逻辑的通用推理器（系统描述）。国际JCAR 2014:396-402
2013
【c1】
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/dlog/GorinSW13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/dlog/GorinSW13
丹尼尔·戈林,卢茨·施罗德,托尔斯滕·维曼:
使用逻辑解释器进行有界自引用推理。描述逻辑 2013:689-703

合著者索引

请参阅常见问题解答

服务

管理站点设置

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