编辑配置文件(在新选项卡中打开) 范·斯塔登(Stephan van Staden) 合著者距离 作者ID: 客货两用车 发布日期: 范·斯塔登(Stephan van Staden) 外部链接: MGP公司·数据库许可证 已编制索引的文档: 8出版物自2012年起 合著者: 8位合著者具有6联合出版物 229合著作者 全部的 前5名合著者 2 单作者的 5 C.A.R.Tony Hoare 2 伯恩哈德·莫勒 2 乔治·斯特鲁斯 2 朱慧彪 1 克里斯蒂亚诺·加尔卡尼奥 1 贝特朗·梅耶 1 O'Hearn,Peter W。 1 朱尔斯·维拉德 系列 1 计算的形式方面 1 程序设计中的逻辑和代数方法杂志 领域 8 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 7出版物有被引用34中的次24文件 引用人▼ 年份▼ 赞美代数。 Zbl 1259.68030号 你好,托尼;范·斯塔登(Stephan van Staden) 8 2012 并发Kleene代数的发展。 Zbl 1344.68148号 你好,托尼;范·斯塔登(Stephan van Staden);伯恩哈德·莫勒;乔治·斯特鲁斯;朱尔斯·维拉德;朱慧彪;彼得·奥赫恩 7 2014 编程法则统一了过程计算。 Zbl 1358.68064号 你好,托尼;范·斯塔登(Stephan van Staden) 6 2012 并发Kleene代数的发展。 Zbl 1344.68149号 你好,托尼;范·斯塔登(Stephan van Staden);伯恩哈德·莫勒;乔治·斯特鲁斯;朱慧彪 6 2016 代数统一了运算计算。 Zbl 1452.68056号 范·斯塔登(Stephan van Staden);你好,托尼 三 2013 关于可靠保证推理。 Zbl 1432.68321号 范·斯塔登(Stephan van Staden) 2 2015 构建视图框架。 兹比尔1457.68070 范·斯塔登(Stephan van Staden) 2 2015 并发Kleene代数的发展。 Zbl 1344.68149号 你好,托尼;范·斯塔登(Stephan van Staden);伯恩哈德·莫勒;乔治·斯特鲁斯;朱慧彪 6 2016 关于可靠保证推理。 Zbl 1432.68321号 范·斯塔登(Stephan van Staden) 2 2015 构建视图框架。 Zbl 1457.68070号 范·斯塔登(Stephan van Staden) 2 2015 并发Kleene代数的发展。 Zbl 1344.68148号 你好,托尼;范·斯塔登(Stephan van Staden);伯恩哈德·莫勒;乔治·斯特鲁斯;朱尔斯·维拉德;朱慧彪;运营;彼得·赫恩 7 2014 代数统一了运算计算。 Zbl 1452.68056号 范·斯塔登(Stephan van Staden);你好,托尼 三 2013 赞美代数。 Zbl 1259.68030号 你好,托尼;范·斯塔登(Stephan van Staden) 8 2012 编程定律统一了过程演算。 Zbl 1358.68064号 你好,托尼;范·斯塔登(Stephan van Staden) 6 2012 所有引用出版物 前5名被引用出版物 全部的 前5名被47位作者引用 5 C.A.R.Tony Hoare 4 朱慧彪 三 伯恩哈德·莫勒 三 乔治·斯特鲁斯 2 保罗·布鲁内 2 托比亚斯·卡佩 2 戴维·诺曼(David A.Naumann)。 2 O'Hearn,Peter W。 2 亚历山德拉·席尔瓦 2 范·斯塔登(Stephan van Staden) 2 谢万玲 2 徐启文 2 法比奥·扎纳西 1 安倍晋三 1 卡勒姆·班尼斯特 1 菲利普·布鲁克。 1 布里杰什·多戈尔 1 约坦·德维尔 1 埃文格洛·奥斯特,纳索斯 1 乌里·法伦贝格 1 维克多·戈麦斯。 1 古罗夫,帝力 1 伊恩·海耶斯。 1 何继峰 1 侯赛因,阿克巴 1 贾森·雅斯科尔卡 1 克里斯蒂安·约翰森 1 奥哈德·卡玛 1 里达·凯德里 1 奥里·拉哈夫 1 克里斯蒂安·利德斯特伦 1 乔瓦尼·卢塞罗 1 巴斯·卢提克 1 前田俊彦 1 维克托·卡奇亚里·米拉尔多 1 马丁·埃里克·米勒 1 何塞·努诺,奥利维拉 1 Rasmus Lerchedahl彼得森 1 秦胜超 1 朱里安·罗特 1 奥古斯托·桑帕约。 1 拉坦·巴哈杜尔·塔帕 1 朱尔斯·维拉德 1 工资制造者,贾纳 1 香,双清 1 赵永新 1 朱龙飞 3篇连载文章中引用 三 计算的形式方面 三 程序设计中的逻辑和代数方法杂志 1 理论计算机科学 在3个字段中引用 24 计算机科学(68至XX) 4 数学逻辑和基础(03-XX) 1 范畴理论;同调代数(18-XX) 按年份列出的引文