×
作者ID: 雅克马尔·弗洛伦特“Jacquemard,Florent”最近发表的zbMATH文章
发布日期: 佛罗伦萨·杰克马尔
已编制索引的文档: 33出版物自1994年以来
合著者: 33位合著者具有31联合出版物
393合著作者

按年份列出的出版物

zbMATH Open中包含的引文

31出版物有被引用183中的次127文件 引用人 年份
项重写系统的可判定近似。 Zbl 1503.68117号
佛罗伦萨·杰克马尔
18
1996
接地还原性为EXPTIME-完整。 Zbl 1090.68047号
休伯特·科蒙;佛罗伦萨·杰克马尔
13
2003
编译和验证安全协议。 Zbl 0988.68562号
佛罗伦萨·杰克马尔;米歇尔·鲁西诺维奇;劳伦·维格纳龙
13
2000
泵送、清洁和符号约束求解。 Zbl 1418.68114号
卡隆、安妮·塞西尔;休伯特·科蒙;Coquidé,让-吕克;马克斯·多切特;佛罗伦萨·杰克马尔
11
1994
刚性树自动机及其应用。 兹比尔1217.68131
佛罗伦萨·杰克马尔;弗朗西斯·克莱;卡米尔·瓦彻
10
2011
平面TRS的汇流问题。 兹比尔1156.68433
一郎三桥;米奇奥·奥亚马古奇;佛罗伦萨·杰克马尔
10
2006
浅层方程理论扩展中的统一。 Zbl 0903.03008号
佛罗伦萨·杰克马尔;克里斯托夫·迈耶;克里斯托夫·韦登巴赫
9
1998
具有不合格约束的地面可约性和自动机。 Zbl 0941.68599号
休伯特·科蒙;佛罗伦萨·杰克马尔
8
1994
混合局部和全局约束模平面理论的树自动机的可判定类。 Zbl 1278.68130号
路易斯·巴尔古诺;卡莱斯·克鲁斯;吉勒姆·戈多伊;佛罗伦萨·杰克马尔;卡米尔·瓦彻
8
2013
具有内存、可见性和结构约束的树自动机。 Zbl 1195.68054号
休伯特·科蒙·隆德;佛罗伦萨·杰克马尔;尼古拉斯·佩林
8
2007
对于平面项重写系统,可达性和汇流性是不可确定的。 Zbl 1161.68502号
佛罗伦萨·杰克马尔
8
2003
带约束树自动机的自动归纳。 Zbl 1165.68452号
阿黛尔·布胡拉;佛罗伦萨·杰克马尔
7
2008
带有前缀上下文约束和自下而上策略的术语重写。 Zbl 1465.68121号
佛罗伦萨·杰克马尔;吉原小岛;Masahiko酒井
6
2015
刚性可达性。 Zbl 0928.03002号
哈拉尔德·甘辛格;佛罗伦萨·杰克马尔;玛格斯·维纳斯
5
1998
具有等式约束的树自动机模方程理论。 Zbl 1137.68035号
佛罗伦萨·杰克马尔;迈克尔·鲁西诺维奇;劳伦·维格纳龙
5
2008
条件和约束TRS的充分完整性验证。 Zbl 1279.68228号
阿黛尔·布胡拉;佛罗伦萨·杰克马尔
5
2012
具有等式约束的树自动机模方程理论。 Zbl 1222.03046号
佛罗伦萨·杰克马尔;迈克尔·鲁西诺维奇;劳伦·维格纳龙
5
2006
\数据树、数据树自动机和分支向量加法系统上的(\mathsf{FO}^2(<,+1,\sim)\)。 Zbl 1448.68227号
佛罗伦萨·杰克马尔;卢克·塞古芬;杰雷米·迪米诺
4
2016
受控项重写。 Zbl 1348.68083号
佛罗伦萨·杰克马尔;吉原小岛;Masahiko酒井
4
2011
刚性树自动机。 Zbl 1234.68213号
佛罗伦萨·杰克马尔;弗朗西斯·克莱;卡米尔·瓦彻
4
2009
浅层TRS的唯一归一化。 兹比尔1242.68133
吉勒姆·戈多伊;佛罗伦萨·杰克马尔
2009
具有内存和约束的可视树自动机。 Zbl 1149.68045号
休伯特·科蒙·隆德;佛罗伦萨·杰克马尔;尼古拉斯·佩林
2008
通过模糊限制语改写关闭模糊限制语。 兹比尔1146.68039
佛罗伦萨·杰克马尔;迈克尔·鲁西诺维奇
2008
同时刚性可达性的可判定碎片。 Zbl 0943.68096号
维罗尼克·科尔蒂尔;哈拉尔德·甘辛格;佛罗伦萨·杰克马尔;玛格斯·维纳斯
2
1999
一个基于语法的框架,用于耦合节奏量化和分数结构。 Zbl 1456.00068号
弗朗西斯科·福斯卡林;佛罗伦萨·杰克马尔;菲利普·里戈;Masahiko酒井
2
2019
刚性可达性,刚性E-统一的非对称形式。 Zbl 1319.68127号
哈拉尔德·甘辛格;佛罗伦萨·杰克马尔;玛格斯·维纳斯
2
2000
树自动机语言在最内层重写下的闭包。 Zbl 1294.68103号
阿德里亚·加斯科恩;吉勒姆·戈多伊;佛罗伦萨·杰克马尔
2
2009
重写关闭和CF对冲自动机。 Zbl 1377.68114号
佛罗伦萨·杰克马尔;迈克尔·鲁西诺维奇
2
2013
单变量无上下文对冲自动机。 Zbl 1423.68256号
佛罗伦萨·杰克马尔;迈克尔·鲁西诺维奇
1
2019
基于树表示和术语重写的节奏记谱结构理论。 Zbl 1320.00021号
佛罗伦萨·杰克马尔;皮埃尔·多纳特·布伊勒德;让·布列松
1
2015
针对离线字典攻击的概率加密协议安全性的决策程序。 Zbl 1107.68041号
斯特凡尼德劳恩;佛罗伦萨·杰克马尔
1
2006
一个基于语法的框架,用于耦合节奏量化和分数结构。 Zbl 1456.00068号
弗朗西斯科·福斯卡林;佛罗伦萨·杰克马尔;菲利普·里戈;Masahiko酒井
2
2019
单变量无上下文对冲自动机。 Zbl 1423.68256号
佛罗伦萨·杰克马尔;迈克尔·鲁西诺维奇
1
2019
\数据树、数据树自动机和分支向量加法系统上的(\mathsf{FO}^2(<,+1,\sim)\)。 Zbl 1448.68227号
佛罗伦萨·杰克马尔;卢克·塞古芬;杰雷米·迪米诺
4
2016
带有前缀上下文约束和自下而上策略的术语重写。 Zbl 1465.68121号
佛罗伦萨·杰克马尔;吉原小岛;Masahiko酒井
6
2015
基于树表示和术语重写的节奏记谱结构理论。 Zbl 1320.00021号
佛罗伦萨·杰克马尔;皮埃尔·多纳特·布伊勒德;让·布列松
1
2015
混合局部和全局约束模平面理论的树自动机的可判定类。 Zbl 1278.68130号
路易斯·巴尔古诺;卡莱斯·克鲁斯;吉勒姆·戈多伊;佛罗伦萨·杰克马尔;卡米尔·瓦彻
8
2013
重写关闭和CF对冲自动机。 兹比尔1377.68114
佛罗伦萨·杰克马尔;迈克尔·鲁西诺维奇
2
2013
条件和约束TRS的充分完整性验证。 Zbl 1279.68228号
阿黛尔·布胡拉;佛罗伦萨·杰克马尔
5
2012
刚性树自动机及其应用。 兹比尔1217.68131
佛罗伦萨·杰克马尔;弗朗西斯·克莱;卡米尔·瓦彻
10
2011
受控项重写。 Zbl 1348.68083号
佛罗伦萨·杰克马尔;吉原小岛;Masahiko酒井
4
2011
刚性树自动机。 Zbl 1234.68213号
佛罗伦萨·杰克马尔;弗朗西斯·克莱;卡米尔·瓦彻
4
2009
浅层TRS的唯一归一化。 Zbl 1242.68133号
吉勒姆·戈多伊;佛罗伦萨·杰克马尔
2009
树自动机语言在最内层重写下的闭包。 兹比尔1294.68103
阿德里亚·加斯科恩;吉勒姆·戈多伊;佛罗伦萨·杰克马尔
2
2009
带约束树自动机的自动归纳。 Zbl 1165.68452号
阿黛尔·布胡拉;佛罗伦萨·杰克马尔
7
2008
具有等式约束的树自动机模方程理论。 Zbl 1137.68035号
佛罗伦萨·杰克马尔;迈克尔·鲁西诺维奇;劳伦·维格纳龙
5
2008
具有内存和约束的可视树自动机。 Zbl 1149.68045号
休伯特·科蒙·隆德;佛罗伦萨·杰克马尔;尼古拉斯·佩林
2008
通过模糊限制语改写关闭模糊限制语。 Zbl 1146.68039号
佛罗伦萨·杰克马尔;迈克尔·鲁西诺维奇
2008
具有内存、可见性和结构约束的树自动机。 Zbl 1195.68054号
休伯特·科蒙·隆德;佛罗伦萨·杰克马尔;尼古拉斯·佩林
8
2007
平面TRS的汇流问题。 Zbl 1156.68433号
一郎三桥;米奇奥·奥亚马古奇;佛罗伦萨·杰克马尔
10
2006
具有等式约束的树自动机模方程理论。 Zbl 1222.03046号
佛罗伦萨·杰克马尔;迈克尔·鲁西诺维奇;劳伦·维格纳龙
5
2006
针对离线字典攻击的概率加密协议安全性的决策程序。 Zbl 1107.68041号
斯特凡尼德劳恩;佛罗伦萨·杰克马尔
1
2006
接地还原性为EXPTIME-完整。 Zbl 1090.68047号
休伯特·科蒙;佛罗伦萨·杰克马尔
13
2003
对于平面项重写系统,可达性和汇流性是不可确定的。 Zbl 1161.68502号
佛罗伦萨·杰克马尔
8
2003
编译和验证安全协议。 Zbl 0988.68562号
佛罗伦萨·杰克马尔;米歇尔·鲁西诺维奇;劳伦·维格纳龙
13
2000
刚性可达性,刚性E-统一的非对称形式。 Zbl 1319.68127号
哈拉尔德·甘辛格;佛罗伦萨·杰克马尔;玛格斯·维纳斯
2
2000
同时刚性可达性的可判定碎片。 Zbl 0943.68096号
维罗尼克·科尔蒂尔;哈拉尔德·甘辛格;佛罗伦萨·杰克马尔;玛格斯·维纳斯
2
1999
浅层方程理论扩展中的统一。 Zbl 0903.03008号
佛罗伦萨·杰克马尔;克里斯托夫·迈耶;克里斯托夫·韦登巴赫
9
1998
刚性可达性。 Zbl 0928.03002号
哈拉尔德·甘辛格;佛罗伦萨·杰克马尔;玛格斯·维纳斯
5
1998
项重写系统的可判定近似。 兹比尔1503.68117
佛罗伦萨·杰克马尔
18
1996
泵送、清洁和符号约束求解。 Zbl 1418.68114号
卡隆、安妮·塞西尔;休伯特·科蒙;Jean-Luc Coquidé;道切特,马克斯;佛罗伦萨·杰克马尔
11
1994
具有不合格约束的地面可约性和自动机。 Zbl 0941.68599号
休伯特·科蒙;佛罗伦萨·杰克马尔
8
1994
全部的 前5名

