个人详细信息

出版物类型：Aufsatz/SCI-Expanded-Zeitschrift论文

1. SAT中的局部冗余：阻塞子句的泛化（2018）
2. QBF预处理溶液验证和提取（2017）
3. 2015年（2016年）SAT竞赛
4. SAT和QSAT条款删除（2015）

出版类型：Aufsatz/论文来源：Fachzeitscreft

1. 实用代数微积分和Nullstellensatz与Checkers Pacheck、Pastèque和Nuss-Checker（2022）
2. 强大的无扩展证明系统（2020年）
3. 使用计算机代数对算术电路进行增量列式验证（2019年）
4. 2014年硬件模型检查竞赛：求解器和基准的分析与比较（2016）
5. Boolector 2.0。(2015)
6. 固定大小位向量逻辑的复杂性（2015）
7. 美国SAT考试与干部成长（2014）
8. 在CNF上模拟电路级简化。《自动推理杂志》（2012）
9. 前言硬件验证车间专刊（HWVW'10）。(2011)
10. 在CNF上模拟电路级简化（2011）
11. 数组扩张理论的需求引理（2009）
12. 将SAT问题分解为相关组件（2006）
13. 有界LTL模型检查的线性编码（2006）
14. 基于SAT的形式验证最新进展综述（2005）
15. 有限状态模型检查到可达性分析的有效简化（2004）

出版物类型：Aufsatz/Paper in Tagungsband（参考）

