安德鲁·索戈孔;哈利勒·戈尔巴尔;Tan，Yong Kiam先生;安德烈·普拉泽 病媒屏障证书和比较系统。 （英语） Zbl 1460.93012号 Havelund，Klaus（编辑）等人，《形式方法》。2018年7月15日至17日，作为联邦逻辑会议的一部分，在英国牛津举行了2018年第22届国际研讨会（FM 2018）。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10951, 418-437 (2018).MSC公司：93个B03 60年第68季度 93天30分 PDF格式BibTeX公司 XML格式引用 \textit{A.Sogokon}等人，莱克特。注释计算。科学。10951，418--437（2018；Zbl 1460.93012） 全文： 内政部 链接
哈利勒·戈尔巴尔;安德鲁·索戈孔;安德烈·普拉泽 用于检查代数集和半代数集的正不变性的证明规则层次。 （英语） Zbl 1379.68238号 计算。语言系统。结构。 47，第1部分，19-43（2017）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Ghorbal}等人，计算。语言系统。结构。47，第1部分，19-43（2017；Zbl 1379.68238） 全文： 内政部
安德鲁·索戈孔;哈利勒古尔巴尔;保罗·B·杰克逊。;安德烈·普拉泽 多项式连续系统的不变量生成方法。 （英语） Zbl 1475.68194号 Jobstmann，Barbara（编辑）等人，《验证、模型检查和抽象解释》。第17届国际会议，2016年VMCAI，美国佛罗里达州圣彼得堡，2016年1月17日至19日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。9583, 268-288 (2016).MSC公司：60年第68季度 34立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{A.Sogokon}等人，莱克特。注释计算。科学。9583、268--288（2016年；Zbl 1475.68194） 全文： 内政部 链接
哈利勒·戈尔巴尔;安德鲁·索戈孔;安德烈·普拉泽 用于检查代数集微分不变性的证明规则层次。 （英语） Zbl 1432.68262号 D’Souza，Deepak（编辑）等人，《验证、模型检查和抽象解释》。2015年1月12日至14日在印度孟买举行的第16届国际会议，VMCAI 2015。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8931, 431-448 (2015).MSC公司：60年第68季度 37立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{K.Ghorbal}等人，Lect。注释计算。科学。8931431--448（2015年；Zbl 1432.68262） 全文： 内政部 哈尔