Daniel Hausmann博士

• COOL-MC中模态不动点逻辑的通用模型检验(丹尼尔·奥斯曼，梅林驼峰西蒙·普鲁克，卢茨·施罗德亚伦·斯特拉伯格（Aaron Strahlberger），诉讼中。第25届国际验证、模型检验和抽象解释会议，VMCAI 2024年《计算机科学讲义》（LNCS），第14499卷，第171-185页，施普林格国际出版社，2024年。[arXiv上的扩展版本] [工件]
• 高效主管合成游戏(丹尼尔·奥斯曼，普拉巴特·库马尔·贾，尼尔·皮特曼)，输入IEEE控制系统信件第7卷，第2881–2885页，IEEE，2023年。
• COOL 2-模态定点逻辑的通用推理器(奥利弗·格利茨，丹尼尔·奥斯曼，梅林驼峰，德克·帕丁森西蒙·普鲁克，卢茨·施罗德)，进行中。第29届自动扣减国际会议，CADE 2023年《计算机科学讲义》（LNCS），第14132卷，第234–247页，施普林格国际出版社，2023年。[arXiv上的扩展版本] [工件]
• 基于树自动机的微积分满意度检验综述(丹尼尔·奥斯曼，尼尔·皮特曼)《系统设计原理——在托马斯·亨廷格60岁生日之际献给他的论文》，《计算机科学讲义》（LNCS），第13660卷，第228-251页，施普林格国际出版公司，2022年。[arXiv上的扩展版本]
• 具有名称分配的线性时间标称微积分(丹尼尔·奥斯曼，斯特凡·米利厄斯，卢茨·施罗德)，进行中。第46届计算机科学数学基础国际研讨会，MFCS 2021型《莱布尼茨国际信息学论文集》（LIPIcs），第202卷，第58:1–58:18页，达格斯图尔-莱布尼兹-泽特鲁姆-富尔信息学研究所，2021年。[arXiv上的扩展版本]
• 具有名称分配的标称Büchi自动机(亨宁·乌尔巴特，丹尼尔·奥斯曼，斯特凡·米利厄斯，卢茨·施罗德)，进行中。第32届并行理论国际会议，CONCUR 2021年《莱布尼茨国际信息学学报》（LIPIcs），第203卷，第4:1–4:16页，Dagstuhl–Leibniz-Zentrum fuer Informatik出版社，2021年。[arXiv上的扩展版本]
• 嵌套不动点的拟多项式计算(丹尼尔·奥斯曼，卢茨·施罗德)，进行中。第27届系统构造和分析工具和算法国际会议，TACAS 2021年《计算机科学讲义》（LNCS），第12651卷，第38-56页，施普林格国际出版公司，2021年。[arXiv上的扩展版本]
• 单调微积分中的NP推理(丹尼尔·奥斯曼，卢茨·施罗德)，进行中。第十届国际自动推理联合会议，2020年国际JCAR《人工智能（LNAI）课堂讲稿》，第12166卷，第482-499页，施普林格国际出版公司，2020年。[arXiv上的扩展版本]
• NuSMV的廉价CTL同情(丹尼尔·奥斯曼，塔德乌兹·利塔克，克里斯托夫·劳赫，Matthias Zinner），在Proc。第21届国际验证、模型检验和抽象解释会议，2020年VMCAI《计算机科学讲义》（LNCS），第11990卷，第248-269页，施普林格国际出版公司，2020年。[工件]
• 基于博弈的同胚微积分局部模型检验(丹尼尔·奥斯曼，卢茨·施罗德)，进行中。第30届并行理论国际会议，2019年CONCUR《莱布尼茨国际信息学学报》（LIPIcs），第140卷，第35:1–35:16页，Dagstuhl–Leibniz-Zentrum fuer Informatik出版社，2019年。[pdf格式]
• 算术µ-演算的最优可满足性检验(丹尼尔·奥斯曼，卢茨·施罗德)，进行中。第22届软件科学和计算结构基础国际会议，2019年FoSSaCS《计算机科学讲义》（LNCS），第11425卷，第277-294页，施普林格国际出版社，2019年。[arXiv上的扩展版本]
• 余代数µ-微积分的可满足性检验(丹尼尔·奥斯曼)Friedrich-Alexander-Nürnberg（FAU），2018年。（博士论文）[pdf格式]
• 弱结合微积分的置换游戏(丹尼尔·奥斯曼，卢茨·施罗德，汉斯·佩特·迪费尔)，进行中。第24届系统构建和分析工具和算法国际会议，2018年TACAS《计算机科学讲义》（LNCS），第10805–10806卷，第361–378页，施普林格国际出版公司，2018年。[arXiv上的扩展版本] [人工制品]
• 无交替µ-微积分的全局缓存(丹尼尔·奥斯曼，卢茨·施罗德，克里斯托夫·艾格)，进行中。第27届并行理论国际会议，2016年CONCUR《莱布尼茨国际信息学学报》（LIPIcs），第59卷，第34:1–34:15页，Dagstuhl–Leibniz-Zentrum fuer Informatik出版社，2016年。[pdf格式]
• 平坦余代数µ-微积分的全局缓存(丹尼尔·奥斯曼，卢茨·施罗德)，进行中。第22届时间表征与推理国际研讨会，时间2015第121-130页，IEEE Comp。Soc.，2015年。
• 谨慎单调条件逻辑的最优表(卢茨·施罗德，德克·帕丁森，丹尼尔·奥斯曼)，进行中。第六届欧洲人工智能会议，2010年ECAI《人工智能与应用前沿》，第215卷，第707–712页，IOS出版社，2010年。[预印本]
• CoLoSS中条件逻辑推理的优化(丹尼尔·奥斯曼，卢茨·施罗德)，进行中。第六次模式方法研讨会，2009年4月6日《理论计算机科学电子笔记》，第262卷，第157-171页，爱思唯尔科学；阿姆斯特丹，2010年。[预印本]
• 正式的重要性(乌多·弗雷斯，丹尼尔·奥斯曼，克里斯托夫·吕斯Holger Täubig，Dennis Walter），诉讼中。安全关键软件控制系统认证研讨会，安全证书-08《理论计算机科学电子笔记》，第238卷（4），第57-70页，爱思唯尔科学；阿姆斯特丹，2009年。[pdf格式]
• 环境演算语义的一种联合代数方法(丹尼尔·奥斯曼，蒂尔·莫萨科夫斯基，卢茨·施罗德)，输入理论计算机科学第366卷，第121-143页，爱思唯尔出版社，2006年。（扩展Hausmann等人2005）
• 环境微积分的协同语义(丹尼尔·奥斯曼，蒂尔·莫萨科夫斯基，卢茨·施罗德)，进行中。第一届计算机科学代数和余代数国际会议，CALCO 2005年《计算机科学讲义》（LNCS），第3629卷，第232-246页，斯普林格国际出版公司，2005年。
• Isabelle/HOL中CoCasl的迭代循环共导(丹尼尔·奥斯曼，蒂尔·莫萨科夫斯基，卢茨·施罗德)，进行中。第八届软件工程基本方法国际会议，2005年FASE《计算机科学讲义》（LNCS），第3442卷，第341-356页，斯普林格国际出版公司，2005年。

另请参阅我的个人资料DBLP公司或谷歌学者.

最近的会谈

在我读博士期间，我曾就模态逻辑（2016年、2017年），组织并举办了关于算法的复杂性(2013),程序设计理论（2014年、2015年、2016年）和计算机科学家的逻辑(2015, 2016, 2017).

联系人