1. 大主干（2023年）
2. CadiBack:用CaDiCaL提取主干（2023）
3. 认证阶段摘要（2023年）
4. ParaQooba：并行和分布式QBF解决的快速灵活框架（2023）
5. SAT博物馆（2023）
6. 走向合成硬件模型检查认证（2023）
7. 为门级乘法器验证的代数推理添加对偶变量（2022）
8. 模糊和增量调试及转换器图形验证工具（2022）
9. QuAPI：为非假设SAT和QBF求解器添加假设（2022）
10. K-Induction的YuStratified认证（2022）
11. AMulet 2.0用于验证乘法器电路（2021）
12. CaDiCaL、Kissat、Paracooba参加2021年（2021年）SAT竞赛
13. 线性约束下整数解计数的分解策略（2021）
14. 高效的All-UIP学习子句最小化（2021）
15. 非子句冗余属性（2021）
16. 验证硬件模型检查结果的进展（2021年）
17. 使用GPU加速Inprocessing解决SAT问题（2021年）
18. 无激活文字的单条款假设加速IC3（2021）
19. 布尔布伦特方程的异或局部搜索（2021）
20. 使用移动自学应用程序帮助CS专业一年级逻辑课程中的形式推理入门（2020年）
21. 计算机科学第一学期的计算逻辑：经验报告（2020）
22. 分布式立方体和征服Paracooba（2020年）
23. 2020年（2020年）SAT竞赛提交的抗体宽度可行性公式的双重编码
24. 针对抗体宽度问题的楼梯最大限度约束的双重编码（2020年）
25. 四味香精（2020）
26. 从DRUP到PAC再到2020年
27. 乘法器验证的Nullstellensatz-Proofs（2020）
28. SAT，计算机代数，乘法（2020）
29. 实用代数微积分的校对员Pacheck和Pastèque（2020）
30. 残缺棋盘的克劳斯证明（2019）
31. 结合冲突驱动子句学习和时序回溯进行命题模型计数（2019）
32. 满足驱动子句学习的编码冗余（2019）
33. 增量处理SAT解决（2019年）
34. 结合SAT和计算机代数验证大乘数（2019）
35. 用于算术电路验证的实用多项式演算（2018）
36. Btor2、BtorMC和Boolector 3.0（2018年）
37. CaDiCaL、玲玲、普林格林、特伦格林和YalSAT参加2018（2018）SAT竞赛
38. 提交给2018（2018）SAT竞赛的分水岭和独特反向基准
39. 二元化预测模型计数（2018）
40. 最大可满足模理论的隐式命中集算法（2018）
41. 改进和扩展验证门级乘法器的代数方法（2018）
42. 加扰CNF的影响（2018年）
43. DRAT的两种口味（2018）
44. 变量制造的差异（2018）
45. 量化布尔公式的对偶意识演算（2017）
46. 抽象双命题模型计数器（2017）
47. 一阶逻辑中的阻塞子句（2017）
48. 命题逻辑中的阻塞性：你对你的邻居满意吗？(2017)
49. CaDiCaL、玲玲、普林格林、特伦格林、YalSAT参加2017（2017）SAT竞赛
50. 使用计算机代数验证算术电路的挑战（2017）
51. 使用计算机代数对乘数进行列式验证（2017）
52. 2017（2017）SAT竞赛提交的深度绑定硬件模型检查实例、二次传播基准和重新编码的因子分解问题
53. 2017（2017）硬件模型检查比赛
54. SMT求解器的基于模型的API测试（2017）
55. P通过满意度调整（2017年）
56. 量化布尔公式的Skolem函数延续（2017）
57. Clausal抗压试验（2016）
58. 使用不可满足的核心生成贪婪的组合测试用例（2016）
59. 可满足性模理论的基于精确和完全传播的局部搜索（2016）
60. 超级冻结条款（2016）
61. Lambda提取的更佳引理（2015）
62. 阻止的文字是通用的（2015）
63. 作文命题证明（2015）
64. 通过动态阻塞子句消除增强基于搜索的QBF求解（2015）
65. 评估CDCL重启方案（2015年）
66. 利用路径传播改进SMT中位向量逻辑的局部搜索（2015）
67. 通过增量SAT求解优化组合测试（2015）
68. 满意度模理论的随机局部搜索（2015）
69. QBF预处理的统一证明系统（2014）
70. 检测CNF中的基数约束（2014）
71. 从QRAT Proofs中高效提取Skolem函数（2014）
72. 你一直想知道的关于阻塞集的一切（但我们害怕问）（2014）
73. 《Vampire SAT解决方案实验》（2014）
74. 改进SAT的SLS解算器的实现，以及使用长子句的k-SAT的新启发式（2014）
75. 比特向量逻辑中符号验证和决策问题的复杂性（2014）
76. 带Don't Care推理的按需涡轮增压引理（2014）
77. iDQ：基于实例化的DQBF解决方案（2014）
78. 当前多核体系结构的组合式并行SAT解决分析（2013）
79. 阻塞条款分解（2013）
80. 弥合双重传播和基于CNF的QBF解决方案之间的差距（2013）
81. 使用模型检查器有效解决位向量问题（2013）
82. HWMCC 2012电路等效性检查（2013）
83. 排除假设以加快MUS提取（2013年）
84. 序列图的引导合并（2013）
85. Lambdas需求引理（2013）
86. Lingeling、Plingeling和Treengeling参加SAT竞赛2013（2013）
87. 基于模型的验证反向测试（2013年）
88. 二进制编码的无量化器位向量公式：基准描述。(2013)
89. SmacC：一个可重定向的符号执行引擎（2013）
90. 《吉祥夫妻：象征执行与WCET分析》（2013）
91. 每个洞两只鸽子的问题（2013年）
92. ddSMT:SMT-LIB v2格式的增量调试器（2013）
93. 决策过程中容忍不一致的策略比较（2012年）
94. 求解DQBF的DPLL算法（2012）
95. 布尔公式的自动重新编码（2012）
96. Concurrent Cube and Conquer（2012年）
97. 并行立方体与征服（2012）
98. Concurrent Cube and Conquer（2012年）
99. 序列图的引导合并（2012）
100. Inprocessing Rules（2012年）
101. LINGELING和朋友参加2012（2012）SAT挑战赛
102. 管理与HUMUS的SAT不一致（2012年）
103. Modbat:事件驱动系统的基于模型的API测试仪（2012）
104. 关于具有二进制编码位宽的固定大小位向量逻辑的复杂性（2012）
105. QBF基于分辨率的证书提取（2012）
106. qbf2epr：从QBF生成EPR公式的工具（2012）
107. QBF冻结条款消除（2011）
108. 立方体与征服：通过前瞻性指导CDCL SAT解决方案（2011年）
109. 基于二元蕴涵图的高效CNF简化（2011）
110. QBF的文字检测失败（2011）
111. 冻结条款消除（2010年）
112. 适用条款消除（2010年）
113. DepQBF:依赖感知QBF解算器（系统描述）（2010）
114. 在基于搜索的QBF解算器中集成依赖方案（2010）
115. 排除阻塞条款后重建解决方案（2010年）
116. QBFs中句法依赖的紧凑表示（2009）
117. Boolector：位向量和阵列的高效SMT解算器（2009）
118. 有效位宽和欠近似值（2009年）
119. 模糊和Delta-Debugging SMT解决方案（2009年）
120. 最小化习得子句（2009）
121. BTOR：模型检查的单词级问题的位精确建模（2008）
122. SAT-Solver中位向量上所有不同约束的一致性检查（2008）
123. I/O应用程序的高效模型检查（2008）
124. 有效表示基于扩展的存在依赖集（2008）
125. 数组扩张理论的需求引理（2008）
126. 计算机科学中的模型检查、建模和验证教程（2008）
127. C32SAT：检查C表达式。(2007)
128. 高级单元测试-如何扩展单元测试框架。（2006）
129. 用QBF压缩BMC编码（2006）
130. Enforcer-高效故障注入（2006）
131. 连接BDD的扩展分辨率证明。(2006)
132. 量化符号SAT解算的扩展分辨率证明（2006）
133. 局部二级和变换器图/无放大最小化（2006）
134. QBF可达性分析（2006）
135. 静态和动态组合分析（2005）
136. 通过变量和子句消除在SAT中进行有效的预处理（2005）
137. 生命检查作为无限状态空间的安全检查（2005）
138. 解决和扩展（2005）
139. SDL与C等效性检查（2005）
140. LTL与过去的符号模型检查的最简短反例。(2005)
141. 简单就是更好：过去长期贷款的有效有界模型检查（2005）
142. 简化静态和动态分析的子程序嵌入和字节码抽象（2005）
143. Java中的VM独立重播（2005）
144. 使用SDL和SystemC的硬件加速超宽带MAC协议（2004）
145. JNuke：高效的Java动态分析（2004）
146. 简单有界LTL模型检查（2004）
147. 使用块局部原子性检测过时值并发错误（2004）

