编辑配置文件（在新选项卡中打开） 伊尔卡·科科林宁 合著者距离 作者ID： 科科林·伊尔卡 发布方式： 伊尔卡·科科林宁 已编制索引的文档： 1出版物自2001年起 合著者： 2合著者具有1联合出版物 95位合作作者 合著者 0 单作者的 1 Doron A.Peled。 1 安蒂·瓦尔马里 系列 1 系统设计中的形式化方法 领域 1 计算机科学（68至XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 1出版物有被引用7中的次7文件 引用人▼ 年份▼ 宽松的可视性增强了部分订单的减少。 Zbl 0995.68060号 多龙·贝利德;安蒂·瓦尔马里;伊尔卡·科科林宁 7 2001 宽松的可视性增强了部分订单的减少。 Zbl 0995.68060号 多龙·贝利德;安蒂·瓦尔马里;伊尔卡·科科林宁 7 2001 所有引用的出版物 前5名被引用出版物 全部的 前5名12位作者引用 2 安蒂·瓦尔马里 2 Kimmo Varpaaniemi公司 1 杰科·盖尔登胡伊斯 1 亨利·汉森 1 彼得·格约尔·詹森 1 克里斯滕森，拉尔斯·迈克尔 1 Doron A.Peled。 1 斯蒂芬·西格尔（Stephen F.Siegel）。 1 吉·斯尔巴 1 尼古拉·延森·乌尔里克 1 西蒙·梅尔比 1 卡斯滕·沃尔夫 连载1篇 三 系统设计中的形式化方法 在2个字段中引用 7 计算机科学（68至XX） 三 数学逻辑和基础（03-XX） 按年份列出的引文