编辑配置文件(在新选项卡中打开) 亚历山大·凯泽。 合著者距离 作者ID: 凯撒·亚历山大-d 发布日期: 亚历山大·凯撒;亚历山大·凯泽。 编入索引的文档: 6出版物自2000年以来,包括1本书 合著者: 6位合著者具有5联合出版物 356位合作作者 全部的 前5名合著者 1 单作者的 4 丹尼尔·科宁 4 托马斯·沃尔 1 大卫·哈罗德·贝利 1 乔纳森·迈克尔·博文 1 阿拉斯泰尔·唐纳森。 1 迈克尔·陶奇尼格 系列 1 符号计算杂志 1 信息与计算 1 系统设计中的形式化方法 领域 6 计算机科学(68至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 4出版物有被引用10中的次9文件 引用人▼ 年份▼ 通过最小化证明进行有效覆盖性分析。 Zbl 1364.68138号 亚历山大·凯撒;丹尼尔·克罗宁;托马斯·沃尔 6 2012 对称并发程序的反示例引导抽象细化。 Zbl 1284.68179号 阿拉斯泰尔·唐纳森。;亚历山大·凯撒;丹尼尔·克罗宁;迈克尔·陶奇尼格;托马斯·沃尔 2 2012 迷失在抽象中:多线程程序中的单调性。 Zbl 1355.68055号 亚历山大·凯撒;丹尼尔·克罗宁;托马斯·瓦尔 1 2017 大型符号表达式的自动简化。 Zbl 1310.68259号 大卫·H·贝利。;乔纳森·博文(Jonathan M.Borwein)。;亚历山大·凯泽。 1 2014 迷失在抽象中:多线程程序中的单调性。 Zbl 1355.68055号 亚历山大·凯撒;丹尼尔·克罗宁;托马斯·沃尔 1 2017 大型符号表达式的自动简化。 Zbl 1310.68259号 大卫·H·贝利。;乔纳森·博文(Jonathan M.Borwein)。;亚历山大·凯泽。 1 2014 通过最小化证明进行有效覆盖性分析。 Zbl 1364.68138号 亚历山大·凯撒;丹尼尔·克罗宁;托马斯·沃尔 6 2012 对称并发程序的反示例引导抽象细化。 兹比尔1284.68179 阿拉斯泰尔·唐纳森。;亚历山大·凯撒;丹尼尔·克罗宁;迈克尔·陶奇尼格;托马斯·沃尔 2 2012 所有引用出版物 前5名被引用出版物 全部的 前5名21位作者引用 2 克里希南德·查特吉 2 托马斯·亨辛格(Thomas A.Henzinger)。 2 奥托普,简 2 托马斯·沃尔 1 白、云君 1 大卫·哈罗德·贝利 1 迈克尔·布隆丁 1 乔纳森·迈克尔·博文 1 阿兰·芬克尔 1 焦、李 1 安德鲁·约翰逊。 1 亚历山大·凯泽。 1 康嘉文 1 伊戈尔·康诺夫(Igor V.Konnov)。 1 丹尼尔·科宁 1 玛丽亚娜·拉齐奇 1 麦肯齐,皮埃尔 1 安托万·米内 1 拉斐尔·莫纳特 1 赫尔穆特·维思 1 约瑟夫·威德 3篇连载文章中引用 2 信息与计算 1 近似理论杂志 1 系统设计中的形式化方法 在2个字段中引用 8 计算机科学(68至XX) 1 数论(11-XX) 按年份列出的引文