出版物类型：Aufsatz/Paper in Tagungsband（nicht-referiert）

1. CaDiCaL、Kissat、Paracooba、Plingeling和Treengeling参加2020（2020）SAT竞赛
2. 2019年（2019年）SAT竞赛提交的算法验证问题
3. 2019年（2019年）SAT比赛中的CaDiCaL
4. 2019年（2019年）SAT竞赛中CryptoMiniSat 5.6与YalSAT
5. 作为有条件助手的真相分配（2019）
6. 2016年（2016年）SAT竞赛提交的组合算术斜接集
7. 斯普拉茨、玲玲、普林格林、特伦格林、YalSAT参加2016（2016）SAT竞赛
8. 2014年（2014年），又一位本地搜索解决者、玲玲和朋友参加SAT竞赛

出版物类型：Aufsatz/Paper in Sammelwerk（参考）

1. 有界模型检查（2021）
2. SAT求解中的预处理（2021）
3. 反例——指导模型综合（2017）
4. 比特精确推理的基于传播的局部搜索（2017）
5. 没有新变量的简短校对（2017）
6. 评估CDCL可变评分方案（2015年）
7. 可满足性问题证明（2015）
8. BV2EPR:一种将无量化器位矢量公式多项式转换为EPR的工具（2013）
9. 关于二进制编码无量化器固定大小位矢量逻辑复杂性的更多信息（2013）
10. 重温超二进制分辨率（2013）
11. SAT和QBF解算器的自动测试和调试（2010年）
12. CNF公式的条款消除程序（2010）
13. 有界模型检查（2009）
14. 冲突驱动SAT解算器的自适应重启控制（2008）
15. Nenofex：为QBF解决扩展NNF（2008）
16. PicoSAT基础知识（2008）
17. QBF统一校对的第一步（2007）

出版物类型：Aufsatz/Paper in Sammelwerk（nicht-referiert）

1. SAT解算器卫星完全两两组合测试的CNF编码（2021）
2. 量化布尔公式应用综述（2019）

发布类型：Handbuch（Erstauflage）

1. 立方体与可满足性（2018）
2. 基于SAT的模型检查（2018）

发布类型：Lehrbuch（Erstauflage）

1. Digitaltechnik-Eine praxisnahe Einführung（2008）

出版物类型：Tagungsband Herausgeberschat（Erstauflage）

1. 程序。第26届国际计算机辅助验证大会（CAV’14）（2014）
2. 程序。第一届国际推理系统比较实证评估工作（COMPARE’12）（2012年）

发布类型：Tagungsband Mitherausgeberschat（Erstauflage）

1. 程序。第一届国际正式工具和系统设计与实现研讨会（DIFTS’11）（2011年）
2. 计算机辅助设计形式方法国际会议论文集（2009年）
3. 程序。第四届国际有界模型检验研讨会（BMC’06），将发表在《理论计算机科学电子笔记》（ENTCS）（2006）上
4. 满意度测试理论与应用——2006年SAT，第九届国际会议，西雅图，华盛顿州，美国，2006年8月12-15日。会议记录（2006年）
5. 程序。第三届国际有界模型检验研讨会（BMC’05）（2005）
6. 程序。第二届国际有界模型检验研讨会（2004年）

出版物类型：Wissenschaftliche Fachzeitschrift（Mitherausgeberschaft）

1. 系统设计形式方法杂志（2012）
2. 《自动推理杂志》（2012）
3. 可满足性、布尔建模与计算杂志（2012）
4. 可满足性、布尔建模与计算杂志（2006）
5. 基于SAT的形式验证最新进展综述（2005）
6. 可满足性、布尔建模和计算期刊（2005）

出版物类型：Wissenschaftliches Sammelwerk Mitherausgeberschaft（Erstauflage）

1. 可满足性手册（2009）

出版物类型：Wissenschaftliches Sammelwerk Mitherausgeberschaft（Folgeauflage）

1. 可满足性手册（2021）

出版物类型：Schriftenreihe（Herausgeberschat）

1. 《人工智能研究杂志》（2019）

出版物类型：Schriftenreihe（Mitherausgeberschat）

1. 系统设计中的形式方法（2014）
2. 自动推理杂志（JAR）（2014）
3. 可满足性、布尔建模与计算杂志（JSAT）（2014）

出版类型：Ander Forschungsbericht/Technischer Bericht

