编辑配置文件（在新选项卡中打开） 王蒙 合著者距离 作者ID： 王蒙1 发布日期： 王蒙 外部链接： ORCID公司·数据库许可证 已编制索引的文档： 27出版物自2007年以来，包括5个附加arXiv预打印 1名编辑贡献 合著者： 15位合著者具有12联合出版物 176联合作者 全部的 前5名合著者 1 单作者的 7 松田和川 4 胡镇江 三 陈坤 三 邱小成 三 翁淑春 2 陈忠信 2 杰里米·吉本斯 2 宋健 2 Janis Voigtlander公司 2 袁、王军 1 Cormery，Fabrice公司 1 克里斯蒂娜·大卫 1 弗拉基米尔·埃戈伦科夫。 1 范坤 1 范茂军 1 韩冰 1 贾新余 1 李金凯 1 李新宁 1 林嘉茵 1 林兰芬 1 刘国民 1 刘恩国 1 罗吉诺娃，玛丽亚·M。 1 毛文锦 1 宁振虎 1 多米尼克·A·乌节。 1 斯科特·欧文斯 1 彭，金 1 曲、华 1 广西让 1 邵建福 1 沈万清 1 唐文浩 1 特罗菲莫夫（Vyacheslav A.Trofimov）。 1 王凤 1 尼古拉斯·吴 1 夏丽瑶 1 肖传白 1 谢瑞峰 1 山口，Masaomi 1 杨永强 1 于靖 1 张汉良 1 张亚浩 全部的 前5名系列 三 函数编程杂志 1 应用力学与工程中的计算机方法 1 应用科学中的数学方法 1 计算机程序设计科学 1 国际鲁棒非线性控制杂志 1 系统设计中的形式化方法 1 欧洲应用和工业数学系列（ESAIM）：控制、优化和变分计算 1 高阶和符号计算 1 浙江大学学报。工程科学 1 工业与管理优化杂志 1 国际计算机研究杂志 1 计算机科学课堂讲稿 1 算法 1 国际结构稳定性与动力学杂志 全部的 前5名字段 17 计算机科学（68至XX） 2 偏微分方程（35-XX） 2 概率论与随机过程（60-XX） 2 可变形固体力学（74-XX） 2 博弈论、经济学、金融和其他社会和行为科学（91-XX） 2 系统论；控制（93至XX） 1 总体主题；集合（00-XX） 1 变分法与最优控制；最优化（49-XX） 1 统计学（62-XX） 1 数值分析（65-XX） 1 统计力学，物质结构（82-XX） 1 运筹学、数学规划（90-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 7出版物有被引用17中的次12文件 引用人▼ 年份▼ 通过形状双向化器插件增强语义双向化。 Zbl 1303.68039号 贾尼斯·沃格特兰德;胡镇江;松田和川;王蒙 5 2013 使用透镜进行适用的双向编程。 Zbl 1360.68335号 松田和川;王蒙 4 2015 结合句法和语义双向化。 Zbl 1323.68170号 贾尼斯·沃格特兰德;胡镇江;松田和川;王蒙 三 2010 FliPr：一种更漂亮的可逆打印系统。 Zbl 1381.68027号 松田和川;王蒙 2 2013 面向方面的多态类型函数语言的编译模型。 Zbl 1211.68062号 陈坤;翁淑春;王蒙;邱小成;陈忠信 2 2007 逐步完善。混合模式匹配和数据抽象。 Zbl 1286.68330号 王蒙;杰里米·吉本斯;松田和川;胡镇江 1 2010 单单编写双向程序。 Zbl 1524.68062号 夏、李耀;多米尼克乌节;王蒙 1 2019 单单编写双向程序。 兹比尔1524.68062 夏、李耀;多米尼克·乌节;王蒙 1 2019 使用透镜进行适用的双向编程。 Zbl 1360.68335号 松田和川;王蒙 4 2015 通过形状双向化器插件增强语义双向化。 Zbl 1303.68039号 贾尼斯·沃格特兰德;胡，镇江;松田和川;王蒙 5 2013 FliPr：一种更漂亮的可逆打印系统。 Zbl 1381.68027号 松田和川;王蒙 2 2013 结合句法和语义双向化。 Zbl 1323.68170号 贾尼斯·沃格特兰德;胡镇江;松田和川;王蒙 三 2010 逐步完善。混合模式匹配和数据抽象。 Zbl 1286.68330号 王蒙;杰里米·吉本斯;松田和川;胡镇江 1 2010 面向方面的多态类型函数语言的编译模型。 Zbl 1211.68062号 陈坤;翁淑春;王蒙;邱小成;陈忠信 2 2007 所有引用的出版物 前5名被引用出版物 全部的 前5名31位作者引用 5 王蒙 2 陈坤 2 艾曼纽·菲利奥特 2 邱小成 2 塞巴斯蒂安·马内思 2 松田和川 2 皮埃尔·阿莱·雷尼尔 2 让-马克·塔尔博特 2 Janis Voigtlander公司 2 翁淑春 1 法利斯·阿布·萨利赫 1 霍尔格·博克·阿克塞尔森 1 陈忠新 1 詹姆斯·切尼 1 阿尔西诺·库尼亚 1 克里斯蒂娜·大卫 1 杰里米·吉本斯 1 罗伯特·格莱克 1 赫尔穆特·格罗内 1 胡镇江 1 林嘉茵 1 马塞多，努诺 1 詹姆斯·麦金纳 1 雨果·帕切科 1 丹尼尔·塞德尔 1 佩迪塔·史蒂文斯 1 唐文浩 1 谢瑞峰 1 山口，Masaomi 1 横山，铁雄 1 张汉良 全部的 前5名8篇连载文章中引用 2 函数编程杂志 1 信息学报 1 理论计算机科学 1 计算机程序设计科学 1 信息与计算 1 系统设计中的形式化方法 1 高阶和符号计算 1 程序设计中的逻辑和代数方法杂志 在2个字段中引用 12 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 按年份列出的引文