伊戈尔·康诺夫;玛丽亚娜·拉齐奇;伊利娜·斯托尔科夫斯卡;约瑟夫·维德 阈值自动机和拜占庭模型检查器参数化验证综述。 （英语） Zbl 07667095号 日志。方法计算。科学。 19，第1号，第5号论文，25页（2023年）.MSC公司：03B70号 68年XX月 PDF格式BibTeX公司 XML格式引用 \textit｛I.Konnov｝等人，日志。方法计算。科学。19，第1号，第5号论文，25页（2023；Zbl 07667095） 全文： 内政部 arXiv公司 OA许可证
Nathalie Bertrand;玛丽亚娜·拉齐奇;约瑟夫·维德 弱对手条件下随机分布算法的一个约简定理。 （英语） Zbl 1472.68083号 Henglein，Fritz（编辑）等人，《验证、模型检验和抽象解释》。第22届国际会议，VMCAI 2021，丹麦哥本哈根，2021年1月17日至19日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12597, 219-239 (2021).MSC公司：60年第68季度 68宽15 68瓦20 PDF格式BibTeX公司 XML格式引用 \textit{N.Bertrand}等人，Lect。注释计算。科学。12597，219--239（2021；Zbl 1472.68083） 全文： 内政部 哈尔
伊利娜·斯托尔科夫斯卡;伊戈尔·康诺夫;约瑟夫·维德;弗洛里安·祖勒格 消除同步阈值自动机中的消息计数器。 （英语） 兹比尔1472.68094 Henglein，Fritz（编辑）等人，《验证、模型检验和抽象解释》。第22届国际会议，VMCAI 2021，丹麦哥本哈根，2021年1月17日至19日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12597196-218（2021年）。MSC公司：60年第68季度 65年第68季度 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{I.Stoilkovska}等人，Lect。注释计算。科学。12597、196--218（2021；Zbl 1472.68094） 全文： 内政部