埃利夫·丹尼斯;阿德南·拉希德;奥斯曼·哈桑;塔哈尔，索菲亚 关于HOL中热传导问题的形式化。 （英语） Zbl 07691288号 Buzzard，Kevin（编辑）等人，《智能计算机数学》。2022年9月19日至23日，第15届国际会议，CICM 2022，格鲁吉亚第比利斯。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13467, 21-37 (2022).MSC公司：68伏xx PDF格式BibTeX公司 XML格式引用 \textit{E.Deniz}等人，Lect。注释计算。科学。13467，21-37（2022；Zbl 07691288） 全文： DOI程序 arXiv公司
乌迈尔·西迪克;塔哈尔，索菲亚 关于HOL中高斯光学系统的形式化分析。 （英语） Zbl 1345.78002号 正式Asp。计算。 28，第5期，881-907（2016）.MSC公司：78A05型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{U.Siddique}和\textit{S.Tahar}，正式Asp。计算。28，第5号，881--907（2016；Zbl 1345.78002） 全文： DOI程序
穆罕默德·卡西姆;奥斯曼·哈桑;梅萨·埃卢克;塔哈尔，索菲亚 HOL中正态随机变量的形式化。 （英语） Zbl 1344.68212号 Kohlhase，Michael（编辑）等人，《智能计算机数学》。2016年7月25日至29日，第九届国际会议，CICM 2016，波兰比亚韦斯托克。诉讼程序。查姆：施普林格（ISBN 978-3-319-42546-7/pbk；978-3-316-42547-4/电子书）。计算机科学课程讲稿9791。人工智能课堂讲稿，44-59（2016）。MSC公司：68吨15 28A99号 60A10英寸 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{M.Qasim}等人，Lect。注释计算。科学。9791，44-59（2016；Zbl 1344.68212） 全文： DOI程序
乌玛尔·西迪克;塔哈尔，索菲亚 关于光学系统基点的形式化。 （英语） Zbl 1368.68250号 Bouabana-Tebbel，Thouraya（编辑）等人，《重用和系统集成的形式化》。查姆：施普林格（ISBN 978-3-319-16576-9/pbk；978-3-316-16577-6/电子书）。《智能系统与计算进展》346，79-102（2015）。MSC公司：60年第68季度 68吨15 78A05型 PDF格式BibTeX公司 XML格式引用 \textit{U.Siddique}和\textit{S.Tahar}，高级情报。系统。计算。346、79-102（2015年；Zbl 1368.68250） 全文： DOI程序
梅萨·埃卢克;奥斯曼·哈桑;塔哈尔，索菲亚;穆罕默德·阿比德 无线传感器网络检测特性的形式化概率分析。 （英语） Zbl 1328.68037号 正式Asp。计算。 第1期第27页，第79-102页（2015年）.MSC公司：68平方米 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Elluch}等人，正式Asp。计算。27，No.1，79--102（2015；Zbl 1328.68037） 全文： DOI程序
塞迪基，昂山素季;Cvetan Dunchev公司;卡恩·阿夫沙尔·萨纳兹;塔哈尔，索菲亚 在HOL Light中实现符号和数值计算。 （英语） Zbl 1417.68193号 Kerber，Manfred（编辑）等人，《智能计算机数学》。国际会议，CICM 2015，华盛顿特区，美国，2015年7月13日至17日，会议记录。查姆：斯普林格。莱克特。注释计算。科学。9150, 353-358 (2015).MSC公司：68吨15 68单位35 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{O.Seddiki}等人，Lect。注释计算。科学。9150353--358（2015；Zbl 1417.68193） 全文： DOI程序
乌迈尔·西迪克;奥斯曼·哈桑;塔哈尔，索菲亚 面向高阶逻辑中分数阶微积分的形式化。 （英语） Zbl 1417.68194号 Kerber，Manfred（编辑）等人，《智能计算机数学》。国际会议，CICM 2015，华盛顿特区，美国，2015年7月13日至17日，会议记录。查姆：斯普林格。莱克特。注释计算。科学。9150, 316-324 (2015).MSC公司：68吨15 26A33飞机 PDF格式BibTeX公司 XML格式引用 \textit{U.Siddique}等人，Lect。注释计算。科学。9150316-324（2015；Zbl 1417.68194） 全文： DOI程序 arXiv公司
塞萨里·卡利西克;约瑟夫·乌尔班;乌迈尔·西迪克;卡恩·阿夫沙尔·萨纳兹;Cvetan Dunchev公司;塔哈尔，索菲亚 物理形式化：自动化、演示和基础问题。 （英语） Zbl 1417.68186号 Kerber，Manfred（编辑）等人，《智能计算机数学》。国际会议，CICM 2015，华盛顿特区，美国，2015年7月13日至17日，会议记录。查姆：斯普林格。莱克特。注释计算。科学。9150288-295（2015年）。MSC公司：68吨15 78-04 PDF格式BibTeX公司 XML格式引用 \textit{C.Kaliszyk}等人，莱克特。注释计算。科学。9150288--295（2015；Zbl 1417.68186） 全文： DOI程序
卡恩·阿夫沙尔·萨纳兹;乌迈尔·西迪克;穆罕默德·尤斯里·马哈茂德;文森特·阿拉万蒂诺斯;塞迪基，昂山素季;奥斯曼·哈桑;塔哈尔，索菲亚 光学系统的形式化分析。 （英语） Zbl 1302.68245号 数学。计算。科学。 8，第1号，39-70（2014）.MSC公司：68吨15 68瓦30 78A05型 78A25型 81V80型 PDF格式BibTeX公司 XML格式引用 \textit{S.Khan-Afshar}等人，数学。计算。科学。8、第1号、第39-70号（2014；Zbl 1302.68245） 全文： DOI程序 arXiv公司
萨纳兹·汗·阿夫沙尔;文森特·阿拉万蒂诺斯;奥斯曼·哈桑;塔哈尔，索菲亚 高阶逻辑中复数向量的形式化。 （英语） Zbl 1304.68150号 Watt，Stephen M.（编辑）等人，《智能计算机数学》。2014年7月7日至11日在葡萄牙科英布拉举行的2014年国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-319-08433-6/pbk）。计算机科学课程讲稿8543。人工智能课堂讲稿，123-137（2014）。MSC公司：68吨15 PDF格式BibTeX公司 XML格式引用 \textit{S.K.Afshar}等人，Lect。注释计算。科学。8543、123--137（2014年；Zbl 1304.68150） 全文： DOI程序 arXiv公司
奥斯曼·哈桑;塔哈尔，索菲亚 关于高阶逻辑定理证明中条件概率的推理。 （英语） Zbl 1216.68234号 J.应用。日志。 9，第1期，23-40（2011）.MSC公司：68吨15 68层37 PDF格式BibTeX公司 XML格式引用 \textit{O.Hasan}和\textit{S.Tahar}，J.Appl。日志。9，第1号，23--40（2011；Zbl 1216.68234） 全文： DOI程序 链接
贝扎德·阿克巴普尔;塔哈尔，索菲亚 用霍尔定理证明数字滤波器的误差分析。 （英语） Zbl 1133.68422号 J.应用。日志。 5，第4期，651-666（2007）.MSC公司：68吨15 PDF格式BibTeX公司 XML格式引用 \textit{B.Akbarpour}和\textit{S.Tahar}，J.Appl。日志。5，第4号，651--666（2007；Zbl 1133.68422） 全文： DOI程序 链接
熊海燕;保罗·库松;塔哈尔，索菲亚;安·布兰德福德 在千年发展目标和总部之间提供正式联系。 （英语） Zbl 1112.68096号 形式方法系统。设计。 30，第2期，第83-116页（2007年）.MSC公司：60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{H.Xiong}等，《形式方法系统》。设计。30，第2号，83--116（2007；Zbl 1112.68096） 全文： DOI程序 链接