编辑配置文件(在新选项卡中打开) 阿里亚克西·齐托维奇 合著者距离 作者ID: tsitovich.aliaksei公司 发布日期: 阿里亚克西·齐托维奇 已编制索引的文档: 4出版物自2008年起 合著者: 6位合著者具有4联合出版物 179位Co-Co作者 全部的 前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 使用状态和转换不变量的循环摘要。 Zbl 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 霍尼克,约琴 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) 按年份列出的引文