编辑配置文件（在新选项卡中打开） 阿里亚克西·齐托维奇 合著者距离 作者ID： tsitovich.aliaksei公司 发布日期： 阿里亚克西·齐托维奇 已编制索引的文档： 4出版物自2008年起 合著者： 6位合著者具有4联合出版物 180位合作作者 全部的 前5名合著者 0 单作者的 4 娜塔莎·莎莉吉娜 三 丹尼尔·科宁 三 Christoph M.温特斯泰格。 2 斯特凡诺·托内塔 1 罗伯托·布鲁托梅索 1 西蒙·富尔维奥·罗里尼 系列 2 系统设计中的形式化方法 领域 4 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 4出版物有被引用23中的次20文件 引用人▼ 年份▼ 压缩和插值的防分辨率转换。 Zbl 1317.68123号 西蒙·富尔维奥·罗里尼；罗伯托·布鲁托梅索；娜塔莎·莎莉吉娜；阿里亚克西·齐托维奇 9 2014 回路总结和终止分析。 Zbl 1315.68106号 阿里亚克西·齐托维奇；娜塔莎·莎莉吉娜；Christoph M.温特斯泰格。；丹尼尔·克罗宁 7 2011 使用抽象变换器的循环摘要。 Zbl 1183.68377号 丹尼尔·克罗宁；娜塔莎·莎莉吉娜；斯特凡诺·托内塔；阿里亚克西·齐托维奇；Christoph M.温特斯泰格。 5 2008 使用状态和转换不变量的循环摘要。 Zbl 1291.68262号 丹尼尔·克罗宁；娜塔莎·莎莉吉娜；斯特凡诺·托内塔；阿里亚克西·齐托维奇；Christoph M.温特斯泰格。 2 2013 压缩和插值的防分辨率转换。 Zbl 1317.68123号 西蒙·富尔维奥·罗里尼；罗伯托·布鲁托梅索；娜塔莎·莎莉吉娜；阿里亚克西·齐托维奇 9 2014 使用状态和转换不变量的循环摘要。 兹比尔1291.68262 丹尼尔·克罗宁；娜塔莎·莎莉吉娜；斯特凡诺·托内塔；阿里亚克西·齐托维奇；Christoph M.温特斯泰格。 2 2013 回路总结和终止分析。 Zbl 1315.68106号 阿里亚克西·齐托维奇；娜塔莎·莎莉吉娜；Christoph M.温特斯泰格。；丹尼尔·克罗宁 7 2011 使用抽象变换器的循环摘要。 Zbl 1183.68377号 丹尼尔·克罗宁；娜塔莎·莎莉吉娜；斯特凡诺·托内塔；阿里亚克西·齐托维奇；Christoph M.温特斯泰格。 5 2008 所有引用的出版物 前5名被引用出版物 全部的 前5名55位作者引用 三 丹尼尔·科宁 三 娜塔莎·莎莉吉娜 2 马克·布罗克施米特 2 阿里亚克西·齐托维奇 2 乔治·威森巴赫 1 Alt，Leonardo S。 1 科尼利厄斯·阿舍曼 1 克拉克·W·巴雷特。 1 阿米尔·本·阿姆拉姆。 1 阿明·比尔 1 克里斯蒂娜·博拉莱拉斯 1 Jörg Brauer 1 罗伯托·布鲁托梅索 1 詹皮埃罗·卡波迪 1 曹振福 1 陈杰 1 杰根，基督 1 约翰·Cyphert 1 朱尔斯·德沙奈斯 1 纳菲·迪亚洛 1 董晓雷 1 格里戈里·费迪尤科维奇 1 弗洛里安·弗洛恩 1 卡斯滕·福斯 1 萨米尔·根奈姆 1 加尔达洛，Wided 1 吉尔根·吉斯尔 1 龚俊清 1 凯乔·赫尔扬科 1 杰拉·亨塞尔 1 Jochen Hoenicke公司 1 安蒂·E·J·海瓦·里宁。 1 帕维尔·扬契克 1 扎卡里·金凯德 1 安迪·金 1 弗拉基米尔·克莱巴诺夫 1 科夫罗，简 1 斯特凡·科瓦列夫斯基 1 丹尼尔·拉拉兹 1 卡梅洛·洛伊亚科诺 1 阿里·米莉 1 阿尔伯特·奥利弗拉斯 1 代表，Thomas W。 1 恩里克·罗德里格斯-卡博内尔 1 西蒙·富尔维奥·罗里尼 1 阿尔伯特·鲁比奥 1 奥利·萨里基维 1 马蒂亚斯·施莱普费尔 1 彼得·施奈德·坎普 1 维克多·舒潘 1 托马斯·斯特罗德 1 唐少华 1 塞萨尔·蒂内利 1 丹尼洛·文德拉米内托 1 Christoph M.温特斯泰格。 全部的 前5名7篇连载文章中引用 4 系统设计中的形式化方法 三 自动推理杂志 2 程序设计中的逻辑和代数方法杂志 1 信息学报 1 理论计算机科学 1 计算机程序设计科学 1 美国医学会杂志 在3个字段中引用 19 计算机科学（68至XX） 7 数学逻辑和基础（03-XX） 2 信息和通信理论，电路（94-XX） 按年份列出的引文