安托万·梅耶
人员信息
其他同名人员
SPARQL查询
优化列表
2020年–今天
2024 [第10条] 赛巴尔·德 , 赫曼斯·科拉 , 安托万·梅耶 , 埃里克·菲普斯 , 弗朗西斯科·里齐 :
流数据的混合并行塔克分解。 PASC公司 2024 : 20:1-20:12
2010 – 2019
2012 [j6] 弗朗索瓦·拉鲁西尼 , 安托万·梅耶 , Eudes Petonnet公司 :
计数CTL。 日志。 方法计算。 科学。 9 ( 1 ) ( 2012 ) 2010 【c9】 弗朗索瓦·拉鲁西尼 , 安托万·梅耶 , Eudes Petonnet公司 :
计算CTL。 FoSSaCS公司 2010 : 206-220 【c8】 弗朗索瓦·拉鲁西尼 , 安托万·梅耶 , Eudes Petonnet公司 :
计算LTL。 时间 2010 : 51-58
2000 – 2009
2009 [j5] 努坦·利马耶 , 米娜·马哈扬 , 安托万·梅耶 :
关于高度确定性下推自动机中隶属度和计数的复杂性。 J.汽车。 语言梳。 14 ( 3/4 ) : 211-235 ( 2009 ) 2008 【j4】 安托万·梅耶 :
术语自动图表的痕迹。 RAIRO提奥。 信息学应用。 42 ( 三 ) : 615-630 ( 2008 ) 【c7】 努坦·利马耶 , 米娜·马哈扬 , 安托万·梅耶 :
关于高度确定性下推自动机中隶属度和计数的复杂性。 企业社会责任 2008 : 240-251 【c6】 阿诺焦油醇 , 马修·黑格 , 安托万·梅耶 , C.-H.卢克·翁 , 奥利维尔·塞雷 :
高阶下推游戏的获胜区域。 低收入国家 2008 : 193-204 2007 [j3] 格雷塔·约什 , 亚历山大·莫西·拉宾诺维奇 , 穆利·萨吉夫 , 安托万·梅耶 , 艾哈迈德·布阿贾尼 :
链接数据结构中可访问模式的逻辑。 J.日志。 代数方法课程。 73 ( 1-2 ) : 111-142 ( 2007 ) [c5] 安托万·梅耶 :
Term-Automatic Graphs的踪迹。 MFCS公司 2007 : 489-500 [i5] 阿诺焦油醇 , 安托万·梅耶 :
线性有界无限图。 CoRR公司 abs/0705.3487 ( 2007 ) [i4] 格雷塔·约什 , 亚历山大·莫西·拉宾诺维奇 , 穆利·萨吉夫 , 安托万·梅耶 , 艾哈迈德·布阿贾尼 :
链接数据结构中可访问模式的逻辑。 CoRR公司 abs/0705.3610 ( 2007 ) [i3] 艾哈迈德·布阿贾尼 , 安托万·梅耶 :
高阶上下文无关过程的符号可达性分析。 CoRR公司 abs/0705.3888 ( 2007 ) [i2] 安托万·梅耶 :
具有有理推导的术语重写系统。 CoRR公司 abs/0705.4064 ( 2007 ) 2006 [注2] 阿诺焦油醇 , 安托万·梅耶 :
线性有界无限图。 信息学报 43 ( 4 ) : 265-292 ( 2006 ) [j1] 阿诺焦油醇 , 安托万·梅耶 :
上下文敏感语言,有理图和决定论。 日志。 方法计算。 科学。 2 ( 2 ) ( 2006 ) 【c4】 格雷塔·约什 , 亚历山大·莫西·拉宾诺维奇 , 穆利·萨吉夫 , 安托万·梅耶 , 艾哈迈德·布阿贾尼 :
链接数据结构中可访问模式的逻辑。 FoSSaCS公司 2006 : 94-110 [i1] 阿诺焦油醇 , 安托万·梅耶 :
上下文敏感语言,有理图和决定论。 CoRR公司 abs/cs/0606053 ( 2006 ) 2005 【b1】 安托万·梅耶 :
内脏葡萄种植完成。 (有限表示无限图)。 法国雷恩1大学, 2005 【c3】 阿诺焦油醇 , 安托万·梅耶 :
线性有界无限图。 MFCS公司 2005 : 180-191 2004 【c2】 安托万·梅耶 :
具有有理推导的术语重写系统。 FoSSaCS公司 2004 : 378-392 【c1】 艾哈迈德·布阿贾尼 , 安托万·梅耶 :
高阶上下文无关过程的符号可达性分析。 FSTTCS公司 2004 : 135-147