编辑配置文件（在新选项卡中打开） 瑞典雅各布斯 合著者距离 作者ID: 雅各布斯·斯文 发布日期： 瑞典雅各布斯 外部链接： MGP公司·ORCID公司 编入索引的文档： 29出版物自2005年以来，包括1本书 合著者： 40位合著者具有28份联合出版物 718合著作者 全部的 前5名合著者 1 单作者的 7 罗德里克·布洛姆 4 阿伊拉特·哈利莫夫 三 穆罕默德·萨克尔 三 维奥里卡Sofrone-Stokkerman 三 乌韦·沃尔德曼 三 马丁·齐默尔曼 2 博尔祖·博纳克达尔普尔 2 Faghih、Fathiyeh 2 维克多·昆卡 2 纳哈尔·米尔扎伊 2 萨沙·鲁宾 2 Tentrup，Leander公司 1 本杰明·阿米诺夫 1 西蒙·奥埃里克纳 1 尼古拉斯·布劳德·桑托尼 1 巴勃罗·布伊拉斯 1 克里希南德·查特吉 1 达姆，沃纳 1 斯特凡·迪什 1 约翰·费伯 1 伯恩德·芬克贝纳 1 罗伯特·瓜夏莱 1 哈迪·亨加 1 卡斯滕·伊勒曼 1 努拉尔丁·贾贝尔 1 罗伯特·Könighfer 1 伊戈尔·康诺夫（Igor V.Konnov）。 1 米林·纳拉扬劳·库尔卡尼 1 克里斯托夫·伦岑 1 安德烈亚斯·林德纳 1 内马蒂，哈米德 1 庞、军 1 弗洛里安·皮戈什 1 萨曼塔（Samanta，Roopsha） 1 克里斯托夫·斯科尔 1 菲利普·苏特 1 赫尔穆特·维思 1 亚基尔·维泽尔 1 约瑟夫·威德 1 鲍里斯·维茨 全部的 前5名系列 2 信息学报 1 信息与计算 1 自动推理杂志 1 欧洲理论计算机科学协会公报 1 计算机科学中的逻辑方法 1 分布式计算理论综合讲座 领域 29 计算机科学（68至XX） 5 数理逻辑与基础（03-XX） 2 信息与通信理论、电路（94-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 系统论；控制（93至XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 20出版物被引用159中的次104文件 引用人▼ 年份▼ 参数化验证的可决定性。 Zbl 1400.68006号 罗德里克·布洛姆;瑞典雅各布斯;阿伊拉特·哈利莫夫;伊戈尔·科诺夫;鲁宾，萨沙;赫尔穆特·维思;约瑟夫·威德 38 2015 关于验证中的局部推理。 Zbl 1134.68410号 卡斯滕·伊勒曼;瑞典雅各布斯;维奥里卡Sofrone-Stokkerman 21 2008 朝向高效的参数化合成。 兹比尔1426.68051 阿伊拉特·哈利莫夫;瑞典雅各布斯;罗德里克·布洛姆 14 2013 令牌传递系统的参数化模型检查。 Zbl 1428.68180号 本杰明·阿米诺夫;瑞典雅各布斯;阿伊拉特·哈利莫夫;萨沙·鲁宾 14 2014 关于公理化规范的完整推理。 Zbl 1317.68117号 瑞典雅各布斯;维克多·昆卡 7 2011 公平保护协议的严格截止。 Zbl 1475.68175号 西蒙·奥埃里克纳;瑞典雅各布斯;阿伊拉特·哈利莫夫 7 2016 自稳定和拜占庭恢复分布式系统的合成。 Zbl 1411.68073号 罗德里克·布洛姆;尼古拉斯·布劳德·桑托尼;瑞典雅各布斯 6 2016 比较自动推理的实例生成方法。 Zbl 1113.68089号 瑞典雅各布斯;乌韦·沃尔德曼 6 2007 惰性合成。 Zbl 1326.68183号 伯恩德·芬克贝纳;瑞典雅各布斯 6 2012 参数化合成。 Zbl 1352.68155号 瑞典雅各布斯;罗德里克·布洛姆 6 2012 分析保护协议：更好的截止，更多的系统，更多的表达。 Zbl 1446.68105号 瑞典雅各布斯;穆罕默德·萨克尔 6 2018 参数化合成。 Zbl 1325.68149号 瑞典雅各布斯;罗德里克·布洛姆 5 2014 层次推理在复杂系统验证中的应用。 Zbl 1277.68135号 瑞典雅各布斯;维奥里卡Sofrone-Stokkerman 5 2007 具有大离散状态空间的线性混合系统验证中的精确状态集表示。 Zbl 1141.68461号 达姆，沃纳;斯特凡·迪什;哈迪·亨加;瑞典雅各布斯;庞、军;弗洛里安·皮戈什;克里斯托夫·斯科尔;乌韦·沃尔德曼;鲍里斯·维茨 4 2007 使用复杂的数据类型和定时参数验证CSP-OZ-DC规范。 Zbl 1213.68374号 约翰·费伯;瑞典雅各布斯;维奥里卡Sofrone-Stokkerman 4 2007 局部推理中的增量实例生成。 兹比尔1242.68164 瑞典雅各布斯 三 2009 假设具有部分信息的并发反应式程序的保证综合。 Zbl 1420.68064号 罗德里克·布洛姆;克里希南德·查特吉;瑞典雅各布斯;罗伯特·Könighfer 三 2015 急切策略惰性合成的符号算法。 Zbl 1435.68198号 瑞典雅各布斯;穆罕默德·萨克尔 2 2020 比较自动推理的实例生成方法。 Zbl 1142.03329号 瑞典雅各布斯;乌韦·沃尔德曼 1 2005 分布式PROMPT-LTL合成。 Zbl 1478.68163号 瑞典雅各布斯;Leander Tentrup公司;马丁·齐默尔曼 1 2016 急切策略惰性合成的符号算法。 Zbl 1435.68198号 瑞典雅各布斯;穆罕默德·萨克尔 2 2020 分析保护协议：更好的截止，更多的系统，更多的表达。 兹比尔1446.68105 瑞典雅各布斯;穆罕默德·萨克尔 6 2018 公平保护协议的严格截止。 Zbl 1475.68175号 西蒙·奥埃里克纳;瑞典雅各布斯;阿伊拉特·哈利莫夫 7 2016 自稳定和拜占庭式弹性分布式系统的综合。 Zbl 1411.68073号 罗德里克·布洛姆;尼古拉斯·布劳德·桑托尼;瑞典雅各布斯 6 2016 分布式PROMPT-LTL合成。 Zbl 1478.68163号 瑞典雅各布斯;Leander Tentrup公司;马丁·齐默尔曼 1 2016 参数化验证的可决定性。 Zbl 1400.68006号 罗德里克·布洛姆;瑞典雅各布斯;阿伊拉特·哈利莫夫;伊戈尔·科诺夫;萨沙·鲁宾;赫尔穆特·维思;约瑟夫·威德 38 2015 假设具有部分信息的并发反应式程序的保证综合。 Zbl 1420.68064号 罗德里克·布洛姆;克里希南德·查特吉;瑞典雅各布斯;罗伯特·Könighfer 三 2015 令牌传递系统的参数化模型检查。 Zbl 1428.68180号 本杰明·阿米诺夫;瑞典雅各布斯;阿伊拉特·哈利莫夫;萨沙·鲁宾 14 2014 参数化合成。 Zbl 1325.68149号 瑞典雅各布斯;罗德里克·布洛姆 5 2014 朝向高效的参数化合成。 Zbl 1426.68051号 阿伊拉特·哈利莫夫;瑞典雅各布斯;罗德里克·布洛姆 14 2013 惰性合成。 Zbl 1326.68183号 伯恩德·芬克贝纳;瑞典雅各布斯 6 2012 参数化合成。 兹比尔1352.68155 瑞典雅各布斯;罗德里克·布洛姆 6 2012 关于公理化规范的完整推理。 Zbl 1317.68117号 瑞典雅各布斯;维克多·昆卡 7 2011 局部推理中的增量实例生成。 兹比尔1242.68164 瑞典雅各布斯 三 2009 关于验证中的局部推理。 Zbl 1134.68410号 卡斯滕·伊勒曼;瑞典雅各布斯;维奥里卡Sofrone-Stokkerman 21 2008 比较自动推理的实例生成方法。 Zbl 1113.68089号 瑞典雅各布斯;乌韦·沃尔德曼 6 2007 层次推理在复杂系统验证中的应用。 Zbl 1277.68135号 瑞典雅各布斯;维奥里卡Sofrone-Stokkerman 5 2007 具有大离散状态空间的线性混合系统验证中的精确状态集表示。 Zbl 1141.68461号 达姆，沃纳;斯特凡·迪什;哈迪·亨加;瑞典雅各布斯;庞、军;弗洛里安·皮戈什;克里斯托夫·斯科尔;乌韦·沃尔德曼;鲍里斯·维茨 4 2007 使用复杂的数据类型和定时参数验证CSP-OZ-DC规范。 Zbl 1213.68374号 约翰·费伯;瑞典雅各布斯;维奥里卡Sofrone-Stokkerman 4 2007 比较自动推理的实例生成方法。 Zbl 1142.03329号 瑞典雅各布斯;乌韦·沃尔德曼 1 2005 所有引用出版物 前5名被引用出版物 全部的 前5名180位作者引用 11 维奥里卡Sofrone-Stokkerman 9 伊戈尔·康诺夫（Igor V.Konnov）。 8 约瑟夫·威德 7 哈维尔·埃斯帕尔扎 7 瑞典雅各布斯 5 玛丽亚·保拉（Maria Paola Bonacina） 5 米哈伊尔·拉斯金 4 本杰明·阿米诺夫 4 罗德里克·布洛姆 4 马吕斯·博兹加 4 伯恩德·芬克贝纳 4 拉杜·奥西夫 4 维克多·昆卡 4 萨沙·鲁宾 4 弗朗西斯科·斯佩尼 4 赫尔穆特·维思 三 博尔祖·博纳克达尔普尔 三 克里希南德·查特吉 三 达姆，沃纳 三 Faghih、Fathiyeh 三 保罗·加斯丁 三 玛丽亚娜·拉齐奇 三 安德鲁·雷诺兹 三 约瑟夫·西法基斯 三 乌韦·沃尔德曼 三 克里斯托夫·韦尔泽尔 三 托马斯·怀斯 三 弗洛里安·祖勒格 2 帕罗什·阿齐兹·阿卜杜拉 2 保罗·C·阿提。 2 巴拉苏布拉马尼安。 2 克拉克·W·巴雷特。 2 贝内迪克特·博利格 2 帕特里夏·鲍耶 2 康雄，西尔万 2 乔治·德尔扎诺 2 斯特凡·迪什 2 西尔维奥·吉拉尔迪 2 托马斯·亨辛格（Thomas A.Henzinger）。 2 卡斯滕·伊勒曼 2 克里斯托夫·伦岑 2 罗兰·梅耶 2 纳哈尔·米尔扎伊 2 奥托普，简 2 丹尼斯·佩特尔 2 弗洛里安·皮戈什 2 大卫·艾伦（David Alan），Plaisted 2 乔尔·里比奇 2 阿诺德·桑尼尔 2 克里斯托夫·斯科尔 2 卢卡·斯帕拉齐 2 Leander Tentrup公司 2 塞萨尔·蒂内利 1 西里亚克·艾斯瓦里亚 1 弗朗西斯科·阿尔贝蒂 1 彼得·鲍姆加特纳 1 Nathalie Bertrand 1 卢卡斯·布埃里 1 彼得·奇尼 1 哈娜·乔克勒 1 玛丽亚·克里斯塔基斯 1 亚历山德罗·西马蒂 1 威廉·L·科克。 1 莱昂纳多·德·莫拉 1 Deters，摩根 1 海宁·迪尔克斯 1 多列夫，丹尼 1 弗雷德里克·多塞特 1 克莱尔·德罗斯 1 Leonid W·德沃赞斯基。 1 马苏德·易卜拉希米 1 吕迪格·埃勒斯 1 约琴·艾辛格 1 莱奥·埃克巴德 1 约翰·费伯 1 彼得·费蒙维尔 1 约塔姆·M·Y·费尔德曼。 1 安吉洛·费兰多 1 Görschwin菲 1 艾曼纽·菲利奥特 1 玛丽·何塞·福廷 1 乌尔里希·富巴赫 1 安德鲁·加塞克 1 费比安·格雷夫 1 阿尔贝托·格里乔 1 阿里·古芬克尔 1 威廉·哈格曼 1 凯乔·赫尔扬科 1 蒙特塞拉特赫莫 1 迈克尔·霍切 1 Jochen Hoenicke公司 1 马提亚斯·霍巴赫 1 霍恩，弗洛里安 1 尼尔·伊梅尔曼 1 斯特凡·贾克斯 1 马蒂·Järvisalo 1 芭芭拉·乔布斯曼 1 约翰内斯·卡尼格 1 金，蒂姆 1 费利克斯·克莱特克 …还有80多位作者 全部的 前5名18篇连载文章中引用 11 自动推理杂志 8 系统设计中的形式化方法 6 计算机科学中的逻辑方法 5 信息与计算 三 信息学报 三 人工智能 三 理论计算机科学 三 分布式计算 2 计算的形式方面 2 计算机基础理论 2 程序设计中的逻辑和代数方法杂志 1 计算 1 计算机与系统科学杂志 1 计算机程序设计科学 1 MSCS公司。计算机科学中的数学结构 1 国际计算机科学基础杂志 1 逻辑程序设计理论与实践 1 计算机科学中的数学 全部的 前5名在7个字段中引用 100 计算机科学（68至XX） 33 数理逻辑与基础（03-XX） 6 博弈论、经济学、金融和其他社会和行为科学（91-XX） 三 信息与通信理论、电路（94-XX） 1 总体主题；集合（00-XX） 1 一般拓扑结构（54至XX） 1 系统论；控制（93至XX） 按年份列出的引文