编辑配置文件（在新选项卡中打开） 亚历山大·凯泽。 合著者距离 作者ID： 凯撒·亚历山大-d 发布日期： 亚历山大·凯撒；亚历山大·凯泽。 已编制索引的文档： 6出版物自2000年以来，包括1本书 合著者： 6位合著者具有5联合出版物 357位联合作者 全部的 前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 1310.68259号 大卫·H·贝利。；乔纳森·博温。；亚历山大·凯泽。 1 2014 迷失在抽象中：多线程程序中的单调性。 Zbl 1355.68055号 亚历山大·凯撒；丹尼尔·克罗宁；托马斯·沃尔 1 2017 迷失在抽象中：多线程程序中的单调性。 Zbl 1355.68055号 亚历山大·凯撒；丹尼尔·克罗宁；托马斯·沃尔 1 2017 大型符号表达式的自动简化。 Zbl 1310.68259号 大卫·H·贝利。；乔纳森·博温。；亚历山大·凯泽。 1 2014 通过最小化证明进行有效覆盖性分析。 Zbl 1364.68138号 亚历山大·凯撒；丹尼尔·克罗宁；托马斯·沃尔 6 2012 对称并发程序的反示例引导抽象细化。 Zbl 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） 按年份列出的引文