1. 高效的All-UIP学习子句最小化（扩展版）（2021）
2. 非子句冗余属性（扩展版）（2021）
3. 提交给2020年（2021年）模型计数竞赛的项目分析基准
4. Boolector参加2018（2018）SMT竞赛
5. Boolector参加2017（2017）SMT竞赛
6. 2016（2016）年SMT竞赛中的Boolector
7. Boolector参加2015年SMT竞赛。技术报告15/1（2015）
8. 2011（2011）SAT竞赛中的玲玲和朋友
9. 2010年SAT竞赛中的玲玲、普林格林、PicoSAT和PrecoSAT
10. 静态和动态综合分析（2005）
11. 过去LTL符号模型检查的最短反例（2005）
12. 简单有界LTL模型检查（2004）
13. 从Limmat到Nanosat的演变（2004）

发布类型：预打印

1. 重温SAT决策图（2018）

Vortrastyp:Eingeladener Vortrac an anderen学院

1. 推动SAT革命，网络空间（08.06.2021） 
2. 实用SAT解决个人历史，网络空间（13.05.2021） 
3. 并行SAT解决或共享或不共享，Dagstuhl（2015年4月23日） 
4. 硬件设计决策程序，SchloßDagstuhl（2010年4月20日） 
5. 惰性超二进制分辨率，Dagstuhl研讨会09461（11.11.2009） 
6. SAT、SMT和应用，第十届逻辑编程和非单调推理国际会议（LPNMR’09），波茨坦（17.09.2009） 
7. SAT解算器技术简史及下一步是什么？，Lissabon（2007年5月31日） 

Vortragstyp：高级/高级Vortrag auf einer Tagung

1. 硕士班SAT优化范式和解决技术的最新进展，Cyberspace（21.09.2020） 
2. 追逐目标阶段，网络空间（03.07.2020） 
3. 作为有条件辅导员的真相分配，台北（2019年10月30日） 
4. SAT，计算机代数，乘数，Lissabon（2019年7月7日） 
5. 代数、证明和乘数，EPFL洛桑（22.06.2019） 
6. 有界模型检验和CBMC，牛津（15.06.2018） 
7. 使用计算机代数验证算术电路的挑战，Timisoara（2017年9月28日） 
8. 比特爆破被认为有害，电信（2016年10月22日） 
9. 克拉根福SAT的决策启发和重启（2016年9月26日） 
10. 多伦多菲尔德研究所CDCL Solvers的弱点（2016年8月16日） 
11. 2015年11月19日，海法，HVC’15奖，SAT模型检查及其他解决方案 
12. 2015年硬件模型检查竞赛，德克萨斯州奥斯汀（30.09.2015） 
13. 位精确推理的挑战，洛桑（2014年10月21日） 
14. Lingeling Essentials-设计和实施方面，维也纳（2014年7月13日） 
15. Modbat:事件驱动系统的基于模型的API测试仪，海法（2013年11月5日） 
16. SAT解决的实际方面，曼彻斯特（01.07.2012） 
17. QBF可扩展证书提取，曼彻斯特（30.06.2012） 
18. SAT中的预处理和内处理技术，海法（08.12.2011） 
19. SAT中的预处理和内处理技术，TU Wien（2011年9月2日） 
20. 与逆图的局部极小化，第二届广州基于逻辑建模的可满足性研讨会（2006年9月25日） 
21. BDD和扩展分辨率，第二届阿尔卑斯山验证会议，阿斯科纳Monte Veritá（2006年5月6日） 
22. 正式验证中的QBF，Alpine验证会议Laussanne（2005年10月6日） 
23. 电路与CNF等效性检查推理，第四届国际等效性检查研讨会麦当娜·迪·坎皮格里奥（2005年7月29日） 
24. 正式硬件验证中的SAT，第八届可满足性测试理论和应用国际会议，SAT'05苏格兰圣安德鲁大学（20.06.2005） 
25. 不需要生命模型检查算法？，Beyond Safety，国际研讨会，德国施洛斯·林伯格（Schloss Ringberg，Germany）（2004年4月27日） 

Vortrastyp：埃因格拉德纳大学

1. 剑桥丘吉尔学院硬件模型检查比赛（2016年9月16日） 
2. 模型检查、SAT和位矢量+评估CDCL重启方案，KTH皇家理工学院（2015年11月30日） 
3. 有界模型检验简介，苏黎世ETH（2009年10月28日） 
4. 模型检查教程：计算机科学中的建模和验证。，哈根伯格学院（2008年8月1日） 
5. 基于SAT的模型检验简史：从有界模型检验到插值。，布尔诺科技大学（2008年6月2日） 
6. 量化布尔公式决策程序的应用，帕德博恩大学，Informatik and Mathematik Paderborn（07.07.2005） 
7. 形式验证中的SAT和QBF，RISC符号计算研究所，RISC约翰内斯·开普勒大学林茨RISC研讨会（14.03.2005） 

Vortrastyp:Vortrac auf einer Tagung（参考）

