停止战争！

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

对于科学家：

默认搜索操作

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

问别人

丹尼尔·奥斯曼0001

>主页 >珀森斯

人员信息

附属： 哥德堡大学，哥德堡，瑞典
从属关系（2018年博士）： 德国埃尔兰根纽伦堡大学理论计算机科学

其他同名人员

请参阅常见问题解答

优化列表

精炼活动！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年–今天

请参阅常见问题解答

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

2024
【c21】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/HausmannPSS24
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/HausmannPSS24
丹尼尔·奥斯曼,尼尔·皮特曼,伊尔马克·萨格拉姆,安妮·凯瑟琳·施穆克:
费尔勒莫常规运动会。 FoSSaCS（1） 2024:13-33
[公元20年]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fossacs/HausmannLP24
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/HausmannLP24
丹尼尔·奥斯曼,马修·勒豪特,尼尔·皮特曼:
Emerson-Lei反应合成游戏的符号解决方案。 FoSSaCS（1） 2024:55-78
[第19条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/HausmannHPSS24
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/HausmannHPSS24
丹尼尔·豪斯曼,梅林驼峰,西蒙·普鲁克,卢茨·施罗德,亚伦·斯特拉伯格:
COOL-MC中模态定点逻辑的通用模型检查。 VMCAI（1） 2024:171-185
[第14条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-2404-13687
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2404-13687
丹尼尔·奥斯曼:
通过定点加速加快游戏解决速度。 CoRR公司 abs/2404.13687(2024)
2023
[注2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/csysl/HausmannJP23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/csysl/HausmannJP23
丹尼尔·奥斯曼,Prabhat Kumar贾,尼尔·皮特曼:
高效主管合成游戏。 IEEE控制。系统。莱特。 7:2881-2885年(2023)
[第18条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/GorlitzHHPPS23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/GorlitzHHPPS23
奥利弗·格利茨,丹尼尔·奥斯曼,梅林驼峰,德克·帕丁森,西蒙·普鲁克,卢茨·施罗德:
COOL 2-模态定点逻辑的通用推理器（系统描述）。 CADE公司 2023:234-247
[i13]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-2305-02793
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2305-02793
丹尼尔·奥斯曼,马修·勒豪特,尼尔·皮特曼:
LTL安全性和EL-碎片的符号反应合成。 CoRR公司 abs/2305.02793(2023)
[i12]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2305-11015
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2305-11015
奥利弗·格利茨,丹尼尔·奥斯曼,梅林悍马,德克·帕丁森,西蒙·普鲁克,卢茨·施罗德:
COOL 2-模态定点逻辑的通用推理器。 CoRR公司 abs/2305.11015(2023)
[i11]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-2310-13612
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-230-13612
丹尼尔·奥斯曼,尼尔·皮特曼,伊尔马克·萨格拉姆,安妮·凯瑟琳·施穆克:
公平$ω$-常规游戏。 CoRR公司 abs/2310.13612(2023)
[i10]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2311-01315
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2311-01315
丹尼尔·奥斯曼,梅林驼峰,西蒙·普鲁克,卢茨·施罗德,亚伦·斯特拉伯格:
COOL-MC中模态定点逻辑的通用模型检查。 CoRR公司 abs/2311.01315(2023)
2022
[第17条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/生日/0001P22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/0001P22
丹尼尔·奥斯曼,尼尔·皮特曼:
基于树自动机的μ-演算可满足性检验综述。系统设计原理 2022:228至251
[第九章]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2207-00517
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2207-00517
丹尼尔·奥斯曼,尼尔·皮特曼:
μ-演算的树自动机可满足性检验综述。 CoRR公司 abs/2207.00517(2022)
[i8]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2212-11055
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2212-11055
丹尼尔·奥斯曼,卢茨·施罗德:
算术μ-演算的余代数可满足性检验。 CoRR公司 abs/2212.11055(2022)
2021
[第16条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/Urbat0MS21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/Urbat0MS21
亨宁·乌尔巴特,丹尼尔·奥斯曼,斯特凡·米利乌斯,卢茨·施罗德:
具有名称分配的标称Büchi自动机。同意 2021:4:1-4:16
[第15条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/mfcs/0001MS21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/mfcs/0001MS21
丹尼尔·奥斯曼,斯特凡·米利乌斯,卢茨·施罗德:
具有名称分配的线性时间标称μ-微积分。 MFCS公司 2021:58:1-58:18
[第14条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/0001S21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/0001S21
丹尼尔·奥斯曼,卢茨·施罗德:
嵌套不动点的拟多项式计算。墨西哥玉米饼（1） 2021:38-56
[i7]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-2107-03213
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2107-03213
亨宁·乌尔巴特,丹尼尔·奥斯曼,斯特凡·米利乌斯,卢茨·施罗德:
具有名称分配的标称Büchi自动机。 CoRR公司 abs/2107.03213(2021)
2020
[第13条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/001S20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/001S20
丹尼尔·奥斯曼,卢茨·施罗德:
单调微积分中的NP推理。国际JCAR（1） 2020:482-499
[第12条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/HausmannLRZ20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/HausmannLRZ20
丹尼尔·豪斯曼,塔德乌兹·利塔克,克里斯托夫·劳赫,马蒂亚斯·津纳:
NuSMV的廉价CTL同情。 VMCAI公司 2020:248-269
[i6]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2002-05075
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2002-05075
丹尼尔·奥斯曼,卢茨·施罗德:
单调微积分中的NP推理。 CoRR公司 abs/2002.05075(2020)
[i5]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2010-10912
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2010-10912
丹尼尔·奥斯曼,斯特凡·米利乌斯,卢茨·施罗德:
利用冻结量化的LTL。 CoRR公司 abs/2010.10912(2020)

2010 – 2019

请参阅常见问题解答

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

2019
[第11条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/HausmannS19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/HausmannS19
丹尼尔·奥斯曼,卢茨·施罗德:
基于博弈的同胚多演算局部模型检验。同意 2019:35:1-35:16
[第10条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/foss/豪斯曼S19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fossacs/HausmannS19
丹尼尔·奥斯曼,卢茨·施罗德:
算术\mu-微积分的最佳可满足性检查。 FoSSaCS公司 2019:277-294
[i4]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1901-04893
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1901-04893
丹尼尔·奥斯曼,卢茨·施罗德:
算术微积分的最优可满足性检验。 CoRR公司 abs/1901.04893(2019)
[i3]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1907-07020
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1907-07020
丹尼尔·奥斯曼,卢茨·施罗德:
计算准多项式时间内的嵌套不动点。 CoRR公司 abs/1907.07020(2019)
2018
【b1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 博士/dnb/Hausmann18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/phd/dnb/Hausmann18
丹尼尔·奥斯曼:
同胚微积分的可满足性检查。德国埃尔兰根-纽姆堡大学，2018
【c9】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/HausmannSD18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/HausmannSD18
丹尼尔·奥斯曼,卢茨·施罗德,汉斯·佩特·迪费尔:
弱结合的置换游戏\muμ-微积分。 TACAS（2） 2018:361-378
2017
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1710-08996
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1710-08996
丹尼尔·奥斯曼,卢茨·施罗德,汉斯·佩特·迪费尔:
弱结合mu-Calculus的置换游戏。 CoRR公司 abs/1710.08996(2017)
2016
[c8]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/concur/HausmannSE16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/concor/豪斯曼SE16
丹尼尔·奥斯曼,卢茨·施罗德,克里斯托夫·艾格:
无交替微积分的全局缓存。同意 2016:34:1-34:15
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/HausmannSE16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/HausmannSE16
丹尼尔·奥斯曼,卢茨·施罗德,克里斯托夫·艾格:
无交替μ-微积分的全局缓存。 CoRR公司腹肌/1609.06379(2016)
2015
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/time/HausmannS15
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/time/HausmannS15
丹尼尔·奥斯曼,卢茨·施罗德:
平面Coalgebraicµ-Calculus的全局缓存。时间 2015:121-130
2010
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ecai/SchroderPH10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ecai/SchroderPH10
卢茨·施罗德,德克·帕丁森,丹尼尔·奥斯曼:
具有谨慎单调性的条件逻辑的最优表。 ECAI公司 2010:707-712

2000 – 2009

请参阅常见问题解答

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

2009
【c5】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/HausmannS10
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/HausmannS10
丹尼尔·奥斯曼,卢茨·施罗德:
在CoLoSS中优化条件逻辑推理。 400万 2009:157-171年
2008
【c4】
- 看法
  - 电子版@gi.de（开放存取）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/se/FreseHLTW08
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/se/FreseHLTW08
乌多弗雷斯,丹尼尔·豪斯曼,克里斯托夫·吕斯,霍尔格·图比格,丹尼斯·沃尔特:
Zertifizierung是一个Sicherungskomponente mittels durchgängig formaler Modellierung公司。软件工程（研讨会） 2008:335-338
【c3】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/entcs/FreseHLTW09
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/entcs/FreseHLTW09
乌多·弗雷斯,丹尼尔·奥斯曼,克里斯托夫·吕斯,霍尔格·图比格,丹尼斯·沃尔特:
正式的重要性。安全证书@ETAPS 2008:57-70
2006
[j1]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tcs/HausmannMS06
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tcs/HausmannMS06
丹尼尔·奥斯曼,蒂尔·莫萨科夫斯基,卢茨·施罗德:
环境演算语义的联合方法。西奥。计算。科学。 366(1-2):121-143(2006)
2005
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/calco/HausmannMS05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/calco/HausmannMS05
丹尼尔·奥斯曼,蒂尔·莫萨科夫斯基,卢茨·施罗德:
走向环境微积分的协同语义。 CALCO公司 2005:232-246
【c1】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/fase/HausmannMS05
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fase/HausmannMS05
丹尼尔·奥斯曼,蒂尔·莫萨科夫斯基,卢茨·施罗德:
Isabelle/HOL中CoCasl的迭代循环复制。 FASE公司 2005:341-356

合著者索引

请参阅常见问题解答

服务

管理网站设置

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