编辑配置文件(在新选项卡中打开) 托尔斯滕·阿伦特 合著者距离 作者ID: 阿伦特·托尔斯滕 发布日期: 托尔斯滕·阿伦特;阿伦特,T。 已编制索引的文档: 7出版物自2014年起,包括1个附加arXiv预打印 合著者: 10位合著者具有6联合出版物 117位合作作者 全部的 前5名合著者 0 单作者的 6 加布里埃尔·坦泽尔 2 玛莎·契契克 2 安妮格雷特·哈贝尔 2 延斯·科索尔 2 内布拉斯加州纳赛尔 2 詹妮弗·普洛格 2 亨德里克·拉德克 2 朱莉娅·鲁宾 2 丹尼尔·斯特吕贝尔 1 简·斯特芬·贝克尔 1 查伦达尔和 1 我 1 周 系列 1 计算的形式方面 1 程序设计中的逻辑和代数方法杂志 字段 6 计算机科学(68至XX) 1 算子理论(47-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 5出版物有被引用18中的次14文件 引用人▼ 年份▼ 构造图变换规则的优化有效性保持应用条件。 Zbl 1429.68092号 内布拉斯加州纳赛尔;延斯·科索尔;托尔斯滕·阿伦特;加布里埃尔·坦泽尔 6 2019 将基本OCL不变量转换为专注于集合运算的嵌套图约束。 Zbl 1321.68203号 亨德里克·拉德克;托尔斯滕·阿伦特;简·斯特芬·贝克尔;安妮格雷特·哈贝尔;加布里埃尔·坦泽尔 4 2015 从核心OCL不变量到嵌套图约束。 Zbl 1423.68092号 托尔斯滕·阿伦特;安妮格雷特·哈贝尔;亨德里克·拉德克;加布里埃尔·坦泽尔 三 2014 为模型转换规则构造优化的约束保持应用条件。 Zbl 1451.68140号 内布拉斯加州纳赛尔;延斯·科索尔;托尔斯滕·阿伦特;加布里埃尔·坦泽尔 三 2020 规则合并器:基于变量的模型转换规则的自动构建。 Zbl 1378.68024号 丹尼尔·斯特吕贝尔;朱莉娅·鲁宾;托尔斯滕·阿伦特;玛莎·契契克;加布里埃尔·坦泽尔;詹妮弗·普洛格 2 2016 为模型转换规则构造优化的约束保持应用条件。 Zbl 1451.68140号 内布拉斯加州纳赛尔;延斯·科索尔;托尔斯滕·阿伦特;加布里埃尔·坦泽尔 三 2020 构造图变换规则的优化有效性保持应用条件。 Zbl 1429.68092号 内布拉斯加州纳赛尔;延斯·科索尔;托尔斯滕·阿伦特;加布里埃尔·坦泽尔 6 2019 规则合并器:基于变量的模型转换规则的自动构建。 Zbl 1378.68024号 丹尼尔·斯特吕贝尔;朱莉娅·鲁宾;托尔斯滕·阿伦特;玛莎·契契克;加布里埃尔·坦泽尔;詹妮弗·普洛格 2 2016 将基本的OCL不变量转换为专注于集合运算的嵌套图约束。 兹比尔1321.68203 亨德里克·拉德克;托尔斯滕·阿伦特;Jan Steffen Becker;安妮格雷特·哈贝尔;加布里埃尔·坦泽尔 4 2015 从核心OCL不变量到嵌套图约束。 Zbl 1423.68092号 托尔斯滕·阿伦特;安妮格雷特·哈贝尔;亨德里克·拉德克;加布里埃尔·坦泽尔 三 2014 所有引用出版物 前5名被引用出版物 全部的 前5名26位作者引用 5 加布里埃尔·坦泽尔 4 莱恩·兰伯斯 三 托尔斯滕·阿伦特 三 瑞科·赫克尔 三 延斯·科索尔 三 玛丽亚姆·加法里·萨达特 三 丹尼尔·斯特吕贝尔 2 安妮格雷特·哈贝尔 2 克里斯蒂安·桑德曼 2 斯文·施奈德 1 阿尔梅德罗斯-吉梅内斯,杰苏斯·曼努埃尔 1 简·斯特芬·贝克尔 1 尼古拉斯·贝尔 1 克里斯托弗出生 1 玛莎·契契克 1 安德烈亚·科拉迪尼 1 埃丝特·格拉 1 路易斯·伊里巴恩 1 洛佩斯·费尔南德斯 1 安吉尔·莫拉塞古拉 1 内布拉斯加州纳赛尔 1 费尔南多·奥雷贾斯 1 詹妮弗·普洛格 1 亨德里克·拉德克 1 朱莉娅·鲁宾 1 斯泰芬·兹夏勒 2篇连载文章中引用 5 程序设计中的逻辑和代数方法杂志 1 计算的形式方面 在3个字段中引用 14 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 1 总体主题;集合(00-XX) 按年份列出的引文