安托万·佩蒂特 0001
人员信息
附属: LSV、CNRS和ENS de Cachan
其他同名人员
安托万·佩蒂特 0002 -IRISA/INRIA雷恩 安托万·佩蒂特 0003 -法国斯特拉斯堡INRIA 安托万·佩蒂特 0004 — 法国巴黎塞纳河大学 (还有1个)
优化列表
2010 – 2019
2017 [公元14年] 皮埃尔·路易斯·库里恩 , 杰拉德·P·休特 , 安托万·佩蒂特 以下为:
悼词莫里斯·尼瓦特(1937-2017)。 牛市。 EATCS公司 123 ( 2017 )
2000 – 2009
2007 [j13] 贝特里斯·贝拉德 , 保罗·加斯廷 , 安托万·佩蒂特 以下为:
常规信号事件语言的定时替换。 形式方法系统。 设计。 31 ( 2 ) 以下为: 101-134 ( 2007 ) 2006 [公元26年] 贝特里斯·贝拉德 , 保罗·加斯廷 , 安托万·佩蒂特 以下为:
常规信号事件(定时)语言的交集。 格式 2006 以下为: 52-66 [公元25年] Béatrice Bérard酒店 , 保罗·加斯廷 , 安托万·佩蒂特 以下为:
信号事件(定时)语言的精炼和抽象。 格式 2006 以下为: 67-81 2004 [公元12年] 帕特里夏·鲍耶 , 凯瑟琳·杜福尔德 , 伊曼纽尔·弗勒里 , 安托万·佩蒂特 以下为:
可更新的定时自动机。 西奥。 计算。 科学。 321 ( 2-3 ) 以下为: 291-345 ( 2004 ) 2003 [公元11年] 帕特里夏·鲍耶 , 安托万·佩蒂特 , 丹尼斯·塞利安 以下为:
数据语言和时间语言的代数方法。 Inf.计算。 182 ( 2 ) 以下为: 137-162 ( 2003 ) [公元24年] 帕特里夏·鲍耶 , 迪帕克·德索萨 , P.马都苏丹 , 安托万·佩蒂特 以下为:
部分可观测的时间控制。 CAV汽车 2003 以下为: 180-192 2002 [公元10年] 帕特里夏·鲍耶 , 安托万·佩蒂特 以下为:
时钟语言的Kleene/Büchi-like定理。 J.汽车。 语言梳。 7 ( 2 ) 以下为: 167-186 ( 2002 ) 2001 【b1】 贝特里斯·贝拉德 , 米歇尔·比多特 , 阿兰·芬克尔 , 弗朗索瓦·拉鲁西尼 , 安托万·佩蒂特 , 劳雷·佩特鲁奇 , 菲利普·施诺贝伦 , 皮埃尔·麦肯齐 以下为:
系统和软件验证、模型检查技术和工具。 施普林格 2001 ,国际标准图书编号 978-3-642-07478-3 ,第I-XII页,第1-190页 【c23】 帕特里夏·鲍耶 , 安托万·佩蒂特 , 丹尼斯·塞利安 以下为:
数据和定时语言的代数特征。 CONCUR公司 2001 以下为: 248至261 2000 [公元22年] 帕特里夏·鲍耶 , 凯瑟琳·杜福尔德 , 伊曼纽尔·弗勒里 , 安托万·佩蒂特 以下为:
定时自动装置可更新吗? CAV汽车 2000 以下为: 464-479 【c21】 帕特里夏·鲍耶 , 凯瑟琳·杜福尔德 , 伊曼纽尔·弗勒里 , 安托万·佩蒂特 以下为:
可更新时间自动机的表现力。 MFCS公司 2000 以下为: 232-242 [公元20年] 盖劳德·卡内 , Sandrine Couffin公司 , 珍妮·雅克·莱斯奇 , 安托万·佩蒂特 , 菲利普·施诺贝伦 以下为:
对指令列表中写入的PLC程序进行自动验证。 SMC公司 2000 以下为: 2449-2454
1990 – 1999
1999 [第19条] 帕特里夏·鲍耶 , 安托万·佩蒂特 以下为:
时间自动机的分解与合成。 ICALP公司 1999 以下为: 210-219 1998 [公元9年] 贝特里斯·贝拉德 , 安托万·佩蒂特 , 沃尔克·迪克特 , 保罗·加斯廷 以下为:
时间自动机中无声转换表达能力的表征。 芬丹。 信息学 36 ( 2-3 ) 以下为: 145-182 ( 1998 ) [j8] 乔瓦娜·瓜亚纳 , 拉斐尔·梅耶 , 安托万·佩蒂特 , 帕斯卡·韦尔 以下为:
有限Mazurkiewicz迹的圈积原理的推广。 信息处理。 莱特。 67 ( 6 ) 以下为: 277至282 ( 1998 ) [第18条] 保罗·加斯廷 , 拉斐尔·梅耶 , 安托万·佩蒂特 以下为:
LTrL的(非元素)模块化决策程序。 MFCS公司 1998 以下为: 356-365 [第17条] 拉斐尔·梅耶 , 安托万·佩蒂特 以下为:
有限迹上LTrL的表示完备性:一个代数证明。 STACS公司 1998 以下为: 533-543 1997 [j7] Bernadette Charron-Bost公司 , 罗伯特·科里 , 安托万·佩蒂特 以下为:
对象部分算法简介。 RAIRO提奥。 信息学应用。 31 ( 2 ) 以下为: 97-148 ( 1997 ) [第16条] 拉斐尔·梅耶 , 安托万·佩蒂特 以下为:
TrPTL公式的分解。 MFCS公司 1997 以下为: 418-427 [第15条] 沃尔克·迪克特 , 保罗·加斯廷 , 安托万·佩蒂特 以下为:
删除时间自动机中的ε转换。 STACS公司 1997 以下为: 583-594 1996 [第14条] 贝特里斯·贝拉德 , 保罗·加斯廷 , 安托万·佩蒂特 以下为:
时间自动机中不可观测动作的威力。 STACS公司 1996 以下为: 257-268 1995 [j6] 沃尔克·迪克特 , 保罗·加斯廷 , 安托万·佩蒂特 以下为:
理性和可识别的复杂跟踪语言。 Inf.计算。 116 ( 1 ) 以下为: 134-153年 ( 1995 ) [第13条] 沃尔克·迪克特 , 保罗·加斯廷 , 安托万·佩蒂特 以下为:
轨迹理论的最新发展。 语言理论的发展 1995 以下为: 373-385 [第12条] 塞巴斯蒂安·雨果 , 安托万·佩蒂特 以下为:
分布式自动机的模块化构造。 MFCS公司 1995 以下为: 467-478 [第11条] 安妮·塞西尔·法布雷特 , 安托万·佩蒂特 以下为:
网络家族死锁检测的不确定性。 STACS公司 1995 以下为: 479年至490年 [第2页] 保罗·加斯廷 , 安托万·佩蒂特 以下为:
无限痕迹。 《痕迹之书》 1995 以下为: 393-486 1994 [j5] 保罗·加斯廷 , 安托万·佩蒂特 , 维斯拉夫·齐埃隆卡 以下为:
Kleene定理和Ochmanski定理在无穷迹上的推广。 西奥。 计算。 科学。 125 ( 2 ) 以下为: 167-204 ( 1994 ) 1993 [j4] 安托万·佩蒂特 以下为:
可识别跟踪语言、分布式自动机和分布问题。 信息学报 30 ( 1 ) 以下为: 89-101 ( 1993 ) [第10条] 克里斯托夫·塞林 , 安托万·佩蒂特 以下为:
可识别跟踪语言的加速。 MFCS公司 1993 以下为: 332-341 1992 [j3] 保罗·加斯廷 , 爱德华·奥赫曼斯基 , 安托万·佩蒂特 , 布里吉特·罗佐伊 以下为:
A*x{b}*中星问题的可判定性。 信息处理。 莱特。 44 ( 2 ) 以下为: 65-71 ( 1992 ) 【c9】 保罗·加斯廷 , 安托万·佩蒂特 以下为:
无限迹异步元胞自动机。 ICALP公司 1992 以下为: 583-594 【c8】 保罗·加斯廷 , 安托万·佩蒂特 以下为:
复杂轨迹的姿态特性。 MFCS公司 1992 以下为: 255-263 [第1页] 保罗·加斯廷 , 安托万·佩蒂特 以下为:
对具有无限痕迹的可识别语言的调查。 Petri网的进展:DEMON项目 1992 以下为: 392-409 1991 【c7】 保罗·加斯廷 , 安托万·佩蒂特 , 维斯拉夫·齐埃隆卡 以下为:
无限迹语言的Kleene定理。 ICALP公司 1991 以下为: 254-266 【c6】 沃尔克·迪克特 , 保罗·加斯廷 , 安托万·佩蒂特 以下为:
可识别的复杂跟踪语言。 MFCS公司 1991 以下为: 131-140 【c5】 乔夫罗伊·博基尔 , 安妮·乔奎特 , 安托万·佩蒂特 , 盖伊·维达尔·纳奎特 以下为:
无限网络族中死锁的检测。 STACS公司 1991 以下为: 334-347 1990 [注2] 安托万·佩蒂特 以下为:
分发和同步自动机。 西奥。 计算。 科学。 76 ( 2-3 ) 以下为: 285-308 ( 1990 )
1980 – 1989
1989 【c4】 安托万·佩蒂特 以下为:
分布式自动机对可识别跟踪语言的描述(扩展抽象)。 MFCS公司 1989 以下为: 418-430 【c3】 乔夫罗伊·博基尔 , 安妮·乔奎特 , 安托万·佩蒂特 , 盖伊·维达尔·纳奎特 以下为:
无界处理机网络的句法性质。 TAPSOFT,第1卷 1989 以下为: 119-133 1988 【c2】 乔夫罗伊·博基尔 , 安托万·佩蒂特 以下为:
顺序过程的分布。 MFCS公司 1988 以下为: 180-189 1987 [j1] 吕克·博阿松 , 安托万·佩蒂特 以下为:
阿尔盖布里克斯语是非通用语。 RAIRO提奥。 信息学应用。 21 ( 1 ) 以下为: 41-57 ( 1987 ) 1985 【c1】 吕克·博阿松 , 安托万·佩蒂特 以下为:
确定性语言和非生成元。 STACS公司 1985 以下为: 39-46