编辑配置文件（在新选项卡中打开） 伊万·斯托伊克 合著者距离 作者ID： 伊凡斯托吉克 发布日期： 伊万·斯托伊克 编入索引的文档： 1出版物自2018年起 合著者： 2合著者具有1联合出版物 98位合作作者 合著者 0 单作者的 1 亚历山德罗·西马蒂 1 斯特凡诺·托内塔 系列 领域 1 计算机科学（68至XX） 按年份列出的出版物 zbMATH Open中包含的引文 1出版物有被引用4中的次4文件 引用人▼ 年份▼ 动态参数化体系结构的形式化规范和验证。 Zbl 1460.68056号 亚历山德罗·西马蒂;伊万·斯托伊克;斯特凡诺·托内塔 4 2018 动态参数化体系结构的形式化规范和验证。 Zbl 1460.68056号 亚历山德罗·西马蒂;伊万·斯托伊克;斯特凡诺·托内塔 4 2018 全部的 前5名10位作者引用 2 亚历山德罗·西马蒂 2 阿尔贝托·格里乔 2 吉安卢卡·雷登迪 1 迭戈·卡尔瓦内斯 1 西尔维奥·吉拉尔迪 1 亚历山德罗·吉亚诺拉 1 马可·蒙塔利 1 玛丽亚·皮图 1 乔治·拉霍尼斯 1 安德烈·里夫金 2篇连载文章中引用 1 MSCS公司。计算机科学中的数学结构 1 计算机科学中的逻辑方法 在2个字段中引用 4 计算机科学（68至XX） 三 数学逻辑和基础（03-XX） 按年份列出的引文