编辑配置文件(在新选项卡中打开) 克劳迪娅·卡拉佩尔 合著者距离 作者ID: 月桂珊瑚 发布日期: 克劳迪娅·卡拉佩尔 编入索引的文档: 9出版物自2013年起 合著者: 6位合著者具有9联合出版物 111位Co-Co作者 全部的 前5名合著者 0 单作者的 5 冯世光 5 马库斯·洛伊 4 亚历山大·卡尔佐夫 3 奥利弗·费尔南德斯·吉尔 3 卡琳·夸斯 1 安妮·亚斯敏(Anni-Yasmin Turhan) 系列 1 计算机与系统科学杂志 1 计算系统理论 1 ACM计算逻辑事务 领域 8 数学逻辑和基础(03-XX) 5 计算机科学(68至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 8出版物有被引用19中的次11文件 引用人▼ 年份▼ 具有树约束的\(\mathsf{ECTL}^*\)的可满足性。 Zbl 1435.03039号 克劳迪娅·卡拉佩尔;冯世光;亚历山大·卡尔佐夫;马库斯·洛伊 5 2015 带约束的\(\mathrm{CTL}^{*}\)的可满足性。 Zbl 1391.03017号 克劳迪娅·卡拉佩尔;亚历山大·卡尔佐夫;马库斯·洛伊 4 2013 一般TBox的描述逻辑推理对于具有EHD属性的具体领域是可判定的。 Zbl 1403.68255号 克劳迪娅·卡拉佩尔;安妮·亚斯敏(Anni-Yasmin Turhan) 3 2016 具有局部树约束的\(\mathrm{ECTL}^*\)的可满足性。 Zbl 1435.03040号 克劳迪娅·卡拉佩尔;冯世光;亚历山大·卡尔佐夫;马库斯·洛伊 2 2017 带约束的\(\operatorname{ECTL}^\ast\)的可满足性。 Zbl 1358.03032号 克劳迪娅·卡拉佩尔;亚历山大·卡尔佐夫;马库斯·洛伊 2 2016 非单调数据字上MTL和TPTL的可满足性。 Zbl 1407.68284号 克劳迪娅·卡拉佩尔;冯世光;Fernández Gil,奥利弗;卡琳·夸斯 1 2014 关于TPTL和MTL在(omega)数据词上的表达能力。 Zbl 1464.68159号 克劳迪娅·卡拉佩尔;冯世光;奥利弗·费尔南德斯·吉尔;卡琳·夸斯 1 2014 具有本地约束的时间逻辑(受邀演讲)。 兹比尔1373.03020 克劳迪娅·卡拉佩尔;马库斯·洛伊 1 2015 具有局部树约束的\(\mathrm{ECTL}^*\)的可满足性。 Zbl 1435.03040号 克劳迪娅·卡拉佩尔;冯世光;亚历山大·卡尔佐夫;马库斯·洛伊 2 2017 一般TBox的描述逻辑推理对于具有EHD属性的具体领域是可判定的。 Zbl 1403.68255号 克劳迪娅·卡拉佩尔;安妮·亚斯敏(Anni-Yasmin Turhan) 3 2016 带约束的\(\operatorname{ECTL}^\ast\)的可满足性。 Zbl 1358.03032号 克劳迪娅·卡拉佩尔;亚历山大·卡尔佐夫;马库斯·洛伊 2 2016 具有树约束的\(\mathsf{ECTL}^*\)的可满足性。 Zbl 1435.03039号 克劳迪娅·卡拉佩尔;冯世光;亚历山大·卡尔佐夫;马库斯·洛伊 5 2015 具有本地约束的时间逻辑(受邀演讲)。 Zbl 1373.03020号 克劳迪娅·卡拉佩尔;马库斯·洛伊 1 2015 非单调数据字上MTL和TPTL的可满足性。 Zbl 1407.68284号 克劳迪娅·卡拉佩尔;冯世光;Fernández Gil,奥利弗;卡琳·夸斯 1 2014 关于TPTL和MTL在(omega)数据词上的表达能力。 Zbl 1464.68159号 克劳迪娅·卡拉佩尔;冯世光;奥利弗·费尔南德斯·吉尔;卡琳·夸斯 1 2014 带约束的\(\mathrm{CTL}^{*}\)的可满足性。 Zbl 1391.03017号 克劳迪娅·卡拉佩尔;亚历山大·卡尔佐夫;马库斯·洛伊 4 2013 所有引用出版物 前5名被引用出版物 全部的 前5名18位作者引用 4 马库斯·洛伊 3 弗兰兹·巴德 3 克劳迪娅·卡拉佩尔 3 冯世光 3 亚历山大·卡尔佐夫 3 雅库布·里德瓦尔 1 贝内迪克特·布吕奇 1 莱奥·埃克巴德 1 保罗·费利 1 艾曼纽·菲利奥特 1 阿伊拉特·哈利莫夫 1 巴托克·克林 1 帕特里克·兰德威尔 1 Łełyk,马特乌斯·兹比格尼尤 1 马可·蒙塔利 1 卡琳·夸斯 1 沃尔夫冈·托马斯 1 莎拉·温克勒 引用于5个系列 1 计算机与系统科学杂志 1 自动推理杂志 1 系统设计中的形式化方法 1 计算系统理论 1 计算机科学中的逻辑方法 在2个字段中引用 9 计算机科学(68至XX) 6 数学逻辑和基础(03-XX) 按年份列出的引文