编辑配置文件(在新选项卡中打开) 伊莎贝拉·考夫曼 合著者距离 作者ID: 考夫曼·伊萨贝拉 发布日期: 伊莎贝拉·考夫曼;考夫曼,I。 已编制索引的文档: 4出版物自2017年起 合著者: 11位合著者具有4联合出版物 235位合作作者 全部的 前5名合著者 0 单作者的 4 金·古德斯特兰·拉森 4 吉·斯尔巴 三 Lasse S.延森。 三 索伦·尼尔森。 2 安德烈亚斯·恩格尔布雷特·达尔斯加德 2 瑟伦·埃内沃德森 2 彼得·福格 2 托拜厄斯·杰普森。 2 Mads Christian奥列森 2 塞缪尔·帕斯特瓦 1 彼得·格约尔·詹森 系列 1 计算机基础理论 1 程序设计中的逻辑与代数方法杂志 领域 4 计算机科学(68至XX) 1 数学逻辑和基础(03-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 三出版物有被引用9中的次8文件 引用人▼ 年份▼ 扩展依赖关系图和高效的分布式定点计算。 Zbl 1393.68098号 安德烈亚斯·达尔斯加德(Andreas E.Dalsgaard)。;瑟伦·埃内沃德森;彼得·福格;Lasse S.延森。;托拜厄斯·杰普森。;伊莎贝拉·考夫曼;Larsen,Kim G。;索伦·尼尔森。;Mads Chr.奥列森。;塞缪尔·帕斯特瓦;吉·斯尔巴 4 2017 扩展依赖图的分布式定点算法。 Zbl 1396.68070号 安德烈亚斯·达尔斯加德(Andreas E.Dalsgaard)。;瑟伦·埃内沃德森;彼得·福格;Lasse S.延森。;彼得·詹森(Peter G.Jensen)。;托拜厄斯·杰普森。;伊莎贝拉·考夫曼;Larsen,Kim G。;索伦·尼尔森。;Mads Chr.奥列森。;塞缪尔·帕斯特瓦;吉·斯尔巴 三 2018 分支多权逻辑的模型检查与综合。 Zbl 1423.68284号 延森,L.S。;考夫曼,I。;拉森,K.G。;尼尔森,S.M。;斯尔巴,J。 2 2019 分支多权逻辑的模型检查与综合。 Zbl 1423.68284号 延森,L.S。;考夫曼,I。;拉森,K.G。;尼尔森,S.M。;斯尔巴,J。 2 2019 扩展依赖图的分布式定点算法。 Zbl 1396.68070号 安德烈亚斯·达尔斯加德(Andreas E.Dalsgaard)。;瑟伦·埃内沃德森;彼得·福格;Lasse S.延森。;彼得·詹森(Peter G.Jensen)。;托拜厄斯·杰普森。;伊莎贝拉·考夫曼;Larsen,Kim G。;索伦·尼尔森。;Mads Chr.奥列森。;塞缪尔·帕斯特瓦;吉·斯尔巴 三 2018 扩展依赖关系图和高效的分布式定点计算。 Zbl 1393.68098号 安德烈亚斯·达尔斯加德(Andreas E.Dalsgaard)。;瑟伦·埃内沃德森;彼得·福格;Lasse S.延森。;托拜厄斯·杰普森。;伊莎贝拉·考夫曼;Larsen,Kim G。;索伦·尼尔森。;Mads Chr.奥列森。;塞缪尔·帕斯特瓦;吉·斯尔巴 4 2017 所有引用出版物 前5名被引用出版物 全部的 前5名19位作者引用 7 金·古德斯特兰·拉森 6 吉·斯尔巴 2 彼得·格约尔·詹森 2 伊莎贝拉·考夫曼 2 马尔科·穆尼兹 1 乔瓦尼·巴奇 1 瓦利德·贝尔基尔 1 弗雷德里克·梅耶·伯内兰 1 瑟伦·埃内沃德森 1 米克尔·汉森 1 Lasse S.延森。 1 马蒂亚斯·克劳斯·詹森 1 卡拉、希亚姆·拉尔 1 米歇尔·伦茨纳 1 安德斯·马里加德 1 Duy Nguyen先生 1 索伦·尼尔森。 1 尼古拉斯·拉蒂尔 1 尼古拉·延森·乌尔里克 连载1篇 2 程序设计中的逻辑与代数方法杂志 在3个字段中引用 8 计算机科学(68至XX) 三 数学逻辑和基础(03-XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文