编辑配置文件(在新选项卡中打开) Uwe E.沃尔特。 合著者距离 作者ID: 沃尔特.uwe-e 发布日期: 乌韦·沃尔特;美国沃尔特。;U.E.沃尔特。;Uwe E.沃尔特。 更多。。。较少的 已编制索引的文档: 37出版物自1985年起 1作为编辑的贡献 合著者: 23位合著者具有29联合出版物 407位合作作者 全部的 前5名合著者 9 单作者的 6 阿德里安·拉特尔 5 哈特穆特·埃里格 5 哈拉尔德·科尼格 4 爱德华·赫尔曼·海尔 4 阿尔菲奥·马提尼 三 马丁·格罗·罗德 三 费尔南多·马西亚斯 三 亚历山德罗·罗西尼 2 安德烈亚·科拉迪尼 2 迪斯金,Zinovy 2 弗朗西斯科·杜兰 2 瑞科·赫克尔 2 Yngve拉莫 2 迈克尔·J·S·洛。 2 A.R.马提尼。 1 英戈·克莱恩 1 尤尔根·达索 1 胡安·德·拉腊 1 埃丝特·格拉 1 罗伯托·罗德里格斯·埃切韦里亚 1 克里斯托夫·舒尔茨 1 杰克·道格拉斯·斯特彻 1 米查·瓦利基 全部的 前5名系列 三 MSCS公司。计算机科学中的数学结构 三 应用的分类结构 三 程序设计中的逻辑和代数方法杂志 2 逻辑与代数程序设计杂志 1 《数学与应用》(Revue Roumaine de Mathématiques Pures et Appliques) 1 理论计算机科学 1 信息处理与控制论杂志 1 欧洲理论计算机科学协会(EATCS)公报 1 计算的形式方面 1 逻辑与计算杂志 1 IGPL逻辑杂志 1 计算机科学中的逻辑方法 1 Wissenschaftliche Zeitschrift der Technischen Hochschule Otto von Guericke技术学院 全部的 前5名领域 34 计算机科学(68至XX) 19 范畴理论;同调代数(18-XX) 14 数学逻辑和基础(03-XX) 5 一般代数系统(08-XX) 1 总体主题;集合(00-XX) 1 组合数学(05-XX) 1 阶、格、有序代数结构(06-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 25出版物有被引用75中的次43文件 引用人▼ 年份▼ MDE中版本控制的copy-modify-merge方法的形式化。 Zbl 1204.68075号 亚历山德罗·罗西尼;阿德里安·拉特尔;Yngve拉莫;乌韦·沃尔特 9 2010 图转换系统的双回拉转换和联合松散语义。 Zbl 0970.68116号 瑞科·赫克尔;哈特穆特·埃里格;乌韦·沃尔特;安德烈亚·科拉迪尼 8 2001 在MDE中规范和转换约束的正式方法。 Zbl 1246.68098号 阿德里安·拉特尔;亚历山德罗·罗西尼;Yngve拉莫;乌韦·沃尔特 8 2012 面向对象可视化建模的图表逻辑。 Zbl 1277.68055号 迪斯金,Zinovy;乌韦·沃尔特 7 2008 参数化部分规范的分类概念。 Zbl 0909.18002号 英戈·克莱恩;马丁·格罗·罗德;乌韦·沃尔特 6 1995 深度元模型的形式化。 Zbl 1342.68098号 亚历山德罗·罗西尼;胡安·德·拉腊;埃丝特·格拉;阿德里安·拉特尔;乌韦·沃尔特 4 2014 关于关联、余核和等式。 Zbl 0960.18003号 乌韦·沃尔特 三 2000 范畴理论在计算机科学代数规范领域的应用。 Zbl 0892.68064号 哈特穆特·埃里格;马丁·格罗·罗德;乌韦·沃尔特 三 1998 纤维融合、下降数据和拓扑中的Van Kampen平方。 Zbl 1394.18001号 乌韦·沃尔特;哈拉尔德·科尼格 三 2015 多级耦合模型转换用于精确和可重用的模型行为定义。 Zbl 1423.68105号 费尔南多·马西亚斯;乌韦·沃尔特;阿德里安·拉特尔;弗朗西斯科·杜兰;罗伯托·罗德里格斯·埃切韦里亚 三 2019 多级类型化图转换。 Zbl 1502.68161号 乌韦·沃尔特;费尔南多·马西亚斯;阿德里安·拉特尔 三 2020 对CSP的一个煤炭盲文介绍。 Zbl 0918.68021号 乌韦·沃尔特 2 1999 CSP、部分自动机和余代数。 Zbl 1050.68099号 乌韦·沃尔特 2 2002 抽象模型理论的纤维和索引类别。 兹伯利1133.03015 阿尔菲奥·马提尼;乌韦·沃尔特;E.赫尔曼·海尔(E.Hermann Haeusler) 2 2007 方程部分霍恩理论中演绎的代数方法。 Zbl 0724.68021号 乌韦·沃尔特 2 1991 报告语言标准的选择。 Zbl 1165.68509号 米查·瓦利基;乌韦·沃尔特;杰克·斯特彻 1 2006 集成了图形转换和时序逻辑的规范化技术。 Zbl 0951.68055号 瑞科·赫克尔;哈特穆特·埃里格;乌韦·沃尔特;安德烈亚·科拉迪尼 1 1997 在逻辑系统的世界中展现出新的光芒。 Zbl 0881.03043号 乌韦·沃尔特;阿尔菲奥·马提尼 1 1997 Gentzen公式的参数代数规范——从准自由到自由函子语义。 Zbl 0856.68098号 Löwe,迈克尔;乌韦·沃尔特 1 1995 从抽象数据类型到代数开发技术:范式的转变。 Zbl 0901.68128号 埃里格·H·。;加耶夫斯基,M。;美国沃尔特。 1 1998 机构间箭头的单一视角。 Zbl 1089.03510号 阿尔菲奥·马提尼;乌韦·沃尔特 1 1999 通过索引类别和伴随情况实现逻辑系统的统一表示。 Zbl 1362.03059号 Wolter,美国。;A.马提尼。;Häusler,E.H。 1 2015 用于图形变换的Van Kampen平方。 Zbl 1423.68233号 哈拉尔德·科尼格;Löwe,迈克尔;克里斯托夫·舒尔茨;乌韦·沃尔特 1 2014 成为普雷舍夫地形中的范坎彭是一种独特的特性。 Zbl 1433.68098号 哈拉尔德·科尼格;乌韦·沃尔特 1 2017 Hoare逻辑的索引和光纤结构。 Zbl 1495.03053号 U.E.沃尔特。;A.R.马提尼。;Häusler,E.H。 1 2020 多级类型化图转换。 兹比尔1502.68161 乌韦·沃尔特;费尔南多·马西亚斯;阿德里安·拉特尔 三 2020 Hoare逻辑的索引和光纤结构。 Zbl 1495.03053号 U.E.沃尔特。;A.R.马提尼。;Häusler,E.H。 1 2020 多级耦合模型转换用于精确和可重用的模型行为定义。 Zbl 1423.68105号 费尔南多·马西亚斯;乌韦·沃尔特;阿德里安·拉特尔;弗朗西斯科·杜兰;罗伯托·罗德里格斯·埃切韦里亚 三 2019 在预处理拓扑中成为Van Kampen是一个独特的特性。 Zbl 1433.68098号 哈拉尔德·科尼格;乌韦·沃尔特 1 2017 纤维融合、下降数据和拓扑中的Van Kampen平方。 Zbl 1394.18001号 乌韦·沃尔特;哈拉尔德·科尼格 三 2015 通过索引类别和伴随情况实现逻辑系统的统一表示。 Zbl 1362.03059号 美国沃尔特。;A.马提尼。;Häusler,E.H。 1 2015 深度元建模的形式化。 Zbl 1342.68098号 亚历山德罗·罗西尼;胡安·德·拉腊;埃丝特·格拉;阿德里安·拉特尔;乌韦·沃尔特 4 2014 用于图形变换的Van Kampen平方。 Zbl 1423.68233号 哈拉尔德·科尼格;Löwe,迈克尔;克里斯托夫·舒尔茨;乌韦·沃尔特 1 2014 在MDE中规范和转换约束的正式方法。 Zbl 1246.68098号 阿德里安·拉特尔;亚历山德罗·罗西尼;Yngve拉莫;乌韦·沃尔特 8 2012 MDE中版本控制的copy-modify-merge方法的形式化。 Zbl 1204.68075号 亚历山德罗·罗西尼;阿德里安·拉特尔;Yngve拉莫;乌韦·沃尔特 9 2010 面向对象可视化建模的图表逻辑。 Zbl 1277.68055号 迪斯金,Zinovy;乌韦·沃尔特 7 2008 抽象模型理论的纤维和索引类别。 Zbl 1133.03015号 阿尔菲奥·马提尼;乌韦·沃尔特;E.赫尔曼·海尔(E.Hermann Haeusler) 2 2007 报告语言标准的选择。 Zbl 1165.68509号 米查·瓦利基;乌韦·沃尔特;杰克·斯特彻 1 2006 CSP、部分自动机和余代数。 Zbl 1050.68099号 乌韦·沃尔特 2 2002 图转换系统的双回拉转换和联合松散语义。 兹伯利0970.68116 瑞科·赫克尔;哈特穆特·埃里格;乌韦·沃尔特;安德烈亚·科拉迪尼 8 2001 关于关联、余核和等式。 Zbl 0960.18003号 乌韦·沃尔特 三 2000 CSP的联合介绍。 兹比尔0918.68021 乌韦·沃尔特 2 1999 机构间箭头的单一视角。 Zbl 1089.03510号 阿尔菲奥·马提尼;乌韦·沃尔特 1 1999 范畴理论在计算机科学代数规范领域的应用。 Zbl 0892.68064号 哈特穆特·埃里格;马丁·格罗·罗德;乌韦·沃尔特 三 1998 从抽象数据类型到代数开发技术:范式的转变。 兹比尔0901.68128 埃里格·H·。;加耶夫斯基,M。;美国沃尔特。 1 1998 集成了图形转换和时序逻辑的规范化技术。 Zbl 0951.68055号 瑞科·赫克尔;哈特穆特·埃里格;乌韦·沃尔特;安德烈亚·科拉迪尼 1 1997 在逻辑系统的世界中展现出新的光芒。 Zbl 0881.03043号 乌韦·沃尔特;阿尔菲奥·马提尼 1 1997 参数化部分规范的分类概念。 Zbl 0909.18002号 英戈·克莱恩;马丁·格罗·罗德;乌韦·沃尔特 6 1995 Gentzen公式的参数代数规范——从准自由到自由函子语义。 Zbl 0856.68098号 Löwe,迈克尔;乌韦·沃尔特 1 1995 方程部分霍恩理论中演绎的代数方法。 Zbl 0724.68021号 乌韦·沃尔特 2 1991 所有引用出版物 前5名被引用出版物 全部的 前5名被67位作者引用 11 Uwe E.沃尔特。 7 阿德里安·拉特尔 4 安德烈亚·科拉迪尼 4 哈拉尔德·科尼格 三 胡安·德·拉腊 三 法比奥·加杜奇 三 埃丝特·格拉 三 Yngve拉莫 三 费尔南多·马西亚斯 三 亚历山德罗·罗西尼 三 卢茨施罗德 三 安娜·索科洛娃 2 菲利波·邦奇 2 弗朗西斯科·杜兰 2 爱德华·赫尔曼·海尔 2 赛义德·纳赛尔·侯赛尼 2 A.R.马提尼。 2 蒂尔·莫萨科夫斯基 2 莱拉·里贝罗 2 亚历山德拉·席尔瓦 2 安德烈·塔莱基 1 阿达梅克,吉安尼 1 亚历杭德罗·阿吉雷 1 卡尔·阿扎布 1 巴博萨、路易斯·索亚雷斯 1 巴特尔斯,福尔克 1 米歇尔·博雷尔 1 本杰明·布拉茨 1 维多利亚州玛丽亚·桑加尔 1 阿列克谢·切尔查戈 1 埃里克·P·德文克。 1 多米尼克·杜瓦尔 1 瑞希德·埃哈希德 1 哈特穆特·埃里格 1 卡斯滕·加布里埃尔 1 乌尔里克·戈拉斯 1 阿内格丽特·哈贝尔 1 米歇尔·赫伯特 1 瑞科·赫克尔 1 彼得·霍夫曼 1 胜本,Shin-ya 1 巴托克·克林 1 亚历山大·纳普 1 Jens Kosiol公司 1 谢尔盖·科瓦利约夫。 1 佐藤库拉 1 金·古德斯特兰·拉森 1 迈克尔·J·S·洛。 1 玛丽亚·艾米莉亚·梅耶蒂 1 安娜·保拉·马尔多纳多 1 路易斯·蒙泰罗 1 何塞·努诺·奥利维拉 1 普罗斯特、弗雷德里克 1 塞萨尔·罗德里格斯。 1 罗伯托·罗德里格斯·埃切韦里亚 1 马库斯·罗根巴赫 1 罗西克、吉伊 1 克里斯托夫·舒尔茨 1 夏尔·阿里·纳萨布,阿米尔·雷扎 1 吉·斯尔巴 1 杰克·道格拉斯·斯特彻 1 帕特里克·Stünkel 1 加布里埃尔·坦泽尔 1 史蒂文·维克斯 1 薛、缙云 1 Yeganeh,Leila莱拉 1 郑宇军 全部的 前5名11篇连载文章中引用 9 理论计算机科学 4 程序设计中的逻辑和代数方法杂志 三 计算的形式方面 三 MSCS公司。计算机科学中的数学结构 三 逻辑与代数程序设计杂志 2 计算机科学中的逻辑方法 1 计算 1 纯粹与应用代数杂志 1 合成 1 应用的分类结构 1 数学科学杂志(纽约) 全部的 前5名在6个字段中引用 38 计算机科学(68至XX) 15 范畴理论;同调代数(18-XX) 9 数学逻辑和基础(03-XX) 2 总体主题;集合(00-XX) 1 一般拓扑结构(54-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的引文