×
作者ID: 芬克尔-阿莱恩“Finkel,Alain”最近发表的zbMATH文章
发布日期: 阿兰·芬克尔;芬克尔,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 叶,丽娜

按年份列出的出版物

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名

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多名作者

按年份列出的引文