编辑配置文件(在新选项卡中打开) Yngve拉莫 合著者距离 作者ID: 拉莫·英格夫 发布日期: Yngve拉莫 已编制索引的文档: 11出版物自2001年起 合著者: 9合著者具有11联合出版物 93位合作作者 全部的 前5名合著者 0 单作者的 5 阿德里安·拉特尔 5 米查·瓦利基 2 哈拉尔德·科尼格 2 亚历山德罗·罗西尼 2 帕特里克·Stünkel 2 加布里埃尔·坦泽尔 2 Uwe E.沃尔特。 1 弗洛里安·曼茨 1 曼纽尔·奥恩多夫 系列 2 逻辑与代数程序设计杂志 1 理论计算机科学 1 计算的形式方面 1 北欧计算机杂志 领域 11 计算机科学(68至XX) 3 数学逻辑和基础(03-XX) 1 范畴理论;同调代数(18-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 9出版物有被引用34中的次19文件 引用人▼ 年份▼ MDE中版本控制的copy-modify-merge方法的形式化。 Zbl 1204.68075号 亚历山德罗·罗西尼;阿德里安·拉特尔;Yngve拉莫;乌韦·沃尔特 9 2010 在MDE中规范和转换约束的正式方法。 Zbl 1246.68098号 阿德里安·拉特尔;亚历山德罗·罗西尼;Yngve拉莫;乌韦·沃尔特 8 2012 更改-保留模型修复。 Zbl 1430.68029号 加布里埃尔·坦泽尔;曼纽尔·奥恩多夫;Yngve拉莫;阿德里安·拉特尔 5 2017 综合系统:多模型一致性管理的正式基础。 Zbl 1522.68347号 帕特里克·Stünkel;哈拉尔德·科尼格;Yngve拉莫;阿德里安·拉特尔 4 2021 实现与综合系统的多模型同步。 Zbl 1507.68096号 帕特里克·Stünkel;哈拉尔德·科尼格;Yngve拉莫;阿德里安·拉特尔 3 2020 图和类型图的协同变换及其在模型协同进化中的应用。 兹比尔1367.68154 加布里埃尔·坦泽尔;佛罗里达州曼茨;Yngve拉莫 2 2012 非确定性理论的无量子化逻辑。 Zbl 1088.68113号 Yngve拉莫;米查·瓦利基 1 2006 参数化数据类型规范的组成和细化。 Zbl 1270.68087号 Yngve拉莫;米查尔·瓦利基 1 2002 组合多代数“一般逻辑”中的规格说明形式。 Zbl 1278.68207号 Yngve拉莫;米查·瓦利基 1 2003 综合系统:多模型一致性管理的正式基础。 Zbl 1522.68347号 帕特里克·Stünkel;哈拉尔德·科尼格;Yngve拉莫;阿德里安·拉特尔 4 2021 实现与综合系统的多模型同步。 Zbl 1507.68096号 帕特里克·Stünkel;哈拉尔德·科尼格;Yngve拉莫;阿德里安·拉特尔 3 2020 更改-保留模型修复。 Zbl 1430.68029号 加布里埃尔·坦泽尔;曼纽尔·奥恩多夫;Yngve拉莫;阿德里安·拉特尔 5 2017 在MDE中规范和转换约束的正式方法。 Zbl 1246.68098号 阿德里安·拉特尔;亚历山德罗·罗西尼;Yngve拉莫;乌韦·沃尔特 8 2012 图和类型图的协同变换及其在模型协同进化中的应用。 Zbl 1367.68154号 加布里埃尔·坦泽尔;弗洛里安·曼茨;Yngve拉莫 2 2012 MDE中版本控制的复制-修改-合并方法的形式化。 Zbl 1204.68075号 亚历山德罗·罗西尼;阿德里安·拉特尔;Yngve拉莫;乌韦·沃尔特 9 2010 非确定性理论的无量子化逻辑。 兹比尔1088.68113 Yngve拉莫;米查·瓦利基 1 2006 组合多代数“一般逻辑”中的规格说明形式。 Zbl 1278.68207号 Yngve拉莫;米查·瓦利基 1 2003 参数化数据类型规范的组成和细化。 Zbl 1270.68087号 Yngve拉莫;米查尔·瓦利基 1 2002 所有引用出版物 前5名被引用出版物 全部的 前5名24位作者引用 7 阿德里安·拉特尔 6 Uwe E.沃尔特。 5 哈拉尔德·科尼格 4 Yngve拉莫 4 帕特里克·Stünkel 3 费尔南多·马西亚斯 2 胡安·德·拉腊 2 弗朗西斯科·杜兰 2 埃丝特·格拉 2 亚历山德罗·罗西尼 2 克里斯蒂安·桑德曼 1 托尔斯滕·阿伦特 1 拉兹万·迪亚科内斯库 1 法比奥·加杜奇 1 阿内格丽特·哈贝尔 1 瑞科·赫克尔 1 延斯·科索尔 1 谢尔盖·科瓦利约夫。 1 罗德里戈·马查多 1 内布拉斯加州纳赛尔 1 莱拉·里贝罗 1 罗伯托·罗德里格斯·埃切韦里亚 1 加布里埃尔·坦泽尔 1 米查·瓦利基 全部的 前5名7篇连载文章中引用 4 程序设计中的逻辑和代数方法杂志 2 计算的形式方面 1 模糊集与系统 1 理论计算机科学 1 应用分类结构 1 数学科学杂志(纽约) 1 逻辑与代数程序设计杂志 在3个字段中引用 18 计算机科学(68至XX) 5 范畴理论;同调代数(18-XX) 2 数学逻辑和基础(03-XX) 按年份列出的引文