编辑配置文件(在新选项卡中打开) 斯特凡·贾克斯 合著者距离 作者ID: 贾克斯·斯特凡 发布日期: 斯特凡·贾克斯 已编制索引的文档: 10出版物自2016年起 合著者: 12位合著者具有10联合出版物 269名Co-Co作者 全部的 前5名合著者 0 单作者的 8 哈维尔·埃斯帕尔扎 6 迈克尔·布隆丁 2 菲利普·梅耶(Philipp J.Meyer)。 1 菲利普·泽纳 1 布莱斯·基内斯特 1 马丁·海弗里奇 1 斯特凡·基弗 1 简·Křetínsk 1 安东宁·库切拉 1 米哈伊尔·拉斯金 1 所罗门·西克特 1 查纳·韦尔·肯尼迪 系列 1 分布式计算 1 系统设计中的形式化方法 领域 10 计算机科学(68至XX) 1 数理逻辑与基础(03-XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 8出版物有被引用55中的次39文件 引用人▼ 年份▼ 线性时序逻辑的极限确定Büchi自动机。 Zbl 1411.68054号 所罗门·西克特;哈维尔·埃斯帕尔扎;斯特凡·贾克斯;简·Křetínsk 21 2016 大群小鸟:按人口协议的最小规模。 Zbl 1487.68030号 迈克尔·布隆丁;哈维尔·埃斯帕尔扎;斯特凡·贾克斯 13 2018 Presburger算法的简洁人口协议。 Zbl 07650925号 迈克尔·布隆丁;哈维尔·埃斯帕尔扎;布莱斯·基内斯特;马丁·海弗里奇;斯特凡·贾克斯 6 2020 致力于人口协议的有效验证。 Zbl 1380.68037号 迈克尔·布隆丁;哈维尔·埃斯帕尔扎;斯特凡·贾克斯;菲利普·梅耶(Philipp J.Meyer)。 4 2017 广播共识协议的表达能力。 Zbl 07649939号 迈克尔·布隆丁;哈维尔·埃斯帕尔扎;斯特凡·贾克斯 4 2019 验证总体协议的复杂性。 Zbl 1522.68065号 哈维尔·埃斯帕尔扎;斯特凡·贾克斯;米哈伊尔·拉斯金;查纳·韦尔·肯尼迪 4 2021 关于仿射可达性问题。 兹伯利07559419 斯特凡·贾克斯;斯特凡·基弗 2 2020 黑暗中的黑忍者:人口协议的正式分析。 Zbl 1487.68031号 迈克尔·布隆丁;哈维尔·埃斯帕尔扎;斯特凡·贾克斯;安东·库切拉 1 2018 验证总体协议的复杂性。 Zbl 1522.68065号 哈维尔·埃斯帕尔扎;斯特凡·贾克斯;米哈伊尔·拉斯金;查纳·韦尔·肯尼迪 4 2021 Presburger算法的简洁人口协议。 Zbl 07650925号 迈克尔·布隆丁;哈维尔·埃斯帕尔扎;布莱斯·基内斯特;马丁·海弗里奇;斯特凡·贾克斯 6 2020 关于仿射可达性问题。 Zbl 07559419号 斯特凡·贾克斯;斯特凡·基弗 2 2020 广播共识协议的表达能力。 Zbl 07649939号 迈克尔·布隆丁;哈维尔·埃斯帕尔扎;斯特凡·贾克斯 4 2019 大群小鸟:按人口协议的最小规模。 Zbl 1487.68030号 迈克尔·布隆丁;哈维尔·埃斯帕尔扎;斯特凡·贾克斯 13 2018 黑暗中的黑忍者:人口协议的形式分析。 Zbl 1487.68031号 迈克尔·布隆丁;哈维尔·埃斯帕尔扎;斯特凡·贾克斯;安东·库切拉 1 2018 致力于人口协议的有效验证。 Zbl 1380.68037号 迈克尔·布隆丁;哈维尔·埃斯帕尔扎;斯特凡·贾克斯;菲利普·梅耶(Philipp J.Meyer)。 4 2017 线性时序逻辑的极限确定Büchi自动机。 Zbl 1411.68054号 所罗门·西克特;哈维尔·埃斯帕尔扎;斯特凡·贾克斯;简·Křetínsk 21 2016 所有引用的出版物 前5名被引用出版物 全部的 前5名69位作者引用 9 哈维尔·埃斯帕尔扎 4 菲利普·泽纳 4 所罗门·西克特 三 斯特凡·贾克斯 三 奥尔纳·库普弗曼 三 米哈伊尔·拉斯金 三 查纳·韦尔·肯尼迪 2 亚历山德罗·阿巴特 2 克里斯特尔·拜尔 2 迈克尔·布隆丁 2 恩斯特·莫里茨·哈恩 2 迪利普·拉古纳特·基尼 2 简·Křetínsk 2 丹尼尔·科宁 2 李勇 2 菲利普·梅耶(Philipp J.Meyer)。 2 米勒(David I。 2 马特奥·佩雷斯 2 巴德·阿布·拉迪 2 斯文·舍韦 2 法比奥·萨蒙齐 2 阿舒托什·特里维迪 2 马赫什·维斯瓦纳坦 2 多米尼克·沃伊特扎克 2 张丽君 1 阿布·拉迪·巴德 1 詹姆斯·阿斯彭斯 1 弗兰兹·巴德 1 Balasubramanian,A.R。 1 朱利安·布伦纳 1 陈玉芳 1 达塔,普拉提语 1 拉塔·杜塔 1 冯伟志 1 皮埃尔·甘蒂 1 露西·古鲁 1 罗兰·古腾堡 1 霍森·哈桑贝格 1 穆罕默德·哈桑贝格 1 马丁·海弗里奇 1 霍恩,弗洛里安 1 西蒙·扬奇 1 托拜厄斯·约翰 1 斯特凡·基弗 1 约阿希姆·克莱因 1 克吕佩尔霍尔茨,萨沙 1 Ko、Sang-Ki 1 亚历山大·科扎钦斯基 1 安东宁·库切拉 1 杰罗姆·勒鲁 1 刘德鹏 1 克里斯托夫·Löding 1 迈克尔·卢滕伯格 1 鲁帕克·马朱姆达尔 1 托拜厄斯·梅根多夫 1 苏拉夫·穆霍帕德海伊 1 Yutaka长岛 1 雷诺·尼斯卡宁 1 安东·皮罗戈夫 1 伊戈尔·波塔波夫 1 让-弗朗索瓦·拉斯金 1 雅库布·里德瓦尔 1 阿诺德·桑尼尔 1 塞德尔,贝内迪克特 1 安德烈亚·图里尼 1 莫西·亚亚科夫·瓦尔迪 1 克拉拉·沃尔德曼 1 马克西米利安·威宁格 1 詹姆斯·沃雷尔。 全部的 前5名8篇连载文章中引用 三 计算机与系统科学杂志 三 信息与计算 2 信息学报 2 分布式计算 1 人工智能 1 理论计算机科学 1 系统设计中的形式化方法 1 计算机科学中的逻辑方法 全部的 前5名在6个字段中引用 38 计算机科学(68至XX) 7 数理逻辑与基础(03-XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 动力系统和遍历理论(37至XX) 1 运筹学、数学规划(90-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文