亚历山德罗·阿巴特;哈尼尔·巴博萨;克拉克·巴雷特;克里斯蒂娜·大卫;帕斯卡·凯塞利;丹尼尔·克罗宁;伊丽莎白·波尔格林;安德鲁·雷诺兹;塞萨尔·蒂内利 用非平凡常数合成程序。 （英语） Zbl 07702725号 J.自动化。推理 67，第2号，第19号论文，第25页（2023年）.MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{A.Abate}等人，J.Autom。推理67，第2号，第19号论文，第25页（2023；Zbl 07702725） 全文： 内政部
哈娜·乔克勒;帕斯卡·凯塞利;丹尼尔·克罗宁;斯特里赫曼（Ofer Strichman） 学习软件错误的语言。 （英语） Zbl 1437.68071号 J.人工制品。智力。研究（JAIR） 67881-903（2020）.MSC公司：68问题32 68号30 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Chockler}等人，J.Artif。智力。研究（JAIR）67，881--903（2020；Zbl 1437.68071） 全文： 内政部
亚历山德罗·阿巴特;伊奥里·贝萨;卢卡斯·科迪罗;克里斯蒂娜·大卫;帕斯卡·凯塞利;丹尼尔·克罗宁;伊丽莎白·波尔格林 连续设备可证明安全数字控制器的自动形式化综合。 （英语） Zbl 1441.93171号 学报信息。 57，编号1-2，223-244（2020）.MSC公司：93元62角 93亿B50 93立方厘米 93D20型 PDF格式BibTeX公司 XML格式引用 \textit｛A.Abate｝等人，Acta Inf.57，No.1-2223-244（2020；兹bl 1441.93171） 全文： 内政部
亚历山德罗·阿巴特;克里斯蒂娜·大卫;帕斯卡·凯塞利;丹尼尔·克罗宁;伊丽莎白·波尔格林 反例引导归纳综合模理论。 （英语） Zbl 1511.68064号 Chockler，Hana（编辑）等人，《计算机辅助验证》。2018年7月14日至17日在英国牛津举行的2018年第30届国际会议，CAV 2018，作为联邦逻辑会议的一部分。诉讼程序。第一部分：查姆：斯普林格公开赛。莱克特。注释计算。科学。10981, 270-288 (2018).MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Abate}等人，Lect。注释计算。科学。10981、270--288（2018年；Zbl 1511.68064） 全文： 内政部
亚历山德罗·阿巴特;伊奥里·贝萨;达里奥·卡塔鲁扎;卢卡斯·科迪罗;克里斯蒂娜·大卫;帕斯卡·凯塞利;丹尼尔·克罗宁 连续设备数字稳定控制器的声音和自动合成。 （英语） Zbl 1369.93189号 2017年4月18日至20日，美国宾夕法尼亚州匹兹堡，2017年HSCC，第20届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4590-3）。197-206 (2017).MSC公司：93亿B50 93B40码 93D99型 93元57 PDF格式BibTeX公司 XML格式引用 \textit{A.Abate}等人，《第20届ACM混合系统国际会议论文集：计算与控制》，HSCC 2017，匹兹堡，宾夕法尼亚州，美国，2017年4月18-20日。纽约州纽约市：计算机协会（ACM）。197-206（2017年；Zbl 1369.93189） 全文： 内政部 arXiv公司
马丁·查普曼;哈娜·乔克勒;帕斯卡·凯塞利;丹尼尔·克罗宁;斯特里赫曼（Ofer Strichman）;迈克尔·陶奇尼格 学习错误语言。 （英语） Zbl 1471.68101号 Finkbeiner，Bernd（编辑）等人，《验证和分析自动化技术》。第十三届国际研讨会，2015年10月12日至15日，中国上海，ATVA。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9364, 114-130 (2015).MSC公司：68问题32 68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Chapman}等人，Lect。注释计算。科学。9364、114--130（2015年；Zbl 1471.68101） 全文： 内政部 链接