伊丽莎白·汉克尔
人员信息
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2024 [j1] 伊丽莎白·汉克尔 , 尼科·豪夫 , 文森特·兰恩菲尔德 , 卢卡斯·埃伯 , 安德烈亚斯·波德尔斯基 :
对形式模式语言可理解性的系统适应和研究。 要求。 工程师。 29 ( 1 ) : 3-23 ( 2024 ) 2023 【c4】 伊丽莎白·汉克尔 , Jochen Hoenicke公司 , 坦尼娅·辛德勒 :
选择颜色:SMT中量化公式的树插值。 CADE公司 2023 : 248-265 【c3】 伊丽莎白·汉克尔 , 尼科·豪夫 , 卢卡斯·埃伯 , 文森特·兰恩菲尔德 , 安德烈亚斯·波德尔斯基 :
形式模式语言直觉理解的实证研究。 REFSQ公司 2023 : 21-38 [i1] 伊丽莎白·汉克尔 , Jochen Hoenicke公司 , 坦尼娅·辛德勒 :
选择您的颜色:SMT中量化公式的树插值。 CoRR公司 abs/2305.11667 ( 2023 ) 2021 【c2】 塞缪尔·贝克尔 , 丹尼尔·迪奇 , 尼科·豪夫 , 伊丽莎白·汉克尔 , 文森特·兰恩菲尔德 , 安德烈亚斯·波德尔斯基 , 伯恩德·韦斯特法尔 :
Hanfor:大规模语义需求评审。 REFSQ研讨会 2021 【c1】 伊丽莎白·汉克尔 , Jochen Hoenicke公司 , 坦尼娅·辛德勒 :
等式理论中量化公式的保证明树序列插值。 表面贴装技术 2021 : 3-16
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)