编辑配置文件(在新选项卡中打开) 伏玉溪 合著者距离 作者ID: 伏玉溪 发布日期: 伏玉溪 已编制索引的文档: 59出版物自1962年以来 2作为编辑的贡献 传记参考: 1出版物 合著者: 23位合著者具有23联合出版物 670名合作作者 全部的 前5名合著者 33 单作者的 5 董晓菊 4 杨振荣 三 龙,欢 2 何朝东 2 李国强 2 丹尼尔·瓦拉卡 1 蔡晓娟 1 Chen博士。 1 邓玉欣 1 傅洪飞 1 顾永根 1 何继焕 1 他,林 1 Hoang,Khac Chi公司 1 黄、孟桥 1 黄明章 1 吕浩 1 陶秀婷 1 Kazunori上田 1 徐,西安 1 薛建新 1 杨启哲 1 尤,斯蒂芬·西克·桑 1 殷、强 1 张敏 1 张志洲 全部的 前5名系列 9 理论计算机科学 8 计算机科学与技术杂志 5 上海交通大学学报(中文版) 4 MSCS公司。计算机科学中的数学结构 2 中国科学。F系列 1 信息学报 1 应用力学与工程中的计算机方法 1 国际系统科学杂志 1 代数普遍性 1 《社会数学年鉴》(Annales Societatis Mathematicae Polonae)。系列IV 1 匈牙利数学学报 1 信息与计算 1 计算的形式方面 1 国际计算机数学杂志 1 中国科学。E系列 1 上海交通大学学报(英文版) 1 国际信息与系统科学杂志 1 工业与应用数学学会杂志 1 计算机科学课堂讲稿 1 计算机科学中的逻辑方法 1 科学中国。信息科学 全部的 前5名领域 52 计算机科学(68至XX) 8 数学逻辑和基础(03-XX) 2 总体主题;集合(00-XX) 2 生物学和其他自然科学(92-XX) 1 阶、格、有序代数结构(06-XX) 1 微分几何(53至XX) 1 统计学(62-XX) 1 数值分析(65-XX) 1 可变形固体力学(74-XX) 1 统计力学,物质结构(82-XX) 1 系统论;控制(93至XX) 1 信息与通信理论、电路(94-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 38出版物被引用157中的次66文件 引用人▼ 年份▼ 关于互动的表现力。 兹比尔1191.68436 伏玉溪;陆浩 27 2010 移动进程的变化。 Zbl 0930.68062号 伏玉溪 14 1999 互动理论。 Zbl 1353.68082号 伏玉溪 12 2016 π微积分的Tau定律。 Zbl 1071.68075号 伏玉溪;杨振荣 8 2003 关于准开放互模拟。 Zbl 1077.68060号 伏玉溪 8 2005 安马力-分子动力学模拟的正交分解移动最小二乘法。 Zbl 1423.82026 黄光诚。;Fu,Y。;宋,J.H。 8 2016 传播的实证理论方法。 Zbl 1401.68226号 伏玉溪 7 1997 环境优美。 Zbl 1111.68082号 伏玉溪 6 2007 PRS的分支相似性检查。 Zbl 1409.68190号 殷、强;伏玉溪;何朝东;黄明章;陶秀婷 5 2014 通过值的微积分。 Zbl 1390.68469号 伏玉溪 5 2013 普遍的过程。 Zbl 1459.68142号 伏玉溪 5 2017 非确定性计算结构。 Zbl 1361.68083号 伏玉溪 5 2015 在\(\pi\)-演算中的\(\lambda\)-微积分。 Zbl 1223.68073号 蔡、小娟;伏玉溪 4 2011 一般归纳类型的递归模型。 Zbl 0846.68063号 伏玉溪 4 1996 关于chi过程的开放互模拟。 Zbl 0940.68093号 伏玉溪 4 1999 逻辑框架的分类属性。 Zbl 0876.03037号 伏玉溪 4 1997 用无声动作检查规范BPA的相等性和正则性。 兹比尔1335.68171 伏玉溪 4 2013 (chi)-演算的互模拟同余。 Zbl 1028.68093号 伏玉溪 三 2003 chi演算的基础同余。 Zbl 1044.68685号 伏玉溪;杨振荣 三 2000 反应图。 Zbl 0910.68073号 伏玉溪 三 1998 不匹配的Chi演算。 Zbl 0999.68153号 伏玉溪;杨振荣 三 2000 对称\(\pi\)-演算。 Zbl 0899.68022号 伏玉溪 三 1998 一种构建组合P自动机的通用方法。 Zbl 1147.68044号 龙,欢;伏玉溪 2 2007 可计算集合中的构造集合。 Zbl 0883.03043号 伏玉溪 2 1997 测试移动进程的一致性。 Zbl 1004.68118号 伏玉溪 2 2002 在全(Pi)演算中验证强开放互模拟的算法。 Zbl 1007.68135号 邓玉欣;伏玉溪 2 2001 关于通信网络可靠性的说明。 Zbl 0128.14102号 Fu,Y。;尤,S.S。 2 1962 关于使用姓名交流的力量。 Zbl 1442.68140号 伏玉溪 2 2017 具有名称范围的过程计算中行为等效性的判定。 Zbl 1353.68204号 何朝东;伏玉溪;傅洪飞 1 2012 框架语言的相对属性。 Zbl 0945.68056号 伏玉溪 1 1999 多态性中可定义的结构。 Zbl 0910.68147号 伏玉溪 1 1998 结构的语义。一: 传统方法。 Zbl 0974.03032号 伏玉溪 1 2001 开放同余的图解公理。 兹比尔1161.68620 伏玉溪 1 2005 归纳类型的内部结构。 Zbl 1182.03029号 伏玉溪 1 2000 为开放Petri网放置互模拟和活性。 Zbl 1393.68113号 董晓菊;伏玉溪;丹尼尔·瓦拉卡 1 2016 \(chi)-演算-一种新的并发计算模型。 Zbl 0886.68067号 伏玉溪 1 1997 概率模型的模型无关方法。 Zbl 1497.68338号 伏玉溪 1 2021 互动论文。 Zbl 07437215号 伏玉溪 1 2022 互动论文。 Zbl 07437215号 伏玉溪 1 2022 概率模型的模型无关方法。 Zbl 1497.68338号 伏玉溪 1 2021 普遍的过程。 兹比尔1459.68142 伏玉溪 5 2017 关于使用姓名交流的力量。 Zbl 1442.68140号 伏玉溪 2 2017 互动理论。 Zbl 1353.68082号 伏玉溪 12 2016 安马力-分子动力学模拟的正交分解移动最小二乘法。 Zbl 1423.82026 霍恩,K.C。;Fu,Y。;宋,J.H。 8 2016 为开放Petri网放置互模拟和活性。 Zbl 1393.68113号 董晓菊;伏玉溪;丹尼尔·瓦拉卡 1 2016 非确定性计算结构。 Zbl 1361.68083号 伏玉溪 5 2015 PRS的分支相似性检查。 Zbl 1409.68190号 殷、强;伏玉溪;何朝东;黄明章;陶秀婷 5 2014 传递值的微积分。 Zbl 1390.68469号 伏玉溪 5 2013 用无声动作检查规范BPA的相等性和正则性。 Zbl 1335.68171号 伏玉溪 4 2013 具有名称范围的过程计算中行为等效性的判定。 Zbl 1353.68204号 何朝东;伏玉溪;傅洪飞 1 2012 在\(\pi\)-演算中的\(\lambda\)-微积分。 兹比尔1223.68073 蔡晓娟;伏玉溪 4 2011 关于互动的表现力。 Zbl 1191.68436号 伏玉溪;陆浩 27 2010 环境优美。 Zbl 1111.68082号 伏玉溪 6 2007 构造组合P自动机的一般方法。 Zbl 1147.68044号 龙,欢;伏玉溪 2 2007 关于准开放互模拟。 Zbl 1077.68060号 伏玉溪 8 2005 开放同余的图解公理。 兹比尔1161.68620 伏玉溪 1 2005 π微积分的Tau定律。 Zbl 1071.68075号 伏玉溪;杨振荣 8 2003 (chi)-演算的互模拟同余。 Zbl 1028.68093号 伏玉溪 三 2003 测试移动进程的一致性。 Zbl 1004.68118号 伏玉溪 2 2002 在全(Pi)演算中验证强开放互模拟的算法。 Zbl 1007.68135号 邓玉欣;伏玉溪 2 2001 结构的语义。一: 传统方法。 Zbl 0974.03032号 伏玉溪 1 2001 chi演算的基础同余。 Zbl 1044.68685号 伏玉溪;杨振荣 三 2000 不匹配的Chi演算。 兹比尔0999.68153 伏玉溪;杨振荣 三 2000 归纳类型的内部结构。 Zbl 1182.03029号 伏玉溪 1 2000 移动进程的变化。 Zbl 0930.68062号 伏玉溪 14 1999 关于chi过程的开放互模拟。 Zbl 0940.68093号 伏玉溪 4 1999 框架语言的相对属性。 Zbl 0945.68056号 伏玉溪 1 1999 反应图。 Zbl 0910.68073号 伏玉溪 三 1998 对称\(\pi\)-演算。 Zbl 0899.68022号 伏玉溪 三 1998 多态性中可定义的结构。 Zbl 0910.68147号 伏玉溪 1 1998 传播的实证理论方法。 Zbl 1401.68226号 伏玉溪 7 1997 逻辑框架的分类属性。 Zbl 0876.03037号 伏玉溪 4 1997 可计算集合中的构造集合。 兹伯利0883.03043 伏玉溪 2 1997 \(chi)-演算-一种新的并发计算模型。 Zbl 0886.68067号 伏玉溪 1 1997 一般归纳类型的递归模型。 Zbl 0846.68063号 伏玉溪 4 1996 关于通信网络可靠性的说明。 Zbl 0128.14102号 Fu,Y。;尤,S.S。 2 1962 所有引用出版物 前5名被引用出版物 全部的 前5名66位作者引用 24 伏玉溪 4 蔡晓娟 4 乌韦·内斯特曼 4 柯斯汀·彼得斯 4 徐,西安 三 彼得·扬查尔 三 巴斯·卢提克 三 吉田信子 2 安德鲁·巴特菲尔德 2 邓玉欣 2 Jeroen J.A.Keiren。 2 瓦西里欧斯·库塔瓦斯 2 迪米特里奥斯·库扎帕斯 2 龙,欢 2 艾瑞克·马德琳 2 杰拉尔德·埃肯贝·恩贡迪 2 佩雷斯(Jorge A.Pérez)。 2 Daniele瓦拉卡 2 Tim A.C.Willemse。 2 杨振荣 2 殷、强 2 张敏 1 西奥多·安德洛尼科斯 1 克莱门·奥伯特 1 史蒂夫·阿沃迪 1 Jos C.M.Baeten。 1 弗拉基米尔·巴什金。 1 埃曼纽尔·贝法拉 1 本杰明·比斯平 1 西蒙·布利兹 1 塞巴斯蒂安·布赖斯 1 陈增强 1 斯乔德·克兰恩 1 戴维·德·弗鲁托斯·埃斯克里格 1 董晓菊 1 康斯坦蒂诺斯·吉安娜基斯 1 丹尼尔·戈拉 1 何朝东 1 卢多维奇·亨利奥 1 侯泽晨 1 黄明章 1 安东尼·库塞拉 1 李国强 1 刘忠信 1 伊琳娜·洛马佐娃(Irina A.Lomazova)。 1 吕浩 1 弗朗索瓦·莫雷尔 1 理查德·梅尔(Richard M.Mayr)。 1 马里诺·米库兰 1 卡图西亚帕拉米德斯 1 罗萨里奥·普格利泽 1 秦旭东 1 朱利安·拉特克 1 巴布亚州索波辛斯基 1 琳达·斯潘宁斯 1 阿波斯托洛斯·西罗普洛斯 1 弗朗西斯科·蒂齐 1 范格拉贝克、罗伯特·扬 1 保罗·范蒂尔堡 1 闫永义 1 杨菲 1 杨启哲 1 岳、后光 1 袁,Shoji 1 张文波 1 朱,韩 全部的 前5名19篇连载文章中引用 13 理论计算机科学 7 计算机科学与技术杂志 5 信息学报 5 MSCS公司。计算机科学中的数学结构 4 信息与计算 2 计算机与系统科学杂志 2 计算的形式方面 2 国际计算机科学基础杂志 2 计算机科学中的逻辑方法 2 程序设计中的逻辑和代数方法杂志 1 信息处理信件 1 信息科学 1 国际计算机数学杂志 1 计算机基础理论 1 自然计算 1 并行处理信件 1 中国科学。F系列 1 RAIRO公司。理论信息学及其应用 1 计算机科学前沿 全部的 前5名在6个字段中引用 64 计算机科学(68至XX) 7 数学逻辑和基础(03-XX) 2 范畴理论;同调代数(18-XX) 1 代数拓扑(55-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文