编辑配置文件(在新选项卡中打开) 詹·奥利弗·林格特 合著者距离 作者ID: 林格特·詹·奥利弗 发布日期: 詹·奥利弗·林格特 已编制索引的文档: 3出版物自2017年起 合著者: 7合著者具有3联合出版物 133联合作者 全部的 前5名合著者 0 单作者的 2 沙哈尔·茂兹 1 沙乌尔·阿尔马戈 1 加尔阿姆拉姆 1 伊丽莎白·菲尔曼 1 奥尔纳·库普弗曼 1 活塞,或 1 纱线维纳 系列 1 信息学报 领域 2 计算机科学(68至XX) 1 数理逻辑与基础(03-XX) 1 博弈论、经济学、金融学以及其他社会和行为科学(91-XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 三出版物有被引用8中的次7文件 引用人▼ 年份▼ 定量假设保证合成。 Zbl 1494.68156号 沙乌尔·阿尔马戈;奥尔纳·库普弗曼;詹·奥利弗·林格特;纱线维纳 4 2017 GR(1)综合和相关算法的性能启发式。 Zbl 1435.68195号 伊丽莎白·菲尔曼;沙哈尔·茂兹;詹·奥利弗·林格特 三 2020 欧米伽规则能量游戏的高效算法。 Zbl 1522.91065号 加尔阿姆拉姆;沙哈尔·茂兹;活塞,或;詹·奥利弗·林格特 1 2021 欧米伽规则能量游戏的高效算法。 Zbl 1522.91065号 加尔阿姆拉姆;沙哈尔·茂兹;活塞,或;詹·奥利弗·林格特 1 2021 GR(1)综合和相关算法的性能启发式。 Zbl 1435.68195号 伊丽莎白·菲尔曼;沙哈尔·茂兹;詹·奥利弗·林格特 三 2020 定量假设保证合成。 Zbl 1494.68156号 沙乌尔·阿尔马戈;奥尔纳·库普弗曼;Jan Oliver林格特;纱线维纳 4 2017 所有引用的出版物 前5名被引用出版物 全部的 前5名16位作者引用 三 沙哈尔·茂兹 2 加尔阿姆拉姆 2 乌迪·博克 2 活塞,或 2 詹·奥利弗·林格特 1 帕特里夏·鲍耶 1 伊丽莎白·菲尔曼 1 盖伊·赫菲茨 1 奥尔纳·库普弗曼 1 Marta Z.Kwiatkowska。 1 尼古拉斯·马基 1 巴斯蒂安·莫伯特 1 阿尼埃洛·穆拉诺 1 格钦·诺曼 1 朱塞佩·佩雷利 1 加布里埃尔·皮涅罗·阿尔维斯·桑托斯 3篇连载文章中引用 1 信息学报 1 计算的形式方面 1 ACM计算逻辑汇刊 在3个字段中引用 6 计算机科学(68至XX) 2 数理逻辑与基础(03-XX) 2 博弈论、经济学、金融学以及其他社会和行为科学(91-XX) 按年份列出的引文