[ 21 |20 |19 |18 |17 ]

2021

丹尼尔·考夫曼（Daniela Kaufmann）和阿明·比尔（Armin Biere）。AMulet 2.0版用于验证乘法器电路.英寸程序。第14名国际建筑工具和算法会议和系统分析（TACAS）共8页，第12652卷，第357-364页，讲座计算机科学笔记（LNCS）施普林格2021。
[纸张|围巾|人工制品]

2020

丹尼尔·考夫曼（Daniela Kaufmann）。正式整数乘法器电路的代数验证推理-调查.英寸程序。第十四届国际研讨会关于布尔问题（IWSBP’20），26页，待查。
[纸张|围巾]

Daniela Kaufmann、Mathias Fleury、Armin Biere。这个实用代数的验证器Pacheck和Pastèque微积分.英寸程序。第20届国际会议。关于正式计算机辅助设计方法（FMCAD’20），第264-269页，时间单位维也纳学术出版社2020。
[纸张|围巾|实验]

马蒂亚斯·弗勒里（Mathias Fleury）、丹尼尔拉·考夫曼（Daniela Kaufmann）。实用代数微积分方格图案。正式证据档案
[的存档正式证明|围巾|实验和链接到源代码]

Daniela Kaufmann，Armin Biere。Nullstellensatz证明用于乘法器验证.英寸程序。计算机代数科学计算（CASC’20）,计算机讲义科学（LNCS）第12291卷，第368-389页，施普林格出版社2020
[纸张|围巾|实验]

丹尼尔·考夫曼（Daniela Kaufmann）。正式乘法器电路的计算机代数验证.论文Technische Wissenschaften，Informatik，Johannes公司林茨开普勒大学，2020年。
[论文|围巾]

Daniela Kaufmann、Armin Biere、Manuel Kauers。发件人DRUP到PAC并返回.英寸程序。设计、自动化和欧洲测试（日期'20），第654-657页，IEEE 2020。
[纸张|围巾|实验]

Daniela Kaufmann、Armin Biere、Manuel Kauers。坐，计算机代数，乘数.英寸《吸血鬼2018》和《吸血鬼》2019.第五和第六届吸血鬼研讨会，第1-18页，EasyChair2020
[纸张|围巾]

2019

Daniela Kaufmann、Armin Biere、Manuel Kauers。验证SAT与计算机代数相结合的大乘数.英寸程序。第19届国际会议。关于中的形式方法计算机辅助设计（FMCAD’19），第28-36页，IEEE 2019。
[纸张|围巾|实验]

丹尼尔·考夫曼（Daniela Kaufmann）、曼努埃尔·考尔斯（Manuel Kauers）、阿明·比尔（Armin Biere）、大卫·考克（David Cok）。提交给SAT竞赛的算法验证问题2019}，输入程序。2019年SAT竞赛-解决方案和基准描述、Marijn Heule、Matti Järvisalo、Martin Suda（编辑），计算机科学系第B-2019-1卷出版丛书B，第49页，赫尔辛基大学，2019
[纸张|围巾]

Daniela Kaufmann、Armin Biere、Manuel Kauers。增量算术电路的计算机列式验证代数。发布于系统中的形式化方法设计2019年施普林格。
[预印本|实验]

2018

丹尼尔·里蒂尔克（Daniela Ritirc）、阿明·比埃尔（Armin Biere）、曼努埃尔·考尔斯（Manuel Kauers）。A类算术电路的实用多项式微积分验证.英寸程序。第三届国际研讨会可满足性检查和符号计算（SC2'18）,第61-76页，CEUR-WS，2018年。
[纸张|围巾|实验]

丹尼尔·里蒂尔克（Daniela Ritirc）、阿明·比埃尔（Armin Biere）、曼努埃尔·考尔斯（Manuel Kauers）。改善以及扩展验证门级的代数方法倍频器.英寸程序。设计、自动化和测试欧洲（日期'18），第1556-1561页，IEEE 2018。
[纸张|围巾|实验]

2017

Armin Biere、Manuel Kauers、Daniela Ritirc、，。挑战用计算机代数验证算术电路.英寸程序。第19届国际交响乐团。论符号与数字科学计算算法（SYNASC’17），IEEE。
[纸张|围巾]

最佳论文
丹尼尔·里蒂尔克（Daniela Ritirc）、阿明·比埃尔（Armin Biere）、曼努埃尔·考尔斯（Manuel Kauers）。纵列式乘数的计算机代数验证.英寸程序。第17届国际会议。关于中的形式方法计算机辅助设计（FMCAD’17），第23-30页，IEEE 2017。
[纸张|围巾|实验|图片]