艾哈迈德·博阿贾尼;塞扎拉·奥盖医生;康斯坦丁·埃纳;米哈埃拉·西希雷亚努 程序操作具有无限数据的列表和数组时的精确不变量检查。 （英语） Zbl 1374.68112号 Chakraborty，Supratik（编辑）等人，《验证和分析自动化技术》。2012年10月3日至6日，印度第十届国际研讨会，2012年ATVA，Thiruvananthapuram。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-3385-9/pbk）。计算机科学课堂讲稿7561167-182（2012）。MSC公司：68号30 03B70号 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{A.Bouajjani}等人，Lect。注释计算。科学。7561、167--182（2012年；Zbl 1374.68112） 全文： 内政部
艾哈迈德·博阿贾尼;塞扎拉·奥盖医生;康斯坦丁·埃纳;米哈埃拉·西希雷亚努 关于具有无限数据的列表操作程序的自动推理的抽象域。 （英语） Zbl 1325.68058号 Kuncak，Viktor（编辑）等人，《验证、模型检查和抽象解释》。2012年1月22日至24日，第13届国际会议，VMCAI 2012，美国宾夕法尼亚州费城。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-27939-3/pbk）。计算机科学讲义7148，1-22（2012）。MSC公司：68号30 68第05页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Bouajjani}等人，Lect。注释计算。科学。7148，1-22（2012年；兹bl 1325.68058） 全文： 内政部
艾哈迈德·博阿贾尼;塞扎拉·奥盖医生;Yan Jurski;米哈埃拉·西希雷亚努 在嵌套数据字上重写系统。 （英语） Zbl 1247.68116号 Hlinen，Petr（ed.）等人，计算机科学数学和工程方法年度博士研讨会（MEMICS’09）。根据2009年11月13日至15日在捷克共和国Znojmo举行的研讨会上所作的介绍，选出了一些论文。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-15-6）。OASIcs–信息学中的OpenAccess系列13、70-77，仅电子版（2009年）。MSC公司：2012年第68季度 60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Bouajjani}等人，OASIcs--OpenAccess服务器。通知。13、70-77（2009年；Zbl 1247.68116） 全文： 内政部
艾哈迈德·博阿贾尼;塞扎拉·奥盖医生;康斯坦丁·埃纳;米哈埃拉·西希雷亚努 用于复合数据结构推理的基于逻辑的框架。 （英语） Zbl 1254.68146号 Bravetti，Mario（编辑）等人，CONCUR 2009–并发理论。第20届国际会议，CONCUR 2009，意大利博洛尼亚，2009年9月1-4日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04080-1/pbk）。计算机科学课堂讲稿5710178-195（2009）。MSC公司：60年第68季度 03B44号 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{A.Bouajjani}等人，Lect。注释计算。科学。57107178-195（2009年；兹比尔1254.68146） 全文： 内政部
艾哈迈德·博阿贾尼;塞扎拉·奥盖医生;康斯坦丁·埃纳;尤尔斯基，严;米哈埃拉·西希雷亚努 用于推理无限状态过程动态网络的通用框架。 （英语） Zbl 1163.68030号 日志。方法计算。科学。 5，第2期，论文3，29页（2009年）.MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Bouajjani}等人，日志。方法计算。科学。5，第2号，论文3，29页（2009年；Zbl 1163.68030） 全文： 内政部 arXiv公司