编辑配置文件（在新选项卡中打开） 徐，杰西 合著者距离 作者ID： 许杰西 发布日期： 徐，杰西 已编制索引的文档： 1出版物自2002年起 合著者： 2合著者具有1联合出版物 121位Co-Co作者 合著者 0 单作者的 1 阿米尔·普努利 1 Lenore D.扎克。 系列 领域 1 计算机科学（68至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 1出版物有被引用20中的次20文件 引用人▼ 年份▼ 使用\（{（0,1，\infty）}\）-计数器抽象的活力。 Zbl 1010.68095号 阿米尔·普努利；徐，杰西；勒诺尔·扎克 20 2002 使用\（{（0,1，\infty）}\）-计数器抽象的活力。 Zbl 1010.68095号 阿米尔·普努利；徐，杰西；勒诺尔·扎克 20 2002 所有引用出版物 前5名被引用出版物 全部的 前5名42位作者引用 4 伊戈尔·康诺夫（Igor V.Konnov）。 4 赫尔穆特·维思 4 约瑟夫·威德 三 哈维尔·埃斯帕尔扎 2 Balasubramanian，A.R。 2 玛丽亚娜·拉齐奇 2 加文·洛 2 阿米尔·普努利 2 米哈伊尔·拉斯金 2 Lenore D.扎克。 1 帕罗什·阿齐兹·阿卜杜拉 1 杰拉德·巴斯勒 1 克拉克（Edmund Melson jun Clarke）。 1 伊曼纽尔·D’Osualdo 1 安托万杜兰·加塞林 1 凯·恩格哈特 1 方，易 1 塞巴斯蒂安·浮士德 1 皮埃尔·甘蒂 1 法特梅·加塞米 1 阿努Gmeiner 1 弗雷德里克·哈齐扎 1 卢卡·霍利克 1 拉尔夫·胡克 1 拉丁·科斯拉维 1 丹尼尔·科宁 1 鲁帕克·马朱姆达尔 1 丹尼尔·马斯尼 1 托马斯·马祖尔 1 米歇尔·马祖奇 1 肯尼思·麦克米兰。 1 C.·H·卢克·翁 1 奥坎·桑库尔 1 乌尔里希·施密德 1 伊利娜·斯托伊尔科夫斯卡 1 Jean-Pierre塔宾 1 穆拉利达尔·塔卢普尔 1 丹尼尔·文丘里 1 托马斯·沃尔 1 海克·卫尔海姆 1 丹尼尔·沃尼施 1 Yousefi、Behnaz 4篇连载文章中引用 三 系统设计中的形式化方法 2 计算机科学中的逻辑方法 1 计算的形式方面 1 计算机语言、系统和结构 在3个字段中引用 19 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文