编辑配置文件(在新选项卡中打开) 阿兰·芬克尔 合著者距离 作者ID: 芬克尔-阿莱恩 发布日期: 阿兰·芬克尔;芬克尔,A。 主页: 网址:http://www.lsv.fr/~芬克尔/ 外部链接: MGP公司 已编制索引的文档: 93出版物自1982年以来,包括1本书 5名编辑的贡献 合著者: 76位合著者具有90联合出版物 1379合著作者 全部的 前5名合著者 7 单作者的 13 皮埃尔·麦肯齐 11 勒鲁,杰罗姆 9 迈克尔·布隆丁 9 谢尔盖,哈达德 7 让·古鲍特·拉雷克 6 格雷戈伊尔·萨特雷 5 贝内迪克特·博利格 5 雷米发动机盖 5 米歇尔·卡迪尔哈克 5 克里斯托夫·哈斯 5 伊戈尔·赫梅尔尼茨基 4 艾蒂安·洛兹 4 阿诺德·桑尼尔 4 阿姆丽塔·苏雷什 4 劳伦特·范·贝京 三 塞巴斯蒂安·巴丁 三 Stéphane P.德姆里。 三 斯特凡·格勒 三 M·普拉文。 三 Jean-François拉斯金 三 菲利普·施诺贝伦 2 佛罗伦萨Bouchy 2 扎卡里亚·布齐安内 2 塞塞、杰拉德 2 皮埃尔·香巴特 2 安妮·乔奎特 2 凯瑟琳·杜福尔德 2 吉勒·杰勒茨 2 瓦伦丁·F·戈兰科。 2 S.Purushothaman,Iyer 2 杰拉德·梅米 2 劳雷·佩特鲁奇 2 伊戈尔·波塔波夫 2 费尔南多·罗莎·维拉尔多 2 西尔万·施密茨 2 范·德里姆伦(van Drimmelen)、戈弗特(Govert) 2 伯纳德·威廉姆斯 2 皮埃尔·沃尔珀 2 马克·泽顿 1 帕罗什·阿齐兹·阿卜杜拉 1 巴博特,贝努伊特 1 贝拉德,贝特里奇 1 杰拉德·贝里 1 米歇尔·比多特 1 艾哈迈德·博阿贾尼 1 弗兰克·卡塞兹 1 Chane-Yack-Fa,拉斐尔 1 休伯特·科蒙 1 克里斯托夫·达洛特 1 辛齐亚·迪·朱斯托 1 埃曼纽尔·恩克雷纳兹 1 马提亚斯·恩格尔 1 帕特里斯·恩贾伯特 1 哈维尔·埃斯帕尔扎 1 马克·弗拉皮尔 1 Gupta,Ekansheep公司 1 弗雷德里克·赫布雷托 1 伊耶,普鲁索塔曼 1 马提亚斯·扬岑 1 弗朗索瓦·拉鲁西尼 1 莱蒂蒂亚·拉弗萨 1 兰科·拉齐奇 1 马丁·勒克 1 奥德·马勒 1 阿梅尔·曼玛 1 尼尔,丹尼尔 1 安托万·C·佩蒂特。 1 克劳迪娜·皮卡罗尼 1 路易斯·罗西尔(Louis E.Rosier)。 1 彼得·罗斯马尼思 1 Olivier F.鲁克斯。 1 罗伊,拉贾什 1 伊莎贝尔·泰勒 1 帕特里克·托茨克 1 克劳斯·瓦格纳。 1 谢、宣 1 叶,丽娜 全部的 前5名系列 9 理论计算机科学 7 信息与计算 7 计算机科学中的逻辑方法 4 计算机科学课堂讲稿 2 信息处理信件 2 国际计算机科学基础杂志 2 计算机基础理论 1 信息学报 1 欧洲理论计算机科学协会(EATCS)公报 1 计算的形式方面 1 MSCS公司。计算机科学中的数学结构 1 离散事件动态系统 1 RAIRO公司。Informatique Théorique et Applications公司 1 应用非经典逻辑杂志 1 美国医学会杂志 1 ACM计算逻辑事务 1 RAIRO公司。理论信息学及其应用 全部的 前5名字段 97 计算机科学(68-XX) 11 数学逻辑和基础(03-XX) 5 总体主题;集合(00-XX) 1 群论与推广(20-XX) 1 一般拓扑结构(54至XX) 1 系统论;控制(93至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 78出版物有被引用740中的次417文件 引用人▼ 年份▼ 到处都是结构良好的过渡系统! Zbl 0973.68170号 芬克尔,A。;施诺贝伦,P。 158 2001 在可判定性和不可判定性之间重置网络。 Zbl 0909.68124号 C.杜福尔德。;芬克尔,A。;Schnoebelen博士。 62 1998 如何编写Presburger加速:广播协议的应用程序。 Zbl 1027.68616号 阿兰·芬克尔;勒鲁,杰罗姆 37 2002 一种用于模型检查下推系统的直接符号方法。扩展摘要。 Zbl 0907.68126号 阿兰·芬克尔;伯纳德·威廉姆斯;皮埃尔·沃尔珀 30 1997 不可靠的通道比完美的通道更容易验证。 Zbl 0844.68035号 塞塞、杰拉德;阿兰·芬克尔;S.Purushothaman,Iyer 29 1996 使用半双工通信验证程序。 Zbl 1101.68676号 塞塞、杰拉德;阿兰·芬克尔 23 2005 WSTS的正向分析。一: 完工。 兹伯利1236.68183 阿兰·芬克尔;让·古鲍特·拉雷克 22 2009 无限可达树的约简与覆盖。 Zbl 0753.68073号 阿兰·芬克尔 22 1990 系统和软件验证。模型检查技术和工具。 Zbl 1002.68029号 贝拉德,B。;米歇尔·比多特。;芬克尔,A。;拉鲁西尼,F。;A.佩蒂特。;佩特鲁奇。;Schnoebelen博士。;麦肯齐,P。 21 2001 符号模型检查中的平加速度。 Zbl 1170.68507号 塞巴斯蒂安·巴丁;阿兰·芬克尔;勒鲁,杰罗姆;菲利普·施诺贝伦 19 2005 具有状态的二维向量加法系统的可达性是PSPACE完备的。 Zbl 1401.68095号 迈克尔·布隆丁;阿兰·芬克尔;斯特凡·高勒;克里斯托夫·哈斯;皮埃尔·麦肯齐 18 2015 用于分析Petri网扩展的结构良好的框架。 Zbl 1101.68696号 阿兰·芬克尔;皮埃尔·麦肯齐;克劳迪娜·皮卡罗尼 16 2004 平板Presburger计数器系统上的模型检查。 Zbl 1242.68157号 斯特凡·德姆里;阿兰·芬克尔;瓦伦丁·戈兰科;范·德里姆伦(van Drimmelen)、戈弗特(Govert) 16 2010 WSTS的正向分析。二: 完成WSTS。 Zbl 1248.68352号 阿兰·芬克尔;让·古鲍特·拉雷克 12 2009 通信有限状态机的同步性是不可判定的。 Zbl 1442.68138号 阿兰·芬克尔;艾蒂安·洛兹 12 2017 WSTS的正向分析。二: 完成WSTS。 Zbl 1248.68329号 阿兰·芬克尔;让·古鲍特·拉雷克 12 2012 仿射Parikh自动机。 Zbl 1279.68136号 米歇尔·卡迪尔哈克;阿兰·芬克尔;皮埃尔·麦肯齐 11 2012 两类计数器自动机可达性问题的可判定性。 Zbl 0953.03050号 阿兰·芬克尔;格雷戈伊尔·萨特雷 10 2000 FIFO网简介-单生成网:FIFO网络的一个子类。 Zbl 0566.68054号 梅米,G。;芬克尔,A。 10 1985 有界Parikh自动机。 Zbl 1285.68082号 米歇尔·卡迪尔哈克;阿兰·芬克尔;皮埃尔·麦肯齐 10 2012 走向计数器系统的模型检查器。 Zbl 1161.68563号 德姆里,S。;芬克尔,A。;V.戈兰科。;范·德里姆伦(G.van Drimmelen)。 9 2006 将Karp和Miller的过程推广到结构良好的过渡系统。 Zbl 0633.68052号 阿兰·芬克尔 9 1987 具有多项式更新的寄存器机中的可达性。 Zbl 1398.68160号 阿兰·芬克尔;斯特凡·格勒;克里斯托夫·哈斯 9 2013 循环Petri网可达集是半线性有效可构造的。 Zbl 0907.68131号 扎卡里亚·布齐安内;阿兰·芬克尔 8 1997 连续Petri网的逻辑视图。 Zbl 1407.68329号 迈克尔·布隆丁;阿兰·芬克尔;克里斯托夫·哈斯;谢尔盖,哈达德 8 2017 持续处理可覆盖性问题。 Zbl 1420.68144号 迈克尔·布隆丁;阿兰·芬克尔;克里斯托夫·哈斯;谢尔盖,哈达德 8 2016 重新访问反向边界计数器。 Zbl 1173.68562号 阿兰·芬克尔;阿诺德·桑尼尔 7 2008 运转良好的过渡系统。 Zbl 1459.68138号 迈克尔·布隆丁;阿兰·芬克尔;皮埃尔·麦肯齐 7 2017 验证相同的通信进程是无法确定的。 Zbl 0902.68127号 阿兰·芬克尔;皮埃尔·麦肯齐 6 1997 Petri网的单调扩展:回顾了向前和向后搜索。 Zbl 1270.68214号 芬克尔,A。;J.-F.拉斯金。;Samuelides,M。;范·贝京,L。 6 2003 明确的约束自动机。 Zbl 1293.68182号 米歇尔·卡迪尔哈克;阿兰·芬克尔;皮埃尔·麦肯齐 6 2013 抽象良好的转换系统:FIFO自动机的应用。 Zbl 1054.68092号 阿兰·芬克尔;S.Purushothaman,Iyer;格雷戈伊尔·萨特雷 5 2003 有迹WSTS的正向分析和模型检查。 Zbl 1343.68162号 皮埃尔·香巴特;阿兰·芬克尔;西尔万·施密茨 5 2016 用一个零测试对矢量加法系统进行模型检验。 Zbl 1242.68196号 雷米发动机盖;阿兰·芬克尔;勒鲁,杰罗姆;马克·泽顿 5 2012 在实践中加速计数器自动机。 Zbl 1126.68452号 塞巴斯蒂安·巴丁;阿兰·芬克尔;勒鲁,杰罗姆 4 2004 关于扩展Petri网的(\omega)语言表达能力。 Zbl 1092.68066号 芬克尔,A。;Geeraerts,G。;J.-F.拉斯金。;范·贝京,L。 4 2006 平面FIFO系统的验证。 Zbl 07269251号 阿兰·芬克尔;M·普拉文。 4 2020 WSTS的正向分析。三: 卡普·米勒树。 Zbl 1491.68118号 迈克尔·布隆丁;阿兰·芬克尔;让·古鲍特·拉雷克 4 2018 WSTS的正向分析。一: 完工。 Zbl 1491.68122号 阿兰·芬克尔;让·古鲍特·拉雷克 4 2020 处理无限分支结构良好的转换系统。 Zbl 1383.68054号 迈克尔·布隆丁;阿兰·芬克尔;皮埃尔·麦肯齐 4 2018 关于扩展Petri网的(\omega)语言表达能力。 兹比尔1272.68302 芬克尔,A。;Geeraerts,G。;J.-F.拉斯金。;范·贝京,L。 4 2005 混合覆盖性和可达性,用一个零测试分析VASS。 Zbl 1274.68230号 阿兰·芬克尔;阿诺德·桑尼尔 4 2010 最小覆盖树结构完整高效。 Zbl 07250941号 阿兰·芬克尔;谢尔盖,哈达德;伊戈尔·赫梅尔尼茨基 三 2020 Fifo网络没有顺序死锁。 Zbl 0614.68050号 阿兰·芬克尔;安妮·乔奎特 三 1988 用于确定同步性的统一框架。 Zbl 07730616号 贝内迪克特·博利格;辛齐亚·迪·朱斯托;阿兰·芬克尔;莱蒂蒂亚·拉弗萨;艾蒂安·洛兹;阿姆丽塔·苏雷什 三 2021 有迹WSTS的正向分析和模型检查。 Zbl 1330.68197号 皮埃尔·香巴特;阿兰·芬克尔;西尔万·施密茨 三 2011 将Rackoff技术扩展到仿射网。 Zbl 1354.68190号 雷米发动机盖;阿兰·芬克尔;M·普拉文。 三 2012 具有一个零检验的向量加法系统的位置有界性。 Zbl 1245.68131号 雷米发动机盖;阿兰·芬克尔;勒鲁,杰罗姆;马克·泽顿 三 2010 面向带有列表的模型检查程序。 Zbl 1258.68094号 阿兰·芬克尔;爱蒂安·洛兹;阿诺德·桑尼尔 三 2009 处理无限分支WSTS。 Zbl 1382.68149号 迈克尔·布隆丁;阿兰·芬克尔;皮埃尔·麦肯齐 三 2014 关于fifo网类可判定性问题的调查。 Zbl 0681.68079号 芬克尔,A。;路易斯·罗西尔(Louis E.Rosier)。 2 1988 一种为二维重置/传输VASS(扩展抽象)构造半线性后置*的算法。 Zbl 0996.68522号 芬克尔,A。;萨特,G。 2 2000 一种有效的自动机方法,用于解决无上下文文法中的一些问题。 Zbl 1137.68418号 艾哈迈德·博阿贾尼;哈维尔·埃斯帕尔扎;阿兰·芬克尔;奥德·马勒;彼得·罗斯马尼思;伯纳德·威廉姆斯;皮埃尔·沃尔珀 2 2000 有界可达性问题在FIFO机器中是可以判定的。 Zbl 07559505号 贝内迪克特·博利格;阿兰·芬克尔;阿姆丽塔·苏雷什 2 2020 具有一次测试和一次重置功能的两台计数器的可达性。 Zbl 1528.68219号 阿兰·芬克尔;勒鲁,杰罗姆;格雷戈伊尔·萨特雷 2 2018 递归Petri网中的可覆盖性、终止性和有限性。 Zbl 1522.68362号 阿兰·芬克尔;谢尔盖,哈达德;伊戈尔·赫梅尔尼茨基 2 2021 递归神经网络的属性定向验证和鲁棒性证明。 Zbl 1497.68311号 伊戈尔·赫梅尔尼茨基;尼尔,丹尼尔;罗伊,拉贾什;谢、宣;巴博特,贝努伊特;贝内迪克特·博利格;阿兰·芬克尔;谢尔盖,哈达德;马丁·勒克;叶,丽娜 2 2021 希格曼(Higman)和西蒙(Simon)的非宗教信仰。 Zbl 0572.68065号 芬克尔,A。 2 1985 一组正则整数向量的凸包是多面体的,并且可以有效地计算。 Zbl 1184.68634号 阿兰·芬克尔;勒鲁,杰罗姆 2 2005 STACS 92。计算机科学的理论方面。1992年2月13日至15日,法国卡尚,第九届年度研讨会会议记录。 Zbl 0904.68001号 1 1992 具有范畴文法的隶属度问题的多项式算法。 Zbl 0871.68118号 阿兰·芬克尔;伊莎贝尔·泰勒 1 1996 Petri网及其覆盖图的合成/分解。(作曲/作曲de Composition de réseaux de Petri et de leurs grapes de couverture) Zbl 0890.68088号 阿兰·芬克尔;劳雷·佩特鲁奇 1 1994 重置Petri网的多项式(λ)-双相似归一化。 Zbl 0930.68093号 凯瑟琳·杜福尔德;阿兰·芬克尔 1 1999 留数在分析通过fifo信道通信的并行系统中的应用。 Zbl 1023.68636号 乔奎特,安妮;阿兰·芬克尔 1 1986 二维状态向量加法系统的可达性问题。 Zbl 1499.68219号 迈克尔·布隆丁;马提亚斯·恩格尔;阿兰·芬克尔;斯特凡·格勒;克里斯托夫·哈斯;兰科·拉齐奇;皮埃尔·麦肯齐;帕特里克·托茨克 1 2021 Presburger计数器的结构良好问题。 Zbl 07650338号 阿兰·芬克尔;埃坎斯迪普·古普塔 1 2019 验证扁平FIFO系统。 Zbl 07649920号 阿兰·芬克尔;M·普拉文。 1 2019 用有限自动机同步Petri网。 兹伯利0582.68029 芬克尔,A。 1 1983 有界可达性问题在FIFO机器中是可以判定的。 Zbl 07471708号 贝内迪克特·博利格;阿兰·芬克尔;阿姆丽塔·苏雷什 1 2022 WSTS的理想理论。 Zbl 1483.68229号 阿兰·芬克尔 1 2016 有界Parikh自动机。 Zbl 1331.68124号 米歇尔·卡迪尔哈克;阿兰·芬克尔;皮埃尔·麦肯齐 1 2011 具有排名功能的计数器系统的自动验证。 Zbl 1347.68223号 埃曼纽尔·恩克雷纳兹;阿兰·芬克尔 1 2009 定时计数器系统的可达性。 Zbl 1347.68255号 佛罗伦萨Bouchy;阿兰·芬克尔;阿诺德·桑尼尔 1 2009 关于快速和TReX公司加速度。 兹比尔1272.68238 克里斯托夫·达洛特;阿兰·芬克尔;劳伦特·范·贝京 1 2005 明确的约束自动机。 Zbl 1370.68161号 米歇尔·卡迪尔哈克;阿兰·芬克尔;皮埃尔·麦肯齐 1 2012 FIFO网:一种新的并行计算模型。 Zbl 0495.68049号 芬克尔,A。;梅米,G。 1 1982 有序转换系统表达性的序数理论。 Zbl 1286.68343号 雷米发动机盖;阿兰·芬克尔;谢尔盖,哈达德;费尔南多·罗莎·维拉尔多 1 2013 WSTS的正向分析。三: 卡普·米勒树。 Zbl 1491.68117号 迈克尔·布隆丁;阿兰·芬克尔;让·古鲍特·拉雷克 1 2020 有界可达性问题在FIFO机器中是可以判定的。 Zbl 07471708号 贝内迪克特·博利格;阿兰·芬克尔;阿姆丽塔·苏雷什 1 2022 用于确定同步性的统一框架。 Zbl 07730616号 贝内迪克特·博利格;辛齐亚·迪·朱斯托;阿兰·芬克尔;莱蒂蒂亚·拉弗萨;艾蒂安·洛兹;阿姆丽塔·苏雷什 三 2021 递归Petri网中的可覆盖性、终止性和有限性。 Zbl 1522.68362号 阿兰·芬克尔;谢尔盖,哈达德;伊戈尔·赫梅尔尼茨基 2 2021 递归神经网络的属性定向验证和鲁棒性证明。 Zbl 1497.68311号 伊戈尔·赫梅尔尼茨基;尼尔,丹尼尔;罗伊,拉贾什;谢、宣;巴博特,贝努伊特;贝内迪克特·博利格;阿兰·芬克尔;谢尔盖,哈达德;马丁·勒克;叶,丽娜 2 2021 二维状态向量加法系统的可达性问题。 Zbl 1499.68219号 迈克尔·布隆丁;马提亚斯·恩格尔;阿兰·芬克尔;斯特凡·格勒;克里斯托夫·哈斯;兰科·拉齐奇;皮埃尔·麦肯齐;帕特里克·托茨克 1 2021 验证扁平FIFO系统。 Zbl 07269251号 阿兰·芬克尔;M·普拉文。 4 2020 WSTS的正向分析。一: 完工。 Zbl 1491.68122号 阿兰·芬克尔;让·古鲍特·拉雷克 4 2020 最小可覆盖性树的构建变得完整而高效。 Zbl 07250941号 阿兰·芬克尔;谢尔盖,哈达德;伊戈尔·赫梅尔尼茨基 三 2020 有界可达性问题在FIFO机器中是可以判定的。 Zbl 07559505号 贝内迪克特·博利格;阿兰·芬克尔;阿姆丽塔·苏雷什 2 2020 WSTS的正向分析。三: 卡普·米勒树。 Zbl 1491.68117号 迈克尔·布隆丁;阿兰·芬克尔;让·古鲍特·拉雷克 1 2020 Presburger计数器的结构良好问题。 Zbl 07650338号 阿兰·芬克尔;埃坎斯迪普·古普塔 1 2019 验证扁平FIFO系统。 Zbl 07649920号 阿兰·芬克尔;M·普拉文。 1 2019 WSTS的正向分析。三: 卡普·米勒树。 Zbl 1491.68118号 迈克尔·布隆丁;阿兰·芬克尔;让·古鲍特·拉雷克 4 2018 处理无限分支结构良好的转换系统。 Zbl 1383.68054号 迈克尔·布隆丁;阿兰·芬克尔;皮埃尔·麦肯齐 4 2018 具有一次测试和一次重置功能的两台计数器的可达性。 Zbl 1528.68219号 阿兰·芬克尔;勒鲁,杰罗姆;格雷戈伊尔·萨特雷 2 2018 通信有限状态机的同步性是不可判定的。 Zbl 1442.68138号 阿兰·芬克尔;艾蒂安·洛兹 12 2017 连续Petri网的逻辑视图。 Zbl 1407.68329号 迈克尔·布隆丁;阿兰·芬克尔;克里斯托夫·哈斯;谢尔盖,哈达德 8 2017 运转良好的过渡系统。 Zbl 1459.68138号 迈克尔·布隆丁;阿兰·芬克尔;皮埃尔·麦肯齐 7 2017 持续处理可覆盖性问题。 Zbl 1420.68144号 迈克尔·布隆丁;阿兰·芬克尔;克里斯托夫·哈斯;谢尔盖,哈达德 8 2016 有迹WSTS的正向分析和模型检查。 Zbl 1343.68162号 皮埃尔·香巴特;阿兰·芬克尔;西尔万·施密茨 5 2016 WSTS的理想理论。 Zbl 1483.68229号 阿兰·芬克尔 1 2016 具有状态的二维向量加法系统的可达性是PSPACE完备的。 Zbl 1401.68095号 迈克尔·布隆丁;阿兰·芬克尔;斯特凡·高勒;克里斯托夫·哈斯;皮埃尔·麦肯齐 18 2015 处理无限分支WSTS。 Zbl 1382.68149号 迈克尔·布隆丁;阿兰·芬克尔;皮埃尔·麦肯齐 三 2014 具有多项式更新的寄存器机器中的可达性。 Zbl 1398.68160号 阿兰·芬克尔;斯特凡·格勒;克里斯托夫·哈斯 9 2013 明确的约束自动机。 Zbl 1293.68182号 米歇尔·卡迪尔哈克;阿兰·芬克尔;皮埃尔·麦肯齐 6 2013 结构良好的过渡系统的表达性的序理论。 Zbl 1286.68343号 雷米发动机盖;阿兰·芬克尔;谢尔盖,哈达德;费尔南多·罗莎·维拉尔多 1 2013 WSTS的正向分析。二: 完成WSTS。 Zbl 1248.68329号 阿兰·芬克尔;让·古鲍特·拉雷克 12 2012 仿射Parikh自动机。 Zbl 1279.68136号 米歇尔·卡迪尔哈克;阿兰·芬克尔;皮埃尔·麦肯齐 11 2012 有界Parikh自动机。 Zbl 1285.68082号 米歇尔·卡迪尔哈克;阿兰·芬克尔;皮埃尔·麦肯齐 10 2012 用一个零测试对矢量加法系统进行模型检验。 兹比尔1242.68196 雷米发动机盖;阿兰·芬克尔;勒鲁,杰罗姆;马克·泽顿 5 2012 将Rackoff技术扩展到仿射网。 Zbl 1354.68190号 雷米发动机盖;阿兰·芬克尔;M·普拉文。 三 2012 明确的约束自动机。 Zbl 1370.68161号 米歇尔·卡迪尔哈克;阿兰·芬克尔;皮埃尔·麦肯齐 1 2012 有迹WSTS的正向分析和模型检查。 Zbl 1330.68197号 皮埃尔·香巴特;阿兰·芬克尔;西尔万·施密茨 三 2011 有界Parikh自动机。 Zbl 1331.68124号 米歇尔·卡迪尔哈克;阿兰·芬克尔;皮埃尔·麦肯齐 1 2011 平板Presburger计数器系统上的模型检查。 Zbl 1242.68157号 斯特凡·德姆里;阿兰·芬克尔;瓦伦丁·戈兰科;范·德里姆伦(van Drimmelen)、戈弗特(Govert) 16 2010 混合覆盖性和可达性,用一个零测试分析VASS。 Zbl 1274.68230号 阿兰·芬克尔;阿诺德·桑尼尔 4 2010 具有一个零检验的向量加法系统的有界性。 Zbl 1245.68131号 雷米发动机盖;阿兰·芬克尔;勒鲁,杰罗姆;马克·泽顿 三 2010 WSTS的正向分析。一: 完工。 Zbl 1236.68183号 阿兰·芬克尔;让·古鲍特·拉雷克 22 2009 WSTS的正向分析。二: 完成WSTS。 Zbl 1248.68352号 阿兰·芬克尔;让·古鲍特·拉雷克 12 2009 面向带有列表的模型检查程序。 Zbl 1258.68094号 阿兰·芬克尔;爱蒂安·洛兹;阿诺德·桑尼尔 三 2009 具有排名功能的计数器系统的自动验证。 Zbl 1347.68223号 埃曼纽尔·恩克雷纳兹;阿兰·芬克尔 1 2009 定时计数器系统的可达性。 兹比尔1347.68255 佛罗伦萨Bouchy;阿兰·芬克尔;阿诺德·桑尼尔 1 2009 重新访问反向边界计数器。 Zbl 1173.68562号 阿兰·芬克尔;阿诺德·桑尼尔 7 2008 走向计数器系统的模型检查器。 Zbl 1161.68563号 德姆里,S。;芬克尔,A。;V.戈兰科。;范·德里姆伦(G.van Drimmelen)。 9 2006 关于扩展Petri网的(\omega)语言表达能力。 Zbl 1092.68066号 芬克尔,A。;Geeraerts,G。;J.-F.拉斯金。;范·贝京,L。 4 2006 使用半双工通信验证程序。 Zbl 1101.68676号 CéCé,热拉尔;阿兰·芬克尔 23 2005 符号模型检查中的平加速度。 Zbl 1170.68507号 塞巴斯蒂安·巴丁;阿兰·芬克尔;勒鲁,杰罗姆;菲利普·施诺贝伦 19 2005 关于扩展Petri网的(\omega)语言表达能力。 Zbl 1272.68302号 芬克尔,A。;Geeraerts,G。;J.-F.拉斯金。;范·贝京,L。 4 2005 正则整数向量集的凸包是多面体的,并且可以有效地计算。 Zbl 1184.68634号 阿兰·芬克尔;勒鲁,杰罗姆 2 2005 关于快速和TReX公司加速度。 Zbl 1272.68238号 克里斯托夫·达洛特;阿兰·芬克尔;劳伦特·范·贝京 1 2005 用于分析Petri网扩展的结构良好的框架。 Zbl 1101.68696号 阿兰·芬克尔;皮埃尔·麦肯齐;克劳迪娜·皮卡罗尼 16 2004 在实践中加速计数器自动机。 Zbl 1126.68452号 塞巴斯蒂安·巴丁;阿兰·芬克尔;勒鲁,杰罗姆 4 2004 Petri网的单调扩展:回顾了向前和向后搜索。 Zbl 1270.68214号 芬克尔,A。;J.-F.拉斯金。;Samuelides,M。;范·贝京,L。 6 2003 良好抽象转换系统:应用于FIFO自动机。 Zbl 1054.68092号 阿兰·芬克尔;S.Purushothaman,Iyer;格雷戈伊尔·萨特雷 5 2003 如何组合Presburger加速度:广播协议的应用程序。 Zbl 1027.68616号 阿兰·芬克尔;勒鲁,杰罗姆 37 2002 到处都是结构良好的过渡系统! Zbl 0973.68170号 芬克尔,A。;施诺贝伦,P。 158 2001 系统和软件验证。模型检查技术和工具。 Zbl 1002.68029号 贝拉德,B。;米歇尔·比多特。;芬克尔,A。;拉鲁西尼,F。;A.佩蒂特。;佩特鲁奇。;Schnoebelen博士。;麦肯齐,P。 21 2001 两计数器自动机类可达性问题的判定。 Zbl 0953.03050号 阿兰·芬克尔;格雷戈伊尔·萨特雷 10 2000 一种构造二维复位/转移VASS的双线性post*的算法(扩展摘要)。 Zbl 0996.68522号 芬克尔,A。;苏特雷,G。 2 2000 一种有效的自动机方法,用于解决无上下文文法中的一些问题。 Zbl 1137.68418号 艾哈迈德·博阿贾尼;哈维尔·埃斯帕尔扎;阿兰·芬克尔;奥德·马勒;彼得·罗斯马尼思;伯纳德·威廉姆斯;皮埃尔·沃尔珀 2 2000 重置Petri网的多项式(λ)-双相似归一化。 Zbl 0930.68093号 凯瑟琳·杜福尔德;阿兰·芬克尔 1 1999 在可判定性和不可判定性之间重置网络。 Zbl 0909.68124号 杜富尔德,C。;芬克尔,A。;Schnoebelen博士。 62 1998 模型检查下推系统的直接符号方法。扩展摘要。 Zbl 0907.68126号 阿兰·芬克尔;伯纳德·威廉姆斯;皮埃尔·沃尔珀 30 1997 循环Petri网可达集是半线性有效可构造的。 Zbl 0907.68131号 扎卡里亚·布齐安内;阿兰·芬克尔 8 1997 验证相同的通信进程是无法确定的。 Zbl 0902.68127号 阿兰·芬克尔;皮埃尔·麦肯齐 6 1997 不可靠的通道比完美的通道更容易验证。 Zbl 0844.68035号 塞塞、杰拉德;阿兰·芬克尔;S.Purushothaman,Iyer 29 1996 具有范畴文法的隶属度问题的多项式算法。 Zbl 0871.68118号 阿兰·芬克尔;伊莎贝尔·泰勒 1 1996 Petri网及其覆盖图的合成/分解。(作曲/作曲de Composition de réseaux de Petri et de leurs grapes de couverture) 兹伯利0890.68088 阿兰·芬克尔;劳雷·佩特鲁奇 1 1994 STACS 92。计算机科学的理论方面。1992年2月13日至15日,法国卡尚,第九届年度研讨会会议记录。 Zbl 0904.68001号 1 1992 无限可达树的约简与覆盖。 Zbl 0753.68073号 阿兰·芬克尔 22 1990 Fifo网络没有顺序死锁。 Zbl 0614.68050号 阿兰·芬克尔;安妮·乔奎特 三 1988 关于fifo网类可判定性问题的调查。 Zbl 0681.68079号 芬克尔,A。;路易斯·罗西尔(Louis E.Rosier)。 2 1988 卡普和米勒过程对结构良好的过渡系统的推广。 Zbl 0633.68052号 阿兰·芬克尔 9 1987 留数在分析通过fifo信道通信的并行系统中的应用。 Zbl 1023.68636号 安妮·乔奎特;阿兰·芬克尔 1 1986 FIFO网简介-单生成网:FIFO网络的一个子类。 Zbl 0566.68054号 梅米,G。;芬克尔,A。 10 1985 希格曼(Higman)和西蒙(Simon)的非宗教信仰。 Zbl 0572.68065号 芬克尔,A。 2 1985 用有限自动机同步Petri网。 兹伯利0582.68029 芬克尔,A。 1 1983 FIFO网:一种新的并行计算模型。 Zbl 0495.68049号 芬克尔,A。;梅米,G。 1 1982 所有引用出版物 前5名被引用出版物 全部的 前5名560位作者引用 35 阿兰·芬克尔 18 帕罗什·阿齐兹·阿卜杜拉 15 Stéphane P.德姆里。 13 勒鲁,杰罗姆 12 哈维尔·埃斯帕尔扎 12 劳伦特·范·贝京 11 迈克尔·布隆丁 11 乔治·德尔扎诺 11 菲利普·施诺贝伦 11 吉安路易吉·扎瓦塔罗 9 穆罕默德·法乌齐(Mohamed Faouzi Atig) 9 萨沃米尔·拉索塔 8 艾哈迈德·博阿贾尼 8 让·古鲍特·拉雷克 8 Jean-François拉斯金 8 格雷戈伊尔·萨特雷 7 奥斯卡·H·伊巴拉。 7 迪特里赫·库斯克 7 菲利普·马佐维耶基 7 阿诺德·桑尼尔 7 埃米利奥·托斯托 7 乔治·泽采 6 纳迪亚·布西 6 沃伊切赫,切尔文斯基 6 谢尔盖,哈达德 6 彼得·霍夫曼 6 克里斯·Köcher 6 丹尼尔·科宁 6 艾蒂安·洛兹 6 瓦迪姆·弗拉迪斯拉沃维奇·洛津 6 费尔南多·罗莎·维拉尔多 6 西尔万·施密茨 5 贝内迪克特·博利格 5 马里奥·布拉维蒂 5 特维克布尔坦 5 马修·黑格 5 兰科·拉齐奇 5 鲁帕克·马朱姆达尔 5 皮埃尔·麦肯齐 5 帕特里克·托茨克 5 泰瑟·图利 4 沙乌尔·阿尔马戈 4 皮埃尔·香巴特 4 克里希南德·查特吉 4 当、哲 4 辛齐亚·迪·朱斯托 4 吉勒·杰勒茨 4 克里斯托夫·哈斯 4 拉杜·奥西夫 4 伊戈尔·赫梅尔尼茨基 4 朱利安·兰格 4 Anthony Widjaja林 4 伊恩·麦克奎伦 4 何塞·梅塞盖尔·瓜伊塔 4 罗兰·梅耶 4 米哈伊尔·拉斯金 4 Wil M.P.范德阿尔斯特。 4 詹姆斯·沃雷尔。 三 阿克西,S。 三 佛朗哥·巴巴内拉 三 马尔塞洛·玛丽亚·贝尔萨尼 三 帕特里夏·鲍耶 三 马吕斯·博兹加 三 劳拉·博泽利 三 米歇尔·卡迪尔哈克 三 马可·卡博尼 三 康拉德·卡齐米尔兹·达布罗夫斯基 三 戴维·德·弗鲁托斯·埃斯克里格 三 雷蒙德·魔鬼队 三 阿米特·库马尔·达尔 三 布莱斯·基内斯特 三 罗伯特·瓜夏莱 三 彼得·哈贝梅尔 三 西蒙·哈尔丰 三 洛依茨海露 三 托马斯·亨辛格(Thomas A.Henzinger)。 三 贾克斯,斯特凡 三 克洛德·贾德 三 本特·琼森 三 马西耶·库特尼 三 安东尼·库塞拉 三 弗朗索瓦·拉鲁西尼 三 莱蒂蒂亚·拉弗萨 三 安卡·穆斯科尔 三 塞巴斯蒂安·穆斯卡拉 三 Ouaknine,Joel O。 三 丹尼尔·保卢斯马 三 拉多斯·瓦·皮奥科夫斯基 三 M·普拉文。 三 亚历山大·拉比诺维奇 三 代表,Thomas W。 三 艾哈迈德·雷兹 三 菲利普·吕默 三 普拉卡什·塞瓦桑 三 吉·斯尔巴 三 阿姆丽塔·苏雷什 三 阿瑟·霍夫斯泰德。 三 普拉桑纳·塔蒂 三 H.M.W.韦贝克。 三 格奥尔格·魏森巴赫 …还有460多名作者 全部的 前5名引用于45个系列 54 理论计算机科学 37 信息与计算 18 计算机科学中的逻辑方法 12 程序设计中的逻辑和代数方法杂志 10 系统设计中的形式化方法 9 信息学报 8 计算机与系统科学杂志 7 计算的形式方面 6 信息处理信件 5 国际计算机科学基础杂志 5 计算机基础理论 4 离散事件动态系统 三 自动推理杂志 三 MSCS公司。计算机科学中的数学结构 三 计算系统理论 三 逻辑与代数程序设计杂志 2 人工智能 2 数学座谈会 2 信息科学 2 纯逻辑与应用逻辑年鉴 2 符号计算杂志 2 实时系统 2 国际计算机数学杂志 2 分布式计算 2 应用非经典逻辑杂志 2 RAIRO公司。理论信息学及其应用 2 ACM计算逻辑事务 2 应用逻辑杂志 1 休斯顿数学杂志 1 国际通用系统杂志 1 Automatica公司 1 组合理论杂志。B系列 1 编程和计算机软件 1 计算机程序设计科学 1 国际生产研究杂志 1 订单 1 国际代数与计算杂志 1 符号逻辑公报 1 复杂性 1 高阶和符号计算 1 逻辑程序设计理论与实践 1 自然计算 1 RAIRO公司。理论信息学及其应用 1 计算机科学评论 1 ACM计算理论汇刊 全部的 前5名在16个字段中引用 398 计算机科学(68-XX) 78 数学逻辑和基础(03-XX) 9 组合数学(05-XX) 8 博弈论、经济学、金融和其他社会和行为科学(91-XX) 7 群论与推广(20-XX) 6 阶、格、有序代数结构(06-XX) 6 系统论;控制(93至XX) 4 一般拓扑结构(54至XX) 4 运筹学、数学规划(90-XX) 三 信息与通信理论、电路(94-XX) 2 生物学和其他自然科学(92-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 动力系统和遍历理论(37至XX) 1 概率论与随机过程(60-XX) 1 数值分析(65-XX) 1 数学教育(97-XX) 按年份列出的引文