编辑配置文件（在新选项卡中打开） 马吕斯·博兹加 合著者距离 作者ID： 博兹加马利乌斯 发布日期： 马吕斯·博兹加；博兹加，M。 已编制索引的文档： 50种出版物自1997年起 1名编辑贡献 合著者： 51位合著者具有51联合出版物 727位联合作者 全部的 前5名合著者 0 单作者的 20 拉杜·奥西夫 12 萨德克·本萨勒姆 9 约瑟夫·西法基斯 7 奥德·马勒 6 Jean-Claude费尔南德斯 6 苏珊娜·格拉芙 5 卢西安·吉尔武 5 菲利普·科内钦 5 劳伦特·穆尼尔 4 亚辛·拉赫内奇 三 阿塞特夫·诺艾，勒克雷米奥拉 三 彼得·哈伯梅尔 三 尤利安·奥贝尔 三 汤姆·沃纳 2 本·萨拉赫，拉姆齐 2 艾哈迈德·博阿贾尼 2 雅克·康巴兹 2 伊利耶斯·法尔科内 2 穆罕默德·贾伯。 2 Jean-Francois肯普夫 2 皮埃尔·莫罗 2 阮，Thanh-Hung 2 斯旺·佩拉诺 1 塔库阿卜杜拉提夫 1 尤金·亚萨林 1 苏哈·本·拉亚纳 1 本·赛义德、纳贾 1 西蒙，布利兹 1 博尔祖·博纳克达尔普尔 1 卢卡斯·布埃里 1 Cheng，Chih-Hong先生 1 Mahieddine Dellabani 1 哈维尔·埃斯帕尔扎 1 哥德鲁·格里亚 1 侯建民 1 阿兰·科布拉特 1 Jean-Pierre·克里姆 1 Legay、Axel 1 莫伊兹·马赫福德 1 霍森·纳扎尔布尔 1 彼得·尼伯特 1 伊利亚娜·奥贝尔 1 Doron A.Peled。 1 彼得·波普拉夫科 1 吉恩·奎尔贝夫 1 苏菲·昆顿 1 Jean-Luc·鲁克斯 1 哈拉尔德街 1 达里奥·索奇 1 克里斯托夫·韦尔泽尔 1 塞尔吉奥·尤文 全部的 前5名系列 2 计算机科学中的逻辑方法 1 理论计算机科学 1 计算机程序设计科学 1 自动推理杂志 1 计算的形式方面 1 实时系统 1 分布式计算 1 系统设计中的形式化方法 1 计算机基础理论 1 计算机科学课堂讲稿 1 程序设计中的逻辑和代数方法杂志 全部的 前5名领域 50 计算机科学（68至XX） 9 数理逻辑与基础（03-XX） 2 运筹学、数学规划（90-XX） 2 系统论；控制（93至XX） 1 总体主题；集合（00-XX） 1 数论（11-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 41出版物有被引用233中的次186文件 引用人▼ 年份▼ 带有列表的程序是计数器自动机。 Zbl 1188.68181号 艾哈迈德·博阿贾尼；马吕斯·博兹加；彼得·哈伯梅尔；拉杜·奥西夫；皮埃尔·莫罗；汤姆·沃纳 21 2006 IF工具集。 Zbl 1105.68352号 马吕斯·博兹加；苏珊娜·格拉芙；伊利亚娜·奥贝尔；尤利安·奥贝尔；约瑟夫·西法基斯 15 2004 通过可满足性检查验证时间自动机。 Zbl 1278.68187号 彼得·尼伯特；莫伊兹·马赫福德；尤金·亚萨林；马吕斯·博兹加；奥德·马勒 14 2002 平面参数计数器自动机。 Zbl 1134.68028号 马吕斯·博兹加；拉杜·奥西夫；亚辛·拉赫内奇 13 2006 基于组件模型的自动化分布式实现框架。 Zbl 1256.68016号 博尔祖·博纳克达尔普尔；马吕斯·博兹加；穆罕默德·贾比尔；吉恩·奎尔贝夫；约瑟夫·西法基斯 12 2012 迭代八边形。 Zbl 1234.68200号 马吕斯·博兹加；哥德鲁·格里亚；拉杜·奥西夫 12 2009 最终周期关系的快速加速。 Zbl 1427.68113号 马吕斯·博兹加；拉杜·奥西夫；菲利普·科内钦 12 2010 IF-2.0：基于组件的实时系统的验证环境。 Zbl 1010.68751号 马吕斯·博兹加；苏珊娜·格拉芙；劳伦特·穆尼尔 11 2002 关于时间自动机中的交错。 Zbl 1151.68457号 兰齐·本·萨拉赫；马吕斯·博兹加；奥德·马勒 9 2006 用于验证具有参数化体系结构的系统的结构不变量。 Zbl 1507.68179号 马吕斯·博兹加；哈维尔·埃斯帕尔扎；拉杜·奥西夫；约瑟夫·西法基斯；克里斯托弗·韦尔泽尔 8 2020 带有列表的程序是计数器自动机。 Zbl 1217.68059号 艾哈迈德·博阿贾尼；马吕斯·博兹加；彼得·哈伯梅尔；拉杜·奥西夫；皮埃尔·莫罗；汤姆·沃纳 7 2011 安全问题对于具有八角循环的平面整数程序来说是NP-完全的。 Zbl 1428.68160号 马吕斯·博兹加；拉杜·奥西夫；菲利普·科内钦 7 2014 关于结构化域上概率的表示。 Zbl 1046.68581号 马吕斯·博兹加；奥德·马勒 6 1999 关于混叠逻辑。 Zbl 1104.68016号 马吕斯·博兹加；拉杜·奥西夫；亚辛·拉赫内奇 6 2004 平面参数计数器自动机。 兹比尔1189.03046 马吕斯·博兹加；拉杜·奥西夫；亚辛·拉赫内奇 6 2009 生成非线性不变量的变换方法。 Zbl 0966.68118号 Bensalem，S。；博兹加，M。；J.-C.费尔南德斯。；基尔武，L。；Y.Lakhnech。 6 2000 基于组件的系统和应用程序的组成验证。 Zbl 1183.68364号 萨德克·本萨勒姆；马吕斯·博兹加；约瑟夫·西法基斯；阮，Thanh-Hung 6 2008 基于活变量分析的状态空间约简。 Zbl 0957.68080号 马吕斯·博兹加；Jean-Claude费尔南德斯；卢西安·吉尔武 5 1999 定量分离逻辑和带有列表的程序。 Zbl 1207.03038号 马吕斯·博兹加；拉杜·奥西夫；斯旺佩拉瑙 5 2010 基于组件的系统的运行时验证。 Zbl 1350.68060号 伊利耶斯·法尔科内；穆罕默德·贾比尔；阮，Thanh-Hung；马吕斯·博兹加；萨德克·本萨勒姆 5 2011 整数数组程序的自动验证。 Zbl 1242.68063号 马吕斯·博兹加；彼得·哈伯梅尔；拉杜·奥西夫；菲利普·科内钦；汤姆·沃纳 4 2009 检查基于参数化组件的系统的死锁自由度。 Zbl 1455.68102号 马吕斯·博兹加；拉杜·奥西夫；约瑟夫·西法基斯 4 2021 关于加法和除法运算中的可判定性。 Zbl 1119.03060号 马吕斯·博兹加；拉杜·奥西夫 4 2005 关于组合电路的时序分析。 Zbl 1099.94523号 兰齐·本·萨拉赫；马吕斯·博兹加；奥德·马勒 4 2004 IF：定时异步系统的验证环境。 兹比尔0974.68556 马吕斯·博兹加；Jean-Claude费尔南德斯；卢西安·吉尔武；苏珊娜·格拉芙；Jean-Pierre·克里姆；劳伦特·穆尼尔 三 2000 决定有条件终止。 Zbl 1338.68047号 马吕斯·博兹加；拉杜·奥西夫；菲利普·科内钦 三 2014 定量分离逻辑和带有列表的程序。 Zbl 1165.03329号 马吕斯·博兹加；拉杜·奥西夫；斯旺·佩拉诺 三 2008 基于多线程组件的系统的并发保护和健全监控：理论、算法、实现和评估。 Zbl 1377.68042号 霍森·纳扎尔布尔；伊利耶斯·法尔科内；萨德克·本萨勒姆；马吕斯·博兹加 三 2017 基于活变量分析的状态空间约简。 Zbl 1047.68083号 让-克洛德·费尔南德斯；马吕斯·博兹加；卢西安·吉尔武 2 2003 使用时间自动机验证异步电路。 Zbl 1270.68164号 马吕斯·博兹加；侯建民；奥德·马勒；塞尔吉奥·尤文 2 2002 分布式系统基于知识的控制方法。 Zbl 1305.68123号 萨德克·本萨勒姆；马吕斯·博兹加；苏珊娜·格拉芙；多龙·贝利德；苏菲·昆顿 2 2010 尽快：随机不确定性下的最优调度。 Zbl 1381.68022号 Jean-François Kempf；马吕斯·博兹加；奥德·马勒 2 2013 在带有列表的平面程序上。 Zbl 1132.68334号 马吕斯·博兹加；拉杜·奥西夫 2 2007 基于自动不变量生成的定时系统组合验证。 Zbl 1448.68216号 阿塞特夫·诺艾，勒克雷米奥拉；苏哈·本·拉亚纳；萨德克·本萨勒姆；马吕斯·博兹加；雅克·康巴兹 2 2015 检查基于参数化组件的系统的死锁自由度。 Zbl 1527.68022号 马吕斯·博兹加；拉杜·奥西夫；约瑟夫·西法基斯 1 2019 可重构分布式系统推理逻辑中的决策问题。 兹伯利07628216 马吕斯·博兹加；卢卡斯·布埃里；拉杜·奥西夫 1 2022 使用Aldébaran工具集进行协议验证。 Zbl 1060.68561号 马吕斯·博兹加；Jean-Claude费尔南德斯；阿兰·科布拉特；劳伦特·穆尼尔 1 1997 SDL的定时扩展。 Zbl 0982.68801号 马吕斯·博兹加；苏珊娜·格拉芙；劳伦特·穆尼尔；尤利安·奥贝尔；Jean-Luc·鲁克斯 1 2001 决定有条件终止。 Zbl 1338.68046号 马吕斯·博兹加；拉杜·奥西夫；菲利普·科内钦 1 2012 成分参数合成。 Zbl 1427.68180号 拉卡拉米奥拉，阿什特夫诺艾；萨德克·本萨勒姆；马吕斯·博兹加；Cheng，Chih-Hong先生；哈拉尔德·鲁斯 1 2016 基于组件的设计的理论议程。 Zbl 1454.68019号 约瑟夫·西法基斯；萨德克·本萨勒姆；西蒙，布利兹；马吕斯·博兹加 1 2015 可重构分布式系统推理逻辑中的决策问题。 Zbl 07628216号 马吕斯·博兹加；卢卡斯·布埃里；拉杜·奥西夫 1 2022 检查基于参数化组件的系统的死锁自由度。 Zbl 1455.68102号 马吕斯·博兹加；拉杜·奥西夫；约瑟夫·西法基斯 4 2021 用于验证具有参数化体系结构的系统的结构不变量。 Zbl 1507.68179号 马吕斯·博兹加；哈维尔·埃斯帕尔扎；拉杜·奥西夫；约瑟夫·西法基斯；克里斯托夫·韦尔泽尔 8 2020 检查基于参数化组件的系统的死锁自由度。 Zbl 1527.68022号 马吕斯·博兹加；拉杜·奥西夫；约瑟夫·西法基斯 1 2019 基于多线程组件的系统的并发保护和健全监控：理论、算法、实现和评估。 Zbl 1377.68042号 拿撒勒普尔，何西因；伊利耶斯·法尔科内；萨德克·本萨勒姆；马吕斯·博兹加 三 2017 成分参数合成。 Zbl 1427.68180号 拉卡拉米奥拉，阿什特夫诺艾；萨德克·本萨勒姆；马吕斯·博兹加；Cheng，Chih-Hong先生；哈拉尔德·鲁斯 1 2016 基于自动不变量生成的定时系统组合验证。 Zbl 1448.68216号 阿塞特夫·诺艾，勒克雷米奥拉；苏哈·本·拉亚纳；萨德克·本萨勒姆；马吕斯·博兹加；雅克·康巴兹 2 2015 基于组件设计的理论议程。 Zbl 1454.68019号 约瑟夫·西法基斯；萨德克·本萨勒姆；西蒙，布利兹；马吕斯·博兹加 1 2015 安全问题对于具有八角循环的平面整数程序来说是NP-完全的。 Zbl 1428.68160号 马吕斯·博兹加；拉杜·奥西夫；菲利普·科内钦 7 2014 决定有条件终止。 Zbl 1338.68047号 马吕斯·博兹加；拉杜·奥西夫；菲利普·科内钦 三 2014 尽可能快：随机不确定性下的最优调度。 Zbl 1381.68022号 Jean-François Kempf；马吕斯·博兹加；奥德·马勒 2 2013 基于组件模型的自动化分布式实现框架。 Zbl 1256.68016号 博尔祖·博纳克达尔普尔；马吕斯·博兹加；穆罕默德·贾比尔；吉恩·奎尔贝夫；约瑟夫·西法基斯 12 2012 决定有条件终止。 Zbl 1338.68046号 马吕斯·博兹加；拉杜·奥西夫；菲利普·科内钦 1 2012 带有列表的程序是计数器自动机。 Zbl 1217.68059号 艾哈迈德·博阿贾尼；马吕斯·博兹加；彼得·哈伯梅尔；拉杜·奥西夫；皮埃尔·莫罗；汤姆·沃纳 7 2011 基于组件的系统的运行时验证。 Zbl 1350.68060号 伊利耶斯·法尔科内；穆罕默德·贾比尔；阮，Thanh-Hung；马吕斯·博兹加；萨德克·本萨勒姆 5 2011 最终周期关系的快速加速。 Zbl 1427.68113号 马吕斯·博兹加；拉杜·奥西夫；菲利普·科内钦 12 2010 定量分离逻辑和带有列表的程序。 Zbl 1207.03038号 马吕斯·博兹加；拉杜·奥西夫；斯旺·佩拉诺 5 2010 分布式系统基于知识的控制方法。 Zbl 1305.68123号 萨德克·本萨勒姆；马吕斯·博兹加；苏珊娜·格拉芙；多龙·贝利德；苏菲·昆顿 2 2010 迭代的八边形。 Zbl 1234.68200号 马吕斯·博兹加；哥德鲁·格里亚；拉杜·奥西夫 12 2009 平面参数计数器自动机。 Zbl 1189.03046号 马吕斯·博兹加；拉杜·奥西夫；亚辛·拉赫内奇 6 2009 整数数组程序的自动验证。 Zbl 1242.68063号 马吕斯·博兹加；彼得·哈伯梅尔；拉杜·奥西夫；菲利普·科内钦；汤姆·沃纳 4 2009 基于组件的系统和应用程序的组成验证。 Zbl 1183.68364号 萨德克·本萨勒姆；马吕斯·博兹加；约瑟夫·西法基斯；阮，Thanh-Hung 6 2008 定量分离逻辑和带有列表的程序。 兹比尔1165.03329 马吕斯·博兹加；拉杜·奥西夫；斯旺·佩拉诺 三 2008 在带有列表的平面程序上。 Zbl 1132.68334号 马吕斯·博兹加；拉杜·奥西夫 2 2007 带有列表的程序是计数器自动机。 Zbl 1188.68181号 艾哈迈德·博阿贾尼；马吕斯·博兹加；彼得·哈伯梅尔；拉杜·奥西夫；皮埃尔·莫罗；汤姆·沃纳 21 2006 平面参数计数器自动机。 Zbl 1134.68028号 马吕斯·博兹加；拉杜·奥西夫；亚辛·拉赫内奇 13 2006 关于时间自动机中的交错。 Zbl 1151.68457号 兰齐·本·萨拉赫；马吕斯·博兹加；奥德·马勒 9 2006 关于加法和除法运算中的可判定性。 Zbl 1119.03060号 马吕斯·博兹加；拉杜·奥西夫 4 2005 IF工具集。 Zbl 1105.68352号 马吕斯·博兹加；苏珊娜·格拉芙；伊利亚娜·奥贝尔；尤利安·奥贝尔；约瑟夫·西法基斯 15 2004 关于混叠逻辑。 兹伯利1104.68016 马吕斯·博兹加；拉杜·奥西夫；亚辛·拉赫内奇 6 2004 关于组合电路的时序分析。 Zbl 1099.94523号 兰齐·本·萨拉赫；马吕斯·博兹加；奥德·马勒 4 2004 基于活变量分析的状态空间约简。 Zbl 1047.68083号 Jean-Claude费尔南德斯；马吕斯·博兹加；卢西安·吉尔武 2 2003 通过可满足性检查验证时间自动机。 Zbl 1278.68187号 彼得·尼伯特；莫伊兹·马赫福德；尤金·亚萨林；马吕斯·博兹加；奥德·马勒 14 2002 IF-2.0：基于组件的实时系统的验证环境。 Zbl 1010.68751号 马吕斯·博兹加；苏珊娜·格拉芙；劳伦特·穆尼尔 11 2002 使用时间自动机验证异步电路。 Zbl 1270.68164号 马吕斯·博兹加；侯建民；奥德·马勒；塞尔吉奥·尤文 2 2002 SDL的定时扩展。 Zbl 0982.68801号 马吕斯·博兹加；苏珊娜·格拉芙；劳伦特·穆尼尔；尤利安·奥贝尔；Jean-Luc·鲁克斯 1 2001 生成非线性不变量的变换方法。 Zbl 0966.68118号 本萨勒姆，S。；博兹加，M。；J.-C.费尔南德斯。；基尔武，L。；Y.Lakhnech。 6 2000 IF：定时异步系统的验证环境。 兹比尔0974.68556 马吕斯·博兹加；Jean-Claude费尔南德斯；卢西安·吉尔武；苏珊娜·格拉芙；Jean-Pierre·克里姆；劳伦特·穆尼尔 三 2000 关于结构化域上概率的表示。 Zbl 1046.68581号 马吕斯·博兹加；奥德·马勒 6 1999 基于活变量分析的状态空间约简。 Zbl 0957.68080号 马吕斯·博兹加；Jean-Claude费尔南德斯；卢西安·吉尔武 5 1999 使用Aldébaran工具集进行协议验证。 Zbl 1060.68561号 马吕斯·博兹加；Jean-Claude费尔南德斯；阿兰·科布拉特；劳伦特·穆尼尔 1 1997 所有引用的出版物 前5名被引用出版物 全部的 前5名被386位作者引用 12 马吕斯·博兹加 12 斯特凡·德姆里。 12 拉杜·奥西夫 6 阿兰·芬克尔 6 约瑟夫·西法基斯 6 汤姆·沃纳 5 艾哈迈德·博阿贾尼 5 伊利耶斯·法尔科内 5 卢卡什·霍利克 5 艾蒂安·洛兹 5 奥德·马勒 4 萨德克·本萨勒姆 4 雷米·布罗赫宁 4 穆罕默德·贾伯。 4 尼尔森，Jens D。 4 Peter Csaba，Olveczky 4 亚当·罗加列维奇 三 帕罗什·阿齐兹·阿卜杜拉 三 埃蒂安·安德烈 三 保罗·C·阿蒂。 三 卡梅尔·巴考伊 三 哈尼法·布切内布 三 帕特里夏·鲍耶 三 Jörg Brauer 三 亚历山德罗·西马蒂 三 阿米特·库马尔·达尔 三 哈维尔·埃斯帕尔扎 三 乌里·法伦贝格 三 弗洛里安·弗洛恩 三 休伯特·加拉维 三 苏珊娜·格拉芙 三 斯特凡·科瓦列夫斯基 三 弗雷德里克·朗 三 金·古德斯特兰·拉森 三 Ondřej Lengál 三 杰罗姆·勒鲁 三 尼古拉斯·马基 三 何塞·梅塞盖尔·瓜伊塔 三 乔尔·欧·瓦克宁。 三 安东尼奥·萨默隆 三 阿诺德·桑尼尔 三 吉·斯尔巴 三 斯特凡诺·托内塔 三 克里斯托夫·韦尔泽尔 三 詹姆斯·沃雷尔。 2 弗朗西斯科·阿尔贝蒂 2 乔瓦尼·巴奇 2 埃齐奥·巴托西 2 伊梅内·本·哈菲德 2 比莱基，Włodzimierz 2 劳拉·博泽利 2 马克·布罗克施米特 2 魏恩根·钦 2 塞萨拉·德拉戈伊 2 安托万·埃尔·霍卡耶姆 2 埃曼纽尔·恩克雷纳兹 2 康斯坦丁·埃纳 2 阿德里安·弗兰卡兰扎 2 劳伦·弗里堡 2 皮埃尔·甘蒂 2 西尔维奥·吉拉尔迪 2 吉尔根·吉斯尔 2 鲁道夫·戈麦斯 2 阿尔贝托·格里乔 2 彼得·哈伯梅尔 2 雅各布森，拉塞 2 莫滕·雅各布森 2 托马什·克里梅克 2 Krzysztof，克拉斯卡 2 丹尼尔·科宁 2 马丁·兰格 2 Le，Quang Loc公司 2 纳迪尔·马特林格 2 米凯尔·哈克杰·默勒 2 阿纳多·维埃拉·穆拉 2 德扬·尼科维奇 2 诺尔，托马斯 2 Doron A.Peled。 2 劳蕾·佩特鲁奇 2 苏菲·平奇纳特 2 玛丽亚·皮图 2 M·普拉文。 2 苏菲·昆顿 2 乔治·拉霍尼斯 2 米哈伊尔·拉斯金 2 拉希德·热比哈 2 皮埃尔·阿莱·雷尼尔 2 拉斐尔·鲁米 2 娜塔莎·莎莉吉娜 2 米哈埃拉·西希雷亚努 2 马尔詹·西尔贾尼 2 斯塔夫罗斯·特里帕基斯 2 范德波尔，扬·科内利斯 2 乔治·威森巴赫 2 詹乃军 1 亚斯米娜·阿卜杜达伊姆 1 谢里夫·阿卜杜勒瓦希德 1 艾丽卡·阿尔布拉汉姆 1 沃尔夫冈·阿伦特 1 艾切尔尼格，伯恩哈德·K。 …还有286位作者 全部的 前5名36篇连载文章中引用 21 系统设计中的形式化方法 13 理论计算机科学 11 计算的形式方面 7 自动推理杂志 4 信息学报 4 信息与计算 4 国际近似推理杂志 4 实时系统 4 计算机科学中的逻辑方法 4 程序设计中的逻辑和代数方法杂志 三 计算机与系统科学杂志 三 计算机程序设计科学 三 逻辑与代数程序设计杂志 2 信息处理信件 2 ACM计算逻辑事务 1 倒排索引综述 1 计算机物理通信 1 信息科学 1 纯逻辑与应用逻辑年鉴 1 符号计算杂志 1 算法 1 国际并行程序设计杂志 1 国际计算机科学基础杂志 1 离散事件动态系统 1 统计计算与模拟杂志 1 计算统计与数据分析 1 分布式计算 1 应用非经典逻辑杂志 1 符号逻辑公报 1 计算系统理论 1 组合优化期刊 1 高阶和符号计算 1 计算机基础理论 1 系统科学与复杂性杂志 1 应用数学杂志 1 计算机科学评论 全部的 前5名17个字段中引用 183 计算机科学（68至XX） 43 数理逻辑与基础（03-XX） 6 系统论；控制（93至XX） 2 组合数学（05-XX） 2 概率论与随机过程（60-XX） 2 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 2 信息与通信理论、电路（94-XX） 1 总体主题；集合（00-XX） 1 阶、格、有序代数结构（06-XX） 1 数论（11-XX） 1 交换代数（13-XX） 1 动力系统和遍历理论（37至XX） 1 变分法与最优控制；最优化（49至XX） 1 统计学（62-XX） 1 数值分析（65-XX） 1 运筹学、数学规划（90-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的引文