玉溪府
优化列表
2020年–今天
2024 [公元28年] 玉溪府 , 杨启哲 , 杨洛正 :
d-VASS中可达性的改进算法。 ICALP公司 2024 : 136:1-136:18 [i8] 郝武 , 玉溪府 , 欢龙 , 西安旭 , 张文波 :
非确定性概率模型的散度分析。 CoRR公司 abs/2403.00491 ( 2024 ) [i7] 玉溪府 , 杨启哲 , 杨洛正 :
中可达性的改进算法 d日 -附庸。 CoRR公司 abs/2404.14781 ( 2024 ) 2023 [i6] 杨启哲 , 玉溪府 :
3-VASS的可达性位于塔内。 CoRR公司 abs/2306.05710 ( 2023 ) 2022 [公元33年] 杨启哲 , 玉溪府 :
计算非确定性计算。 西奥。 计算。 科学。 897 : 49-63 ( 2022 ) [公元32年] 玉溪府 :
一篇关于互动的论文。 西奥。 计算。 科学。 897 : 114-134 ( 2022 ) 2021 [公元31年] 玉溪府 :
概率模型的模型无关方法。 西奥。 计算。 科学。 869 : 181-194 ( 2021 )
2010 – 2019
2019 【j30】 董晓菊 , 玉溪府 , 丹尼尔·瓦拉卡 :
扩展Petri网。 形式方面计算。 31 ( 1 ) : 47-58 ( 2019 ) [i5] 玉溪府 :
随机过程模型的统一方法。 CoRR公司 abs/1906.09541 ( 2019 ) 2018 [公元29年] 谢贤忠 , 陈九九 , 玉溪府 :
具有非线性能量收集模型的全双工系统的停机性能和QoS优化。 IEEE接入 6 : 44281-44290 ( 2018 ) 2017 [公元28年] 玉溪府 :
通用程序。 日志。 方法计算。 科学。 13 ( 4 ) ( 2017 ) [公元27年] 玉溪府 :
论传名传播的力量。 CONCUR公司 2017 : 22:1-22:15 [公元26年] 薛建新 , 环龙 , 玉溪府 :
一些\pi变体的备注。 设置 2017 : 183-199 [i4] 玉溪府 :
通用过程。 CoRR公司 abs/1708.06010 ( 2017 ) 2016 [公元27年] 玉溪府 :
互动理论。 西奥。 计算。 科学。 611 : 1-49 ( 2016 ) [公元25年] 董晓菊 , 玉溪府 , 丹尼尔·瓦拉卡 :
开放Petri网的位置相互模拟和活力。 设置 2016 : 1-17 2015 [公元26年] 玉溪府 , Kazunori Ueda公司 :
前言。 数学。 结构。 计算。 科学。 25 ( 4 ) : 764 ( 2015 ) [公元25年] 玉溪府 :
计算的非确定性结构。 数学。 结构。 计算。 科学。 25 ( 6 ) : 1295-1338 ( 2015 ) [i3] 玉溪府 , 韩朱 :
传名微积分。 CoRR公司 abs/1508.00093 ( 2015 ) 2014 [公元24年] 羌音 , 玉溪府 , 何朝东 , 黄明章 , 陶秀婷 :
PRS的分支相似性检查。 ICALP(二) 2014 : 363-374 [i2] 羌音 , 玉溪府 , 何朝东 , 黄明章 , 陶秀婷 :
PRS的分支相似性检查。 CoRR公司 abs/1402.0050 ( 2014 ) [i1] 玉溪府 , 羌音 :
决定PDA和不决定PDA之间的分界线。 CoRR公司 abs/1404.7015 ( 2014 ) 2013 [公元24年] 欢龙 , 玉溪府 :
如何在SA中忠实地解释π? 科学。 中国信息科学。 56 ( 三 ) : 1-15 ( 2013 ) 【c23】 玉溪府 :
传递值微积分。 程序设计理论与形式化方法 2013 : 166-195 [公元22年] 玉溪府 :
用无声动作检查规范BPA的平等性和规律性。 ICALP(二) 2013 : 238-249 2011 [公元23年] 蔡晓娟 , 玉溪府 :
π演算中的λ演算。 数学。 结构。 计算。 科学。 21 ( 5 ) : 943-996 ( 2011 ) 【c21】 何朝东 , 玉溪府 , 傅鸿飞 :
具有名称范围的过程微积分中行为等价的可判定性。 FSEN公司 2011 : 284-298 2010 [公元22年] 玉溪府 , 郝璐 :
关于互动的表现力。 西奥。 计算。 科学。 411 ( 11-13 ) : 1387-1451 ( 2010 ) [公元20年] 玉溪府 :
过程理论。 CONCUR公司 2010 : 403-416
2000 – 2009
2007 [公元21年] 玉溪府 :
环境优美。 信息学报 43 ( 8 ) : 535-594 ( 2007 ) [j20] 欢龙 , 玉溪府 :
构造组合P自动机的一般方法。 国际期刊计算。 数学。 84 ( 12 ) : 1715-1730 ( 2007 ) [公元19年] 董晓菊 , 玉溪府 :
不对称和不匹配的叉形同余。 J.计算。 科学。 Technol公司。 22 ( 4 ) : 575-579 ( 2007 ) 2006 [公元18年] 程国胜 , 玉溪府 :
CRI下扰动的误差估计。 IEEE传输。 模糊系统。 14 ( 6 ) : 709-715 ( 2006 ) [第19条] 张敏(音) , 李国强 , 玉溪府 :
在信号转导中通过打字实现信号保密。 ICNC(2) 2006 : 384-393 [第18条] Farong Zhong公司 , 玉溪府 , 董晓菊 :
非对称chi^e-演算的互模拟同余。 ISPDC公司 2006 : 173-184 [第17条] 徐贤 , 董晓菊 , 玉溪府 :
DNA加成的kappa模型。 MeCBIC@ICALP公司 2006 : 209-222 2005 [公元17年] 玉溪府 :
开放同余的图解公理。 科学。 中国Ser。 F信息科学。 48 ( 1 ) : 67-77 ( 2005 ) [公元16年] 玉溪府 :
关于准开放互模拟。 西奥。 计算。 科学。 338 ( 1-3 ) : 96-126 ( 2005 ) [第16条] 顾永根 , 玉溪府 , 杨丽 , 董晓菊 :
符号分析安全协议的通用模型。 企业所得税 2005 : 680-684 [第15条] 朱鹏东 , 董晓菊 , 西安旭 , 玉溪府 , 张志洲 , 林河 :
将SBML映射到BioSPI的实现。 FSKD(2) 2005 : 1128-1131 [第14条] 张敏(音) , 李国强 , 玉溪府 , Zhizhou Zhang(张志洲) , 林河 :
信号转导中的打字异常。 ICNC(3) 2005 : 668-677 [第13条] 顾永根 , 玉溪府 , Farong Zhong公司 , 韩朱 :
分析安全协议的通用模型。 MMM-ACNS系统 2005 : 119-128 [第12条] 顾永根 , 玉溪府 , 李国强 :
安全协议分析的简单过程演算。 PDCAT公司 2005 : 110-114 2004 [c11] 玉溪府 , 董晓菊 :
将过程等价的环境观形式化。 独联体 2004 : 336-345 [第10条] 张敏(音) , 李国强 , 玉溪府 , Zhizhou Zhang(张志洲) , 林河 :
用Ipi演算表示有畸变的信号转导。 独联体 2004 : 477-485 【c9】 顾永根 , 李国强 , 玉溪府 :
应用Pi演算中的iKP安全性分析。 独联体 2004 : 879-887 [电子2] Jun Zhang(张军) , 冀环河 , 玉溪府 :
计算与信息科学,第一届国际研讨会,2004年CIS,中国上海,2004年12月16-18日,会议记录。 计算机科学课堂讲稿 3314, 施普林格 2004 ,国际标准图书编号 3-540-24127-2 [目录] [电子1] 陈兆能 , 陈新春 , 苗奇浩 , 玉溪府 , 爱德华·福克斯 , 林依鹏 :
《数字图书馆:国际合作与交叉受精》,第七届亚洲数字图书馆国际会议,ICADL 2004,中国上海,2004年12月13日至17日,会议记录。 计算机科学课堂讲稿 3334, 施普林格 2004 ,国际标准图书编号 3-540-24030-6 [目录] 2003 [公元15年] 玉溪府 :
chi演算的互模拟同余。 Inf.计算。 184 ( 1 ) : 201-226 ( 2003 ) [公元14年] 玉溪府 , 杨振荣 :
理解chi演算中的错配组合子。 西奥。 计算。 科学。 290 ( 1 ) : 779-830 ( 2003 ) [j13] 玉溪府 , 杨振荣 :
π微积分的Tau定律。 西奥。 计算。 科学。 308 ( 1-3 ) : 55-130 ( 2003 ) 【c8】 董晓菊 , 玉溪府 :
观察不对称和不匹配。 应用程序 2003 : 2-19 2002 [公元12年] 玉溪府 :
测试移动进程的一致性。 J.计算。 科学。 Technol公司。 17 ( 1 ) : 73-82 ( 2002 ) 【c7】 玉溪府 :
关于准开放互模拟。 阿普拉斯 2002 : 193-215 2001 [公元11年] 玉溪府 :
Pi演算的函数表示。 科学。 中国Ser。 F信息科学。 44 ( 1 ) : 20-32 ( 2001 ) [j10] 玉溪府 :
结构语义学(I)——传统方法。 J.计算。 科学。 Technol公司。 16 ( 1 ) : 13-24 ( 2001 ) [公元9年] 玉溪府 :
结构语义学(II)——初始代数方法。 J.计算。 科学。 Technol公司。 16 ( 2 ) : 137-145 ( 2001 ) 2000 【c6】 玉溪府 , 杨振荣 :
气微积分与失配。 CONCUR公司 2000 : 596-610 【c5】 玉溪府 , 杨振荣 :
气微积分的基础同余。 FSTTCS公司 2000 : 385-396
1990 – 1999
1999 [j8] 玉溪府 :
框架语言的相对属性。 J.计算。 科学。 Technol公司。 14 ( 4 ) : 320-327 ( 1999 ) [j7] 玉溪府 :
移动进程的变化。 西奥。 计算。 科学。 221 ( 1-2 ) : 327-368 ( 1999 ) 【c4】 玉溪府 :
在Chi进程上打开Bisimulations。 CONCUR公司 1999 : 304-319 1998 [j6] 玉溪府 :
对称π演算。 J.计算。 科学。 Technol公司。 13 ( 三 ) : 202-208 ( 1998 ) [j5] 玉溪府 :
反应图。 J.计算。 科学。 Technol公司。 13 ( 6 ) : 510-530 ( 1998 ) 【j4】 玉溪府 :
多态性中可定义的结构。 J.计算。 科学。 Technol公司。 13 ( 6 ) : 579-587 ( 1998 ) 【c3】 玉溪府 :
Chi过程的互模拟格。 亚洲的 1998 : 245-262 1997 [j3] 玉溪府 :
可计算集合中的构造集合。 J.计算。 科学。 Technol公司。 12 ( 5 ) : 425-440 ( 1997 ) [注2] 玉溪府 :
逻辑框架的分类属性。 数学。 结构。 计算。 科学。 7 ( 1 ) : 1-47 ( 1997 ) 【c2】 玉溪府 :
x微积分。 APDC公司 1997 : 74-81 【c1】 玉溪府 :
传播的证明理论方法。 ICALP公司 1997 : 325-335 1996 [j1] 玉溪府 :
一般归纳类型的递归模型。 芬丹。 信息学 26 ( 2 ) : 115-131 ( 1996 ) 1992 【b1】 玉溪府 :
类型理论的主题。 英国曼彻斯特大学, 技术报告系列:UMCS 92-11-1, 1992 ,第1-94页