编辑配置文件(在新选项卡中打开) 穆罕默德·穆萨维 合著者距离 作者ID: 穆萨维·莫哈迈德雷扎 发布日期: 穆罕默德·雷扎·穆萨维;穆罕默德·穆萨维;穆罕默德·雷扎·穆萨维 更多。。。较少的 已编制索引的文档: 53出版物自2004年以来,包括1本书 7作为编辑的贡献 合著者: 20位合著者具有37联合出版物 424联合作者 全部的 前5名合著者 3 单作者的 26 米歇尔·阿德里安·雷尼尔 12 卢卡·埃特罗 12 Anna Ingólfsdóttir 6 Jan Friso,格鲁特 4 Cimini,马泰奥 3 吐温·巴斯滕 3 阿纳尔·比吉森 3 伊利亚州卡斯特拉尼 3 米歇尔·乔德隆 2 哈什·贝哈尔 2 乔治亚娜·卡尔泰斯 2 法哈德·达拉比 2 法特梅·加塞米 2 欧根·伊安·戈里亚克 2 侯赛因·霍贾特 2 纳尔赫斯·卡普尔 2 彼得·莫塞斯(Peter D.Mosses)。 2 伊恩·菲利普斯。 2 马尔詹·西尔贾尼 2 伊雷克·乌利多夫斯基 2 马赫萨·瓦尔肖萨兹 1 马丁·丘吉尔 1 斯乔德·克兰恩 1 佩德罗·鲁宾·达吉尼奥 1 威廉·扬·福克金 1 默多克·詹姆斯·加贝 1 Daniel E.Gebler。 1 凯·吉塞克 1 哈加伊、穆罕默德·塔吉 1 罗伯特·马克·海伦斯 1 穆罕默德·马赫迪·贾古奥里 1 赛义德·贾利利 1 侯赛因·卡卡万德 1 埃桑·卡梅斯帕纳 1 拉丁·科斯拉维 1 费泽·拉巴夫 1 马耳他州洛豪 1 拉斯·鲁特曼 1 蒂亚戈·马索尼 1 扎赫拉·莫伊兹卡里米 1 保罗·摩尔 1 阿里·莫瓦加尔 1 内达·诺鲁齐 1 安娜·菲利普 1 萨利姆·雷兹瓦尼 1 吉·斯加尔 1 哈古比尔·辛格 1 安娜·索科洛娃 1 卡罗琳·塔尔科特。 1 迈克尔·柯克达尔·汤姆森 1 昆卡罐Tunç 1 Turker,Uraz Cengiz 1 Tim A.C.Willemse。 全部的 前5名系列 6 程序设计中的逻辑和代数方法杂志 4 计算机科学课堂讲稿 3 理论计算机科学 2 信息学报 2 计算机程序设计科学 2 信息与计算 1 信息处理信件 1 核物理。B类 1 《物理快报》。B类 1 运筹学 1 逻辑与计算杂志 1 北欧计算机杂志 1 欧洲理论计算机科学协会公报 1 计算机基础理论 1 巴勒斯坦数学杂志 全部的 前5名领域 56 计算机科学(68至XX) 7 总体主题;集合(00-XX) 6 数学逻辑和基础(03-XX) 2 相对论和引力理论(83至XX) 1 概率论与随机过程(60-XX) 1 统计学(62-XX) 1 数值分析(65-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 40出版物有被引用103中的次89文件 引用人▼ 年份▼ 通信系统的建模和分析。 Zbl 1353.68006号 Jan Friso,格鲁特;穆罕默德·雷扎·穆萨维 38 2014 SOS格式和元理论:20年后。 兹比尔1111.68069 穆罕默德·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。;Jan Friso,格鲁特 33 2007 SOS与数据的互模拟和同余格式的概念。 Zbl 1082.68075号 穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。;Jan Friso,格鲁特 18 2005 具有随机强度的点过程的精确模拟。 Zbl 1234.62126号 基塞克,K。;H·卡卡万德。;M.穆萨维。 11 2011 关联性的规则格式。 Zbl 1160.68461号 斯乔德·克兰恩;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。 9 2008 提升非有限公理化性的结果是过程代数的扩张。 Zbl 1186.68313号 卢卡·埃特罗;Wan Fokkink公司;安娜·英格尔斯多蒂尔;穆罕默德·雷扎·穆萨维 9 2010 SOS规则格式的层次结构。 Zbl 1273.68206号 Jan Friso,格鲁特;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。 8 2006 高阶过程的SOS。 Zbl 1134.68450号 穆罕默德·雷扎·穆萨维;默多克·J·加贝。;米歇尔·雷尼尔斯(Michel A.Reniers)。 8 2005 SOS的语法交换格式。 Zbl 1173.68561号 穆罕默德·穆萨维;米歇尔·雷尼尔斯;Jan Friso,格鲁特 8 2005 结构同余的同余。 Zbl 1118.68534号 穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯。 7 2005 有序SOS的语义和表达。 Zbl 1165.68045号 穆罕默德·雷扎·穆萨维;伊恩·菲利普斯;米歇尔·雷尼尔斯(Michel A.Reniers)。;伊雷克·乌利多夫斯基 6 2009 决定论和幂等性的规则格式。 Zbl 1274.68060号 卢卡·埃特罗;阿纳尔·比吉森;安娜·英格尔斯多蒂尔;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。 5 2010 单位元素的规则格式。 Zbl 1274.68169号 卢卡·埃特罗;安娜·英格尔斯多蒂尔;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。 5 2010 结构操作语义中的正交扩展(扩展抽象)。 兹比尔1085.68593 穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。 5 2005 PARS:一个包含资源和调度器的过程代数。 Zbl 1099.68673号 穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯;吐温·巴斯滕;米歇尔·乔德隆 5 2004 网络物理系统一致性测试的概念:概述和路线图(特邀论文)。 Zbl 1374.68071号 纳尔赫斯·卡普尔;穆罕默德·雷扎·穆萨维 5 2015 最小质量重引力的经典和量子宇宙学。 Zbl 1366.83105号 F.达拉比。;M.穆萨维。 4 2016 在莫德原型化SOS元理论。 Zbl 1273.68212号 穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。 3 2006 Rebeca模型检验中的对称性和部分降阶技术。 Zbl 1185.68142号 穆罕默德·马赫迪·贾古奥里;马尔詹·西尔贾尼;穆罕默德·雷扎·穆萨维;埃桑·卡梅斯帕纳;阿里·莫瓦加尔 3 2010 分配性的规则格式。 Zbl 1330.68184号 卢卡·埃特罗;Cimini,马泰奥;安娜·英格尔斯多蒂尔;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。 3 2011 零元素和单位元素的规则格式。 Zbl 1342.68189号 卢卡·埃特罗;Cimini,马泰奥;安娜·英格尔斯多蒂尔;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。 3 2010 决定论和幂等性的规则格式。 Zbl 1243.68205号 卢卡·埃特罗;阿纳尔·比吉森;安娜·英格尔斯多蒂尔;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。 3 2012 同步异步一致性测试。 兹比尔1350.68048 内达·诺鲁齐;拉丁·科斯拉维;穆罕默德·雷扎·穆萨维;Tim A.C.Willemse。 3 2011 进化自适应系统的形式化建模。 Zbl 1264.68131号 纳尔赫斯·卡普尔;赛义德·贾利利;卡罗琳·塔尔科特;马尔詹·西尔贾尼;穆罕默德·穆萨维 3 2012 数据处理的代数元理论。 Zbl 1464.68244号 丹尼尔·格布勒;欧根·伊安·戈里亚克;穆罕默德·雷扎·穆萨维 3 2013 具有通用量化的同余规则格式。 Zbl 1278.68144号 穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯 2 2007 爱因斯坦静态宇宙在大质量重引力背景下的稳定性。 Zbl 1361.83032号 穆萨维,M。;F.达拉比。 2 2017 时间CCS方程理论的不可能结果。 Zbl 1214.68240号 卢卡·埃特罗;Anna Ingólfsdóttir;穆罕默德·雷扎·穆萨维 2 2007 有序SOS的含义。 Zbl 1177.68140号 穆罕默德·雷扎·穆萨维;伊恩·菲利普斯;米歇尔·雷尼尔斯(Michel A.Reniers)。;伊雷克·乌利多夫斯基 2 2006 (XY)模拟的预同余格式。 Zbl 1434.68322号 哈什·贝哈尔;穆罕默德·雷扎·穆萨维 2 2015 零元素和单位元素的SOS规则格式。 Zbl 1216.68152号 卢卡·埃特罗;Cimini,马泰奥;安娜·英格尔斯多蒂尔;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。 1 2011 论提拔品的根基深厚和表现力(提拔起作用)。 Zbl 1277.68125号 穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯 1 2007 带有否定前提的转换系统规范的模块化语义。 Zbl 1390.68465号 马丁·丘吉尔;彼得·莫塞斯(Peter D.Mosses)。;穆罕默德·雷扎·穆萨维 1 2013 代数性质免费! Zbl 1188.68200号 卢卡·埃特罗;安娜·英格尔斯多蒂尔;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。 1 2009 软件产品线的输入输出一致性测试。 Zbl 1392.68144号 哈什·贝哈尔;穆罕默德·雷扎·穆萨维 1 2016 PARS:一种处理资源和调度程序的进程代数方法。 Zbl 1171.68575号 穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。;巴斯滕,特万;米歇尔·乔德隆 1 2009 理论计算机科学的主题。2017年9月12日至14日在伊朗德黑兰举行的第二届IFIP工作组1.8国际会议,TTCS 2017。诉讼程序。 Zbl 1373.68021号 1 2017 特征转换系统的模态转换系统编码。 Zbl 1423.68113号 马赫萨·瓦尔肖萨兹;拉斯·鲁特曼;保罗·摩尔;马耳他州洛豪;穆罕默德·雷扎·穆萨维 1 2019 运算扩展下方程的稳健性。 Zbl 1455.68125号 彼得·莫塞斯(Peter D.Mosses)。;穆罕默德·穆萨维;米歇尔·雷尼尔斯。 1 2010 通信系统和1-选择模态转换系统的产品线演算的比较表达。 兹比尔1444.68126 马赫萨·瓦尔肖萨兹;穆罕默德·雷扎·穆萨维 1 2019 特征转换系统的模态转换系统编码。 Zbl 1423.68113号 马赫萨·瓦尔肖萨兹;拉斯·鲁特曼;保罗·摩尔;马耳他州洛豪;穆罕默德·雷扎·穆萨维 1 2019 通信系统和1-选择模态转换系统的产品线演算的比较表达。 Zbl 1444.68126号 马赫萨·瓦尔肖萨兹;穆罕默德·雷扎·穆萨维 1 2019 爱因斯坦静态宇宙在大质量重引力背景下的稳定性。 Zbl 1361.83032号 M.穆萨维。;F.达拉比。 2 2017 理论计算机科学的主题。2017年9月12日至14日在伊朗德黑兰举行的第二届IFIP工作组1.8国际会议,TTCS 2017。诉讼程序。 Zbl 1373.68021号 1 2017 最小质量重引力的经典和量子宇宙学。 Zbl 1366.83105号 F.达拉比。;M.穆萨维。 4 2016 软件产品线的输入输出一致性测试。 Zbl 1392.68144号 哈什·贝哈尔;穆罕默德·雷扎·穆萨维 1 2016 网络物理系统一致性测试的概念:概述和路线图(特邀论文)。 兹比尔1374.68071 纳尔赫斯·卡普尔;穆罕默德·雷扎·穆萨维 5 2015 (XY)模拟的预同余格式。 Zbl 1434.68322号 哈什·贝哈尔;穆罕默德·雷扎·穆萨维 2 2015 通信系统的建模和分析。 Zbl 1353.68006号 Jan Friso,格鲁特;穆罕默德·雷扎·穆萨维 38 2014 数据处理的代数元理论。 Zbl 1464.68244号 丹尼尔·格布勒;欧根·伊安·戈里亚克;穆罕默德·雷扎·穆萨维 3 2013 带有否定前提的转换系统规范的模块化语义。 Zbl 1390.68465号 马丁·丘吉尔;彼得·莫塞斯(Peter D.Mosses)。;穆罕默德·雷扎·穆萨维 1 2013 决定论和幂等性的规则格式。 Zbl 1243.68205号 卢卡·埃特罗;阿纳尔·比吉森;安娜·英格尔斯多蒂尔;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯。 3 2012 进化自适应系统的形式化建模。 兹比尔1264.68131 纳尔赫斯·卡普尔;赛义德·贾利利;卡罗琳·塔尔科特;马尔詹·西尔贾尼;穆罕默德·穆萨维 3 2012 具有随机强度的点过程的精确模拟。 Zbl 1234.62126号 基塞克,K。;H·卡卡万德。;M.穆萨维。 11 2011 分配性的规则格式。 Zbl 1330.68184号 卢卡·埃特罗;Cimini,马泰奥;安娜·英格尔斯多蒂尔;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。 3 2011 同步异步一致性测试。 Zbl 1350.68048号 内达·诺鲁齐;拉丁·科斯拉维;穆罕默德·雷扎·穆萨维;Tim A.C.Willemse。 3 2011 零元素和单位元素的SOS规则格式。 Zbl 1216.68152号 卢卡·埃特罗;Cimini,马泰奥;安娜·英格尔斯多蒂尔;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。 1 2011 提升非有限公理化性的结果是过程代数的扩张。 Zbl 1186.68313号 卢卡·埃特罗;Wan Fokkink公司;安娜·英格尔斯多蒂尔;穆罕默德·雷扎·穆萨维 9 2010 决定论和幂等性的规则格式。 Zbl 1274.68060号 卢卡·埃特罗;阿纳尔·比吉森;安娜·英格尔斯多蒂尔;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。 5 2010 单位元素的规则格式。 Zbl 1274.68169号 卢卡·埃特罗;安娜·英格尔斯多蒂尔;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。 5 2010 Rebeca模型检验中的对称性和偏序约简技术。 Zbl 1185.68142号 穆罕默德·马赫迪·贾古奥里;马尔詹·西尔贾尼;穆罕默德·雷扎·穆萨维;埃桑·卡梅斯帕纳;阿里·莫瓦加尔 3 2010 零元素和单位元素的规则格式。 Zbl 1342.68189号 卢卡·埃特罗;Cimini,马泰奥;安娜·英格尔斯多蒂尔;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。 3 2010 运算扩展下方程的稳健性。 Zbl 1455.68125号 彼得·莫塞斯(Peter D.Mosses)。;穆罕默德·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。 1 2010 有序SOS的语义和表达。 Zbl 1165.68045号 穆罕默德·雷扎·穆萨维;伊恩·菲利普斯;米歇尔·雷尼尔斯。;伊雷克·乌利多夫斯基 6 2009 代数性质免费! 兹比尔1188.68200 卢卡·埃特罗;安娜·英格尔斯多蒂尔;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。 1 2009 PARS:一种处理资源和调度程序的进程代数方法。 Zbl 1171.68575号 穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。;吐温·巴斯滕;米歇尔·乔德隆 1 2009 关联性的规则格式。 Zbl 1160.68461号 斯乔德·克兰恩;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。 9 2008 SOS格式和元理论:20年后。 Zbl 1111.68069号 穆罕默德·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。;Jan Friso,格鲁特 33 2007 具有通用量化的同余规则格式。 Zbl 1278.68144号 穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯 2 2007 定时CCS方程理论的不可能结果。 Zbl 1214.68240号 卢卡·埃特罗;Anna Ingólfsdóttir;穆罕默德·雷扎·穆萨维 2 2007 论提拔品的根基深厚和表现力(提拔起作用)。 Zbl 1277.68125号 穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯 1 2007 SOS规则格式的层次结构。 Zbl 1273.68206号 Jan Friso,格鲁特;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。 8 2006 在莫德原型化SOS元理论。 Zbl 1273.68212号 穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。 3 2006 有序SOS的含义。 Zbl 1177.68140号 穆罕默德·雷扎·穆萨维;伊恩·菲利普斯;米歇尔·雷尼尔斯。;伊雷克·乌利多夫斯基 2 2006 SOS与数据的互模拟和同余格式的概念。 Zbl 1082.68075号 穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。;Jan Friso,格鲁特 18 2005 高阶过程的SOS。 Zbl 1134.68450号 穆罕默德·雷扎·穆萨维;默多克·J·加贝。;米歇尔·雷尼尔斯(Michel A.Reniers)。 8 2005 SOS的语法交换格式。 Zbl 1173.68561号 穆罕默德·穆萨维;米歇尔·雷尼尔斯;Jan Friso,格鲁特 8 2005 结构同余的同余。 Zbl 1118.68534号 穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯。 7 2005 结构操作语义中的正交扩展(扩展抽象)。 兹比尔1085.68593 穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯(Michel A.Reniers)。 5 2005 PARS:包含资源和调度程序的进程代数。 Zbl 1099.68673号 穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯;吐温·巴斯滕;米歇尔·乔德隆 5 2004 所有引用出版物 前5名被引用出版物 全部的 前5名131位作者引用 20 卢卡·埃特罗 20 Anna Ingólfsdóttir 9 米歇尔·阿德里安·雷尼尔 7 Jan Friso,格鲁特 6 瓦伦蒂娜·卡斯蒂格利奥尼 6 卡洛斯·格雷戈里奥·罗德里格斯 6 罗尔夫·亨尼克 5 Cimini,马泰奥 5 巴斯·卢提克 5 罗伯特·詹·范·格拉贝克 4 戴维·德·弗鲁托斯·埃斯克里格 4 伊格纳西奥·法布雷加斯 4 Daniel E.Gebler。 4 法特梅·加塞米 4 西蒙·蒂尼 3 西蒙,布利兹 3 阿德里安·杜里埃 3 威廉·扬·福克金 3 阿尔瓦罗·加西亚·佩雷斯 3 丹尼尔·赫希科夫 3 亚历山大·马德拉 3 彼得·莫塞斯(Peter D.Mosses)。 3 穆罕默德·穆萨维 3 戴维·桑吉奥吉 3 卢茨·施罗德 3 威尔德,保罗 3 Tim A.C.Willemse。 2 爱德华·巴拉诺夫 2 巴博萨、路易斯·索亚雷斯 2 哈什·贝哈尔 2 罗伯特·J·科尔文。 2 佩德罗·鲁宾·达吉尼奥 2 拉丁·科斯拉维 2 亚历山大·克纳普 2 李,马蒂亚斯·戴维 2 马丁斯(Manuel António Martins) 2 佛朗哥,马赞蒂 2 尤兰达奥尔特加购物中心 2 马蒂亚斯·拉加德·佩德森 2 莫里斯·比克。 1 罗莎·阿巴斯 1 奥马尔·杜海比 1 埃利·阿纳斯塔西亚迪 1 巴赫·鲍尔森,卡斯珀 1 佛朗哥·巴巴内拉 1 David A.Basin。 1 塞巴斯蒂安·比沃 1 阿纳尔·比吉森 1 劳拉·博奇 1 奇亚拉博迪 1 马克·布曼 1 罗伯托·布鲁尼 1 西尔维奥·卡波比安科 1 兰斯·克莱维兰 1 吉尔勒米纳·克莱杜 1 安德烈亚·科拉迪尼 1 弗拉维奥·科拉迪尼 1 加布里埃尔·科斯塔 1 斯乔德·克兰恩 1 丹尼斯·达昆斯 1 埃里克·P·德文克。 1 迪加诺,皮尔保罗 1 乌戈·德利古罗 1 雷娜·迪米特洛娃 1 瑞克·埃尔肯斯 1 亚历山德罗·范特奇 1 迈克尔·弗里斯 1 默多克·詹姆斯·加贝 1 法比奥·加杜奇 1 盖列塔,莱特里奥 1 休伯特Garavel 1 马西耶·加兹达。 1 斯特凡妮娅·格内西 1 欧根·伊安·戈里亚克 1 伊恩·海耶斯。 1 托马斯·海因策。 1 霍尔格·赫尔曼斯 1 汤姆·赫肖维茨 1 彼得·霍夫纳 1 Jean-Marie雅克 1 赛义德·贾利利 1 大卫·詹森(David N.Jansen)。 1 焦、李 1 克里斯蒂安·约翰森 1 钟曼,宋世堂。 1 Jeroen J.A.Keiren。 1 纳尔赫斯·卡普尔 1 巴托克·克林 1 芭芭拉·柯尼格 1 伊万·拉内斯 1 弗雷德里克·朗 1 拉诺特、拉格罗 1 金·古德斯特兰·拉森 1 莫里斯·拉维奥 1 伊莎贝尔·林登 1 路易斯·拉纳 1 卢赫·拉富恩特,阿尔贝托 1 陆伟明 1 杰拉尔德·吕特根 1 拉斐尔·加西亚·马丁内斯 …还有31位作者 全部的 前5名16篇连载文章中引用 15 程序设计中的逻辑和代数方法杂志 9 计算机科学中的逻辑方法 8 理论计算机科学 3 信息学报 3 信息处理信件 3 信息与计算 3 逻辑与代数程序设计杂志 2 计算机程序设计科学 2 计算的形式方面 2 系统设计中的形式化方法 2 ACM计算逻辑事务 1 计算机与系统科学杂志 1 自动推理杂志 1 骨髓间充质干细胞。计算机科学中的数学结构 1 SIAM审查 1 算法 全部的 前5名在6个字段中引用 88 计算机科学(68至XX) 16 数学逻辑和基础(03-XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 总体主题;集合(00-XX) 1 概率论与随机过程(60-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文