1. ParaQooba:一个快速灵活的并行和分布式QBF求解框架，巴黎索邦大学（25.04.2023） 
2. Kissat in Kittens中的采矿定义，Cyberspace（05.07.2021） 
3. 对加扰CNF的影响，牛津（07.07.2018） 
4. 编码到SAT，曼彻斯特（2018年7月3日） 
5. 搜索、简化和证明现代SAT解决教程，塞萨洛尼基（2018年4月18日） 
6. 变量带来的差异，塞萨洛尼基（2018年4月18日） 
7. SAT教程，墨尔本（2017年8月29日） 
8. 评估CDCL可变评分方案，德克萨斯州奥斯汀（24.09.2015） 
9. 评估CDCL重启计划，德克萨斯州奥斯汀（2015年9月23日） 
10. 2013年俄勒冈州波特兰市硬件模型检查比赛（2013年10月22日） 
11. 在CNF级上模拟结构推理，TU Wien（2013年5月18日） 
12. 布尔公式的自动重编码，海法（06.11.2012） 
13. 2012年硬件模型检查竞赛（HWMCC’12）。，剑桥（24.10.2012） 
14. 《了解现代SAT解算器》，Saarbrücken（2012年9月4日） 
15. qbf2epr：从QBF生成EPR公式的工具（2012年7月1日） 
16. 关于二进制编码比特宽度的固定大小比特向量逻辑的复杂性，曼彻斯特（30.06.2012） 
17. 求解DQBF的DPLL算法，Trento（16.06.2012） 
18. 现代CDCL SAT解算器，特伦托（2012年6月12日） 
19. 现代SAT求解器（B部分），维也纳（2012年2月9日） 
20. 现代SAT求解器（A部分），维也纳（2012年2月6日） 
21. 2011年硬件模型检查竞赛，德克萨斯州奥斯汀（2011年11月2日） 
22. 《消除SAT中的冗余》（2011年3月7日），Tegernsee Ringberg Castle 
23. QBF解决中依赖方案的实际方面，卢加诺（18.10.2010） 
24. 扩展BTOR语言，爱丁堡（2010年7月20日） 
25. SAT和QBF解决方案的自动测试和调试，爱丁堡（13.07.2010） 
26. DepQBF:A Dependency-Aware QBF Solver（System Description），爱丁堡（10.07.2010） 
27. 最小化习得条款，2009年斯旺西SAT会议（2009年7月1日） 
28. SAT-Solver中位向量上所有不同约束的一致性检查。，第八届计算机辅助设计形式方法国际会议（FMCAD’08）俄勒冈州波特兰（18.11.2008） 
29. 线性代数、布尔环和分解？，哈根伯格学院（2008年7月30日） 
30. 硬件模型检查竞赛（HWMCC’08），第20届国际计算机辅助验证大会（CAV’08）新泽西州普林斯顿（13.07.2008） 
31. 冲突驱动SAT求解器的自适应重启控制，2008年广州SAT（2008年5月15日） 
32. 硬件模型检查竞赛（HWMCC’07）。，柏林（2007年7月7日） 
33. 使用I/O对应用程序进行高效模型检查，Eurocast Las Palmas（2007年2月15日） 
34. 维也纳大学QBF可达性分析（2006年3月25日） 
35. Resolve and Expand，第七届国际可满足性测试理论与应用会议，SAT'04加拿大不列颠哥伦比亚省温哥华市不列颠哥伦比亚大学（2004年5月13日） 

Vortrastyp:Vortrac auf einer Tagung（nicht参考）

1. QuAPI：为非假设SAT和QBF求解器添加假设（2002年9月14日） 
2. 莱顿大学洛伦兹中心SAT竞赛概述（2019年2月18日） 
3. 子句证明和满足驱动的子句学习中的冗余，Dagstuhl（05.02.2019） 
4. SAT解决的最新进展：搜索、简化、证明、达格斯图尔（04.02.2019） 
5. 翻译成SAT，波尔多（09.07.2016） 
6. Splatz SAT Solver，波尔多（2016年7月4日） 
7. 2014年CAV版硬件模型检查竞赛（2014年7月20日） 
8. SAT在哪里不起作用？，班夫（2014年1月20日） 
9. 基于SAT的模型检查，麻省理工学院，剑桥（2011年6月14日） 
10. 使用高性能SAT和QBF求解器，德克萨斯州奥斯汀（2011年1月24日） 

漩涡：Andere Vorträge und Präsentationen

1. SAT教程，网络空间（11.12.2020） 
2. 文字级模型检查，Cyberspace（21.09.2020） 
3. 《CDCL编年史场景背后》，在线aufgrund von COVID-19（geplant:SWE，隆德大学，隆德）（26.06.2020） 
4. 冲突驱动条款学习，台北（2019年10月28日） 
5. 冲突驱动的从句学习，Lissabon（2019年7月4日） 
6. 洛桑EPFL现代SAT解决教程（2019年6月20日） 
7. 重温SAT决策图，墨尔本（2017年8月28日） 

