编辑配置文件(在新选项卡中打开) Jin、Nayiong 合著者距离 作者ID: 金纳永 发布日期: Jin、Nayiong 已编制索引的文档: 1出版物自2010年起 合著者: 2合著者具有1联合出版物 112联合作者 合著者 0 单作者的 1 艾曼纽·菲利奥特 1 Jean-François拉斯金 系列 领域 1 计算机科学(68至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 1出版物有被引用7中的次7文件 引用人▼ 年份▼ LTL合成的合成算法。 Zbl 1305.68118号 艾曼纽·菲利奥特;Jin、Nayiong;Jean-François拉斯金 7 2010 LTL合成的合成算法。 Zbl 1305.68118号 艾曼纽·菲利奥特;Jin、Nayiong;Jean-François拉斯金 7 2010 所有引用出版物 前5名被引用出版物 全部的 前5名16位作者引用 2 拜尔,克里斯特尔 2 伯恩德·芬克贝纳 2 约阿希姆·克莱因 2 克吕佩尔霍尔茨,萨沙 1 克里希南德·查特吉 1 卢卡·德·阿尔法罗 1 吕迪格·埃勒斯 1 马可·费拉 1 艾曼纽·菲利奥特 1 Jin、Naiyong 1 鲁帕克·马朱姆达尔 1 Niklas O.Metzger。 1 摩西,约拉姆 1 诺埃米,传球 1 维什瓦纳斯·拉曼 1 Jean-François拉斯金 2篇连载文章中引用 三 系统设计中的形式化方法 1 信息学报 在4个字段中引用 7 计算机科学(68至XX) 三 数学逻辑和基础(03-XX) 2 系统论;控制(93至XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文