Jean-Marc Champarnaud女士
人员信息
优化列表
2010 – 2019
2017 [j46] Jean-Marc Champarnaud女士 , 卢多维克·米格诺特 , 纳迪娅·瓦利·塞布蒂 , 杰卢尔·齐亚迪 :
树语言的自下而上商。 J.汽车。 语言梳。 22 ( 4 ) : 243-269 ( 2017 ) 2016 [j45] Jean-Marc Champarnaud女士 , 卢多维克·米格诺特 , 弗洛伦特·尼卡特 :
约束表达式及其派生。 芬丹。 信息学 149 ( 三 ) : 第311页至第361页 ( 2016 ) 2015 [公元44年] Jean-Marc Champarnaud女士 , 让-菲利普·杜贝尔纳德 , 哈德里安·珍妮 , 卢多维克·米格诺特 :
正则表达式和发夹表达式的双面导数。 芬丹。 信息学 137 ( 4 ) : 425-455 ( 2015 ) [公元43年] 费萨尔·瓦尔迪 , Jean-Marc Champarnaud女士 , 杰卢尔·齐亚迪 :
扩展到多tilde-bar正则表达式和高效的有限自动机构造。 J.离散算法 33 : 58-70 ( 2015 ) [i6] Jean-Marc Champarnaud女士 , 卢多维克·米格诺特 , 纳迪娅·瓦利·塞布蒂 , 杰卢尔·齐亚迪 :
树语言的自下而上商和残差。 CoRR公司 abs/1506.02863 ( 2015 ) 2014 [公元42年] 帕斯卡·卡隆 , Jean-Marc Champarnaud女士 , 卢多维奇·米格诺 :
派生正则表达式的通用框架。 RAIRO提奥。 信息学应用。 48 ( 三 ) : 281-305 ( 2014 ) [i5] Jean-Marc Champarnaud女士 , 卢多维克·米格诺特 , 弗洛伦特·尼卡特 :
约束表达式及其导数。 CoRR公司 abs/1406.6144 ( 2014 ) 2013 [公元41年] Jean-Marc Champarnaud女士 , 昆廷科恩索拉 , Jean-Philippe Dubernard女士 , 哈德里安·珍妮 :
特定类多元体的枚举。 电子。 J.库姆。 20 ( 4 ) : 26 ( 2013 ) [j40] Jean-Marc Champarnaud女士 , Jean-Philippe Dubernard女士 , 哈德里安·珍妮 :
枚举各类有向多面体的通用方法。 自由裁量权。 数学。 西奥。 计算。 科学。 15 ( 1 ) : 183-200 ( 2013 ) [公元39年] Jean-Marc Champarnaud女士 , 哈德里安·珍妮 , 卢多维克·米格诺特 :
近似正则表达式的导数。 自由裁量权。 数学。 西奥。 计算。 科学。 15 ( 2 ) : 95-120 ( 2013 ) [公元37年] Jean-Marc Champarnaud女士 , 让-菲利普·杜贝尔纳德 , 哈德里安·珍妮 , 卢多维克·米格诺特 :
正则表达式和发夹表达式的双面导数。 拉丁美洲旅游协会 2013 : 202-213 [i4] Jean-Marc Champarnaud女士 , Jean-Philippe Dubernard女士 , 哈德里安·珍妮 , 卢多维克·米格诺特 :
正则表达式和发夹表达式的双面导数。 CoRR公司 abs/1301.3316 ( 2013 ) [i3] Jean-Marc Champarnaud女士 , 费萨尔·瓦尔迪 , 杰卢尔·齐亚迪 :
扩展到多平铺条正则表达式和有效的有限自动机构造。 CoRR公司 abs/1306.3507 ( 2013 ) 2012 [公元38年] 帕斯卡·卡隆 , Jean-Marc Champarnaud女士 , 卢多维克·米格诺特 :
多波浪号条形表达式及其自动机。 信息学报 49 ( 6 ) : 413-436 ( 2012 ) [公元37年] Jean-Marc Champarnaud女士 , Jean-Philippe Dubernard女士 , 弗兰克·吉尼 , 哈德里安·珍妮 :
几何正则语言和线性丢番图方程:强连通情形。 西奥。 计算。 科学。 449 : 54-63 ( 2012 ) [公元36年] 贝特里斯·布乔·马尔霍夫 , 帕斯卡·卡隆 , Jean-Marc Champarnaud女士 , 丹尼斯·莫雷尔 :
为盛宇致哀。 西奥。 计算。 科学。 450 : 1 ( 2012 ) [j35] 贝特里斯·布乔·马尔霍夫 , 帕斯卡·卡隆 , Jean-Marc Champarnaud女士 , 丹尼斯·莫雷尔 :
前言。 西奥。 计算。 科学。 450 : 2 ( 2012 ) [公元36年] 玛丽·皮埃尔·贝亚尔 , Jean-Marc Champarnaud女士 , Jean-Philippe Dubernard女士 , 哈德里安·珍妮 , 西尔万·伦巴第 :
正则语言几何性的判定。 语言理论的发展 2012 : 62-72 [公元35年] Jean-Marc Champarnaud女士 , 哈德里安·珍妮 , 卢多维克·米格诺特 :
近似正则表达式及其导数。 拉丁美洲旅游协会 2012 : 179-191年 [公元34年] 帕斯卡·卡隆 , Jean-Marc Champarnaud女士 , 卢多维奇·米格诺 :
多层条形衍生品。 CIAA公司 2012 : 321-328 [i2] Jean-Marc Champarnaud女士 , 哈德里安·珍妮 , 卢多维奇·米格诺 :
近似正则表达式的导数。 CoRR公司 abs/1205.1825 ( 2012 ) [i1] 帕斯卡·卡隆 , Jean-Marc Champarnaud女士 , 卢多维克·米格诺特 :
正则表达式派生的一般框架。 CoRR公司 abs/1212.5003 ( 2012 ) 2011 [公元34年] Jean-Marc Champarnaud女士 , 雅克·法雷 , 弗兰克·吉尼 :
非循环覆盖换能器的简化技术。 芬丹。 信息学 111 ( 4 ) : 357-371 ( 2011 ) [公元33年] 帕斯卡·卡隆 , Jean-Marc Champarnaud女士 , 卢多维克·米格诺特 :
多极和多极正则算子。 J.汽车。 语言梳。 16 ( 1 ) : 11月36日 ( 2011 ) [公元32年] 帕斯卡·卡隆 , Jean-Marc Champarnaud女士 , 卢多维克·米格诺特 :
“使用多tilde-bar运算符的非循环自动机和小表达式”勘误表[理论计算科学411(38-39)(2010)3423-3435]。 西奥。 计算。 科学。 412 ( 29 ) : 3795-3796 ( 2011 ) [公元33年] Jean-Marc Champarnaud女士 , Jean-Philippe Dubernard女士 , 弗兰克·吉尼 , 哈德里安·珍妮 :
几何正则语言和线性丢番图方程。 DCFS公司 2011 : 107-120 [公元32年] 帕斯卡·卡隆 , Jean-Marc Champarnaud女士 , 卢多维克·米格诺特 :
扩展正则表达式的偏导数。 拉丁美洲旅游协会 2011 : 179-191年 [电子3] 贝特里斯·布乔·马尔霍夫 , 帕斯卡·卡隆 , Jean-Marc Champarnaud女士 , 丹尼斯·莫雷尔 :
自动化的实施和应用——第16届国际会议,2011年7月13日至16日,法国布洛伊斯,CIAA 2011。 诉讼程序。 计算机科学课堂讲稿 6807, 施普林格 2011 ,国际标准图书编号 978-3-642-22255-9 [目录] 2010 [公元31年] 帕斯卡·卡隆 , Jean-Marc Champarnaud女士 , 卢多维克·米格诺特 :
使用多tilde-bar运算符的非循环自动机和小表达式。 西奥。 计算。 科学。 411 ( 38-39 ) : 3423-3435 ( 2010 ) [公元31年] Jean-Marc Champarnaud女士 , Jean-Philippe Dubernard女士 , 哈德里安·珍妮 :
二进制正则语言的几何性。 拉丁美洲旅游协会 2010 : 178-189 [c30] Jean-Marc Champarnaud女士 , Jean-Philippe Dubernard女士 , 哈德里安·珍妮 :
正则几何语言和平面平铺。 CIAA公司 2010 : 69-78
2000 – 2009
2009 【j30】 Jean-Marc Champarnaud女士 , 费萨尔·瓦尔迪 , 杰洛尔·齐阿迪 :
正则K-表达式方程K-自动机的有效计算。 芬丹。 信息学 90 ( 1-2 ) : 1-16 ( 2009 ) [公元29年] Jean-Marc Champarnaud女士 , Jean-Philippe Dubernard女士 , 哈德里安·珍妮 :
一种测试二进制可扩展正则语言是否是几何语言的有效算法。 发现的国际期刊。 计算。 科学。 20 ( 4 ) : 763-774 ( 2009 ) [公元29年] 帕斯卡·卡隆 , Jean-Marc Champarnaud女士 , 卢多维奇·米格诺 :
多重算子及其Glushkov自动机。 拉丁美洲旅游协会 2009 : 290至301 [公元28年] 帕斯卡·卡隆 , Jean-Marc Champarnaud女士 , 卢多维克·米格诺特 :
一类新的与位置自动机计算相适应的正则算子。 SOFSEM公司 2009 : 645-655 [公元27年] 帕斯卡·卡隆 , Jean-Marc Champarnaud女士 , 卢多维克·米格诺特 :
非循环自动机的小型扩展表达式。 CIAA公司 2009 : 198-207 2008 [公元28年] Jean-Marc Champarnaud女士 , 弗兰克·吉尼 , 安德烈·坎佩 , 弗洛伦特·尼卡特 :
多带加权有限状态机的连接和自动交互算法。 发现的国际期刊。 计算。 科学。 19 ( 2 ) : 453-476 ( 2008 ) [公元26年] Jean-Marc Champarnaud女士 , Jean-Philippe Dubernard女士 , 哈德里安·珍妮 :
在Pref(L)的最小决定自动机上测试二进制可延长正则语言LI是否是几何语言。 CIAA公司 2008 : 68-77 2007 [j27] Jean-Marc Champarnaud女士 , 费萨尔·瓦尔迪 , 杰卢尔·齐亚迪 :
规范化表达式和有限自动机。 国际代数计算杂志。 17 ( 1 ) : 141-154 ( 2007 ) [公元26年] 弗洛伦特·尼卡特 , Jean-Marc Champarnaud女士 , 蒂博尔·卡基 , 塔马斯·加尔 , 安德烈·坎佩 :
使用约束符号类标记多带自动机。 发现的国际期刊。 计算。 科学。 18 ( 4 ) : 847-858 ( 2007 ) [公元25年] Jean-Marc Champarnaud女士 , 费萨尔·瓦尔迪 , 杰卢尔·齐亚迪 :
方程的有效计算 K(K) -正则自动机 K(K) -表达式。 语言理论的发展 2007 : 145-156 [公元24年] 巴普蒂斯特·布兰帕因 , Jean-Marc Champarnaud女士 , Jean-Philippe Dubernard女士 :
几何语言。 拉丁美洲旅游协会 2007 : 127-138 【c23】 Jean-Marc Champarnaud女士 , 弗兰克·吉尼 , 雅克·法雷 :
减少非循环盖传感器。 CIAA公司 2007 : 38-50 2006 [公元25年] Jean-Marc Champarnaud女士 , 弗洛伦特·尼卡特 , 杰卢尔·齐亚迪 :
从正则表达式的ZPC结构到它的跟随自动机。 国际代数计算杂志。 16 ( 1 ) : 17-34 ( 2006 ) [公元22年] 弗洛伦特·尼卡 , Jean-Marc Champarnaud女士 , 蒂博尔·卡基 , 塔马斯·加尔 , 安德烈·坎佩 :
带有符号类的多带自动机。 CIAA公司 2006 : 126-136 2005 [公元24年] Jean-Marc Champarnaud女士 , 法比安·库隆 , 托马斯·帕兰托恩 :
通过国家覆盖来确定非武装冲突的暴力。 发现的国际期刊。 计算。 科学。 16 ( 三 ) : 441-451 ( 2005 ) [公元23年] Jean-Marc Champarnaud女士 , 弗兰克·吉尼 , 乔治·汉塞尔 :
覆盖有限域函数的变换器。 发现的国际期刊。 计算。 科学。 16 ( 5 ) : 851-865 ( 2005 ) [公元22年] Jean-Marc Champarnaud女士 , 法比安·库隆 :
枚举给定语言的非确定性自动机,而不构造规范自动机。 发现的国际期刊。 计算。 科学。 16 ( 6 ) : 1253-1266 ( 2005 ) [j21] Jean-Marc Champarnaud女士 , 弗兰克·吉尼 , 乔治·汉塞尔 :
相似关系和覆盖自动机。 RAIRO提奥。 信息学应用。 39 ( 1 ) : 115-123 ( 2005 ) [公元20年] Jean-Marc Champarnaud女士 , 托马斯·帕兰托恩 :
DFA的随机生成。 西奥。 计算。 科学。 330 ( 2 ) : 221-235 ( 2005 ) [公元19年] Jean-Marc Champarnaud女士 , 法比安·库隆 :
“通过正则不等式减少NFA算法”的勘误表[TCS 327(2004)241-253]。 西奥。 计算。 科学。 347 ( 1-2 ) : 437-440 ( 2005 ) 【c21】 安德烈·坎佩 , Jean-Marc Champarnaud女士 , 弗兰克·吉尼 , 弗洛伦特·尼卡特 :
WFSM自相交和连接算法。 FSMNLP公司 2005 : 120-131 [公元20年] 安德烈·坎佩 , Jean-Marc Champarnaud女士 , 杰森·艾斯纳 , 弗兰克·吉尼 , 弗洛伦特·尼卡特 :
一类有理数 n个 -WFSM自动插入。 CIAA公司 2005 : 188-198年 2004 [公元18年] Jean-Marc Champarnaud女士 , 乔治·汉塞尔 , 多米尼克·佩林 :
不可避免的定长集。 国际代数计算杂志。 14 ( 2 ) : 241-251 ( 2004 ) [公元17年] Jean-Marc Champarnaud女士 , 法比安·库隆 , 托马斯·帕兰托恩 :
用于安全正则表达式搜索的紧凑快速算法。 国际期刊计算。 数学。 81 ( 4 ) : 383-401 ( 2004 ) [公元16年] Jean-Marc Champarnaud女士 , 埃里克·劳格洛特 , 费萨尔·瓦尔迪 , 杰卢尔·齐亚迪 :
从正则加权表达式到有限自动机。 发现的国际期刊。 计算。 科学。 15 ( 5 ) : 687-700 ( 2004 ) [公元15年] Jean-Marc Champarnaud女士 , 乔治·汉塞尔 , 托马斯·帕兰索恩 , 杰卢尔·齐亚迪 :
NFA的随机生成模型。 J.汽车。 语言梳。 9 ( 2/3 ) : 203-216 ( 2004 ) [公元14年] Jean-Marc Champarnaud女士 , 杰拉德·杜尚 :
有理表达式的导数和相关定理。 西奥。 计算。 科学。 313 ( 1 ) : 31-44 ( 2004 ) [j13] Jean-Marc Champarnaud女士 , 法比安·库隆 :
通过正则不等式的NFA约简算法。 西奥。 计算。 科学。 327 ( 三 ) : 241-253 ( 2004 ) [第19条] Jean-Marc Champarnaud女士 , 弗兰克·吉尼 , 乔治·汉塞尔 :
缩小盖次级传感器。 DCFS公司 2004 : 131-144 [c18] Jean-Marc Champarnaud女士 , 费萨尔·瓦尔迪 , 杰卢尔·齐亚迪 :
遵循自动机与等式自动机。 DCFS公司 2004 : 145-153 [第17条] Jean-Marc Champarnaud女士 , 法比安·库隆 , 托马斯·帕兰托恩 :
通过状态覆盖的方法确定NFA的Brute力。 CIAA公司 2004 : 80-89 [第16条] Jean-Marc Champarnaud女士 , 弗洛伦特·尼卡特 , 杰卢尔·齐亚迪 :
计算表达式的跟随自动机。 CIAA公司 2004 : 90-101 2003 [公元12年] Jean-Marc Champarnaud女士 , 法比安·库隆 :
规范自动机的理论研究和实现。 芬丹。 信息学 55 ( 1 ) : 23-38 ( 2003 ) [公元11年] 弗兰克·吉尼 , 弗洛伦特·尼卡特 , Jean-Marc Champarnaud女士 , 劳里·卡图恩 , 塔马斯·加尔 , 安德烈·坎佩 :
虚拟网络上的虚拟操作:优先联盟。 发现的国际期刊。 计算。 科学。 14 ( 6 ) : 1055-1071 ( 2003 ) [第15条] Jean-Marc Champarnaud女士 , 托马斯·帕兰托恩 :
非单位字母上的随机DFA。 DCFS公司 2003 : 90-101 [第14条] Jean-Marc Champarnaud女士 , 法比安·库隆 :
基于正则不等式的NFA约简算法。 语言理论的发展 2003 : 194-205 [第13条] Jean-Marc Champarnaud女士 , 埃里克·劳格洛特 , 费萨尔·瓦尔迪 , 杰卢尔·齐亚迪 :
从正则加权表达式到有限自动机。 CIAA公司 2003 : 49-60 [电子2] Jean-Marc Champarnaud女士 , 丹尼斯·莫雷尔 :
自动化的实施和应用,第七届国际会议,CIAA 2002,法国图尔,2002年7月3-5日,修订论文。 计算机科学课堂讲稿 2608, 施普林格 2003 ,国际标准图书编号 3-540-40391-4号 [目录] 2002 [公元10年] Jean-Marc Champarnaud女士 :
从正则表达式实现非确定性自动机的三种隐式结构的评估。 发现的国际期刊。 计算。 科学。 13 ( 1 ) : 99-113 ( 2002 ) [公元9年] Jean-Marc Champarnaud女士 , 杰卢尔·齐亚迪 :
正则导数、偏导数和有限自动机构造。 西奥。 计算。 科学。 289 ( 1 ) : 137-163 ( 2002 ) [第12条] Jean-Marc Champarnaud女士 , 乔治·汉塞尔 , 托马斯·帕兰托恩 , 杰卢尔·齐亚迪 :
基于NFA比特流的随机生成。 DCFS公司 2002 : 81-94 [第11条] Jean-Marc Champarnaud女士 , 艾哈迈德·霍尔西 , 托马斯·帕兰托恩 :
拆分和合并以最小化:Brzozowski算法。 弦论 2002 : 96-104 2001 [j8] Jean-Marc Champarnaud女士 , 杰卢尔·齐亚迪 :
从米尔金的前基到安蒂米洛夫的词偏导数。 芬丹。 信息学 45 ( 三 ) : 195-205 ( 2001 ) [j7] Jean-Marc Champarnaud女士 , 杰卢尔·齐亚迪 :
从C-延拓到自动综合的新二次算法。 国际代数计算杂志。 11 ( 6 ) : 707-736 ( 2001 ) [j6] Jean-Marc Champarnaud女士 , 丹尼斯·莫雷尔 , 杰卢尔·齐亚迪 :
前言。 西奥。 计算。 科学。 267 ( 1-2 ) : 1 ( 2001 ) [j5] Jean-Marc Champarnaud女士 :
同构自动机、位置自动机和ZPC结构的子集构造复杂性。 西奥。 计算。 科学。 267 ( 1-2 ) : 17-34 ( 2001 ) [第10条] Jean-Marc Champarnaud女士 , 杰洛尔·齐阿迪 :
计算空间和时间中正则表达式的方程自动机。 CPM公司 2001 : 157-168 【c9】 Jean-Marc Champarnaud女士 , 杰拉德·杜尚 :
Brzozowski导数推广到乘法。 CIAA公司 2001 : 52-64 2000 【c8】 Jean-Marc Champarnaud女士 :
从正则表达式实现NFA的隐式结构。 CIAA公司 2000 : 80-93 【c7】 Jean-Marc Champarnaud女士 , 杰卢尔·齐亚迪 :
基于正则导数的新型有限自动机构造。 CIAA公司 2000 : 94-104
1990 – 1999
1999 [j4] Jean-Marc Champarnaud女士 , 珍妮·卢克·蓬蒂 , 杰卢尔·齐亚迪 :
从正则表达式到有限自动机。 国际期刊计算。 数学。 72 ( 4 ) : 415-431 ( 1999 ) [j3] 杰卢尔·齐亚迪 , Jean-Marc Champarnaud女士 :
将正则表达式转换为Glushkov自动机的最佳并行算法。 西奥。 计算。 科学。 215 ( 1-2 ) : 69-87 ( 1999 ) 【c6】 菲利普·安达里 , 帕斯卡·卡隆 , Jean-Marc Champarnaud女士 , 杰拉德·杜尚 , 玛丽安·弗洛伊特 , 埃里克·劳格洛特 :
SEA:自动机理论的符号环境。 WIA公司 1999 : 13-26 [e1] Jean-Marc Champarnaud女士 , 丹尼斯·莫雷尔 , 杰卢尔·齐亚迪 :
自动化实施,第三届自动化实施国际研讨会,WIA'98,法国鲁昂,1998年9月17-19日,修订论文。 计算机科学课堂讲稿 1660, 施普林格 1999 ,国际标准图书编号 3-540-66652-4 [目录] 1998 【c5】 Jean-Marc Champarnaud女士 , 杰卢尔·齐亚迪 , 珍妮·卢克·蓬蒂 :
Glushkov自动机的确定。 自动化实施研讨会 1998 : 57-68 【c4】 Jean-Francis Michon女士 , Jean-Marc Champarnaud女士 :
自动机和二进制决策图。 自动化实施研讨会 1998 : 178-182 【c3】 是Uppman , Jean-Marc Champarnaud女士 :
签名:Automate的图形版本。 自动化实施研讨会 1998 : 226-229 1996 [c2] 珍妮·卢克·蓬蒂 , 杰卢尔·齐亚迪 , Jean-Marc Champarnaud女士 :
一种将正则表达式转换为自动机的新二次算法。 自动化实施研讨会 1996 : 109-119 1992 【c1】 Jean-Marc Champarnaud女士 :
正则语言、自动机和半群符号计算的编程语言。 STACS公司 1992 : 605-606 1991 [注2] Jean-Marc Champarnaud女士 , 乔治·汉塞尔 :
AUTOMATE,一个用于自动机和有限半群的计算包。 J.塞姆。 计算。 12 ( 2 ) : 197-220 ( 1991 )
1980 – 1989
1989 [j1] Jean-Marc Champarnaud女士 , Jean-Eric别针 :
有限自动机上的极大极小问题。 自由裁量权。 申请。 数学。 23 ( 1 ) : 91-96 ( 1989 )