编辑配置文件(在新选项卡中打开) 克劳斯·迪特·施韦 合著者距离 作者ID: 谢韦·克劳斯直径计 发布日期: 克劳斯·迪特·施韦;斯科,K.-D。 已编制索引的文档: 74出版物自1985年以来,包括1本书 14作为编辑的贡献 传记参考: 1出版物 合著者: 36位合著者具有77联合出版物 666位合作作者 全部的 前5名合著者 11 单作者的 21 伯恩哈德·塔勒海姆 13 王青 12 林克,塞巴斯蒂安 11 弗拉维奥·安东尼奥·费拉罗蒂 8 阿提拉·萨利 7 斯文·哈特曼 7 Tec,Loredana公司 5 托雷斯,何塞·玛丽亚 4 马,惠 4 简·赵 三 亚明·艾特阿默尔 三 伊贡博格尔 三 塞恩·冈萨雷斯 三 Gyula O.H.卡托纳。 三 马库斯·柯希伯格 三 加博尔·拉茨 2 莎拉·本雅古布 2 利奥波多·贝尔托西。 2 安捷杜斯特赫夫特 2 托马斯·艾特 2 梅克·克莱特克 2 勒内·诺克 1 克里斯托夫·贝尔 1 米克洛斯·比罗 1 斯文·德雷克斯勒 1 塞恩·冈萨雷斯 1 安妮·霍夫曼 1 阿蒂夫·马斯科尔 1 海因里希·迈尔。 1 亚历山大·拉施克 1 费萨尔Riaz-ud-Din 1 利可宾,埃尔维尼亚 1 托尔斯滕·里普克 1 贝蒂娜·斯奎 1 阿列克谢·特雷蒂亚科夫 1 塔贾娜·韦尔泽 全部的 前5名系列 10 控制论学报 10 计算机科学课堂讲稿 8 通用计算机科学杂志 4 数学与人工智能年鉴 4 计算机基础理论 三 理论计算机科学 三 IGPL逻辑杂志 2 信息学学报 2 Informatica(卢布尔雅那) 1 信息处理信件 1 数据与知识工程 1 中欧数学杂志 1 Bonner Mathematische Schriften公司 全部的 前5名领域 86 计算机科学(68至XX) 16 数学逻辑和基础(03-XX) 14 总体主题;集合(00-XX) 2 阶、格、有序代数结构(06-XX) 2 范畴理论;同调代数(18-XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 历史和传记(01-XX) 1 组合数学(05-XX) 1 群论与推广(20-XX) 1 统计学(62-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 34出版物被引用135中的次65文件 引用人▼ 年份▼ 一篇关于同步并行计算的新论文——简化的并行ASM论文。 Zbl 1355.68087号 弗拉维奥·费拉罗蒂;克劳斯·迪特·施韦;Tec,Loredana公司;王青 11 2016 并发抽象状态机。 Zbl 1352.68176号 伯格,埃贡;克劳斯·迪特·施韦 10 2016 存在记录、列表、集合和多集合时函数依赖的公理化。 兹比尔1088.68046 斯文·哈特曼;林克,塞巴斯蒂安;克劳斯·迪特·施韦 10 2006 面向对象数据库的基本概念。 Zbl 0804.68034号 斯科,K.-D。;塔尔海姆,B。 9 1993 用于数据库转换的定制ASM论文。 Zbl 1224.68029号 克劳斯·迪特·施韦;王青 8 2010 由记录和列表构造函数生成的嵌套数据库中的函数和多值依赖项。 Zbl 1097.68553号 斯文·哈特曼;林克,塞巴斯蒂安;克劳斯·迪特·施韦 8 2006 密钥和Armstrong数据库在树中进行重组。 Zbl 1164.68335号 阿提拉·萨利;克劳斯·迪特·施韦 7 2008 在每个可能的方向上达到最小距离的代码。 Zbl 1140.94020号 Gyula O.H.卡托纳。;阿提拉·萨利;克劳斯·迪特·施韦 6 2008 反射序列算法的行为理论。 Zbl 1461.68083号 弗拉维奥·费拉罗蒂;克劳斯·迪特·施韦;Tec,Loredana公司 6 2018 切瓦利·格鲁彭(Chevalley-Gruppen)。(奇瓦利集团的特殊区块)。 Zbl 0644.20027号 克劳斯·迪特·施韦 5 1985 XML数据库转换。 Zbl 1216.68094号 克劳斯·迪特尔·舍韦;王青 5 2010 抽象状态机、合金、B、TLA、VDM和Z。第四届国际会议,2014年ABZ,法国图卢兹,2014年6月2-6日。诉讼程序。 Zbl 1288.68003号 5 2014 高阶数据模型中的弱函数依赖性。联合构造函数的情况。 Zbl 1202.68141号 斯文·哈特曼;林克,塞巴斯蒂安;克劳斯·迪特·施韦 5 2004 在列表中推理函数和多值依赖。 Zbl 1202.68142号 斯文·哈特曼;林克,塞巴斯蒂安;克劳斯·迪特·施韦 5 2004 高阶数据模型中的无抗衡键和功能依赖性。 Zbl 1101.68526号 阿提拉·萨利;克劳斯·迪特·施韦 5 2006 非确定性、并行和并发抽象状态机的统一逻辑。 Zbl 1459.03033号 弗拉维奥·费拉罗蒂;克劳斯·迪特·施韦;Tec,Loredana公司;王青 三 2018 数据库抽象状态机的完整逻辑。 Zbl 1492.68046号 弗拉维奥·费拉罗蒂;克劳斯·迪特·施韦;Tec,Loredana公司;王青 三 2017 具有DTD的XML文档的功能依赖性。 兹比尔1083.68569 斯文·哈特曼;林克,塞巴斯蒂安;克劳斯·迪特·施韦 三 2005 递归算法的行为理论。 Zbl 1497.68552号 伊贡博格尔;克劳斯·迪特·施韦 2 2020 一致性增强的算术理论。 兹比尔1065.68066 林克,塞巴斯蒂安;克劳斯·迪特·施韦 2 2002 在转换规范的背景下用于完整性维护的规则触发系统的限制。 Zbl 0907.68068号 克劳斯·迪特·施韦;伯恩哈德·塔勒海姆 2 1998 走向一致性执行理论。 Zbl 0927.68056号 克劳斯·迪特·施韦;伯恩哈德·塔勒海姆 2 1999 舞蹈设计的可实现性。 Zbl 1462.68127号 克劳斯·迪特·施韦;雅敏阿伊特阿默尔;莎拉·本雅古布 2 2020 面向抽象元有限状态机的逻辑。 Zbl 1138.68397号 王青;克劳斯·迪特·施韦 1 2008 公理化高阶实体关系模型中的函数依赖。 Zbl 1161.68421号 斯文·哈特曼;安妮·霍夫曼;林克,塞巴斯蒂安;克劳斯·迪特·施韦 1 2003 完整的概念模式代数。 Zbl 1269.68049号 马,惠;勒内·诺克;克劳斯·迪特尔·舍韦;伯恩哈德·塔勒海姆;王青 1 2013 非确定性并行抽象状态机的逻辑。 Zbl 1475.68128号 弗拉维奥·费拉罗蒂;克劳斯·迪特·施韦;Tec,Loredana公司;王青 1 2016 OODB建模中的类型概念及其逻辑含义。 Zbl 0970.68051号 克劳斯·迪特尔·舍韦 1 2000 一致性执行理论中的可计算性和可判定性问题。 Zbl 0970.68099号 链接,S。;斯科,K.-D。 1 2001 具有部分顺序运行的分布式ASM的特征。 Zbl 1497.68174号 伊贡博格尔;克劳斯·迪特·施韦 1 2020 反射式ASM的逻辑。 Zbl 1497.68177号 克劳斯·迪特·施韦;弗拉维奥·费拉罗蒂 1 2020 Dijkstra演算对类型化程序规范的推广。 Zbl 0949.68102号 克劳斯·迪特·施韦;伯恩哈德·塔勒海姆 1 1999 数据库中的语义。 Zbl 1017.68508号 利奥波多·贝托西;Gyula O.H.卡托纳。;克劳斯·迪特·施韦;伯恩哈德·塔勒海姆 1 2003 数据和知识库中的语义。 Zbl 1165.68396号 克劳斯·迪特·施韦;伯恩哈德·塔勒海姆 1 2008 递归算法的行为理论。 Zbl 1497.68552号 伊贡博格尔;克劳斯·迪特尔·舍韦 2 2020 舞蹈设计的可实现性。 Zbl 1462.68127号 克劳斯·迪特·施韦;雅敏阿伊特阿默尔;莎拉·本雅古布 2 2020 具有部分顺序运行的分布式ASM的特征。 Zbl 1497.68174号 伊贡博格尔;克劳斯·迪特尔·舍韦 1 2020 反射式ASM的逻辑。 Zbl 1497.68177号 克劳斯·迪特尔·舍韦;弗拉维奥·费拉罗蒂 1 2020 反射序列算法的行为理论。 Zbl 1461.68083号 弗拉维奥·费拉罗蒂;克劳斯·迪特·施韦;Tec,Loredana公司 6 2018 非确定性、并行和并发抽象状态机的统一逻辑。 Zbl 1459.03033号 弗拉维奥·费拉罗蒂;克劳斯·迪特·施韦;Tec,Loredana公司;王青 三 2018 数据库抽象状态机的完整逻辑。 Zbl 1492.68046号 弗拉维奥·费拉罗蒂;克劳斯·迪特·施韦;Tec,Loredana公司;王青 三 2017 一篇关于同步并行计算的新论文——简化的并行ASM论文。 Zbl 1355.68087号 弗拉维奥·费拉罗蒂;克劳斯·迪特·施韦;Tec,Loredana公司;王青 11 2016 并发抽象状态机。 Zbl 1352.68176号 伊贡博格尔;克劳斯·迪特·施韦 10 2016 一种用于非确定性并行抽象状态机的逻辑。 Zbl 1475.68128号 弗拉维奥·费拉罗蒂;克劳斯·迪特·施韦;Tec,Loredana公司;王青 1 2016 抽象状态机、合金、B、TLA、VDM和Z。第四届国际会议,2014年ABZ,法国图卢兹,2014年6月2-6日。诉讼程序。 Zbl 1288.68003号 5 2014 完整的概念模式代数。 Zbl 1269.68049号 马辉;勒内·诺克;克劳斯·迪特·施韦;伯恩哈德塔尔海姆;王青 1 2013 用于数据库转换的定制ASM论文。 Zbl 1224.68029号 克劳斯·迪特·施韦;王青 8 2010 XML数据库转换。 Zbl 1216.68094号 克劳斯·迪特·施韦;王青 5 2010 密钥和Armstrong数据库在树中进行重组。 Zbl 1164.68335号 阿提拉·萨利;克劳斯·迪特·施韦 7 2008 在每个可能的方向上达到最小距离的代码。 Zbl 1140.94020号 Gyula O.H.卡托纳。;阿提拉·萨利;克劳斯·迪特·施韦 6 2008 面向抽象元有限状态机的逻辑。 Zbl 1138.68397号 王青;克劳斯·迪特·施韦 1 2008 数据和知识库中的语义。 Zbl 1165.68396号 克劳斯·迪特·施韦;伯恩哈德·塔勒海姆 1 2008 存在记录、列表、集合和多集合时函数依赖的公理化。 Zbl 1088.68046号 斯文·哈特曼;林克,塞巴斯蒂安;克劳斯·迪特尔·舍韦 10 2006 由记录和列表构造函数生成的嵌套数据库中的函数和多值依赖项。 Zbl 1097.68553号 斯文·哈特曼;林克,塞巴斯蒂安;克劳斯·迪特·施韦 8 2006 高阶数据模型中的无抗衡键和功能依赖性。 Zbl 1101.68526号 阿提拉·萨利;克劳斯·迪特尔·舍韦 5 2006 具有DTD的XML文档的功能依赖性。 Zbl 1083.68569号 斯文·哈特曼;林克,塞巴斯蒂安;克劳斯·迪特·施韦 三 2005 高阶数据模型中的弱函数依赖性。联合构造函数的情况。 Zbl 1202.68141号 斯文·哈特曼;林克,塞巴斯蒂安;克劳斯·迪特·施韦 5 2004 在列表中推理函数和多值依赖。 Zbl 1202.68142号 斯文·哈特曼;林克,塞巴斯蒂安;克劳斯·迪特·施韦 5 2004 公理化高阶实体关系模型中的函数依赖。 Zbl 1161.68421号 斯文·哈特曼;安妮·霍夫曼;林克,塞巴斯蒂安;克劳斯·迪特·施韦 1 2003 数据库中的语义。 Zbl 1017.68508号 利奥波多·贝托西;Gyula O.H.卡托纳。;克劳斯·迪特·施韦;伯恩哈德·塔勒海姆 1 2003 一致性增强的算术理论。 兹比尔1065.68066 林克,塞巴斯蒂安;克劳斯·迪特·施韦 2 2002 一致性执行理论中的可计算性和可判定性问题。 Zbl 0970.68099号 链接,S。;斯科,K.-D。 1 2001 OODB建模中的类型概念及其逻辑含义。 Zbl 0970.68051号 克劳斯·迪特尔·舍韦 1 2000 走向一致性执行理论。 Zbl 0927.68056号 克劳斯·迪特尔·舍韦;伯恩哈德·塔勒海姆 2 1999 Dijkstra演算对类型化程序规范的推广。 Zbl 0949.68102号 克劳斯·迪特·施韦;伯恩哈德塔尔海姆 1 1999 转换规范中完整性维护的规则触发系统的局限性。 Zbl 0907.68068号 克劳斯·迪特·施韦;伯恩哈德·塔勒海姆 2 1998 面向对象数据库的基本概念。 Zbl 0804.68034号 斯科,K.-D。;塔尔海姆,B。 9 1993 切瓦利·格鲁彭(Chevalley-Gruppen)。(奇瓦利集团的特殊区块)。 Zbl 0644.20027号 克劳斯·迪特·施韦 5 1985 所有引用出版物 前5名被引用出版物 全部的 前5名77位作者引用 19 林克,塞巴斯蒂安 19 克劳斯·迪特·施韦 10 斯文·哈特曼 8 弗拉维奥·安东尼奥·费拉罗蒂 6 王青 5 阿提拉·萨利 4 亨宁·科勒 4 Tec,Loredana公司 三 伊贡博格尔 2 约阿希姆·比斯库普 2 阿尔特·布洛奎斯 2 克里斯蒂亚,马克西米利亚诺 2 梅诺夫·盖克 2 塞恩·冈萨雷斯 2 吉安弗兰科·罗西 2 拉兹洛·塞凯利。 2 伯恩哈德塔尔海姆 2 托雷斯,何塞·玛丽亚 2 米利斯特·W·文森特。 1 亚明·艾特阿默尔 1 Amani,西德尼 1 西田Balamuralirishna 1 András A.Benczur。 1 莎拉·本雅古布 1 布鲁沃,安德里斯·埃弗特 1 马克·卡班斯 1 安德烈·卡利 1 陈子林 1 巴勃罗·科德罗 1 佩雷斯·德古兹曼(Pérez de Guzmán),英马特拉达 1 米尔科·迪马蒂诺。 1 巴里·伊格尔斯通 1 米歇尔·恩格哈德 1 阿兰·芬克尔 1 弗雷德里克·加瓦 1 卡洛斯·格雷戈里奥·罗德里格斯 1 詹姆斯·威廉·彼得·赫施菲尔德 1 格哈德·希斯 1 安妮·霍夫曼 1 文森特·杰克逊 1 江英南 1 迪特尔·荣尼尼 1 Leonid A.Kalinichenko。 1 肯·卡内瓦 1 Gyula O.H.卡托纳。 1 加布里埃尔·科妮莉亚·凯勒 1 拉德哈·凯萨尔 1 格温·克莱恩 1 科加洛夫斯基,M.R。 1 乌韦·莱克 1 李,秦 1 刘继雪 1 路易斯·拉纳 1 艾蒂安·洛兹 1 冈特·马勒 1 尤恩·马奎尔 1 拉斐尔·加西亚·马丁内斯 1 伊恩·米尔斯 1 穆克什·K·莫哈尼亚。 1 安杰尔·莫拉 1 托比·默里 1 帕维尔·G·瑙莫夫。 1 马蒂亚斯·尼维斯 1 利亚姆·奥康纳 1 亚历山大·波洛瓦西利斯 1 亨利·普拉德。 1 安德烈亚斯·普林茨 1 克里斯汀·里兹卡拉 1 肯·佐藤 1 托马斯·施温蒂克 1 托马斯·D·休厄尔。 1 格雷姆·史密斯 1 奥夫·Sörensen 1 Gyula I·萨博。 1 陶,贾 1 约瑟夫·阿道夫·塔斯 1 彼得·T·伍德。 全部的 前5名26连载 5 理论计算机科学 5 数学与人工智能年鉴 三 信息学学报 2 代数杂志 2 自动推理杂志 2 设计、代码和密码 2 程序设计中的逻辑和代数方法杂志 1 信息处理信件 1 数学档案馆 1 模糊集与系统 1 信息科学 1 数学发明 1 计算机与系统科学杂志 1 编程和计算机软件 1 纯逻辑与应用逻辑年鉴 1 国际智能系统杂志 1 计算的形式方面 1 国际计算机科学基础杂志 1 国际计算机数学杂志 1 函数编程杂志 1 计算系统理论 1 数学年鉴。第二系列 1 计算机基础理论 1 中欧数学杂志 1 应用逻辑杂志 1 计算机科学中的逻辑方法 全部的 前5名在9个字段中引用 58 计算机科学(68至XX) 16 数学逻辑和基础(03-XX) 6 信息与通信理论、电路(94-XX) 5 群论与推广(20-XX) 1 总体主题;集合(00-XX) 1 组合数学(05-XX) 1 阶、格、有序代数结构(06-XX) 1 范畴理论;同调代数(18-XX) 1 几何图形(51至XX) 按年份列出的引文