编辑配置文件（在新选项卡中打开） 弗朗索瓦·拉鲁西尼 合著者距离 作者ID： 拉鲁西尼亚·弗朗索瓦 发布日期： 弗朗索瓦·拉鲁西尼；拉鲁西尼，F。；弗朗索瓦·拉鲁西尼 更多。。。较少的 外部链接： MGP公司 已编制索引的文档： 46出版物自1995年以来，包括1本书 1名编辑贡献 合著者： 32位合著者具有44联合出版物 882名合著作者 全部的 前5名合著者 2 单作者的 17 尼古拉斯·马基 6 帕特里夏·鲍耶 5 菲利普·施诺贝伦 4 加桑·奥雷比 4 杰里米·斯普鲁斯顿 三 Bérard，Béatrice公司 三 弗兰克·卡塞兹 三 阿诺达科斯塔 2 卢卡·埃特罗 2 Houda Bel Mokadem 2 托马斯·布里海耶 2 斯特凡·德姆里。 2 阿卡什侯赛因 2 马尔钦·尤尔季安斯基 2 安托万·迈耶 2 佩通，尤德斯 2 Schnoebelen，哲学博士 2 马修·图鲁阿尼 1 米歇尔·比多瓦 1 大卫，艾米莉 1 阿兰·芬克尔 1 保罗·加斯丁 1 金·古德斯特兰·拉森 1 皮埃尔·麦肯齐 1 乔尔·欧·瓦克宁。 1 安托万·C·佩蒂特。 1 劳蕾·佩特鲁奇 1 苏菲·平奇纳特 1 皮埃尔·阿莱·雷尼尔 1 阿诺德·桑尼尔 1 卡斯滕·韦斯 1 詹姆斯·沃雷尔。 全部的 前5名系列 4 理论计算机科学 4 计算机科学中的逻辑方法 三 信息与计算 2 信息处理信件 1 计算机与系统科学杂志 1 逻辑、语言与信息杂志 1 欧洲理论计算机科学协会公报 1 逻辑与代数程序设计杂志 1 计算机科学课堂讲稿 领域 47 计算机科学（68至XX） 27 数学逻辑和基础（03-XX） 三 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 总体主题；集合（00-XX） 1 系统论；控制（93至XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 41出版物有被引用352中的次235文件 引用人▼ 年份▼ 时间逻辑与过去的层次结构。 兹比尔0873.68068 拉鲁西尼，F。；Schnoebelen，哲学博士 23 1995 一个或两个时钟的模型检查时间自动机。 Zbl 1099.68057号 拉鲁西尼，F。；马基，N。；Schnoebelen博士。 22 2004 具有策略上下文和有限内存的ATL。 Zbl 1211.03031号 托马斯·布里海耶；阿诺达科斯塔；弗朗索瓦·拉鲁西尼；尼古拉斯·马基 21 2009 系统和软件验证。模型检查技术和工具。 Zbl 1002.68029号 Bérard，B。；米歇尔·比多特。；芬克尔，A。；拉鲁西尼，F。；A.佩蒂特。；佩特鲁奇。；Schnoebelen博士。；麦肯齐，P。 21 2001 从时间自动机到逻辑，再到逻辑。 Zbl 1193.03069号 弗朗索瓦·拉鲁西尼；拉森，金·G。；卡斯滕·韦斯 19 1995 一个或两个时钟的概率时间自动机模型检验。 Zbl 1147.68574号 马尔金·尤尔金斯基；杰里米·斯普鲁斯顿；弗朗索瓦·拉鲁西尼 18 2008 模型检查\（\text{CTL}^+\）和FCTL很难。 Zbl 0986.68067号 弗朗索瓦·拉鲁西尼；尼古拉斯·马基；菲利普·施诺贝伦 17 2001 用战略背景扩充ATL。 Zbl 1332.68140号 弗朗索瓦·拉鲁西尼；尼古拉斯·马基 16 2015 CTL+过去用于CTL验证的规范。 Zbl 1046.68599号 拉鲁西尼，F。；Schnoebelen博士。 16 2000 量化CTL：表达性和复杂性。 Zbl 1448.68304号 弗朗索瓦·拉鲁西尼；尼古拉斯·马基 15 2014 时间自动机中的对角线约束：时间系统的正向分析。 Zbl 1175.68256号 帕特里夏·鲍耶；弗朗索瓦·拉鲁西尼；皮埃尔·阿莱·雷尼尔 14 2005 具有策略上下文的ATL：表达性和模型检查。 Zbl 1245.68135号 阿诺达科斯塔；弗朗索瓦·拉鲁西尼；尼古拉斯·马基 13 2010 一个或两个时钟的概率时间自动机模型检验。 Zbl 1186.68295号 马尔钦·尤尔季安斯基；弗朗索瓦·拉鲁西尼；杰里米·斯普鲁斯顿 10 2007 计算CTL。 Zbl 1284.03149号 弗朗索瓦·拉鲁西尼；安托万·迈耶；佩通，尤德斯 10 2010 关于ATL的表现力和复杂性。 Zbl 1143.68044号 弗朗索瓦·拉鲁西尼；尼古拉斯·马基；加桑·奥雷比 10 2008 从追踪到互模拟等价的状态爆炸问题。 Zbl 0961.68090号 弗朗索瓦·拉鲁西尼；菲利普·施诺贝伦 10 2000 你的模型检验员准时吗？时间模态逻辑模型检验的复杂性。 Zbl 1008.68030号 卢卡·埃特罗；弗朗索瓦·拉鲁西尼 9 2002 状态爆炸几乎是概率可达的。 Zbl 1184.68318号 弗朗索瓦·拉鲁西尼；杰里米·斯普鲁斯顿 8 2007 关于CTL组合子的表达能力。 Zbl 0875.68632号 拉鲁西尼，F。 7 1995 量化CTL：表达性和模型检查（扩展抽象）。 Zbl 1364.68261号 阿诺达科斯塔；弗朗索瓦·拉鲁西尼；尼古拉斯·马基 7 2012 定量分支时间时序逻辑的表达性和复杂性。 Zbl 1019.03012号 拉鲁西尼，F。；Schnoebelen博士。；M.图鲁阿尼。 6 2003 关于持续Kripke结构的模型检验。 兹比尔1077.68691 弗朗索瓦·拉鲁西尼；尼古拉斯·马基；菲利普·施诺贝伦 6 2002 通过商和约束求解对混合系统进行模型检查。 Zbl 0974.68117号 弗兰克·卡塞兹；弗朗索瓦·拉鲁西尼 6 2000 持续概率系统的模型检验。 Zbl 1118.68548号 弗朗索瓦·拉鲁西尼；杰里米·斯普鲁斯顿 6 2005 关于ATL的表现力和复杂性。 Zbl 1142.68438号 弗朗索瓦·拉鲁西尼；尼古拉斯·马基；加桑·奥雷比 5 2007 定时并发游戏结构。 Zbl 1151.68510号 托马斯·布里海耶；弗朗索瓦·拉鲁西尼；尼古拉斯·马基；加桑·奥雷比 4 2007 持续并发游戏结构的模型检查定时ATL。 Zbl 1141.68474号 弗朗索瓦·拉鲁西尼；尼古拉斯·马基；加桑·奥雷比 4 2006 反应系统模态逻辑之间的转换。 Zbl 0874.68273号 拉鲁西尼，F。；Pinchinat，S.公司。；Schnoebelen，哲学博士 三 1995 实时系统的定时模式逻辑。规范、验证和控制。 Zbl 1216.68158号 帕特里夏·鲍耶；弗兰克·卡塞兹；弗朗索瓦·拉鲁西尼 三 2011 模型检验中状态爆炸问题的参数分析。 Zbl 1054.68557号 德姆里，S。；拉鲁西尼，F。；施诺贝伦，P。 三 2002 时间时序逻辑。 Zbl 1431.03032号 帕特里夏·鲍耶；弗朗索瓦·拉鲁西尼；尼古拉斯·马基；约尔·瓦克宁；詹姆斯·沃雷尔 三 2017 的可满足性ATL公司与战略背景。 Zbl 1464.03018号 弗朗索瓦·拉鲁西尼；尼古拉斯·马基 三 2013 模型检验中状态爆炸问题的参数分析。 Zbl 1094.68056号 德姆里，S。；拉鲁西尼，F。；Schnoebelen博士。 2 2006 定时控制的模态逻辑。 Zbl 1134.68399号 帕特里夏·鲍耶；弗兰克·卡塞兹；弗朗索瓦·拉鲁西尼 2 2005 你的模型检验员准时吗？时间模态逻辑模型检验的复杂性。 Zbl 0955.68079号 卢卡·埃特罗；弗朗索瓦·拉鲁西尼 2 1999 离散时间系统的有效定时模型检验。 Zbl 1088.68107号 拉鲁西尼，F。；马基，N。；Schnoebelen博士。 2 2006 \（\mathsf{ATL}_\mathit{sc}\），部分观察。 Zbl 1476.68151号 弗朗索瓦·拉鲁西尼；尼古拉斯·马基；阿诺德·桑尼尔 2 2015 计数\（\mathsf{CTL}\）。 Zbl 1260.68233号 弗朗索瓦·拉鲁西尼；安托万·迈耶；佩通，尤德斯 1 2013 CONCUR 2010–并发理论。第21届国际会议，CONCUR 2010，法国巴黎，2010年8月31日至9月3日。诉讼程序。 兹比尔1194.68036 1 2010 时间自动机中几乎处处属性的一种新形式。 Zbl 1134.68381号 贝尔·莫卡德姆，胡达；Bérard，Béatrice公司；帕特里夏·鲍耶；弗朗索瓦·拉鲁西尼 1 2005 关于QCTL的表达性。 Zbl 1392.68245号 大卫，艾米莉；弗朗索瓦·拉鲁西尼；尼古拉斯·马基 1 2016 时间时序逻辑。 Zbl 1431.03032号 帕特里夏·鲍耶；弗朗索瓦·拉鲁西尼；尼古拉斯·马基；约尔·瓦克宁；詹姆斯·沃雷尔 三 2017 关于QCTL的表达性。 Zbl 1392.68245号 大卫，艾米莉；弗朗索瓦·拉鲁西尼；尼古拉斯·马基 1 2016 用战略背景扩充ATL。 Zbl 1332.68140号 弗朗索瓦·拉鲁西尼；尼古拉斯·马基 16 2015 \（\mathsf｛ATL｝_\mathit{sc}\），部分观察。 Zbl 1476.68151号 弗朗索瓦·拉鲁西尼；尼古拉斯·马基；阿诺德·桑尼尔 2 2015 量化CTL：表达性和复杂性。 Zbl 1448.68304号 弗朗索瓦·拉鲁西尼；尼古拉斯·马基 15 2014 的可满足性ATL公司与战略背景。 Zbl 1464.03018号 弗朗索瓦·拉鲁西尼；尼古拉斯·马基 三 2013 计数\（\mathsf{CTL}\）。 Zbl 1260.68233号 弗朗索瓦·拉鲁西尼；安托万·迈耶；佩通，尤德斯 1 2013 量化CTL：表达性和模型检查（扩展抽象）。 Zbl 1364.68261号 阿诺达科斯塔；弗朗索瓦·拉鲁西尼；尼古拉斯·马基 7 2012 实时系统的定时模式逻辑。规范、验证和控制。 Zbl 1216.68158号 帕特里夏·鲍耶；弗兰克·卡塞兹；弗朗索瓦·拉鲁西尼 三 2011 具有策略上下文的ATL：表达性和模型检查。 Zbl 1245.68135号 阿诺达科斯塔；弗朗索瓦·拉鲁西尼；尼古拉斯·马基 13 2010 计算CTL。 Zbl 1284.03149号 弗朗索瓦·拉鲁西尼；安托万·迈耶；佩通，尤德斯 10 2010 CONCUR 2010–并发理论。第21届国际会议，CONCUR 2010，法国巴黎，2010年8月31日至9月3日。诉讼程序。 Zbl 1194.68036号 1 2010 具有策略上下文和有限内存的ATL。 Zbl 1211.03031号 托马斯·布里海耶；阿诺达科斯塔；弗朗索瓦·拉鲁西尼；尼古拉斯·马基 21 2009 一个或两个时钟的概率时间自动机模型检验。 Zbl 1147.68574号 马尔金·尤尔金斯基；杰里米·斯普鲁斯顿；弗朗索瓦·拉鲁西尼 18 2008 关于ATL的表现力和复杂性。 Zbl 1143.68044号 弗朗索瓦·拉鲁西尼；尼古拉斯·马基；加桑·奥雷比 10 2008 一个或两个时钟的概率时间自动机模型检验。 Zbl 1186.68295号 马尔钦·尤尔季安斯基；弗朗索瓦·拉鲁西尼；杰里米·斯普鲁斯顿 10 2007 状态爆炸几乎是概率可达的。 Zbl 1184.68318号 弗朗索瓦·拉鲁西尼；杰里米·斯普鲁斯顿 8 2007 关于ATL的表现力和复杂性。 Zbl 1142.68438号 弗朗索瓦·拉鲁西尼；尼古拉斯·马基；加桑·奥雷比 5 2007 计时并发游戏结构。 Zbl 1151.68510号 托马斯·布里海耶；弗朗索瓦·拉鲁西尼；尼古拉斯·马基；加桑·奥雷比 4 2007 持久并发博弈结构的模型检查定时ATL。 Zbl 1141.68474号 弗朗索瓦·拉鲁西尼；尼古拉斯·马基；加桑·奥雷比 4 2006 模型检验中状态爆炸问题的参数分析。 Zbl 1094.68056号 德姆里，S。；拉鲁西尼，F。；Schnoebelen博士。 2 2006 离散时间系统的有效定时模型检验。 Zbl 1088.68107号 拉鲁西尼，F。；马基，N。；Schnoebelen博士。 2 2006 时间自动机中的对角约束：时间系统的前向分析。 Zbl 1175.68256号 帕特里夏·鲍耶；弗朗索瓦·拉鲁西尼；皮埃尔·阿莱·雷尼尔 14 2005 持续概率系统的模型检验。 Zbl 1118.68548号 弗朗索瓦·拉鲁西尼；杰里米·斯普鲁斯顿 6 2005 定时控制的模态逻辑。 Zbl 1134.68399号 帕特里夏·鲍耶；弗兰克·卡塞兹；弗朗索瓦·拉鲁西尼 2 2005 时间自动机中几乎处处属性的一种新形式。 Zbl 1134.68381号 Houda Bel Mokadem；Bérard，Béatrice公司；帕特里夏·鲍耶；弗朗索瓦·拉鲁西尼 1 2005 一个或两个时钟的模型检查时间自动机。 Zbl 1099.68057号 拉鲁西尼，F。；马基，N。；Schnoebelen博士。 22 2004 定量分支时间时序逻辑的表达性和复杂性。 Zbl 1019.03012号 拉鲁西尼，F。；Schnoebelen博士。；M.图鲁阿尼。 6 2003 你的模型检验员准时吗？时间模态逻辑模型检验的复杂性。 Zbl 1008.68030号 卢卡·埃特罗；弗朗索瓦·拉鲁西尼 9 2002 关于持续Kripke结构的模型检验。 Zbl 1077.68691号 弗朗索瓦·拉鲁西尼；尼古拉斯·马基；菲利普·施诺贝伦 6 2002 模型检验中状态爆炸问题的参数分析。 Zbl 1054.68557号 德姆里，S。；拉鲁西尼，F。；施诺贝伦，P。 三 2002 系统和软件验证。模型检查技术和工具。 Zbl 1002.68029号 Bérard，B。；米歇尔·比多特。；芬克尔，A。；拉鲁西尼，F。；A.佩蒂特。；佩特鲁奇。；Schnoebelen博士。；麦肯齐，P。 21 2001 模型检查\（\text{CTL}^+\）和FCTL很难。 Zbl 0986.68067号 弗朗索瓦·拉鲁西尼；尼古拉斯·马基；菲利普·施诺贝伦 17 2001 CTL+过去用于CTL验证的规范。 Zbl 1046.68599号 拉鲁西尼，F。；Schnoebelen博士。 16 2000 从追踪到互模拟等价的状态爆炸问题。 Zbl 0961.68090号 弗朗索瓦·拉鲁西尼；菲利普·施诺贝伦 10 2000 通过商和约束求解对混合系统进行模型检查。 Zbl 0974.68117号 弗兰克·卡塞兹；弗朗索瓦·拉鲁西尼 6 2000 你的模型检查器准时吗？时间模态逻辑模型检验的复杂性。 Zbl 0955.68079号 卢卡·埃特罗；弗朗索瓦·拉鲁西尼 2 1999 时间逻辑与过去的层次结构。 兹比尔0873.68068 拉鲁西尼，F。；Schnoebelen，哲学博士 23 1995 从时间自动机到逻辑，再到逻辑。 兹比尔1193.03069 弗朗索瓦·拉鲁西尼；拉森，金·G。；卡斯滕·韦斯 19 1995 关于CTL组合子的表达能力。 Zbl 0875.68632号 拉鲁西尼，F。 7 1995 反应系统模态逻辑之间的转换。 Zbl 0874.68273号 拉鲁西尼，F。；Pinchinat，S.公司。；Schnoebelen，哲学博士 三 1995 所有引用的出版物 前5名被引用出版物 全部的 前5名381位作者引用 19 帕特里夏·鲍耶 17 金·古德斯特兰·拉森 17 尼古拉斯·马基 14 弗朗索瓦·拉鲁西尼 13 阿尼埃洛·穆拉诺 12 劳拉，博泽利 12 斯特凡·德姆里。 8 沃伊切赫，詹罗加 8 杰里米·斯普鲁斯顿 6 法比奥·莫加维罗 5 奥尔纳·库普弗曼 5 马丁·兰格 5 让-弗朗索瓦·拉斯金 5 阿诺德·桑尼尔 5 吉·斯尔巴 4 卢卡·埃特罗 4 弗朗西斯科·贝拉迪内利 4 乌里·法伦贝格 4 保罗·加斯丁 4 瓦伦丁·F·戈兰科。 4 朱塞佩·佩雷利 4 阿德里亚诺·佩隆 4 苏菲·平奇纳特 三 克里斯特尔·拜尔 三 托马斯·布里海耶 三 牛，尼尔斯 三 弗兰克·卡塞兹 三 克里希南德·查特吉 三 当、哲 三 阿米特·库马尔·达尔 三 尤尔根·迪克斯 三 帕特里克·加迪 三 安德烈亚斯·克雷布斯 三 Kwiatkowska，Marta Z。 三 瓦迪姆·马尔文 三 阿莱西奥·曼苏蒂 三 拉杜·马达尔 三 巴斯蒂安·莫伯特 三 阿恩·迈尔 三 阿尔贝托·莫利纳里 三 安吉洛·蒙塔纳里 三 马丁·蒙德亨克 三 格钦·诺曼 三 帕里托什·K·潘迪亚。 三 保罗·佩特森 三 米凯尔·兰多尔 三 萨沙·鲁宾 三 皮埃特罗·萨拉 三 洛雷达纳·索伦蒂诺 三 巴拉古鲁·斯里瓦桑 三 安德热·瓦索夫斯基 三 沃尔克·韦伯 三 薛冰田 三 易、王 2 艾切尔尼格，伯恩哈德·K。 2 亚当·安东尼克 2 阿夫尼，盖伊 2 巴托斯·贝德纳西克 2 马西莫·贝内雷切蒂 2 Bérard，Béatrice公司 2 纳塔莉·伯特兰 2 朱利安·布鲁内尔 2 D.Yu Bugaichenko。 2 克利斯朵夫·查尔顿 2 戴维·谢穆伊尔 2 彼得·奇尼 2 洛伦佐·克莱门特 2 柯特林·迪马 2 朱尔根·丁格尔 2 劳伦特·多恩 2 埃琳娜·费斯曼 2 Forejt，Vojtěch公司 2 马库斯·格勒 2 什巴希斯·古哈 2 朱利安·古铁雷斯 2 克里斯托夫·哈斯 2 谢尔盖·哈达德 2 洛依茨海露 2 弗雷德里克·赫布雷托 2 黄忠浩 2 迈克尔·R·A·胡特。 2 Anna Ingólfsdóttir 2 彼得·扬查尔 2 马尔钦·尤尔季安斯基 2 伊莎贝拉·考夫曼 2 理查德·凯默勒。 2 斯特凡·基弗 2 萨尔瓦多拉托雷 2 拉诺特、拉格罗 2 萨沃米尔·拉索塔 2 西蒙·劳尔森 2 Legay、Axel 2 莱姆，迪迪埃 2 卡马尔·洛达亚 2 阿莱西奥·洛穆西奥 2 弗洛里安·洛伯 2 罗比·马利克 2 菲利普·马佐维耶基 2 罗兰·梅耶 2 德扬·尼科维奇 …还有281位作者 全部的 前5名40篇连载文章被引用 35 信息与计算 18 理论计算机科学 9 信息学报 9 ACM计算逻辑事务 7 人工智能 6 信息处理信件 5 计算机与系统科学杂志 5 应用非经典逻辑杂志 5 计算机科学中的逻辑方法 5 程序设计中的逻辑和代数方法杂志 4 计算的形式方面 4 系统设计中的形式化方法 三 自动推理杂志 三 实时系统 三 MSCS公司。计算机科学中的数学结构 三 离散事件动态系统 三 逻辑、语言与信息杂志 2 维斯特尼克圣彼得堡大学。数学 2 数学与人工智能年鉴 2 计算系统理论 2 逻辑与代数程序设计杂志 2 计算机科学评论 1 倒排索引综述 1 信息科学 1 哲学逻辑杂志 1 编程与计算机软件 1 Studia Logica公司 1 纯逻辑与应用逻辑年鉴 1 国际生产研究杂志 1 机器学习 1 国际计算机科学基础杂志 1 分布式计算 1 软计算 1 RAIRO公司。理论信息学及其应用 1 计算机基础理论 1 应用逻辑杂志 1 计算机科学中的数学 1 理论计算机科学的基础和发展趋势 1 中国计算机科学前沿 1 计算机科学前沿 全部的 前5名11个领域引用 221 计算机科学（68至XX） 106 数学逻辑和基础（03-XX） 37 博弈论、经济学、金融和其他社会和行为科学（91-XX） 7 系统论；控制（93至XX） 6 运筹学、数学规划（90-XX） 三 概率论与随机过程（60-XX） 2 生物学和其他自然科学（92-XX） 1 阶、格、有序代数结构（06-XX） 1 线性代数和多线性代数；矩阵理论（15-XX） 1 动力系统和遍历理论（37至XX） 1 信息和通信理论，电路（94-XX） 按年份列出的引文