编辑配置文件(在新选项卡中打开) 辛戈尔斯,朱利安 合著者距离 作者ID: 朱利安爵士 发布日期: 辛戈尔斯,朱利安 编入索引的文档: 6出版物自2015年起 合著者: 29位合著者具有6联合出版物 458位合作作者 全部的 前5名合著者 0 单作者的 2 尼古拉·科马托夫 1 沃尔夫冈·阿伦特 1 米歇尔·阿尔贝蒂 1 穆尼尔·阿萨夫 1 埃齐奥·巴托西 1 多梅尼科·比安库利 1 克里斯蒂安·科伦坡 1 伊利耶斯·法尔科内 1 Daniel Schnetzer,法瓦 1 阿德里安·弗兰卡兰扎 1 马克西姆·雅克明 1 Sr Djan Krstić 1 马蒂厄·莱梅尔 1 弗雷德里克·卢勒格 1 Lourenço,Joáo M。 1 莉·达拉 1 戴维·诺曼(David A.Naumann)。 1 德扬·尼科维奇 1 戈登·佩斯。 1 若泽·鲁菲诺 1 塞萨尔·桑切斯 1 马丁·施瓦夫 1 杰拉尔多·施奈德 1 阿什什·库马尔·蒂瓦里 1 埃里克·托特尔 1 德米特里·特拉泰尔 1 特罗内尔,Frédéric 1 弗兰克·维德琳 1 亚历山大·韦斯 系列 1 系统设计中的形式化方法 领域 6 计算机科学(68至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 2出版物有被引用12中的次12文件 引用人▼ 年份▼ 高级应用程序域(软件以外)的运行时验证挑战调查。 Zbl 1425.68268号 塞萨尔·桑切斯;杰拉尔多·施奈德;沃尔夫冈·阿伦特;埃齐奥·巴托西;多梅尼科·比安库利;克里斯蒂安·科伦坡;法尔科内,伊利斯;阿德里安·弗兰卡兰扎;Sr Djan Krstić;Lourenço,Joáo M。;德扬·尼科维奇;戈登·佩斯。;何塞·鲁菲诺;辛戈尔斯,朱利安;德米特里·特拉泰尔;亚历山大·韦斯 9 2019 超收集语义及其在信息流静态分析中的应用。 Zbl 1380.68113号 穆尼尔·阿萨夫;戴维·诺曼(David A.Naumann)。;辛戈尔斯,朱利安;埃里克·托特尔;特罗内尔,Frédéric 3 2017 高级应用程序域(软件以外)的运行时验证挑战调查。 Zbl 1425.68268号 塞萨尔·桑切斯;杰拉尔多·施奈德;沃尔夫冈·阿伦特;埃齐奥·巴托西;多梅尼科·比安库利;克里斯蒂安·科伦坡;伊利耶斯·法尔科内;阿德里安·弗兰卡兰扎;Sr Djan Krstić;Lourenço,Joáo M。;德扬·尼科维奇;戈登·佩斯。;何塞·鲁菲诺;辛戈尔斯,朱利安;德米特里·特拉泰尔;亚历山大·韦斯 9 2019 超收集语义及其在信息流静态分析中的应用。 Zbl 1380.68113号 穆尼尔·阿萨夫;戴维·诺曼(David A.Naumann)。;辛戈尔斯,朱利安;埃里克·托特尔;特罗内尔,Frédéric 3 2017 所有引用出版物 前5名被引用出版物 全部的 前5名32位作者引用 2 杰拉尔多·施奈德 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 桑德罗·斯塔基 1 大雄县Terauchi 1 伊格纳西奥·蒂拉博斯基 1 托法、哈泽姆 1 不,Hiroshi 1 David A.VanHorn。 1 弗兰克·维德琳 4篇连载文章中引用 1 信息学报 1 系统设计中的形式化方法 1 函数编程杂志 1 程序设计中的逻辑和代数方法杂志 在4个字段中引用 12 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 1 有序,格,有序代数结构(06-XX) 1 运筹学、数学规划(90-XX) 按年份列出的引文