×
编辑配置文件（在新选项卡中打开）

安徒生、克里斯托弗·贾斯特·阿恩达尔

合著者距离
作者ID： 安徒生·克里斯托弗（andersen.kristoffer-just-arndal）“Andersen，Kristoffer Just Arndal”最近发表的zbMATH文章
发布日期： 安徒生、克里斯托弗·贾斯特·阿恩达尔;安徒生，克里斯托弗只是
已编制索引的文档： 2出版物自2017年起
合著者： 4位合著者具有2联合出版物
112位Co-Co作者

合著者

0 单作者的
1 拉尔斯·比克达尔
1 佩德罗·达罗查·平托
1 托马斯·丁斯代尔·扬
1 伊利亚·谢尔盖

系列

1 函数编程杂志

领域

2 计算机科学（68至XX）
1 数理逻辑与基础（03-XX）

按年份列出的出版物

zbMATH Open中包含的引文

1出版物有被引用5次5文件 引用人▼ 年份▼
跳跃–自动验证细粒度并发。 兹比尔1485.68060
托马斯·丁斯代尔·扬;佩德罗·达罗查·平托;安徒生，克里斯托弗只是;拉尔斯·比克达尔
5
2017
跳跃–自动验证细粒度并发。 兹比尔1485.68060
托马斯·丁斯代尔·扬;佩德罗·达罗查·平托;安徒生，克里斯托弗只是;拉尔斯·比克达尔
5
2017
全部的 前5名

17位作者引用

2 佩德罗·达罗查·平托
2 菲利普·安·加德纳
2 彼得·米勒
1 蒂鲍特·达迪尼尔
1 托马斯·丁斯代尔·扬
1 沙迦·伊扎基
1 Gian Ntzik
1 高拉夫，Parthasarathy
1 希拉·佩勒
1 纳迪亚·波里卡波娃
1 鲁本·罗。
1 马尔特·施沃尔霍夫
1 伊利亚·谢尔盖
1 亚历山大·萨默斯。
1 几周，不
1 费利克斯·A·沃尔夫。
1 熊，页岩

2篇连载文章中引用

1 系统设计中的形式化方法
1 程序设计中的逻辑和代数方法杂志

在2个字段中引用

5 计算机科学（68至XX）
1 数理逻辑与基础（03-XX）

按年份列出的引文