塞尔吉·博戈莫洛夫；前言，马塞洛；戈兰·弗雷斯；科斯蒂安·波托姆金；克里斯蒂安·席林 JuliaReach：基于集合的可达性工具箱。 （英语） 兹伯利07120139 2019年4月16日至18日，加拿大魁北克蒙特利尔，HSCC 2019，第22届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）。39-44（2019年）。MSC公司：65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{S.Bogomolov}等人，in：第22届ACM混合系统国际会议论文集：计算与控制，HSCC 2019，蒙特利尔，魁北克，加拿大，2019年4月16-18日。纽约州纽约市：计算机协会（ACM）。39-44（2019年；Zbl 07120139） 全文： DOI程序 arXiv公司
塞尔吉·博戈莫洛夫；戈兰·弗雷斯；米尔科·贾科布；托马斯·亨辛格（Thomas A.Henzinger）。 模板多面体的反例引导细化。 （英语） Zbl 1452.68099号 Legay，Axel（编辑）等人，《系统构建和分析的工具和算法》。2017年4月22日至29日，第23届国际会议，TACAS 2017，作为欧洲软件理论和实践联席会议的一部分，ETAPS 2017，瑞典乌普萨拉。诉讼程序。第一部分柏林：施普林格。莱克特。注释计算。科学。10205589-606（2017）中描述。MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Bogomolov}等人，Lect。注释计算。科学。10205、589--606（2017；Zbl 1452.68099） 全文： DOI程序 链接