编辑配置文件（在新选项卡中打开） 罗伯特·塞加拉 合著者距离 作者ID： 塞加拉·罗贝托 发布日期： 罗伯特·塞加拉 已编制索引的文档： 40出版物自1994年以来，包括2本书 1作为编辑的贡献 合著者： 36位合著者具有36联合出版物 1076合著作者 全部的 前5名合著者 5 单作者的 16 南希·安·林奇 8 Vaandrager，Frits W。 5 张玲 5 迪尔森·卡纳尔 5 Marta Z.Kwiatkowska。 5 格钦·诺曼 三 兰·卡内蒂 三 摩西·D·利斯科夫。 三 奥利维埃·佩雷拉 2 玛尔塔·卡皮鲁皮 2 Stefano Cattani 2 Rainer Gawlick先生 2 霍尔格·赫尔曼斯 2 奥古斯托·帕尔马 2 安娜，波戈斯扬茨 2 瑟加德·安德森，约根 2 杰里米·斯普洛斯顿 2 安德烈亚·图里尼 1 伊曼纽尔·班迪尼 1 克里斯特尔·布劳恩 1 大卫·布雷索林 1 彼得·柯林斯。 1 卢卡·德·阿尔法罗 1 洛科·德尼古拉 1 什洛米·多列夫 1 卡蒂亚·福莱加蒂 1 卢卡·杰雷蒂 1 桑贾·伊万诺维奇·冈萨雷斯 1 让·古鲍特·拉雷克 1 西蒙·克莱默 1 卡图西亚帕拉米德斯 1 艾萨克·塞亚斯 1 亚历山大·施瓦兹曼（Alexander A.Schwarzmann）。 1 蒂齐亚诺别墅 1 比约恩Wachter 1 张丽君 全部的 前5名系列 4 理论计算机科学 4 信息与计算 1 计算机与系统科学杂志 1 SIAM计算机杂志 1 离散事件动态系统 1 分布式计算 1 应用非经典逻辑杂志 1 北欧计算机杂志 1 计算机科学课堂讲稿 1 计算机科学综合讲座 1 分布式计算理论综合讲座 全部的 前5名领域 40 计算机科学（68至XX） 6 系统论；控制（93至XX） 4 数学逻辑和基础（03-XX） 2 运筹学、数学规划（90-XX） 2 信息与通信理论、电路（94-XX） 1 总体主题；集合（00-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 36出版物有被引用632中的次419文件 引用人▼ 年份▼ 概率过程的概率模拟。 Zbl 0839.68067号 罗伯特·塞加拉；南希·林奇 137 1995 具有离散概率分布的实时系统的自动验证。 Zbl 1050.68094号 玛尔塔·奎亚特科夫斯卡；格钦·诺曼；罗伯特·塞加拉；杰里米·斯普洛斯顿 55 2002 混合I/O自动机。 Zbl 1069.68067号 南希·林奇；罗伯特·塞加拉；Vaandrager，Frits公司 54 2003 概率互模拟的决策算法。 Zbl 1012.68127号 斯特凡诺·卡塔尼；罗伯特·塞加拉 33 2002 离散概率系统互模拟的逻辑特征。 Zbl 1195.68072号 奥古斯托·帕尔马；罗伯特·塞加拉 26 2007 概率互模拟的公理化。 Zbl 0986.68073号 伊曼纽尔·班迪尼；罗伯特·塞加拉 24 2001 概率逻辑表征。 Zbl 1210.68072号 霍尔格·赫尔曼斯；奥古斯托·帕尔马；罗伯特·塞加拉；比约恩Wachter；张丽君 24 2011 随机分布式算法时间特性的形式化验证。 Zbl 1374.68296号 安娜，波哥西亚特；罗伯特·塞加拉 23 1995 定时和不定时系统中的活力。 Zbl 0917.68152号 罗伯特·塞加拉；Rainer Gawlick先生；瑟加德·安德森，约根；南希·林奇 18 1998 使用MTBDD和Kronecker表示对概率过程进行符号模型检查。 Zbl 0960.68109号 卢卡·德·阿尔法罗；玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克；罗伯特·塞加拉 17 2000 并发操作模型中的概率和不确定性。 Zbl 1151.68553号 罗伯特·塞加拉 17 2006 定时I/O自动机理论。第2版。 Zbl 1226.68004号 Dilsun K·卡纳尔。；南希·林奇；罗伯特·塞加拉；Vaandrager，Frits公司 16 2011 通过概率上下文观察分支结构。 Zbl 1156.68020号 南希·林奇；罗伯特·塞加拉；Vaandrager，Frits公司 16 2007 有时间限制的任务PIOA：用于分析安全协议的框架。 Zbl 1155.68326号 兰·卡内蒂；张玲；迪尔森·卡纳尔；摩西·利斯科夫；林奇，南希；奥利维埃·佩雷拉；罗伯特·塞加拉 16 2007 使用有时限的任务PIOA分析安全协议。 Zbl 1161.93320号 兰·卡内蒂；张玲；迪尔森·卡纳尔；摩西·利斯科夫；南希·林奇；奥利维埃·佩雷拉；罗伯特·塞加拉 14 2008 定时I/O自动机理论。 Zbl 1250.68005号 Dilsun K.凯纳尔。；南希·林奇；罗伯特·塞加拉；Vaandrager，Frits公司 14 2010 连续状态空间和非确定性的随机转移系统。 Zbl 1118.68568号 斯特凡诺·卡塔尼；罗伯特·塞加拉；玛尔塔·奎亚特科夫斯卡；格钦·诺曼 13 2005 测试概率自动机。 Zbl 1514.68112号 罗伯特·塞加拉 13 1996 输入/输出自动机的过程代数视图。 Zbl 0874.68209号 洛科·德尼古拉；罗伯特·塞加拉 11 1995 Aspnes和Herlihy随机一致性算法的验证：案例研究。 Zbl 1448.68156号 安娜，波哥西亚特；罗伯特·塞加拉；南希·林奇 11 2000 验证连续概率时间自动机的定量性质。 Zbl 0999.68125号 玛尔塔·奎亚特科夫斯卡；格钦·诺曼；罗伯特·塞加拉；杰里米·斯普洛斯顿 10 2000 交换式PIOA：通过分布式调度进行并行合成。 Zbl 1118.68038号 张玲；南希·林奇；罗伯特·塞加拉；Vaandrager，Frits公司 10 2006 使用cadence SMV和PRISM自动验证随机分布式共识协议。 Zbl 0991.68503号 玛尔塔·奎亚特科夫斯卡；格钦·诺曼；罗伯特·塞加拉 8 2001 安静、公平、测试和实现的概念。 Zbl 0889.68057号 罗伯特·塞加拉 8 1997 概率自动机的组成。 Zbl 1274.68161号 南希·林奇；罗伯特·塞加拉；Vaandrager，Frits公司 7 2003 证明随机分布式算法的时间界限。 Zbl 1373.68448号 南希·林奇；艾萨克·塞亚斯；罗伯特·塞加拉 7 1994 任务结构的概率I/O自动机。 Zbl 1390.68382号 兰·卡内蒂；张玲；迪尔森·卡纳尔；摩西·利斯科夫；南希·林奇；奥利维埃·佩雷拉；罗伯特·塞加拉 6 2018 通过组通信实现动态负载平衡。 Zbl 1140.68070号 什洛米·多列夫；罗伯特·塞加拉；亚历山大·施瓦尔茨曼 5 2006 定时和非定时系统中的活力。 兹比尔1418.68139 Rainer Gawlick先生；罗伯特·塞加拉；瑟加德·安德森，约根；南希·林奇 4 1994 重新访问混合I/O自动机。 Zbl 0991.93006号 南希·林奇；罗伯特·塞加拉；Vaandrager，Frits公司 三 2002 交换概率I/O自动机。 Zbl 1109.68053号 张玲；南希·林奇；罗伯特·塞加拉；Vaandrager，Frits公司 三 2005 混合自动机的可计算合成语义。 Zbl 07300859号 大卫·布雷索林；彼得·柯林斯；卢卡·杰雷蒂；罗伯特·塞加拉；蒂齐亚诺别墅；扎伊瓦诺维奇·冈萨雷斯，萨尼亚 三 2020 概率过程的定量多弹性逻辑及其在信息挖掘中的应用。 Zbl 1186.68325号 西蒙·克莱默；卡图西亚帕拉米德斯；罗伯特·塞加拉；安德烈亚·图里尼；克里斯特尔·布劳恩 2 2009 随机可测量选择。 Zbl 1407.68255号 让·古鲍特·拉雷克；罗伯特·塞加拉 2 2014 随机分布式算法的验证。 Zbl 0990.68640号 罗伯特·塞加拉 1 2001 使用混合输入/输出自动机对多智能体系统中的隐式通信进行建模。 Zbl 1459.68214号 玛尔塔·卡皮鲁比；罗伯特·塞加拉 1 2012 混合自动机的可计算合成语义。 Zbl 07300859号 大卫·布雷索林；彼得·柯林斯；卢卡·杰雷蒂；罗伯特·塞加拉；蒂齐亚诺别墅；扎伊瓦诺维奇·冈萨雷斯，萨尼亚 三 2020 任务结构的概率I/O自动机。 Zbl 1390.68382号 兰·卡内蒂；张玲；迪尔森·卡纳尔；摩西·利斯科夫；南希·林奇；奥利维埃·佩雷拉；罗伯特·塞加拉 6 2018 随机可测量选择。 Zbl 1407.68255号 让·古鲍特·拉雷克；罗伯特·塞加拉 2 2014 使用混合输入/输出自动机对多智能体系统中的隐式通信进行建模。 Zbl 1459.68214号 玛尔塔·卡皮鲁比；罗伯特·塞加拉 1 2012 概率逻辑表征。 Zbl 1210.68072号 霍尔格·赫尔曼斯；奥古斯托·帕尔马；罗伯特·塞加拉；比约恩Wachter；张丽君 24 2011 定时I/O自动机理论。第2版。 Zbl 1226.68004号 Dilsun K.凯纳尔。；林奇，南希；罗伯特·塞加拉；Vaandrager，Frits公司 16 2011 定时I/O自动机的理论。 Zbl 1250.68005号 Dilsun K·卡纳尔。；南希·林奇；罗伯特·塞加拉；Vaandrager，Frits公司 14 2010 概率过程的定量多弹性逻辑及其在信息挖掘中的应用。 Zbl 1186.68325号 西蒙·克莱默；卡图西亚帕拉米德斯；罗伯特·塞加拉；安德烈亚·图里尼；克里斯特尔·布劳恩 2 2009 使用有时间限制的任务PIOA分析安全协议。 Zbl 1161.93320号 兰·卡内蒂；张玲；迪尔森·卡纳尔；摩西·利斯科夫；南希·林奇；奥利维埃·佩雷拉；罗伯特·塞加拉 14 2008 离散概率系统互模拟的逻辑特征。 Zbl 1195.68072号 奥古斯托·帕尔马；罗伯特·塞加拉 26 2007 通过概率上下文观察分支结构。 Zbl 1156.68020号 南希·林奇；罗伯特·塞加拉；Vaandrager，Frits公司 16 2007 有时间限制的任务PIOA：用于分析安全协议的框架。 Zbl 1155.68326号 兰·卡内蒂；张玲；迪尔森·卡纳尔；摩西·利斯科夫；南希·林奇；奥利维埃·佩雷拉；罗伯特·塞加拉 16 2007 并发操作模型中的概率和不确定性。 Zbl 1151.68553号 罗伯特·塞加拉 17 2006 交换式PIOA：通过分布式调度进行并行合成。 Zbl 1118.68038号 张玲；南希·林奇；罗伯特·塞加拉；Vaandrager，Frits公司 10 2006 通过组通信实现动态负载平衡。 Zbl 1140.68070号 什洛米·多列夫；罗伯特·塞加拉；亚历山大·施瓦茨曼 5 2006 连续状态空间和非确定性的随机转移系统。 Zbl 1118.68568号 斯特凡诺·卡塔尼；罗伯特·塞加拉；玛尔塔·奎亚特科夫斯卡；格钦·诺曼 13 2005 交换概率I/O自动机。 Zbl 1109.68053号 张玲；南希·林奇；罗伯特·塞加拉；Vaandrager，Frits公司 三 2005 混合I/O自动机。 Zbl 1069.68067号 南希·林奇；罗伯特·塞加拉；Vaandrager，Frits公司 54 2003 概率自动机的组合性。 兹比尔1274.68161 林奇，南希；罗伯特·塞加拉；Vaandrager，Frits公司 7 2003 具有离散概率分布的实时系统的自动验证。 Zbl 1050.68094号 玛尔塔·奎亚特科夫斯卡；格钦·诺曼；罗伯特·塞加拉；杰里米·斯普洛斯顿 55 2002 概率互模拟的决策算法。 Zbl 1012.68127号 斯特凡诺·卡塔尼；罗伯特·塞加拉 33 2002 重新访问混合I/O自动机。 Zbl 0991.93006号 南希·林奇；罗伯特·塞加拉；Vaandrager，Frits公司 三 2002 概率互模拟的公理化。 Zbl 0986.68073号 伊曼纽尔·班迪尼；罗伯特·塞加拉 24 2001 使用cadence SMV和PRISM自动验证随机分布式共识协议。 Zbl 0991.68503号 玛尔塔·奎亚特科夫斯卡；格钦·诺曼；罗伯特·塞加拉 8 2001 随机分布式算法的验证。 Zbl 0990.68640号 罗伯特·塞加拉 1 2001 使用MTBDD和Kronecker表示对概率过程进行符号模型检查。 Zbl 0960.68109号 卢卡·德·阿尔法罗；玛尔塔·奎亚特科夫斯卡；格钦·诺曼；大卫·帕克；罗伯特·塞加拉 17 2000 Aspnes和Herlihy随机一致性算法的验证：案例研究。 Zbl 1448.68156号 安娜，波哥西亚特；罗伯特·塞加拉；南希·林奇 11 2000 验证连续概率时间自动机的定量性质。 Zbl 0999.68125号 玛尔塔·奎亚特科夫斯卡；格钦·诺曼；罗伯特·塞加拉；杰里米·斯普洛斯顿 10 2000 定时和不定时系统中的活力。 Zbl 0917.68152号 罗伯特·塞加拉；Rainer Gawlick先生；瑟加德·安德森，约根；南希·林奇 18 1998 安静、公平、测试和实现的概念。 Zbl 0889.68057号 罗伯特·塞加拉 8 1997 测试概率自动机。 Zbl 1514.68112号 罗伯特·塞加拉 13 1996 概率过程的概率模拟。 Zbl 0839.68067号 罗伯特·塞加拉；南希·林奇 137 1995 随机分布式算法时间特性的形式化验证。 Zbl 1374.68296号 安娜，波哥西亚特；罗伯特·塞加拉 23 1995 输入/输出自动机的过程代数视图。 Zbl 0874.68209号 洛科·德尼古拉；罗伯特·塞加拉 11 1995 证明随机分布式算法的时间界限。 Zbl 1373.68448号 南希·林奇；艾萨克·塞亚斯；罗伯特·塞加拉 7 1994 定时和不定时系统中的活力。 Zbl 1418.68139号 Rainer Gawlick先生；罗伯特·塞加拉；瑟加德·安德森，约根；南希·林奇 4 1994 所有引用出版物 前5名被引用出版物 全部的 前5名643位作者引用 20 Marta Z.Kwiatkowska。 17 南希·安·林奇 16 格钦·诺曼 16 西蒙·蒂尼 15 霍尔格·赫尔曼斯 15 Joost-Pieter卡托恩 13 邓玉欣 13 罗伯特·塞加拉 12 金·古德斯特兰·拉森 12 杰里米·斯普洛斯顿 10 佩德罗·鲁宾·达吉尼奥 10 卡图西亚帕拉米德斯 10 张丽君 9 克里斯特尔·拜尔 9 Legay、Axel 8 亚历山德罗·阿巴特 8 瓦伦蒂娜·卡斯蒂格利奥尼 8 克里希南德·查特吉 7 贝诺·德拉哈耶 7 Daniel E.Gebler。 7 安娜·索科洛娃 6 乔治·巴奇 6 马可·贝尔纳多 6 菲利波·邦奇 6 洛科·德尼古拉 6 拉诺特，拉格罗 6 米歇尔·洛雷蒂 6 米歇尔·阿德里安·雷尼尔 6 亚历山德拉·席尔瓦 6 Vaandrager，Frits W。 6 范格拉贝克、罗伯特·扬 5 乔瓦尼·巴奇 5 康斯坦丁诺斯·查齐科科拉基斯 5 Pieter J.L.Cuijpers。 5 轩尼诗，Matthew C.B。 5 拉杜·马达尔 5 亚历山大·施瓦兹曼（Alexander A.Schwarzmann）。 4 苏珊娜·安多瓦 4 Nathalie Bertrand 4 西尔维亚·克拉法 4 埃里克·P·德文克。 4 索尼娅·乔治耶夫斯卡 4 拉杜·格罗苏 4 阿列克桑德拉·乔瓦诺维奇。 4 拉尔夫·库斯特斯 4 阿波法兹·拉瓦伊 4 马西莫·梅罗 4 萨扬·密特拉 4 卡罗尔·C·摩根。 4 戈登·普洛金（Gordon D.Plotkin）。 4 弗朗西斯科·兰扎托 4 乌尔里希·施密德 4 宋磊 4 萨代赫·苏贾尼 4 安德烈亚·图里尼 4 弗兰克·范·布鲁格尔 4 安德烈·索夫斯基 4 马吉德·扎马尼 三 Jan A.Bergstra。 三 托马斯·布伦戈斯 三 大卫·布雷索林 三 曹永志 三 张玲 三 马丁·奇梅利克 三 牧场克利夫兰 三 何塞·德斯哈奈斯 三 劳伦特·多恩 三 克里斯蒂安·艾森特罗 三 费雷尔·菲奥里蒂，路易斯·玛丽亚 三 霍尔格·吉斯 三 Jens Chr.Godskesen。 三 阿恩·哈特曼斯 三 大卫·詹森（David N.Jansen）。 三 迪尔森·卡纳尔 三 伊戈尔·康诺夫（Igor V.Konnov）。 三 萨瓦斯·科努尔 三 玛丽亚·马克西莫娃 三 Annabelle K.McIver。 三 马里诺·米库兰 三 Manuel A.努内兹。 三 帕南加登，普拉卡什 三 马可·佩雷索蒂 三 曲洪阳 三 丹尼尔·劳什 三 亚历山大·罗素。 三 斯文·施奈德 三 卢茨施罗德 三 马库斯·西格尔 三 斯科特·斯莫尔卡。 三 玛丽·斯托琳加 三 唐启毅 三 王汉平 三 约瑟夫·威德 三 吴，衡阳 三 朱慧彪 2 马丁·阿巴迪 2 拉杰夫·阿鲁尔 2 埃蒂安·安德烈 2 米盖尔·安德烈斯。 2 保罗·C·阿蒂。 …还有543位作者 全部的 前5名56篇连载文章被引用 55 理论计算机科学 38 信息与计算 15 计算机科学中的逻辑方法 14 计算的形式方面 13 分布式计算 11 逻辑与代数程序设计杂志 11 程序设计中的逻辑和代数方法杂志 10 系统设计中的形式化方法 9 信息处理信件 7 计算机与系统科学杂志 7 非线性分析。混合动力系统 5 信息学报 4 Automatica公司 4 密码学杂志 三 MSCS公司。计算机科学中的数学结构 三 离散事件动态系统 2 国际控制杂志 2 模糊集与系统 2 自动推理杂志 2 并行与分布式计算杂志 2 工程中的数学问题 2 欧洲控制杂志 2 计算系统理论 2 美国医学会杂志 2 SibirskieÈlektronnye Matematicheskie Izvestiya公司 2 计算机科学前沿 1 倒排索引综述 1 人工智能 1 国际通用系统杂志 1 计算物理学杂志 1 信息科学 1 编程和计算机软件 1 SIAM控制与优化杂志 1 计算机程序设计科学 1 纯逻辑与应用逻辑年鉴 1 计算机科学与技术杂志 1 国际近似推理杂志 1 实时系统 1 国际计算机科学基础杂志 1 国际鲁棒非线性控制杂志 1 控制论与系统分析 1 应用的分类结构 1 数学科学杂志（纽约） 1 人工智能研究杂志 1 运筹学的数学方法 1 武汉大学自然科学学报 1 非线性科学与数值模拟中的通信 1 计算机基础理论 1 应用数学杂志 1 ACM计算逻辑事务 1 上海交通大学学报（科学版） 1 算法 1 科学中国。信息科学 1 RAIRO公司。理论信息学及其应用 1 计算机科学评论 1 膜计算杂志 全部的 前5名在20个字段中引用 384 计算机科学（68至XX） 42 数学逻辑和基础（03-XX） 42 系统论；控制（93至XX） 25 运筹学、数学规划（90-XX） 22 概率论与随机过程（60-XX） 20 信息与通信理论、电路（94-XX） 19 博弈论、经济学、金融和其他社会和行为科学（91-XX） 9 范畴理论；同调代数（18-XX） 5 生物学和其他自然科学（92-XX） 三 组合数学（05-XX） 三 动力系统和遍历理论（37至XX） 1 数论（11-XX） 1 线性代数和多线性代数；矩阵理论（15-XX） 1 结合环与代数（16-XX） 1 群论与推广（20-XX） 1 常微分方程（34-XX） 1 一般拓扑结构（54-XX） 1 数值分析（65-XX） 1 粒子和系统力学（70-XX） 1 量子理论（81-XX） 按年份列出的引文