编辑配置文件(在新选项卡中打开) 杰雷米·莱登特 合著者距离 作者ID: 发光二极管 发布日期: 杰雷米·莱登特 已编制索引的文档: 15出版物自2017年起,包括1个附加arXiv预打印 合著者: 13合著者具有14联合出版物 420位合作作者 全部的 前5名合著者 1 单作者的 8 埃里克·古堡 6 塞尔吉奥·拉杰斯鲍姆 3 尼尔·加尼 3 玛丽亚娜·拉齐奇 3 弗雷德里克·诺德瓦尔·福斯伯格 2 马泰奥·卡布奇 2 马丁·霍夫曼 2 克莱门斯·库普克 2 塞缪尔·米姆拉姆 1 罗伯特·艾奇 1 布鲁诺加夫拉诺维奇 1 罗马人科尼亚泽夫 1 汉斯·皮特·范·迪特马什 系列 1 信息与计算 1 MSCS公司。计算机科学中的数学结构 1 程序设计中的逻辑和代数方法杂志 全部的 前5名领域 11 计算机科学(68至XX) 5 数学逻辑和基础(03-XX) 4 范畴理论;同调代数(18-XX) 2 代数拓扑(55-XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 流形和细胞复合体(57至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 10出版物有被引用24中的次18文件 引用人▼ 年份▼ 用于研究分布式任务可计算性的动态认知逻辑的简单复杂模型。 Zbl 1497.03032号 埃里克·古堡;杰雷米·莱登特;塞尔吉奥·拉杰斯鲍姆 5 2021 平等否定任务的动态认知逻辑分析。 Zbl 1496.03072号 埃里克·古堡;玛丽亚娜·拉齐奇;杰雷米·莱登特;塞尔吉奥·拉杰斯鲍姆 3 2020 并发规范超出线性化能力。 Zbl 07561456号 埃里克·古堡;杰雷米·莱登特;塞缪尔·米姆拉姆 3 2019 平等否定和其他认知覆盖任务的动态认知逻辑分析。 Zbl 1502.68195号 汉斯·范·迪特马什;埃里克·古堡;玛丽亚娜·拉齐奇;杰雷米·莱登特;塞尔吉奥·拉杰斯鲍姆 3 2021 用于研究分布式任务可计算性的动态认知逻辑的简单复杂模型。 Zbl 1498.03045号 埃里克·古堡;杰雷米·莱登特;塞尔吉奥·拉杰斯鲍姆 3 2018 用于高阶模型检查的笛卡尔闭范畴。 Zbl 1460.68061号 马丁·霍夫曼;杰雷米·莱登特 3 2017 无限视界广泛形式的博弈,联合。 Zbl 07722654号 马泰奥·卡布奇;尼尔·加尼;克莱门斯·库普克;杰雷米·莱登特;弗雷德里克·诺德瓦尔·福斯伯格 1 2023 等式否定任务的无等待可解性。 兹比尔1515.68141 埃里克·古堡;玛丽亚娜·拉齐奇;杰雷米·莱登特;塞尔吉奥·拉杰斯鲍姆 1 2019 任务可解性拓扑方法的良好基础。 Zbl 07649942号 杰雷米·莱登特;塞缪尔·米姆拉姆 1 2019 合成博弈论,合成。 Zbl 1480.91052号 罗伯特·艾奇;布鲁诺加夫拉诺维奇;尼尔·加尼;克莱门斯·库普克;杰雷米·莱登特;弗雷德里克·诺德瓦尔·福斯伯格 1 2021 无限视界广泛形式的博弈,联合。 Zbl 07722654号 马泰奥·卡布奇;尼尔·加尼;克莱门斯·库普克;杰雷米·莱登特;弗雷德里克·诺德瓦尔·福斯伯格 1 2023 用于研究分布式任务可计算性的动态认知逻辑的简单复杂模型。 Zbl 1497.03032号 埃里克·古堡;杰雷米·莱登特;塞尔吉奥·拉杰斯鲍姆 5 2021 平等否定和其他认知覆盖任务的动态认知逻辑分析。 Zbl 1502.68195号 汉斯·范·迪特马什;埃里克·古堡;玛丽亚娜·拉齐奇;杰雷米·莱登特;塞尔吉奥·拉杰斯鲍姆 3 2021 成分博弈论,成分。 Zbl 1480.91052号 罗伯特·艾奇;布鲁诺加夫拉诺维奇;尼尔·加尼;克莱门斯·库普克;杰雷米·莱登特;弗雷德里克·诺德瓦尔·福斯伯格 1 2021 平等否定任务的动态认知逻辑分析。 Zbl 1496.03072号 埃里克·古堡;玛丽亚娜·拉齐奇;杰雷米·莱登特;塞尔吉奥·拉杰斯鲍姆 3 2020 并发规范超出线性化能力。 Zbl 07561456号 埃里克·古堡;杰雷米·莱登特;塞缪尔·米姆拉姆 3 2019 等式否定任务的无等待可解性。 兹比尔1515.68141 埃里克·古堡;玛丽亚娜·拉齐奇;杰雷米·莱登特;塞尔吉奥·拉杰斯鲍姆 1 2019 任务可解性拓扑方法的良好基础。 Zbl 07649942号 杰雷米·莱登特;塞缪尔·米姆拉姆 1 2019 用于研究分布式任务可计算性的动态认知逻辑的简单复杂模型。 Zbl 1498.03045号 埃里克·古堡;杰雷米·莱登特;塞尔吉奥·拉杰斯鲍姆 3 2018 用于高阶模型检查的笛卡尔闭范畴。 Zbl 1460.68061号 马丁·霍夫曼;杰雷米·莱登特 3 2017 所有引用出版物 前5名被引用出版物 全部的 前5名50位作者引用 4 汉斯·皮特·范·迪特马什 3 阿曼多·卡斯塔涅达 3 杰雷米·莱登特 3 塞尔吉奥·拉杰斯鲍姆 2 布鲁诺加夫拉诺维奇 2 埃里克·古堡 1 费德里科·巴蒂斯顿 1 古拉姆·贝扎尼什维利 1 Bezhanishvili,尼克 1 克里斯蒂安·卡钦 1 马泰奥·卡布奇 1 朱利亚·塞塞蒂 1 杰弗里·S·H·克鲁特韦尔。 1 马尔科·艾尔斯 1 塞尔达尔·埃尔巴图尔 1 尼尔·加尼 1 马修·黑格 1 朱尔斯·赫奇斯 1 Aurélie胡罗 1 伊阿科皮尼,伊阿科波 1 吉勒姆·贾伯 1 罗马库兹涅茨 1 维托·拉托拉 1 玛丽亚娜·拉齐奇 1 大卫·莱纳 1 米歇尔·洛雷蒂 1 马克西姆·卢卡斯 1 卢塞罗·布莱恩,乔尔·格雷戈里 1 Severin Meier 1 罗兰·梅耶 1 塞缪尔·米姆拉姆 1 彼得·米勒 1 塞巴斯蒂安·穆斯卡拉 1 爱丽丝·巴塔尼亚 1 乔瓦尼·佩特里 1 米歇拉·夸迪尼 1 菲利普·奎因内克 1 Rojo,Randrianomentsoa 1 米歇尔·雷纳尔 1 科林·里巴 1 埃吉尔·弗杰尔德格伦·里舍尔 1 David A.Rosenblueth。 1 罗伊,马蒂厄 1 托马斯·施图德 1 范·密尔,简 1 Diego A.Velázquez。 1 保罗·W·威尔逊。 1 年轻,Jean-Gabriel 1 尤根·兹利内斯库 1 法比奥·扎纳西 全部的 前5名7篇连载文章中引用 2 信息与计算 2 计算机科学中的逻辑方法 1 物理报告 1 哲学逻辑杂志 1 分布式计算 1 符号逻辑公报 1 程序设计中的逻辑和代数方法杂志 全部的 前5名13个领域引用 13 计算机科学(68至XX) 9 数学逻辑和基础(03-XX) 3 范畴理论;同调代数(18-XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 组合数学(05-XX) 1 动力系统和遍历理论(37至XX) 1 一般拓扑结构(54至XX) 1 代数拓扑(55-XX) 1 流形和细胞复合体(57至XX) 1 概率论与随机过程(60-XX) 1 统计力学,物质结构(82-XX) 1 运筹学、数学规划(90-XX) 1 系统论;控制(93至XX) 按年份列出的引文