杨绍发
人员信息
其他同名人员
优化列表
2020年–今天
2020 [j8] P.S.Thiagarajan先生 , 杨绍发 :
分布式马尔可夫链理论。 芬丹。 信息学 175 ( 1-4 ) : 301-325 ( 2020 )
2010 – 2019
2014 [j7] 西刘 , 杨绍发 , 杰夫·桑德斯 :
设计补偿。 形式方面计算。 26 ( 4 ) : 623-676年 ( 2014 ) [j6] P.S.Thiagarajan先生 , 杨绍发 :
并发设置中的拉宾定理:一个猜想。 西奥。 计算。 科学。 546 : 225-236 ( 2014 ) 2012 [j5] S.阿克西 , 布莱斯·基内斯特 , 洛伊克·赫鲁特 , 杨绍发 :
时间约束MSC图的正则表示集。 信息处理。 莱特。 112 ( 14-15 ) : 592-598 ( 2012 ) 【j4】 P.S.Thiagarajan先生 , 杨绍发 :
分布式混合自动机的模块离散时间近似。 西奥。 计算。 科学。 429 : 292-304 ( 2012 ) 【c7】 S.阿克西 , 布莱斯·基内斯特 , 洛伊克·赫卢埃 , 杨绍发 :
时间约束MSC图中漂移的符号边界。 ICTAC公司 2012 : 1-15 [第1页] 马宁德拉·阿格拉沃 , 弗兰克·斯蒂芬 , P.S.Thiagarajan先生 , 杨绍发 :
受限线性混合自动机的离散时间行为。 自动机理论的现代应用 2012 : 437-456 2010 [j3] 菲利普·达伦多 , 布莱斯·基内斯特 , P.S.Thiagarajan先生 , 杨绍发 :
通信任务的准静态调度。 Inf.计算。 208 ( 10 ) : 1154-1168 ( 2010 ) 【c6】 P.S.Thiagarajan先生 , 杨绍发 :
分布式混合自动机的简洁离散时间近似。 高速列车控制中心 2010 : 1-10
2000 – 2009
2009 [注2] 托马斯·加扎涅尔 , 布莱斯·基内斯特 , 洛伊克·赫卢埃 , P.S.Thiagarajan先生 , 杨绍发 :
因果信息序列图。 西奥。 计算。 科学。 410 ( 41 ) : 4094-4110 ( 2009 ) 2008 【c5】 菲利普·达伦多 , 布莱斯·基内斯特 , P.S.Thiagarajan先生 , 杨绍发 :
通信任务的准静态调度。 CONCUR公司 2008 : 310-324 2007 【c4】 马达瓦恩·穆昆德 , K.Narayan Kumar , P.S.Thiagarajan先生 , 杨绍发 :
MSC的锚定级联。 形式化模型、语言和应用 2007 : 274-288 【c3】 托马斯·加扎涅 , 布莱斯·基内斯特 , 洛伊克·赫鲁特 , P.S.Thiagarajan先生 , 杨少发 :
因果信息序列图。 CONCUR公司 2007 : 166-180 2006 [c2] 马宁德拉·阿格拉沃 , 弗兰克·斯蒂芬 , P.S.Thiagarajan先生 , 杨绍发 :
受限线性微分混合自动机的行为逼近。 高速列车控制中心 2006 : 4-18 2005 [j1] 杨绍发 , Wai Leong议员 :
低功耗多路复用器分解的改进算法。 J.电路系统。 计算。 14 ( 6 ) : 1085-1100 ( 2005 ) 【c1】 P.马都苏丹 , P.S.蒂亚加拉詹 , 杨绍发 :
连接沟通过程的MSO理论。 FSTTCS公司 2005 : 201-212