编辑配置文件(在新选项卡中打开) 南黄弘 合著者距离 作者ID: nam.wonhong女士 发布日期: 南黄弘 外部链接: MGP公司 编入索引的文档: 6出版物自2003年起 合著者: 5位合著者具有6联合出版物 172位合作作者 合著者 0 单作者的 5 拉杰夫·阿鲁尔 4 帕塔萨拉西马杜苏丹 1 乔恩,帕沃 1 Kil,Hyunyoung先生 1 李东元 系列 1 理论计算机科学 1 系统设计中的形式化方法 领域 6 计算机科学(68至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 5出版物有被引用67中的次50文件 引用人▼ 年份▼ Java类接口规范的合成。 Zbl 1369.68126号 拉杰夫·阿鲁尔;乔恩,帕沃;Madhusudan,P。;南黄弘 24 2005 通过学习假设进行符号成分验证。 Zbl 1081.68601号 拉杰夫·阿鲁尔;Madhusudan,P。;南黄弘 21 2005 基于学习的符号假设保证推理与自动分解。 Zbl 1161.68578号 南黄弘;拉杰夫·阿鲁尔 10 2006 通过学习假设自动进行符号组合验证。 Zbl 1147.68052号 南黄弘;Madhusudan,P。;拉杰夫·阿鲁尔 6 2008 解决游戏的符号计算技术。 Zbl 1271.68144号 Madhusudan,P。;南黄弘;拉杰夫·阿鲁尔 6 2003 通过学习假设自动进行符号组合验证。 Zbl 1147.68052号 南黄弘;Madhusudan,P。;拉杰夫·阿鲁尔 6 2008 基于学习的符号假设保证推理与自动分解。 Zbl 1161.68578号 南黄弘;拉杰夫·阿鲁尔 10 2006 Java类接口规范的合成。 Zbl 1369.68126号 拉杰夫·阿鲁尔;乔恩,帕沃;Madhusudan,P。;南黄弘 24 2005 通过学习假设进行符号成分验证。 Zbl 1081.68601号 拉杰夫·阿鲁尔;Madhusudan,P。;南黄弘 21 2005 解决游戏的符号计算技术。 Zbl 1271.68144号 Madhusudan,P。;南黄弘;拉杰夫·阿鲁尔 6 2003 所有引用出版物 前5名被引用出版物 全部的 前5名107位作者引用 5 达纳·菲斯曼 5 科琳娜·s·佩斯勒诺。 5 沙龙·肖姆 4 达纳州安格鲁因 4 奥尔纳·格伦伯格 4 帕塔萨拉西马杜苏丹 三 陈玉芳 三 克拉克(Edmund Melson jun Clarke)。 三 詹纳科普洛,迪米特拉 2 卡拉姆Abd Elkader 2 达拉·阿拉杰 2 拉杰夫·阿鲁尔 2 戴维德·贾科莫·卡维扎 2 萨加·查基 2 普拉纳夫·加格 2 Gheorghiu Bobaru,米哈伊拉 2 安德拉斯·吉尔吉 2 福尔克,豪尔 2 李勇 2 刘德鹏 2 丹尼尔·奈德 2 伯恩哈德·斯特芬 2 张丽君 1 亚历山德罗·阿巴特 1 罗莎·阿巴斯 1 蒂莫斯·安东尼奥普洛斯 1 马可·贝克拉 1 霍华德·巴林杰 1 塞巴斯蒂安·伯恩特 1 艾苏贝汀坎 1 乌迪·博克 1 马蒂亚斯·布里尔 1 保罗·布鲁内特 1 克里斯蒂安·巴克尔 1 特夫菲克·布尔坦 1 索菲亚·卡塞尔 1 Cheng,Chih-Hong先生 1 崔永里 1 杰米森·科布雷。 1 洛丽斯·达安东尼 1 邓婷 1 迪马罗戈纳斯,迪莫斯五世。 1 塞缪尔·德鲁斯 1 杜宗霞 1 Stefan Edelkamp 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 克里斯托夫·Löding 1 阿莱西奥·洛穆西奥 1 马蒂亚斯·卢特 1 肯尼思·麦克米兰。 1 耶尔·梅勒 1 梅克梅尔滕 1 南黄弘 1 Kedar S.Namjoshi。 1 Doron A.Peled。 1 希拉·佩莱格 1 佩克,劳伦 1 曲洪阳 1 吕迪格·赖舒克 1 克莱门斯·雷纳。 1 哈拉尔德街 1 斯文·舍韦 1 娜塔莎·莎莉吉娜 1 雅拉·绍瓦尔 1 亚历山德拉·席尔瓦 1 尼尚·辛哈 1 克里斯蒂安·斯卡尔卡 1 斯特里赫曼(Ofer Strichman) 1 本·斯特鲁洛 1 伊利亚·特卡切夫 1 Tsay,Yih-Kuen先生 1 范德波尔,扬·科内利斯 1 阿比·瓦尔丹 1 马赫什·维斯瓦纳坦 1 汤姆·沃纳 1 工资制造者,贾纳 1 奈杰尔·沃克。 …还有7位作者 全部的 前5名13篇连载文章中引用 8 系统设计中的形式化方法 4 信息与计算 4 计算的形式方面 三 理论计算机科学 2 信息学报 2 计算机科学中的逻辑方法 1 国际通用系统杂志 1 Automatica公司 1 国际计算机科学基础杂志 1 离散事件动态系统 1 高阶和符号计算 1 中国科学。F系列 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在7个字段中引用 47 计算机科学(68至XX) 6 数学逻辑和基础(03-XX) 三 博弈论、经济学、金融和其他社会和行为科学(91-XX) 三 系统论;控制(93至XX) 2 测量和集成(28-XX) 1 组合数学(05-XX) 1 概率论与随机过程(60-XX) 按年份列出的引文