编辑配置文件（在新选项卡中打开） 塞德里克·Fornet 合著者距离 作者ID： 四面体 发布日期： 塞德里克·Fornet;塞德里克·福内特;C·福内特。 更多。。。较少的 已编制索引的文档： 48出版物自1996年起 1名编辑贡献 合著者： 48位合著者具有49份联合出版物 951位合作作者 全部的 前5名合著者 0 单作者的 11 马丁·阿巴迪 11 卡尔蒂基扬·巴尔干 9 安德鲁·戈登。 8 乔治·戈蒂尔 8 Pierre-Yves支柱 8 尼基尔·斯瓦米 5 陈，胡安 5 马尔库夫·科尔韦斯 4 科西莫·拉内夫 4 吕克·马兰吉特 4 雷米，迪迪埃 三 布鲁诺·布兰切特 三 安托万，Deligna-Lavoud 三 阿西姆·拉斯托吉 三 圣地亚哥Zanella Béguelin 2 吉尔·巴特 2 加文·M·比尔曼。 2 克里斯·布尔祖斯卡 2 里卡多·科林 2 Kohbrok，Konrad公司 2 珍妮·雅克·利维 2 杰雷米·普莱诺 2 杨吉恩 1 佩德罗·阿德奥 1 尼克·本顿 1 卢卡·卡德利 1 皮埃尔·埃瓦里斯特·达甘 1 乔治·丹尼斯 1 克里斯托夫·艾格 1 西蒙·福雷斯特 1 本杰明·格雷戈里 1 简斯·格罗斯 1 内脏，娜塔莉娅 1 C.A.R.Tony Hoare 1 Hriţcu，科特林 1 香塔尔·凯勒 1 本杰明·利夫希茨 1 塞尔吉奥·马菲斯 1 阿尔弗雷多·皮隆蒂 1 里卡多·普切拉 1 Rajamani，Sriram K。 1 Jakob Rehof 1 塔马拉·雷兹克 1 阿兰·施密特 1 谢霆锋（Stephen Tse） 1 Vekris、Panagiotis公司 1 弗朗西斯科·扎帕·纳德利 1 Jean-Karim Zinzindohoue 全部的 前5名系列 三 理论计算机科学 三 逻辑与代数编程杂志 1 信息与计算 1 函数编程杂志 1 美国医学会杂志 1 计算机科学课堂讲稿 领域 44 计算机科学（68至XX） 19 信息与通信理论、电路（94-XX） 5 数学逻辑和基础（03-XX） 1 总体主题；集合（00-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 45出版物有被引用535中的次385文件 引用人▼ 年份▼ 移动价值观、新名称和安全通信。 Zbl 1323.68398号 马丁·阿巴迪;塞德里克·Fornet 114 2001 自动验证安全协议的选定等效项。 Zbl 1135.68007号 布鲁诺·布兰切特;马丁·阿巴迪;塞德里克·Fornet 47 2008 移动代理的微积分。 Zbl 1514.68166号 塞德里克·Fornet;乔治·戈蒂尔;珍妮·雅克·利维;吕克·马兰吉特;雷米，迪迪埃 43 1996 带应用程序的平方跨度程序，用于简洁的NIZK参数。 Zbl 1306.94042号 乔治·达尼齐斯;塞德里克·Fornet;简斯·格罗斯;马尔库夫·科尔韦斯 32 2014 连接演算：一种分布式移动编程语言。 Zbl 1065.68071号 塞德里克·Fornet;乔治·戈蒂尔 30 2002 移动环境的异步分布式实现。 Zbl 0998.68537号 塞德里克·Fornet;珍妮·雅克·莱维;阿兰·施密特 19 2000 异步计算的等价层次。（扩展摘要）。 Zbl 0909.03030号 塞德里克·Fornet;乔治·戈蒂尔 17 1998 应用的pi演算、移动值、新名称和安全通信。 Zbl 1426.68037号 马丁·阿巴迪;布鲁诺·布兰切特;塞德里克·Fornet 17 2018 私人身份验证。 Zbl 1071.68006号 马丁·阿巴迪;塞德里克·Fornet 15 2004 异步计算的等价层次。 Zbl 1066.68088号 塞德里克·Fornet;乔治·戈蒂尔 15 2005 使用值相关类型保护分布式编程。 Zbl 1323.68229号 尼基尔·斯瓦米;陈，胡安;塞德里克·Fornet;Pierre-Yves支柱;卡尔蒂基扬·巴尔干;杨吉恩 15 2011 证明TLS握手是安全的（按原样）。 Zbl 1334.94060号 卡尔蒂基扬·巴尔干;塞德里克·Fornet;马尔库夫·科尔韦斯;阿尔弗雷多·皮隆蒂;Pierre-Yves支柱;圣地亚哥Zanella-Béguelin 14 2014 无卡滞一致性。 Zbl 1103.68612号 塞德里克·Fornet;你好，托尼;Rajamani，Sriram K。;雅各布·雷霍夫 13 2004 加密实现的概率关系验证。 Zbl 1284.68380号 吉尔·巴特;塞德里克·Fornet;本杰明·格雷戈伊尔;Pierre-Yves支柱;尼基尔·斯瓦米;圣地亚哥Zanella-Béguelin 12 2014 \（\mathrm｛F｝^*\）中的依赖类型和多元效应。 Zbl 1347.68038号 尼基尔·斯瓦米;Hriţcu，科特林;香塔尔·凯勒;阿西姆·拉斯托吉;安托万，Deligna-Lavoud;西蒙·福雷斯特;卡尔蒂基扬·巴尔干;塞德里克·Fornet;Pierre-Yves支柱;科尔维斯，马尔库夫;Jean-Karim Zinzindohoue;圣地亚哥Zanella-Béguelin 10 2016 授权策略的类型规程。 Zbl 1108.68456号 塞德里克·Fornet;安德鲁·戈登。;塞尔吉奥·马菲斯 8 2005 安全高效的TypeScript渐进式键入。 Zbl 1346.68049号 阿西姆·拉斯托吉;尼基尔·斯瓦米;塞德里克·Fornet;加文·比尔曼;Vekris、Panagiotis公司 8 2015 使用值相关类型保护分布式编程。 Zbl 1290.68033号 尼基尔·斯瓦米;陈，胡安;塞德里克·Fornet;Pierre-Yves支柱;卡尔蒂基扬·巴尔干;杨吉恩 8 2013 连接演算中的继承。 Zbl 1035.03011号 塞德里克·Fornet;科西莫·拉内夫;吕克·马兰吉特;雷米，迪迪埃 7 2003 通道抽象的安全实现。 Zbl 1009.68084号 马丁·阿巴迪;塞德里克·Fornet;乔治·戈蒂尔 7 2002 身份验证原语及其编译。 Zbl 1323.68178号 马丁·阿巴迪;塞德里克·Fornet;乔治·戈蒂尔 7 2000 已验证安全协议的互操作实现。 兹比尔1137.68323 卡尔蒂基扬·巴尔干;塞德里克·Fornet;安德鲁·戈登。;谢霆锋（Stephen Tse） 6 2007 联合演算的隐式类型a la ML。 Zbl 1512.68057号 塞德里克·Fornet;吕克·马兰吉特;科西莫·拉内夫;雷米，迪迪埃 6 1997 TulaFale：web服务的安全工具。 Zbl 1104.68306号 卡尔蒂基扬·巴尔干;塞德里克·Fornet;安德鲁·戈登。;里卡多·普切拉 5 2004 联合演算中的相互模拟。 Zbl 0989.68098号 C·福内特。;拉伊夫，C。 5 2001 通信过程的加密完善实现（扩展抽象）。 Zbl 1133.94342号 佩德罗·阿德奥;塞德里克·Fornet 5 2006 安全执行全球流程规范。 Zbl 1254.68177号 杰雷米·普莱诺;里卡多·科林;塞德里克·Fornet 5 2009 通过键入对安全协议代码进行模块化验证。 Zbl 1312.68052号 卡尔蒂基扬·巴尔干;塞德里克·Fornet;安德鲁·戈登。 5 2010 （C^{\sharp}\）的现代并发抽象。 Zbl 1049.68754号 尼克·本顿;卢卡·卡德利;塞德里克·Fornet 4 2002 只需快速键入π演算。 Zbl 1126.68382号 马丁·阿巴迪;布鲁诺·布兰切特;塞德里克·Fornet 4 2004 类型化信息流安全的加密完善实现。 Zbl 1295.94065号 塞德里克·Fornet;塔马拉·雷兹克 4 2008 完全抽象编译为JavaScript。 兹比尔1301.68100 塞德里克·福内特;尼基尔·斯瓦米;陈，胡安;皮埃尔·埃瓦里斯特·达根;Pierre-Yves支柱;本杰明·利夫希茨 4 2013 隐藏名称：应用pi演算中的私有身份验证。 Zbl 1033.94557号 塞德里克·Fornet;马丁·阿巴迪 三 2003 基于代码的游戏证明的状态分离。 Zbl 1447.94022号 克里斯·布尔祖斯卡;Delignat Lavaud，安托万;塞德里克·Fornet;Kohbrok，Konrad公司;马尔库夫·科尔韦斯 三 2018 通过键入pi-calculus实现计算保密性。 Zbl 1168.68433号 马丁·阿巴迪;里卡多·科林;塞德里克·Fornet 三 2006 通道抽象的安全实现。 Zbl 0925.68140号 马丁·阿巴迪;塞德里克·福内特;乔治·戈蒂尔 2 1997 TLS 1.3标准的密钥计划安全性。 Zbl 1519.94067号 克里斯·布尔祖斯卡;安托万，Deligna-Lavoud;克里斯托夫·艾格;塞德里克·Fornet;Kohbrok，Konrad公司;马尔库夫·科尔韦斯 2 2023 逐步键入安全嵌入JavaScript。 Zbl 1284.68108号 尼基尔·斯瓦米;塞德里克·福内特;阿西姆·拉斯托吉;卡尔蒂基扬·巴尔干;陈，胡安;Pierre-Yves支柱;加文·比尔曼 2 2014 烟囱检查：理论和变体。 Zbl 1323.68115号 塞德里克·Fornet;安德鲁·戈登。 2 2002 web服务身份验证的语义。 Zbl 1325.68140号 卡尔蒂基扬·巴尔干;塞德里克·Fornet;安德鲁·戈登。 2 2004 自上而下地查看安全消息。 Zbl 0983.94511号 马丁·阿巴迪;塞德里克·Fornet;乔治·戈蒂尔 1 1999 连接演算中的继承（扩展抽象）。 Zbl 1044.68684号 塞德里克·Fornet;科西莫·拉内夫;吕克·马兰吉特;雷米，迪迪埃 1 2000 精化类型的原理和应用。 兹比尔1213.68188 安德鲁·戈登。;塞德里克·Fornet 1 2010 将信息流安全性编译到最小可信计算基础。 Zbl 1326.68075号 塞德里克·Fornet;杰雷米·普莱诺 1 2011 自我认证：使用Coq在F（^\ast）中引导经过认证的类型检查器。 Zbl 1321.68205号 Pierre-Yves支柱;尼基尔·斯瓦米;塞德里克·福内特;陈，胡安 1 2012 TLS 1.3标准的密钥计划安全性。 Zbl 1519.94067号 克里斯·布尔祖斯卡;安托万，Deligna-Lavoud;克里斯托夫·艾格;塞德里克·Fornet;Kohbrok，Konrad公司;马尔库夫·科尔韦斯 2 2023 应用的pi演算、移动值、新名称和安全通信。 Zbl 1426.68037号 马丁·阿巴迪;布鲁诺·布兰切特;塞德里克·Fornet 17 2018 基于代码的游戏证明的状态分离。 Zbl 1447.94022号 克里斯·布尔祖斯卡;安托万，Deligna-Lavoud;塞德里克·Fornet;康拉德·科布鲁克;马尔库夫·科尔韦斯 三 2018 （\mathrm{F}^*\）中的依赖类型和多单子效应。 Zbl 1347.68038号 斯瓦米，尼基尔;Hriţcu，科特林;香塔尔·凯勒;阿西姆·拉斯托吉;安托万，Deligna-Lavoud;西蒙·福雷斯特;卡尔蒂基扬·巴尔干;塞德里克·Fornet;Pierre-Yves支柱;马尔库夫·科尔韦斯;Jean-Karim Zinzindohoue;Zanella-Béguelin，圣地亚哥 10 2016 安全高效的TypeScript渐进式键入。 Zbl 1346.68049号 阿西姆·拉斯托吉;尼基尔·斯瓦米;塞德里克·Fornet;加文·比尔曼;Vekris、Panagiotis公司 8 2015 带应用程序的平方跨度程序，用于简洁的NIZK参数。 Zbl 1306.94042号 乔治·达尼齐斯;塞德里克·Fornet;詹斯·格罗斯;马尔库夫·科尔韦斯 32 2014 证明TLS握手是安全的（按原样）。 Zbl 1334.94060号 卡尔蒂基扬·巴尔干;塞德里克·Fornet;马尔库夫·科尔韦斯;阿尔弗雷多·皮隆蒂;Pierre-Yves支柱;圣地亚哥Zanella-Béguelin 14 2014 加密实现的概率关系验证。 Zbl 1284.68380号 吉尔·巴特;塞德里克·Fornet;本杰明·格雷戈里;Pierre-Yves支柱;尼基尔·斯瓦米;圣地亚哥Zanella-Béguelin 12 2014 安全嵌入JavaScript的渐进式键入。 Zbl 1284.68108号 尼基尔·斯瓦米;塞德里克·福内特;拉斯托吉，阿塞姆;卡尔蒂基扬·巴尔干;陈，胡安;Pierre-Yves支柱;加文·比尔曼 2 2014 使用值相关类型保护分布式编程。 Zbl 1290.68033号 尼基尔·斯瓦米;陈，胡安;塞德里克·Fornet;Pierre-Yves支柱;卡尔蒂基扬·巴尔干;Yang，Jean杨 8 2013 完全抽象编译为JavaScript。 Zbl 1301.68100号 塞德里克·福内特;尼基尔·斯瓦米;陈，胡安;皮埃尔·埃瓦里斯特·达甘;Pierre-Yves支柱;本杰明·利夫希茨 4 2013 自我认证：使用Coq在F（^\ast）中引导经过认证的类型检查器。 Zbl 1321.68205号 Pierre-Yves支柱;尼基尔·斯瓦米;塞德里克·福内特;陈，胡安 1 2012 使用值相关类型保护分布式编程。 Zbl 1323.68229号 尼基尔·斯瓦米;陈，胡安;塞德里克·Fornet;Pierre-Yves支柱;卡尔蒂基扬·巴尔干;杨吉恩 15 2011 将信息流安全性编译到最小可信计算基础。 Zbl 1326.68075号 塞德里克·Fornet;杰雷米·普莱诺 1 2011 通过键入对安全协议代码进行模块化验证。 兹比尔1312.68052 卡尔蒂基扬·巴尔干;塞德里克·Fornet;安德鲁·戈登。 5 2010 精化类型的原理和应用。 Zbl 1213.68188号 安德鲁·戈登。;塞德里克·Fornet 1 2010 安全执行全球流程规范。 兹比尔1254.68177 杰雷米·普莱诺;里卡多·科林;塞德里克·Fornet 5 2009 自动验证安全协议的选定等效项。 Zbl 1135.68007号 布鲁诺·布兰切特;马丁·阿巴迪;塞德里克·Fornet 47 2008 类型化信息流安全的加密完善实现。 Zbl 1295.94065号 塞德里克·Fornet;塔玛拉·雷兹克 4 2008 已验证安全协议的互操作实现。 Zbl 1137.68323号 卡尔蒂基扬·巴尔干;塞德里克·Fornet;安德鲁·戈登。;谢霆锋（Stephen Tse） 6 2007 通信过程的加密完善实现（扩展抽象）。 Zbl 1133.94342号 佩德罗·阿德奥;塞德里克·Fornet 5 2006 通过键入pi-calculus实现计算保密性。 Zbl 1168.68433号 马丁·阿巴迪;里卡多·科林;塞德里克·Fornet 三 2006 异步计算的等价层次。 Zbl 1066.68088号 塞德里克·Fornet;乔治·戈蒂尔 15 2005 授权策略的类型规程。 Zbl 1108.68456号 塞德里克·Fornet;安德鲁·戈登。;塞尔吉奥·马菲斯 8 2005 私人身份验证。 Zbl 1071.68006号 马丁·阿巴迪;塞德里克·Fornet 15 2004 无卡滞一致性。 Zbl 1103.68612号 塞德里克·Fornet;你好，托尼;Rajamani，Sriram K。;雅各布·雷霍夫 13 2004 TulaFale：web服务的安全工具。 Zbl 1104.68306号 卡尔蒂基扬·巴尔干;塞德里克·Fornet;安德鲁·戈登。;里卡多·普切拉 5 2004 只需快速键入π演算。 Zbl 1126.68382号 马丁·阿巴迪;布鲁诺·布兰切特;塞德里克·Fornet 4 2004 web服务身份验证的语义。 Zbl 1325.68140号 卡尔蒂基扬·巴尔干;塞德里克·Fornet;安德鲁·戈登。 2 2004 连接演算中的继承。 Zbl 1035.03011号 塞德里克·Fornet;科西莫·拉内夫;吕克·马兰吉特;雷米，迪迪埃 7 2003 隐藏名称：应用pi演算中的私有身份验证。 Zbl 1033.94557号 塞德里克·Fornet;马丁·阿巴迪 三 2003 连接演算：一种分布式移动编程语言。 Zbl 1065.68071号 塞德里克·Fornet;乔治·戈蒂尔 30 2002 通道抽象的安全实现。 Zbl 1009.68084号 马丁·阿巴迪;塞德里克·Fornet;乔治·戈蒂尔 7 2002 （C^{\sharp}\）的现代并发抽象。 Zbl 1049.68754号 尼克·本顿;卢卡·卡德利;塞德里克·Fornet 4 2002 烟囱检查：理论和变体。 Zbl 1323.68115号 塞德里克·Fornet;安德鲁·戈登。 2 2002 移动价值观、新名称和安全通信。 Zbl 1323.68398号 马丁·阿巴迪;塞德里克·Fornet 114 2001 联合演算中的相互模拟。 Zbl 0989.68098号 C·福内特。;拉伊夫，C。 5 2001 移动环境的异步分布式实现。 Zbl 0998.68537号 塞德里克·Fornet;珍妮·雅克·莱维;阿兰·施密特 19 2000 身份验证原语及其编译。 Zbl 1323.68178号 马丁·阿巴迪;塞德里克·Fornet;乔治·戈蒂尔 7 2000 连接演算中的继承（扩展抽象）。 兹比尔1044.68684 塞德里克·Fornet;科西莫·拉内夫;吕克·马兰吉特;雷米，迪迪埃 1 2000 自上而下地查看安全消息。 Zbl 0983.94511号 马丁·阿巴迪;塞德里克·Fornet;乔治·戈蒂尔 1 1999 异步计算的等价层次。（扩展摘要）。 Zbl 0909.03030号 塞德里克·Fornet;乔治·戈蒂尔 17 1998 联合演算的隐式类型a la ML。 Zbl 1512.68057号 塞德里克·Fornet;吕克·马兰吉特;科西莫·拉内夫;雷米，迪迪埃 6 1997 通道抽象的安全实现。 Zbl 0925.68140号 马丁·阿巴迪;塞德里克·福内特;乔治·戈蒂尔 2 1997 移动代理的微积分。 Zbl 1514.68166号 塞德里克·Fornet;乔治·戈蒂尔;珍妮·雅克·利维;吕克·马兰吉特;雷米，迪迪埃 43 1996 所有引用出版物 前5名被引用出版物 全部的 前5名635位作者引用 21 斯特凡尼德劳恩 12 维罗尼克·科尔蒂尔 11 塞德里克·Fornet 10 史蒂夫·克莱默 9 轩尼诗，Matthew C.B。 8 海尔格尔·利帕 7 凯瑟琳·梅多斯。 7 罗萨里奥·普格利泽 7 吉田、Nobuko 6 De Nicola，罗科 6 马里亚纽拉州Dezani-Ciancaglini 6 罗斯·霍恩 6 蒂博尔·贾格尔 6 乌韦·内斯特曼 6 卢卡·帕多瓦尼 6 约阿希姆·帕罗 6 佩雷斯（Jorge A.Pérez）。 5 马丁·阿巴迪 5 贝扎德·阿卜杜勒马利基 5 米歇尔·博雷尔 5 约翰内斯·伯格斯特伦 5 文森特·雪瓦尔 5 安德鲁·戈登。 5 Damien Pous 5 雅诺·西姆 5 迈克尔，扎雅克 4 罗伯特·阿马迪奥（Roberto M.Amadio）。 4 克莱门·奥伯特 4 罗伯托·布鲁尼 4 米歇尔·布格列西 4 伊利亚州卡斯特拉尼 4 休伯特·科蒙·隆德 4 皮耶保罗·德加诺 4 邓玉欣 4 里卡多·福卡迪 4 丹尼尔·戈拉 4 费利克斯·Günther 4 汉斯·休特尔 4 佛罗伦萨·杰克马尔 4 马尔库夫·科尔韦斯 4 科西莫·拉涅夫 4 约翰·米切尔（John C.Mitchell）。 4 乌戈·蒙塔纳里。 4 柯斯汀·彼得斯 4 朱利安·拉特克 4 米歇尔·鲁西诺维奇 4 莱恩，马克·德莫特 4 大卫·萨贝尔 4 马丁·斯特芬 4 阿文·费南托（Alwen Fernanto Tiu） 4 雨果·托雷斯·维埃拉 三 吉尔·巴特 三 Basin，大卫·A。 三 卡尔蒂基扬·巴尔干 三 布鲁诺·布兰切特 三 博迪，恰拉 三 菲利波·邦奇 三 克里斯·布尔祖斯卡 三 路易斯·凯雷斯 三 卢卡·卡德利 三 亚尼克·骑士 三 亚历山德罗·奇埃萨 三 瑟·特凡·乔巴赫 三 阿努帕姆·达塔 三 福齐，Prastuy Mungkas 三 吉安·路易吉，法拉利 三 法比奥·加杜奇 三 菲利普·安·加德纳 三 西尔维娅·吉勒赞 三 曼努埃尔五世（Manuel V.Hermenegildo）。 三 丹尼尔·赫希科夫 三 本田、高黑 三 Alan S.A.杰弗里。 三 克里斯蒂安·约翰森 三 约翰森，艾纳·布罗克 三 直纪小林 三 拉尔夫·库斯特斯 三 伊万·拉内斯 三 安德烈亚斯·洛赫比勒 三 安德鲁·马歇尔。 三 I.V.马丁尼科夫。 三 绍克·莫 三 马西莫·梅罗 三 蒙雷利，贾科玛·瓦伦蒂娜 三 何塞·弗朗西斯科·莫拉莱斯 三 卡图西亚帕拉米德斯 三 约万卡·潘托维奇 三 科拉多·普里亚米 三 阿吉思·拉马纳森 三 戴维·桑吉奥吉 三 曼弗雷德·施密特·沙乌 三 丹尼尔·斯拉马尼 三 克里斯蒂安·斯塔尔 三 彼得·蒂曼。 三 埃兰·特罗姆 三 比约恩·维克多 2 叶希亚·阿卜杜·阿勒拉赫曼 2 奥曼·波霍拉，约翰内斯 2 马修·波德特 2 杰斯珀·本特森 …还有535名作者 全部的 前5名32篇连载文章中引用 53 理论计算机科学 35 信息与计算 17 逻辑与代数编程杂志 17 程序设计中的逻辑和代数方法杂志 14 自动推理杂志 13 计算的形式方面 11 密码学杂志 10 计算机科学中的数学结构 7 计算机程序设计科学 6 系统设计中的形式化方法 6 函数编程杂志 4 计算机科学中的逻辑方法 三 信息学报 三 分布式计算 三 逻辑程序设计理论与实践 三 ACM计算逻辑汇刊 三 Prikladnaya Diskretnaya Matematika公司 2 信息处理信函 2 计算机语言、系统和结构 1 信息科学 1 计算机与系统科学杂志 1 SIAM计算机杂志 1 合成 1 算法 1 塔特拉山脉数学出版物 1 约束条件 1 非线性动力学 1 混乱 1 国际应用数学与计算机科学杂志 1 计算机基础理论 1 自然计算 1 赖罗。理论信息学及其应用 全部的 前5名13个领域引用 340 计算机科学（68至XX） 129 信息与通信理论、电路（94-XX） 41 数学逻辑和基础（03-XX） 三 量子理论（81-XX） 三 博弈论、经济学、金融和其他社会和行为科学（91-XX） 三 生物学和其他自然科学（92-XX） 2 阶、格、有序代数结构（06-XX） 2 范畴理论；同调代数（18-XX） 2 概率论与随机过程（60-XX） 2 运筹学、数学规划（90-XX） 1 数论（11-XX） 1 常微分方程（34-XX） 1 动力系统和遍历理论（37至XX） 按年份列出的引文