编辑配置文件（在新选项卡中打开） 约瑟夫·威德 合著者距离 作者ID： 宽度.jsef 发布日期： 约瑟夫·威德;威德尔，J。 外部链接： ORCID公司 已编制索引的文档： 33出版物自1992年以来，包括1本书 1名编辑贡献 合著者： 37位合著者具有33联合出版物 573合著作者 全部的 前5名合著者 1 单作者的 17 伊戈尔·康诺夫（Igor V.Konnov）。 9 赫尔穆特·维思 7 玛丽亚娜·拉齐奇 4 Nathalie Bertrand 4 伯纳黛特·查伦·博斯特 4 乌尔里希·施密德 4 伊利娜·斯托尔科夫斯卡 三 马丁·胡特 三 弗洛里安·祖勒格 2 比莉，马丁 2 罗德里克·布洛姆 2 塞萨拉·德拉戈伊 2 马蒂亚斯·福格尔 2 安托万·盖拉德 2 萨沙·鲁宾 2 詹妮弗·伦德利乌斯·韦尔奇 1 本杰明·阿米诺夫 1 Jean-Paul布兰夸特 1 安德烈·达米安 1 阿努·格梅纳 1 文森特·格拉莫利 1 格伦特·格里德林 1 托马斯·亨辛格（Thomas A.Henzinger）。 1 瑞典雅各布斯 1 阿伊拉特·哈利莫夫 1 朱尔·库科维奇 1 Kyung，C.M.先生。 1 亚历山大·米利塔鲁 1 迪特尔·姆林斯基（Dieter A.Mlynski）。 1 安德烈·希珀 1 斯帕拉齐，卢卡 1 弗朗西斯科·斯佩尼 1 皮埃尔·索罗尼亚特 1 托马斯，巴斯蒂安 1 Tran，清海 1 贝蒂娜·韦斯 1 达米恩·祖弗里 全部的 前5名系列 三 分布式计算 2 计算机科学中的逻辑方法 1 信息处理信函 1 SIAM计算机杂志 1 信息与计算 1 CAD。计算机辅助设计 1 系统设计中的形式化方法 1 ACM算法事务 1 LIPIcs–莱布尼茨国际信息学会议录 1 分布式计算理论综合讲座 全部的 前5名领域 34 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 1 一般性和全局性主题；集合（00-XX） 1 组合数学（05-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 28出版物有被引用193中的次82文件 引用人▼ 年份▼ 参数化验证的可决定性。 Zbl 1400.68006号 罗德里克·布洛姆;瑞典雅各布斯;阿伊拉特·哈利莫夫;伊戈尔·康诺夫;萨沙·鲁宾;赫尔穆特·维思;约瑟夫·威德 38 2015 容错分布式算法安全性和活性验证的简短反例属性。 Zbl 1380.68278号 伊戈尔·康诺夫;玛丽亚娜·拉齐奇;赫尔穆特·维思;约瑟夫·威德 14 2017 容忍损坏的通信。 Zbl 1283.68079号 比莉，马丁;约瑟夫·威德;伯纳黛特·查伦·博斯特;安托万·盖拉德;马丁·胡特;安德烈·希珀 13 2007 用于验证一致性算法的基于逻辑的框架。 Zbl 1428.68371号 塞扎拉·奥盖医生;托马斯·亨辛格（Thomas A.Henzinger）。;赫尔穆特·维思;约瑟夫·威德;达米安·祖弗里 12 2014 关于基于阈值的分布式算法的有界模型检查的完备性：可达性。 Zbl 1355.68176号 伊戈尔·康诺夫;赫尔穆特·维思;约瑟夫·维德 11 2017 SMT和POR拍计数器抽象：基于阈值的分布式算法的参数化模型检查。 Zbl 1381.68172号 伊戈尔·科诺夫;赫尔穆特·维思;约瑟夫·威德 11 2015 在混合进程和链路故障的部分同步系统中引导时钟同步。 Zbl 1266.68124号 约瑟夫·威德;乌尔里希·施密德 9 2007 基于阈值的分布式算法有界模型检查的完备性：可达性。 Zbl 1417.68136号 伊戈尔·康诺夫;赫尔穆特·维思;约瑟夫·威德 8 2014 容错分布式算法的参数化模型检查教程。 Zbl 1445.68133号 阿努·格梅纳;伊戈尔·康诺夫;乌尔里希·施密德;赫尔穆特·维思;约瑟夫·威德 8 2014 Theta模型：实现无时钟同步。 Zbl 1267.68159号 约瑟夫·威德;乌尔里希·施密德 8 2009 关于消息驱动的自稳定故障检测的可能性和不可能性。 Zbl 1172.68365号 马丁·胡特;约瑟夫·威德 7 2005 具有参数化阈值保护的分布式算法的综合。 Zbl 1487.68252号 玛丽亚娜·拉齐奇;伊戈尔·康诺夫;约瑟夫·威德;罗德里克·布洛姆 6 2018 关于容错分布式算法的模型检查，您一直想知道的是什么。 Zbl 1461.68115号 伊戈尔·科诺夫;赫尔穆特·维思;约瑟夫·威德 5 2016 \（\text{Para}^2）：参数化路径缩减、加速和SMT，用于阈值保护分布式算法中的可达性。 兹比尔1380.68279 伊戈尔·康诺夫;玛丽亚娜·拉齐奇;赫尔穆特·维思;约瑟夫·维德 5 2017 参数化系统中的可达性：各种类型的阈值自动机。 Zbl 1520.68062号 朱尔·库科维奇;伊戈尔·康诺夫;约瑟夫·威德 5 2018 在圆形对手下验证随机一致性算法。 Zbl 07649941号 Nathalie Bertrand;伊戈尔·康诺夫;玛丽亚娜·拉齐奇;约瑟夫·威德 5 2019 通过抽象对同步分布式算法进行参数化模型检查。 Zbl 1446.68086号 本杰明·阿米诺夫;萨沙·鲁宾;伊利娜·斯托尔科夫斯卡;约瑟夫·威德;弗洛里安·祖勒格 5 2018 寻找失去的时间。 Zbl 1379.68022号 伯纳黛特·查伦·博斯特;马丁·胡特;约瑟夫·威德 三 2010 存在致命拜占庭错误流程的共识。 Zbl 1255.68043号 约瑟夫·威德;比莉，马丁;格伦特·格里德林;贝蒂娜·韦斯;Jean-Paul布兰夸特 三 2012 容错分布式算法中消息计数抽象的准确性。 兹比尔1484.68321 伊戈尔·康诺夫;约瑟夫·威德;弗朗切斯科·斯佩尼;卢卡·斯帕拉齐 三 2017 通信—封闭的异步协议。 兹伯利07805832 安德烈·达米安;塞扎拉·奥盖医生;亚历山大·米利塔鲁;约瑟夫·威德 三 2019 消除阈值自动机中的消息计数器。 Zbl 1517.68216号 伊利娜·斯托尔科夫斯卡;伊戈尔·康诺夫;约瑟夫·威德;弗洛里安·祖勒格 2 2020 消除同步阈值自动机中的消息计数器。 Zbl 1472.68094号 伊利娜·斯托尔科夫斯卡;伊戈尔·康诺夫;约瑟夫·威德;弗洛里安·祖勒格 2 2021 在部分同步系统中引导时钟同步。 Zbl 1180.68070号 约瑟夫·威德 2 2003 链路反向路由的时间复杂性。 Zbl 1398.68052号 伯纳黛特·查伦·博斯特;马蒂亚斯·福格尔;詹妮弗·韦尔奇。;约瑟夫·威德 2 2015 弱对手下随机分布式算法的约简定理。 Zbl 1472.68083号 Nathalie Bertrand;玛丽亚娜·拉齐奇;约瑟夫·威德 1 2021 具有二进制链接标签的链接反转路由：工作复杂性。 兹比尔1271.68243 伯纳黛特·查伦·博斯特;安托万·盖拉德;詹妮弗·韦尔奇。;约瑟夫·威德 1 2013 故障检测器参数验证的案例研究。 兹比尔07667090 Tran，清海;伊戈尔·康诺夫;约瑟夫·威德 1 2023 故障检测器参数验证的案例研究。 Zbl 07667090号 Tran，清海;伊戈尔·康诺夫;约瑟夫·威德 1 2023 消除同步阈值自动机中的消息计数器。 Zbl 1472.68094号 伊利娜·斯托尔科夫斯卡;伊戈尔·康诺夫;约瑟夫·威德;弗洛里安·祖勒格 2 2021 弱对手下随机分布式算法的约简定理。 Zbl 1472.68083号 Nathalie Bertrand;玛丽亚娜·拉齐奇;约瑟夫·威德 1 2021 消除阈值自动机中的消息计数器。 Zbl 1517.68216号 伊利娜·斯托尔科夫斯卡;伊戈尔·康诺夫;约瑟夫·威德;弗洛里安·祖勒格 2 2020 在圆形对手下验证随机一致性算法。 Zbl 07649941号 Nathalie Bertrand;伊戈尔·康诺夫;玛丽亚娜·拉齐奇;约瑟夫·威德 5 2019 通信封闭异步协议。 Zbl 07805832号 安德烈·达米安;Cezaraăgoi博士;亚历山大·米利塔鲁;约瑟夫·威德 三 2019 具有参数化阈值保护的分布式算法的综合。 Zbl 1487.68252号 玛丽亚娜·拉齐奇;伊戈尔·康诺夫;约瑟夫·威德;罗德里克·布洛姆 6 2018 参数化系统中的可达性：各种类型的阈值自动机。 Zbl 1520.68062号 朱尔·库科维奇;伊戈尔·康诺夫;约瑟夫·威德 5 2018 通过抽象对同步分布式算法进行参数化模型检查。 Zbl 1446.68086号 本杰明·阿米诺夫;萨沙·鲁宾;伊利娜·斯托尔科夫斯卡;约瑟夫·威德;弗洛里安·祖勒格 5 2018 容错分布式算法安全性和活性验证的简短反例属性。 Zbl 1380.68278号 伊戈尔·康诺夫;玛丽亚娜·拉齐奇;赫尔穆特·维思;约瑟夫·威德 14 2017 基于阈值的分布式算法有界模型检查的完备性：可达性。 Zbl 1355.68176号 伊戈尔·康诺夫;赫尔穆特·维思;约瑟夫·威德 11 2017 \（\text{Para}^2）：参数化路径缩减、加速和SMT，用于阈值保护分布式算法中的可达性。 Zbl 1380.68279号 伊戈尔·康诺夫;玛丽亚娜·拉齐奇;赫尔穆特·维思;约瑟夫·威德 5 2017 容错分布式算法中消息计数抽象的准确性。 Zbl 1484.68321号 伊戈尔·康诺夫;约瑟夫·维德;弗朗西斯科·斯佩尼;卢卡·斯帕拉齐 三 2017 关于容错分布式算法的模型检查，您一直想了解的内容。 Zbl 1461.68115号 伊戈尔·康诺夫;赫尔穆特·维思;约瑟夫·威德 5 2016 参数化验证的可决定性。 Zbl 1400.68006号 罗德里克·布洛姆;瑞典雅各布斯;阿伊拉特·哈利莫夫;伊戈尔·康诺夫;萨沙·鲁宾;赫尔穆特·维思;约瑟夫·威德 38 2015 SMT和POR拍计数器抽象：基于阈值的分布式算法的参数化模型检查。 Zbl 1381.68172号 伊戈尔·康诺夫;赫尔穆特·维思;约瑟夫·威德 11 2015 链路反向路由的时间复杂性。 Zbl 1398.68052号 伯纳黛特·查伦·博斯特;马蒂亚斯·福格尔;詹妮弗·韦尔奇。;约瑟夫·威德 2 2015 用于验证一致性算法的基于逻辑的框架。 Zbl 1428.68371号 塞扎拉·奥盖医生;托马斯·亨辛格（Thomas A.Henzinger）。;赫尔穆特·维思;约瑟夫·威德;达米安·祖弗里 12 2014 基于阈值的分布式算法有界模型检查的完备性：可达性。 兹伯利1417.68136 伊戈尔·康诺夫;赫尔穆特·维思;约瑟夫·威德 8 2014 容错分布式算法的参数化模型检查教程。 Zbl 1445.68133号 阿努·格梅纳;伊戈尔·科诺夫;乌尔里希·施密德;赫尔穆特·维思;约瑟夫·威德 8 2014 具有二进制链路标签的链路反向路由：工作复杂性。 Zbl 1271.68243号 伯纳黛特·查伦·博斯特;安托万·盖拉德;詹妮弗·韦尔奇。;约瑟夫·威德 1 2013 存在致命拜占庭错误流程的共识。 Zbl 1255.68043号 约瑟夫·威德;比莉，马丁;格伦特·格里德林;贝蒂娜·韦斯;Jean-Paul布兰夸特 三 2012 寻找失去的时间。 Zbl 1379.68022号 伯纳黛特·查伦·博斯特;马丁·胡特;约瑟夫·威德 三 2010 Theta模型：实现无时钟同步。 Zbl 1267.68159号 约瑟夫·威德;乌尔里希·施密德 8 2009 容忍损坏的通信。 Zbl 1283.68079号 比莉，马丁;约瑟夫·维德;伯纳黛特·查伦·博斯特;安托万·盖拉德;马丁·胡特;安德烈·希珀 13 2007 在混合进程和链路故障的部分同步系统中引导时钟同步。 Zbl 1266.68124号 约瑟夫·维德;乌尔里希·施密德 9 2007 关于消息驱动的自稳定故障检测的可能性和不可能性。 兹比尔1172.68365 马丁·胡特;约瑟夫·威德 7 2005 部分同步系统中的引导时钟同步。 Zbl 1180.68070号 约瑟夫·威德 2 2003 所有引用出版物 前5名被引用出版物 全部的 前5名138位作者引用 15 约瑟夫·威德 13 伊戈尔·康诺夫（Igor V.Konnov）。 10 乌尔里希·施密德 7 哈维尔·埃斯帕尔扎 5 玛丽亚娜·拉齐奇 5 米哈伊尔·拉斯金 5 赫尔穆特·维思 4 Balasubramanian，A.R。 4 比莉，马丁 4 马吕斯·博兹加 4 马蒂亚斯·福格尔 4 拉杜·奥西夫 三 本杰明·阿米诺夫 三 Nathalie Bertrand 三 西尔维奥·吉拉尔迪 三 埃琳娜·帕加尼 三 萨沙·鲁宾 三 约瑟夫·西法基斯 三 弗朗西斯科·斯佩尼 三 克里斯托夫·韦尔泽尔 三 佛罗里达州祖列格 2 弗朗西斯科·阿尔贝蒂 2 博尔祖·博纳克达尔普尔 2 伯纳黛特·查伦·博斯特 2 克里希南德·查特吉 2 丹尼·多列夫 2 Faghih、Fathiyeh 2 托马斯·亨辛格（Thomas A.Henzinger）。 2 瑞典雅各布斯 2 朱尔·库科维奇 2 克里斯托夫·伦岑 2 罗兰·迈耶 2 纳哈尔·米尔扎伊 2 托马斯·诺瓦克 2 奥托普，简 2 埃拉·迈克尔·席勒 2 卢卡·斯帕拉齐 2 伊利娜·斯托伊尔科夫斯卡 2 Tran，清海 2 贝蒂娜·韦斯 1 帕罗什·阿齐兹·阿卜杜拉 1 西里亚克·艾斯瓦里亚 1 Dan Alistarh 1 保罗·C·阿蒂。 1 贝拉德，贝特里奇 1 Jean-Paul布兰夸特 1 罗德里克·布洛姆 1 贝内迪克特·博利格 1 弗朗索瓦·博内 1 帕特里夏·鲍耶 1 曼努埃尔·布拉沃 1 卢卡斯·布埃里 1 彼得·奇尼 1 格雷戈里·五·乔克勒。 1 亚历山德罗·西马蒂 1 康雄，西尔万 1 米格尔五世·科雷亚。 1 马克西米利亚诺·克里斯蒂亚 1 洛科·德尼古拉 1 乔治·德尔扎诺 1 卢卡·迪·斯特法诺 1 Doan、Ha Thi Thu 1 什洛米·多列夫 1 弗雷德里克·多塞特 1 Leonid W·德沃赞斯基。 1 安吉洛·费兰多 1 保罗·加斯廷 1 塞斯·吉尔伯特 1 阿努·格梅纳 1 阿列克谢·戈茨曼 1 格伦特·格里德林 1 阿尔贝托·格里乔 1 拉希德·格拉乌伊 1 马修·黑格 1 霍尼克，约琴 1 黄，季 1 马丁·胡特 1 奥马尔·因弗索 1 斯特凡·贾克斯 1 埃内斯托·吉梅内斯 1 凯特，罗宁一世。 1 托默·科特克 1 大卫·科扎亚 1 罗伯特·P·库尔珊（Robert P.Kurshan）。 1 安蒂·库西斯托 1 帕斯卡·拉福卡德 1 伊琳娜·洛马佐娃（Irina A.Lomazova）。 1 洛佩斯·普雷萨，何塞·路易斯 1 奥斯卡隆德斯特伦 1 阿尼尔班·马朱姆达尔 1 奥根·马里克 1 哈维尔·马丁·鲁埃达 1 肯尼思·麦克米兰。 1 格伦·梅雷特 1 小米、劳瑞 1 恩里克·莫尼兹 1 海因里希·莫瑟 1 阿尼埃洛·穆拉诺 1 塞巴斯蒂安·穆斯卡拉 1 努诺·费雷拉·奈维斯 …还有38位作者 全部的 前5名19篇连载文章中引用 11 分布式计算 6 理论计算机科学 5 系统设计中的形式化方法 4 信息与计算 三 计算机与系统科学杂志 三 计算机科学中的逻辑方法 2 人工智能 2 自动推理杂志 2 计算机基础理论 1 信息学报 1 离散应用数学 1 线性代数和多线性代数 1 计算 1 算法 1 计算的形式方面 1 国际自适应控制与信号处理杂志 1 国际计算机科学基础杂志 1 美国医学会杂志 1 程序设计中的逻辑和代数方法杂志 全部的 前5名10个字段中引用 79 计算机科学（68至XX） 10 数学逻辑和基础（03-XX） 2 组合数学（05-XX） 1 一般性和全局性主题；集合（00-XX） 1 代数几何（14-XX） 1 线性代数和多线性代数；矩阵理论（15-XX） 1 概率论与随机过程（60-XX） 1 运筹学、数学规划（90-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 系统论；控制（93至XX） 按年份列出的引文