1. OPTIM-AI：用于管理决策的优化和人工智能技术的混合（安芬斯加尔：2020）
2. LOGTECHEDU-计算机科学教育的逻辑技术（安芬斯加尔：2018）
3. 计算机科学中的逻辑方法——第二阶段（DK W-1255）（安芬斯加尔：2018）
4. 比特精确推理阶段II（NFN S-114子项目）（安芬斯贾尔：2014）
5. 计算机科学中的逻辑方法——第一阶段（DK W-1255）（安芬斯加尔：2014）
6. 比特精确推理阶段I（NFN S-114子项目）（安芬斯贾尔：2011）
7. 联合研究“ModBaT”（安芬斯贾尔：2011）
8. 联合研究“JNuke”（安芬斯贾尔：2010）

类型：Sonstiges

1. 组织HWMCC（硬件模型检查竞赛）（2011年10月29日至2011年11月5日） 
2. Deduktionstreffen（2016年9月26日-27.9日） 
3. 组织教程（2011年1月23日至2011年2月5日） 
4. 组织硬件模型检查竞赛（08.07.2013年7月12日） 

类型：Auslandsaufenthalt

1. Geladener Vortrag an KTH Stockholm/Forschungszusammenarbeit（2015年11月29日至2015年12月2日） 
2. Doktorprüfung Florian Merz（2016年1月29日-2016年1月30日） 
3. ETAPS时间奖励测试+DK Logics会议（2017年4月25日-28.04.2017） 
4. Rigorosum Franzen（2010年3月24日-2010年3月26日） 
5. SAB MPI信息会议（2017年5月22日-2017年5月25日） 
6. 国防部纪尧姆·波德·贝希尔（2018年9月19日-21.09.2018年9月21日） 
7. D.Phil.Rajdeep Mukherjee流亡万岁（2017年12月17日至2017年12日） 
8. 2017年阿尔卑斯山验证会议（2017年9月17日至2018年2月21日） 
9. 洛伦兹中心研讨会/研讨会（2019-02-23.2019年2月16日） 
10. 微软剑桥（15.08.2011-19.08.2011） 
11. ARM研究峰会（2016年9月14日-2016年9月17日） 
12. Laurent Simon（2010年12月12日至12月12日） 
13. Kolloquiumsvortrag（2010年12月7日-2010年12月8日） 
14. Dagstuhl研讨会19062（2019-02-06-02.2019） 
15. Le Berre栖息地（2010年12月2日至2010年4月12日） 
16. 日期：2018年11月1日至2017年11月3日PC会议 

类型：Veranstaltungsorganisation：Forschungsseminar

1. 达格斯图尔研讨会15171（19.04.2015-24.04.2015） 

类型：Veranstaltung组织：Tagung/研讨会/研讨会（参考资料）

1. 第十届国际可满足性测试理论与应用会议-SAT’07（2007年5月28日至2007年5日） 
2. HWMCC’12（22.10.2012-25.10.2012） 
3. FHWMCC’20（2020年9月21日-24.2020年9月24日） 
4. 第八届国际可满足性测试理论与应用会议（SAT'05）（19.06.2005-23.06.2005） 
5. BIRS研讨会应用SAT解决的理论基础（19.01.2014-24.01.2014） 
6. 第26届国际计算机辅助验证会议（2014年7月18日-22日） 
7. 欧洲的设计、自动化和测试-日期'07（2007年4月16日-20.04.2007） 
8. SAT解决研讨会的理论基础（15.08.2016-19.08.2016） 
9. QBFEval'20（07.01.200-09.07.2020） 
10. 第八届海法验证会议（HVC2012）（06.11.2012-08.11.2012） 
11. 第19届国际计算机辅助验证会议-CAV’07（2007年7月3日-2007年7月7日） 
12. 第十三届正确硬件设计和验证方法高级研究工作会议（CHARME’05）（02.10.2005-06.10.2005） 
13. 2007年第二届国际代数生物学会议 
14. 第一届约束编程量化国际研讨会（01.10.2005-05.10.2005） 

类型：Veranstaltungsorganisation：塔贡/研讨会/研讨会（nicht referert）

1. 第一届推理系统比较实证评估国际研讨会（2012年6月30日） 
2. 组织Difts研讨会（2011年10月29日至2011年11月5日） 
3. 第四届模型检验与人工智能研讨会——MoChArt'06（29.08.2006） 
4. 第二届计算机科学数学与工程方法博士研讨会-MEMICS’06（27.10.2006-29.10.2006） 
5. 组织WRISE研讨会（2011年4月10日至12日） 

类型：Aufsichtsrat中的Funktion/Mitgliedschaft

1. TACAS’20（25.04.2020-30.04.2020） 
2. FMCAD（2014年10月20日-24.10.2014） 
3. 20年7月3日-2010年7月10日SAT 

类型：Ausschuss order Komitee中的Funktion/Mitgliedschaft

