编辑配置文件（在新选项卡中打开） 塞舌尔，奥尔德林 合著者距离 作者ID： 塞切尔·阿尔德林 发布日期： 塞舌尔，奥尔德林 已编制索引的文档： 1出版物自2015年起 合著者： 1位合著者具有1联合出版物 42位合作作者 合著者 0 单作者的 1 阿德里安·弗兰卡兰扎 系列 1 系统设计中的形式化方法 领域 1 计算机科学（68至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 1出版物有被引用16中的次14文件 引用人▼ 年份▼ 合成正确的并发运行时监控器。 Zbl 1323.68373号 阿德里安·弗兰卡兰扎；塞舌尔，奥尔德林 16 2015 合成正确的并发运行时监控器。 Zbl 1323.68373号 阿德里安·弗兰卡兰扎；Seychell，奥尔德林 16 2015 所有引用出版物 前5名被引用出版物 全部的 前5名37位作者引用 10 阿德里安·弗兰卡兰扎 4 卢卡·埃特罗 三 Anna Ingólfsdóttir 2 伊恩·卡萨尔 2 伊利耶斯·法尔科内 1 安东尼斯·阿奇利奥斯 1 沃尔夫冈·阿伦特 1 艺术，托马斯 1 埃齐奥·巴托西 1 Benac Earle，克拉拉 1 萨德克·本萨勒姆 1 多梅尼科·比安库利 1 马里乌斯·博兹加 1 克里斯蒂安·科伦坡 1 拉尔斯·奥尔克，弗雷德里克 1 加塞米，法特梅 1 Anna Ingófsdóttir，安娜 1 拉丁·科斯拉维 1 Sr Djan Krstić 1 Lourenço，Joáo M。 1 霍森·纳扎尔布尔 1 德扬·尼科维奇 1 戈登·佩斯。 1 斯里尼瓦斯·皮尼塞蒂 1 安吉特·普拉丹 1 罗普，Partha S。 1 若泽·鲁菲诺 1 马赫布贝·萨马迪 1 塞萨尔·桑切斯 1 杰拉尔多·施奈德 1 塞舌尔，奥尔德林 1 辛戈尔斯，朱利安 1 汉斯·斯文森 1 杰勒德·塔博内 1 德米特里·特拉泰尔 1 斯塔夫罗斯·特里帕基斯 1 亚历山大·韦斯 全部的 前5名6篇连载文章中引用 4 系统设计中的形式化方法 2 程序设计中的逻辑和代数方法杂志 1 信息学报 1 信息与计算 1 计算的形式方面 1 计算机科学中的逻辑方法 在2个字段中引用 14 计算机科学（68至XX） 4 数学逻辑和基础（03-XX） 按年份列出的引文