伊戈尔·科诺夫；玛丽亚娜·拉齐奇；伊利娜·斯托伊尔科夫斯卡；约瑟夫·威德 阈值自动机和拜占庭模型检查器参数化验证综述。 （英语） Zbl 07667095号 日志。方法计算。科学。 19，第1号，第5号论文，25页（2023年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{I.Konnov}等人，日志。方法计算。科学。19，第1号，第5号论文，25页（2023；Zbl 07667095） 全文： 内政部 arXiv公司
西尔维奥·吉拉尔迪；埃琳娜·帕加尼 高阶量词消除、反仿真和容错系统。 （英语） Zbl 07356977号 J.汽车。推理 65，编号3，425-460（2021）.MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{S.Ghilardi}和\textit{E.Pagani}，J.Autom。推理65，No.3，425--460（2021；Zbl 07356977） 全文： 内政部
伊戈尔·科诺夫；玛丽亚娜·拉齐奇；赫尔穆特·维思；约瑟夫·威德 \（\text{Para}^2）：参数化路径缩减、加速和SMT，用于阈值保护分布式算法中的可达性。 （英语） Zbl 1380.68279号 形式方法系统。设计。 51，第2期，270-307（2017）.MSC公司：60年第68季度 64岁以下 68米15 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{I.Konnov}等人，《形式方法系统》。设计。51，第2号，270--307（2017；Zbl 1380.68279） 全文： 内政部
F.阿尔贝蒂。；吉拉迪，S。；E.帕加尼。 阵列的基数约束（可判定性结果和应用）。 （英语） 兹比尔1377.68125 形式方法系统。设计。 51，第3期，545-574（2017）.MSC公司：60年第68季度 03B70号 65年第68季度 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{F.Alberti}等人，《形式方法系统》。设计。51，第3号，545--574（2017；Zbl 1377.68125） 全文： 内政部
伊戈尔·科诺夫；约瑟夫·威德；弗朗西斯科·斯佩尼；卢卡·斯帕拉齐 容错分布式算法中消息计数抽象的准确性。 （英语） Zbl 1484.68321号 Bouajjani，Ahmed（编辑）等人，《验证、模型检查和抽象解释》。2017年1月15日至17日在法国巴黎举行的2017年VMCAI第18届国际会议。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。10145, 347-366 (2017).MSC公司：68宽15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Konnov}等人，Lect。票据计算。科学。10145347--366（2017；Zbl 1484.68321） 全文： 内政部 链接