1. SAT协会（2019年1月31日） 
2. ECAI’20（2020年8月29日至2020年9月8日） 
3. 2020年国际自动推理联合会议（2020年6月29日至2020年7月6日） 
4. 设计方法和工具跟踪@DATE 2019（25.03.2019-29.03.2019） 
5. FMCAD’20（2020年9月21日-24.2020年9月24日） 
6. 日期：2018年3月19日至2018年3月23日 
7. ADG 2020（2020年9月16日-2020年9月20日） 
8. 2020年规范与设计语言论坛（15.09.2020-17.09.2020） 
9. SC2'20（2020-15.12.2020年1月15日） 
10. 第29届国际人工智能联合会议（IJCAI’2020（11.07.2020-17.07.2020） 
11. 2020年欧洲算法研讨会（ESA）（07.09.2020-09.09.2020） 
12. AAAI'20（07.02.2020-12.02.2020） 
13. 第13届逻辑实施国际研讨会（2018年10月1日至2018年11月16日） 
14. SAT协会（01.01.2017-31.12.2017） 
15. FMCAD 2015，计算机辅助设计中的形式方法（01.01.2015-31.12.2015） 

类型：编辑顺序审查委员会中的Funktion/Mitgliedschaft

1. 信息学科学评论MPI（27.05.2019-30.05.2019） 
2. 2017年3月27日-2017年3月31日 
3. 系统设计中的形式化方法（FMSD）（01.01.2020-15.12.2020） 
4. 人工智能研究杂志（JAIR）（01.01.2020-15.12.2020） 
5. 自动推理杂志（JAR）（01.01.2020-15.12.2020） 
6. 《可满足性、布尔建模和计算杂志》（JSAT）（01.01.2020-15.12.2020） 
7. 系统设计中的形式化方法（01.01.2017-31.12.2017） 
8. JSAT可满足性、布尔建模和计算杂志（01.01.2017-31.12.2017） 
9. 自动推理杂志（01.01.2017-31.12.2017） 
10. 系统设计的形式方法（01.01.2015-31.12.2015） 
11. JSAT可满足性、布尔建模和计算杂志（01.01.2015-31.12.2015） 
12. 自动推理杂志（01.01.2015-31.12.2015） 

类型：Funktion/Mitgliedschaft in wissensch。Expertengremium公司

1. INRIA评估邀请外部专家，巴黎（2019-03.22019年3月19日） 

类型：Funktion/Mitgliedschaft in wissensch。Gesellschaft公司

1. SAT协会（01.01.2015-31.12.2015） 
2. SAT协会（01.01.2014-31.12.2014） 

类型：GutachterIn/SachverständigeR

1. Heinz Zemanek陪审团会议（2016年10月13日） 

类型：Mehrtägiger Aufenthalt an der JKU

1. 研究访问Armin Biere教授博士（24.08.2023-26.08.2023） 

类型：Tagung/研讨会/研讨会：项目-Komitee

