编辑配置文件(在新选项卡中打开) 托马斯·杰奈特 合著者距离 作者ID: 吉纳特·托马斯 发布日期: 托马斯·杰奈特 外部链接: MGP公司 已编制索引的文档: 16出版物自2000年起 合著者: 14位合著者具有13联合出版物 219名Co-Co作者 全部的 前5名合著者 三 单作者的 三 尤罕·博伊库特 2 纪尧姆·费伊莱德 2 三文鱼,Yann 2 瓦莱里越战通 1 艾米莉·巴拉德 1 贝诺·博伊尔 1 蒂莫塞·豪德堡 1 弗朗西斯·克莱 1 特里斯坦勒加尔 1 卢卡勒鲁 1 Legay、Axel 1 皮埃尔·埃蒂安·莫罗 1 瓦莱里·穆拉特 1 弗拉德·鲁苏 系列 1 符号计算杂志 1 自动推理杂志 1 计算机科学中的逻辑方法 1 程序设计中的逻辑和代数方法杂志 领域 16 计算机科学(68至XX) 1 信息与通信理论、电路(94-XX) 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 14出版物有被引用118中的次56文件 引用人▼ 年份▼ 用于加密协议验证的重写。 Zbl 0963.94016号 托马斯·杰奈特;弗朗西斯·克莱 33 2000 术语重写系统的可达性分析。 Zbl 1075.68038号 纪尧姆·费伊莱德;托马斯·杰奈特;瓦莱里越战通 21 2004 Timbuk术语重写系统的可达性分析。 Zbl 1275.68083号 托马斯·杰奈特;瓦莱里·托恩(Valérie Viet Triem Tong) 14 2001 重写近似值,用于静态分析器的快速原型制作。 Zbl 1203.68068号 尤罕·博伊库特;托马斯·杰奈特;托马斯·延森;卢卡勒鲁 11 2007 条件项重写系统中的可达性。 Zbl 1261.68099号 纪尧姆·费伊莱德;托马斯·杰奈特 7 2003 树自动机完备的等式逼近。 Zbl 1192.68398号 托马斯·杰奈特;弗拉德·鲁苏 6 2010 树自动机完成的终止标准。 兹比尔1356.68132 托马斯·杰奈特 5 2016 格树自动机的一种补全算法。 Zbl 1298.68135号 托马斯·杰奈特;特里斯坦勒加尔;Legay、Axel;瓦莱里·穆拉特 4 2013 最内层重写的可达性分析。 Zbl 1366.68117号 托马斯·杰奈特;三文鱼,Yann 4 2015 使用树自动机完成功能程序的静态分析。 Zbl 1356.68131号 托马斯·杰奈特 4 2014 实现树自动机的高效实现。 Zbl 1170.68425号 艾米莉·巴拉德;尤罕·博伊库特;托马斯·杰奈特;皮埃尔·埃蒂安·莫罗 三 2008 认证树自动机完成检查器。 Zbl 1165.68400号 贝诺·博伊尔;托马斯·杰奈特;托马斯·延森 三 2008 用树自动机验证高阶函数。 兹比尔1504.68129 托马斯·杰奈特;蒂莫塞·豪德堡;托马斯·延森 2 2018 最内层重写的可达性分析。 Zbl 1398.68274号 托马斯·杰奈特;三文鱼,Yann 1 2017 用树自动机验证高阶函数。 兹比尔1504.68129 托马斯·杰奈特;蒂莫塞·豪德堡;托马斯·延森 2 2018 最内层重写的可达性分析。 Zbl 1398.68274号 托马斯·杰奈特;三文鱼,Yann 1 2017 树自动机完成的终止标准。 Zbl 1356.68132号 托马斯·杰奈特 5 2016 最内层重写的可达性分析。 Zbl 1366.68117号 托马斯·杰奈特;三文鱼,Yann 4 2015 使用树自动机完成功能程序的静态分析。 Zbl 1356.68131号 托马斯·杰奈特 4 2014 格树自动机的一种补全算法。 Zbl 1298.68135号 托马斯·杰奈特;特里斯坦勒加尔;Legay、Axel;瓦莱里·穆拉特 4 2013 树自动机完备的等式逼近。 Zbl 1192.68398号 托马斯·杰奈特;弗拉德·鲁苏 6 2010 实现树自动机的高效补全。 Zbl 1170.68425号 艾米莉·巴拉德;尤罕·博伊库特;托马斯·杰奈特;皮埃尔·埃蒂安·莫罗 三 2008 认证树自动机完成检查器。 Zbl 1165.68400号 贝诺·博伊尔;托马斯·杰奈特;托马斯·延森 三 2008 重写近似值,用于静态分析器的快速原型制作。 Zbl 1203.68068号 尤罕·博伊库特;托马斯·杰奈特;托马斯·延森;卢卡勒鲁 11 2007 术语重写系统的可达性分析。 Zbl 1075.68038号 纪尧姆·费伊莱德;托马斯·杰奈特;瓦莱里越战通 21 2004 条件项重写系统中的可达性。 Zbl 1261.68099号 纪尧姆·费伊莱德;托马斯·杰奈特 7 2003 Timbuk术语重写系统的可达性分析。 Zbl 1275.68083号 托马斯·杰奈特;瓦莱里·托恩(Valérie Viet Triem Tong) 14 2001 用于加密协议验证的重写。 Zbl 0963.94016号 托马斯·杰奈特;弗朗西斯·克莱 33 2000 所有引用的出版物 前5名被引用出版物 全部的 前5名78位作者引用 7 尤罕·博伊库特 7 托马斯·杰奈特 7 海姆,皮尔雷·科里尔 6 佛罗伦萨·杰克马尔 5 奥尔加·库什纳伦科 5 何塞·梅塞盖尔·瓜伊塔 4 直纪西田 4 瓦格伏尔盖,桑多尔 三 皮埃尔·雷蒂 三 米歇尔·鲁西诺维奇 三 Thati,普拉桑纳 2 罗梅奥·库比斯 2 圣地亚哥埃斯科瓦尔 2 纪尧姆·费伊莱德 2 阿尔芬斯·盖瑟 2 让·古鲍特·拉雷克 2 迪特尔·霍夫鲍尔 2 弗朗西斯·克莱 2 吉原小岛 2 塞巴斯蒂安·亚历山大·莫德谢姆 2 皮埃尔·埃蒂安·莫罗 2 Masahiko酒井 2 卡米尔·瓦彻 2 库马尔·内拉吉(Kumar Neeraj Verma) 2 约翰内斯·沃尔德曼 1 路易斯·安东尼奥·阿吉雷 1 阿南塔拉曼,湿婆 1 艾米莉·巴拉德 1 圣地亚哥包蒂斯塔 1 阿勒姆·贝尔阿巴奇 1 艾哈迈德·博阿贾尼 1 马可·波扎诺 1 雅克·查宾 1 哈达·切尔隆 1 霍雷修·西尔斯泰 1 洛克·杰拉德·克利奥帕斯 1 克雷默斯,Cas J.F。 1 埃里克·P·德文克。 1 乔治·德尔扎诺 1 伯特伦·费尔根豪尔 1 卡尔·格梅纳 1 文森特·雨果特 1 Misaki小岛 1 拉尔夫·库斯特斯 1 Lermusiaux,皮埃尔·F·J。 1 尤亚·梅达 1 马丁·奥列特,纳西索 1 绍克·莫 1 凯瑟琳·梅多斯。 1 安托万·迈耶 1 贝诺·蒙塔古 1 塞萨尔·穆尼奥斯。 1 巴利亚特·纳伦德兰 1 阿德里安·帕拉西奥斯。 1 米盖尔·帕洛米诺 1 费雯·佩利蒂埃 1 伊莎贝尔·皮塔 1 亚历山大·拉比诺维奇 1 卡米洛,罗查 1 穆里尔·罗杰 1 弗拉德·鲁苏 1 穆利·萨吉夫 1 三文鱼,Yann 1 米哈埃拉·西希雷亚努 1 苏雷什,S.P。 1 雷内·蒂曼 1 泰瑟·图利 1 德国维达尔 1 瓦莱里越战通 1 卢卡·维甘诺 1 劳伦·维格纳龙 1 朱莉·武奥托 1 托马斯·威尔克 1 Akihisa山田 1 马吉市柳泽 1 约什,格雷塔 1 汉斯·赞特马 1 杰卢尔·齐亚迪 全部的 前5名12篇连载文章中引用 7 程序设计中的逻辑和代数方法杂志 6 信息与计算 5 信息处理信件 4 理论计算机科学 三 符号计算杂志 三 逻辑与代数程序设计杂志 2 计算机与系统科学杂志 2 自动推理杂志 1 凯贝内提卡 1 工程、通信和计算中的应用代数 1 高阶和符号计算 1 计算机科学中的逻辑方法 在3个字段中引用 54 计算机科学(68至XX) 8 信息与通信理论、电路(94-XX) 6 数理逻辑与基础(03-XX) 按年份列出的引文