×
编辑配置文件（在新选项卡中打开）

黄，L.J。

合著者距离
作者ID： 黄利杰“Hwang，L.J.”最近发表的zbMATH文章
发布日期： 黄，L.J。
已编制索引的文档： 2出版物自1991年起
合著者： 5位合著者具有2份联合出版物
194位联合作者

合著者

0 单作者的
1 侯赛因·R·阿尔·哈利迪。
1 杰里·伯奇。
1 克拉克，埃德蒙·梅尔森·琼。
1 大卫·L·迪尔。
1 肯尼思·麦克米兰。

系列

1 信息与计算
1 统计传播。理论与方法

领域

1 统计学（62-XX）
1 计算机科学（68至XX）

按年份列出的出版物

所有引用出版物 前5名被引用出版物

zbMATH Open中包含的引文

1出版物有被引用195中的次190文件 引用人▼ 年份▼
符号模型检查：（10^{20}）状态及以上。 Zbl 0753.68066号
J.R.伯奇。;E.M.克拉克。;麦克米兰，K.L。;迪尔·D·L。;黄，L.J。
195
1992
符号模型检查：（10^{20}）状态及以上。 Zbl 0753.68066号
伯奇，J.R。;E.M.克拉克。;麦克米兰，K.L。;迪尔·D·L。;黄，L.J。
195
1992
所有引用出版物 前5名被引用出版物
全部的 前5名

408位作者引用

14 莫西·亚亚科夫·瓦尔迪
6 克拉克，埃德蒙·梅尔森·琼。
6 奥尔纳·格伦伯格
4 亚历山德罗·西马蒂
4 大卫·L·迪尔。
4 托马斯·亨辛格（Thomas A.Henzinger）。
4 尤尼特·凯斯滕
4 Sandeep S.Kulkarni。
4 奥尔纳·库普弗曼
4 阿米尔·普努利
三 帕罗什·阿齐兹·阿卜杜拉
三 福阿德·阿布贾拉德
三 Randal E.布莱恩特。
三 段振华
三 Marta Z.Kwiatkowska。
三 马丁·兰格
三 弗朗索瓦·拉鲁西尼
三 卡洛斯·奥拉特
三 马可·罗维里
三 维克多·舒潘
三 田聪
2 亚历克斯·阿布因
2 拜尔，克里斯特尔
2 皮耶乔治·贝尔托利
2 贝特·博利格
2 亚历山大·博洛托夫
2 博尔祖·博纳克达尔普尔
2 博迪恩，亨宁
2 亚伦·R·布拉德利。
2 卢博什·布里姆
2 马克·伯里
2 乔尔·德斯佩鲁
2 阿兰·芬克尔
2 Guerra，Paulo T。
2 凯乔·赫尔扬科
2 蒙特塞拉特赫莫
2 Heule，Marijn J.H。
2 塔米尔·海曼
2 马库斯·霍尔泽
2 彼得·坎佩尔
2 彼得·科普克（Peter W.Kopke）。
2 阿莱西奥·洛穆西奥
2 帕基，卢西奥
2 鲁帕克·马朱姆达尔
2 伊斯特万，马吉齐克
2 肯尼思·麦克米兰。
2 文斯·莫尔纳
2 格钦·诺曼
2 潘国强
2 伊莱恩·皮门特尔
2 Jean-François拉斯金
2 安德鲁·威廉·罗斯科
2 萨夫拉内克，大卫
2 克劳斯·施耐德
2 阿萨夫·舒斯特
2 伊拉德·沙哈尔
2 斯特凡诺·托内塔
2 保罗·特拉弗索
2 恩里科·特隆西
2 雷娜塔·瓦瑟曼
2 菲利普·沃尔费尔
1 Á. 阿尔瓦罗·托拉尔巴
1 罗恩·阿尔福德
1 拉杰夫·阿鲁尔
1 埃蒂安·安德烈
1 佩德罗·安东尼诺
1 詹姆·阿里亚斯
1 苏海卜·巴里尔
1 Bäck，Thomas H.W。
1 安德鲁·朱·贝利。
1 菲利普·巴尔比亚尼
1 保罗·巴拉里尼
1 莎朗·巴纳
1 克拉克·W·巴雷特。
1 塔马斯·巴塔
1 Jens Bendisposto公司
1 尼古拉·贝内什
1 萨德克·本萨勒姆
1 Nathalie Bertrand
1 Tewodros A.Beyene。
1 阿明·比尔
1 波西，亚伦
1 丹尼尔·博拉乔
1 Craig Boutiler公司
1 马吕斯·博兹加
1 朱莉娅·布拉曼（Julia M.B.Braman）。
1 布兰德，塞巴斯蒂安
1 Zmago布雷佐尼克
1 维罗尼克·布鲁埃
1 彼得·巴赫霍尔茨
1 特夫菲克·布尔坦
1 杰里·伯奇。
1 Samuel R.巴斯。
1 迈克尔·卡佩尔
1 安东尼奥·考伊
1 乌富克·塞利坎
1 彼得·科马克
1 科什卡，米兰
1 柴新伟
1 萨加·查基
…还有308位作者
全部的 前5名

在45篇连载文章中被引用

22 理论计算机科学
19 系统设计中的形式化方法
9 信息与计算
8 人工智能
7 计算的形式方面
6 信息学报
4 计算机程序设计科学
三 离散应用数学
三 自动推理杂志
三 分布式计算
三 逻辑与代数程序设计杂志
2 信息处理信函
2 计算机与系统科学杂志
2 国际计算机科学基础杂志
2 离散事件动态系统
2 控制论与系统分析
2 逻辑、语言与信息杂志
2 应用非经典逻辑杂志
2 符号逻辑公报
2 数学与人工智能年鉴
2 应用数学杂志
2 ACM计算逻辑事务
1 离散数学
1 国际通用系统杂志
1 信息科学
1 数学经济学杂志
1 编程和计算机软件
1 系统和控制信件
1 国际生产研究杂志
1 算法
1 MSCS公司。计算机科学中的数学结构
1 线性代数及应用
1 计算与数学组织理论
1 约束条件
1 欧洲控制杂志
1 武汉大学自然科学学报
1 国际应用数学与计算机科学杂志
1 离散算法杂志
1 应用逻辑杂志
1 理论计算机科学电子笔记
1 计算机科学中的逻辑方法
1 算法
1 亚洲控制杂志
1 计算机科学评论
1 程序设计中的逻辑和代数方法杂志
全部的 前5名

13个领域引用

174 计算机科学（68至XX）
51 数学逻辑和基础（03-XX）
11 博弈论、经济学、金融和其他社会和行为科学（91-XX）
9 系统论；控制（93至XX）
8 运筹学、数学规划（90-XX）
7 组合数学（05-XX）
4 生物学和其他自然科学（92-XX）
三 信息与通信理论、电路（94-XX）
2 概率论与随机过程（60-XX）
1 阶、格、有序代数结构（06-XX）
1 凸和离散几何（52至XX）
1 数值分析（65-XX）
1 量子理论（81-XX）

按年份列出的引文