1. FMCAD’23018（2018年10月30日-2018年11月2日） 
2. NFM 2014第六届NASA正式方法研讨会（2014年4月29日至2014年5月1日） 
3. 第20届满意度测试理论与应用国际会议（2017年8月28日至2017年9月1日） 
4. 第23届约束规划原理与实践国际会议、第33届逻辑规划国际会议和第20届可满足性测试理论与应用国际会议（2017年8月28日） 
5. FMCAD 2015计算机辅助设计中的形式化方法（2015年9月27日至2015年9月份30日） 
6. NFM 2015，第七届NASA正式模型研讨会（2015年4月27日至2009年4月29日） 
7. 第三十三届AAAI人工智能会议（AAAI-19）（2019-01.02.2019年1月27日） 
8. CP’21第27届约束程序设计原理与实践国际会议高级程序委员会成员（25.10.2021-29.10.2021） 
9. 第20届国际编程逻辑人工智能与推理会议，LPAR-202015（24.11.2015-28.11.2015） 
10. LPAR-20，第20届程序设计、人工智能和推理逻辑国际会议（24.11.2015-28.11.2015） 
11. SAT’15，第18届可满足性测试理论与应用国际会议（2015年9月24日至2015年9月27日） 
12. 2014年3月24日欧洲设计、自动化和测试（24.03.2014-28.03.2014） 
13. IWIL’15，第十一届物流实施国际研讨会（2014年11月23日至2015年11月2日） 
14. QBF’15量化布尔公式国际研讨会（2015年9月23日） 
15. 计算机辅助设计的形式化方法，FMCAD 2019（22.10.2019-25.10.2019） 
16. 第十五届满意模理论国际研讨会（2017年7月22日至2017年7日） 
17. 第23届系统构建和分析工具和算法国际会议（2017年4月22日至2017年4日） 
18. MEMICS 2016（2016年10月21日-23.2016年10月23日） 
19. PAS’15，第四届程序验证、自动调试和符号计算国际研讨会（2015年10月21日至23日） 
20. 第19届科学计算符号和数字算法国际研讨会（2017年9月21日-24日） 
21. IJCAI’17（2017年8月19日-2017年8月25日） 
22. ATVA 2021第19届验证和分析自动化技术国际研讨会（18.10.2021-22.10.2021） 
23. CAV’21（2021-07-18） 
24. CAV 2015第27届计算机辅助验证国际会议（18.07.2015-24.07.2015） 
25. 2015年SMT研讨会（18.07.2015-19.07.2015） 
26. ATVA 2016（2016年10月17日-20.10.2016） 
27. 第四十三届计算机科学理论与实践发展趋势国际会议（16.01.2017-2017.01.2017） 
28. 2013年第19届程序设计、人工智能和推理逻辑国际会议，LPAR-19（15.12.2013-19.12.2013） 
29. FDL 2021规范与设计语言论坛（2021-16.09.21年9月14日） 
30. IJCAR 2018：第九届国际自动推理联合会议（2018年7月14日至2017年7月17日） 
31. SAT 2014第17届可满足性测试理论与应用国际会议（2014年7月14日至2014年7月17日） 
32. TACAS 2018:第24届系统构建和分析工具和算法国际会议（2018年4月14日-20月4日） 
33. 日期：2016年，欧洲设计、自动化和测试（2016年3月14日-18.03.2016） 
34. IJCAI’18（2018年7月13日-2018年7月19日） 
35. 国际SPIN软件模型检验研讨会（2017年7月13日至2017年7日） 
36. 2014年7月13日POS’14 SAT语用 
37. AAAI 2016（2016年2月12日至2017年2月17日） 
38. TACAS’15第21届系统构建和分析工具和算法国际会议（11.04.2015-18.04.2015） 
39. IEEE人工智能工具国际会议-ICTAI 2014（10.11.2014-12.11.2014） 
40. 第28届国际人工智能联合会议（10.08.2019-16.08.2019） 
41. IEEE-ICTAI 2015，SAT和CSP轨道（2015年11月9日至11日） 
42. IJCAI 2016（2016年7月9日至2016年7月15日） 
43. 日期'15（09.03.2015-13.03.2015） 
44. POS’19 2019年SAT语用（2019年7月8日） 
45. 第十七届满意模理论国际研讨会（07.07.2019-08.07.2019） 
46. 2019年SAT会议（07.07.2019-12.07.2019） 
47. 2018年SAT的POS语用学（2018年7月7日） 
48. NFM 2019：第十一届美国国家航空航天局正式方法研讨会（07.05.2019-09.05.2019） 
49. 第12届逻辑实现国际研讨会（07.05.2017） 
50. 第21届程序设计、人工智能和推理逻辑国际会议（07.05.2017-12.05.2017） 
51. 2017年ICTAI第29届人工智能工具国际会议（06.11.2017-08.11.2017） 
52. ICTAI 2016（2016年11月6日-2016年11月8日） 
53. 第三届安全关键系统正式技术国际研讨会（06.11.2014—07.11.2014） 
54. 第一届国际ARCADE（自动推理：挑战、应用、方向、示范成果）研讨会（2017年8月6日） 
55. 第25届系统构建与分析工具和算法国际会议（TACAS）（06.04.2019-11.04.2019） 
56. 第十一届语言与自动机理论与应用国际会议（06.03.2017-09.03.2017） 
57. ICTAI 2018第30届人工智能工具国际会议（05.11.2018-07.11.2018） 
58. 项目委员会CPAIOR 2021成员（05.07.2021-08.07.2021） 
59. 2021年夏令时（05.07.2021-09.07.2021） 
60. 第19届满意度测试理论与应用国际会议（05.07.2016-08.07.2016） 
61. IEEE-ICTAI 2019，SAT和CSP轨道（2019年11月4日至2019年12月6日） 
62. 2016年SAT的POS语用学（2016年7月4日） 
63. 第31届AAAI人工智能会议（AAAI-17）（2017年2月4日-2017年9月9日） 
64. FMCAD 2016计算机辅助设计的形式方法（03.10.2016-06.10.2016） 
65. 2019规范与设计语言论坛（FDL）（2019-09-04-09.2019） 
66. 2016年PAAR，第五届自动推理实践研讨会（2016年7月2日） 

类型：Tagung/研讨会/研讨会：会议顺序面板

1. FLoC’14小组（2014年7月19日） 
2. FMCAD 2017计算机辅助设计中的形式化方法（02.10.2017-06.10.2017） 

类型：Veranstaltungsorganisation：暑期学校/博士讨论会

1. 麻省理工学院暑期学校组织（2011年6月11日至2011年06月18日） 
2. ReRISE’14冬季学校（03.02.2014-07.02.2014） 

类型：Veranstaltungsorganisation：Sonstige

1. HWMCC’15（2015年9月27日-2015年9月30日） 
2. 2019年硬件模型检查比赛（22.10.2019-25.10.2019） 
3. HWMCC’14 CAV版（2014年7月18日-22日） 
4. 2017年硬件模型检查竞赛（2017年10月2日至2017年10日）