177位作者引用

12 佛罗伦萨·杰克马尔
8 吉勒姆·戈多伊
8 克里斯托夫·韦登巴赫
7 直纪西田
7 Masahiko酒井
5 苏菲·蒂森
4 托马斯·杰奈特
4 海姆,皮尔雷·科里尔
4 斯特凡·赫兹尔
4 小山口,美雄
4 米歇尔·鲁西诺维奇
4 Rakesh M.维尔玛。
4 卢卡·维甘诺
阿黛尔·布胡拉
卡莱斯·克鲁斯
塞巴斯蒂安·埃伯哈德
阿德里亚·加斯科恩
奥尔加·库什纳伦科
萨尔瓦多卢卡斯
何塞·梅塞盖尔·瓜伊塔
皮埃尔·雷蒂
Jean-Marc Talbot
瓦格伏尔盖,桑多尔
玛格斯·维纳斯
2 尼里娜·安德里亚纳里韦洛
2 David A.Basin。
2 尤罕·博伊库特
2 卡洛斯·卡莱罗
2 休伯特·科蒙
2 罗梅奥·库比斯
2 斯特凡尼德劳恩
2 艾琳·杜兰德。
2 艾曼纽·菲利奥特
2 高基町五指
2 哈拉尔德·甘辛格
2 让·古鲍特·拉雷克
2 Jean-Pierre Jouannaud
2 弗朗西斯·克莱
2 吉原小岛
2 史蒂夫·克莱默
2 帕特里克·兰德威尔
2 克里斯托夫·Löding
2 马库斯·洛伊
2 丹尼斯·卢吉兹
2 安德烈亚斯·马莱蒂
2 塞巴斯蒂安·马内思
2 塞巴斯蒂安·亚历山大·莫德谢姆
2 中村,Masaki
2 安德烈亚·特奥多拉·纳什
2 罗伯特·纽文胡斯
2 Kazuhiro绪方
2 小川,水井裕人
2 Kai T.Salomaa。
2 曼弗雷德·施密特·沙乌
2 阿什什·库马尔·蒂瓦里
2 马克·托马西
2 拉尔夫·特里宁
2 卡米尔·瓦彻
2 乌韦·沃尔德曼
1 塞尔吉奥·阿布里奥拉
1 奥马尔·阿穆萨
1 罗伯特·阿马迪奥(Roberto M.Amadio)。
1 高仁青藤
1 维亨·阿萨克
1 埃弗拉多·贝尔塞纳斯
1 詹保罗·贝拉
1 贝尼特斯·盖雷罗,埃德加德
1 马可·波扎诺
1 塞巴斯蒂安·布赖斯
1 Jochen Burghardt
1 泽维尔·尚特里
1 维托尔德·查拉托尼克
1 雪莲骑士
1 Yannick骑士
1 阿加塔·卓洛斯卡
1 卢卡·孔帕尼亚
1 康拉德·科顿-巴拉特
1 马克斯·多切特
1 阿德里安·霍里亚·德迪乌
1 乔治·德尔扎诺
1 约尔格恩德鲁利斯
1 约斯特·恩格尔弗里特
1 伯特伦·费尔根豪尔
1 罗兰·费蒂格
1 阿诺德·菲埃茨克
1 迭戈·菲盖拉
1 圣地亚哥菲格拉
1 阿兰·芬克尔
1 弗朗西斯科·福斯卡林
1 卡斯滕·福斯
1 简·赫尔曼·杰弗斯
1 弗朗索瓦斯·吉尔
1 卡尔·格梅纳
1 伊莎贝·格尼迪格
1 尤里·古里维奇
1 彼得·哈贝梅尔
1 马塞特鲁·哈罗
1 雨果·埃尔南德斯
1 托马斯·希伦布兰德
1 平田洋一
…还有77位作者

按年份列出的引文