尤金·W·斯塔克
人员信息
附属: 美国石溪大学
优化列表
2020年–今天
2022 [j13] 尤金·W·斯塔克 :
剩余过渡系统。 架构(architecture)。 正式证明 2022 ( 2022 ) 2020 [公元12年] 尤金·W·斯塔克 :
双类别。 架构(architecture)。 正式证明 2020 ( 2020 )
2010 – 2019
2017 [j11] 尤金·W·斯塔克 :
单体分类。 架构(architecture)。 正式证明 2017 ( 2017 ) 2016 [公元10年] 尤金·W·斯塔克 :
带形容词和极限的范畴理论。 架构(architecture)。 正式证明 2016 ( 2016 )
2000 – 2009
2006 [公元24年] 尤金·W·斯塔克 , 兰斯·克莱维兰 , 斯科特·斯莫尔卡 :
概率I/O自动机:两个等价理论。 CONCUR公司 2006 : 343-357 2004 [公元9年] 尤金·W·斯塔克 :
在Java中正式指定CARA。 国际期刊软件。 技术工具。 Transf公司。 5 ( 4 ) : 331-350 ( 2004 ) 2003 [j8] 尤金·W·斯塔克 :
概率I/O自动机的行为等价性及其与概率互模拟的关系。 J.汽车。 语言梳。 8 ( 2 ) : 361-395 ( 2003 ) 【c23】 尤金·W·斯塔克 , 兰斯·克莱维兰 , 斯科特·斯莫尔卡 :
概率I/O自动机的过程代数语言。 CONCUR公司 2003 : 189-203 [公元22年] 张德庄 , 兰斯·克莱维兰 , 尤金·W·斯塔克 :
用于并发系统功能验证和性能分析的集成CWB-NC/PIOA工具。 TACAS公司 2003 : 431至436 2000 【c21】 尤金·W·斯塔克 , 斯科特·斯莫尔卡 :
有限状态概率过程的完整公理系统。 证明、语言和互动 2000 : 571-596 [公元20年] 尤金·W·斯塔克 :
使用概率I/O自动机进行组合性能分析。 CONCUR公司 2000 : 25-28岁
1990 – 1999
1999 [第19条] 董逸飞 , 斯科特·斯莫尔卡 , 尤金·W·斯塔克 , 斯蒂芬妮·怀特 :
协议验证中的实际考虑:E-2C案例研究。 ICECCS公司 1999 : 153- [c18] 董逸飞 , 杜晓群 , Y.S.罗摩克里希纳 , C.R.Ramakrishnan(罗马克里希南) , I.V.罗摩克里希南 , 斯科特·斯莫尔卡 , 奥列格·索科尔斯基 , 尤金·W·斯塔克 , 大卫·斯科特·沃伦 :
在i-Protocol中对抗Livelock:验证工具的比较研究。 TACAS公司 1999 : 第74页至第88页 1998 [第17条] 尤金·W·斯塔克 :
数据流网络的结构语义。 CONCUR公司 1998 : 597-612 [第16条] 尤金·W·斯塔克 , 斯科特·斯莫尔卡 :
概率I/O自动机网络中预期延迟的合成分析。 低收入国家 1998 : 466-477 1997 [j7] 吴淑惠(Sue-Hwey Wu) , 斯科特·斯莫尔卡 , 尤金·斯塔克 :
概率I/O自动机的组成和行为。 西奥。 计算。 科学。 176 ( 1-2 ) : 1-38 ( 1997 ) 1995 [j6] 尤金·W·斯塔克 :
数据流网络代数。 芬丹。 信息学 22 ( 1/2 ) : 167-185 ( 1995 ) [第15条] 凯伦·伯恩斯坦 , 尤金·W·斯塔克 :
正式定义调试器:三种方法的比较。 AADEBUG公司 1995 : 261-275 [第14条] 凯伦·伯恩斯坦 , 尤金·W·斯塔克 :
调焦调试器的操作语义。 MFPS公司 1995 : 13-31 1994 [第13条] 吴淑惠(Sue-Hwey Wu) , 斯科特·斯莫尔卡 , 尤金·W·斯塔克 :
概率I/O自动机的组成和行为。 CONCUR公司 1994 : 第513页至第528页 1992 [第12条] 尤金·W·斯塔克 :
数据流网络微积分(扩展抽象)。 低收入国家 1992 : 125-136 1991 [第11条] 尤金·W·斯塔克 :
数据流网络是光纤。 范畴理论与计算机科学 1991 : 261-281 1990 [第10条] 普拉卡什·帕南加登 , 瓦桑特·香博格 , 尤金·W·斯塔克 :
数据流网络中的稳定性和顺序性。 ICALP公司 1990 : 308-321 【c9】 尤金·W·斯塔克 :
关于一类并发自动机可计算的关系。 POPL公司 1990 : 329-340
1980 – 1989
1989 [j5] 南希·A·林奇 , 尤金·W·斯塔克 :
输入/输出自动机Kahn原理的一个证明。 Inf.计算。 82 ( 1 ) : 81-92 ( 1989 ) 【j4】 尤金·W·斯塔克 :
并行过渡系统。 西奥。 计算。 科学。 64 ( 三 ) : 221-269 ( 1989 ) 【c8】 尤金·W·斯塔克 :
不确定数据流网络的复合关系语义。 范畴理论与计算机科学 1989 : 52-74 【c7】 尤金·W·斯塔克 :
并发系统的具体模型和抽象模型之间的联系。 编程语义的数学基础 1989 : 53-79 1988 [j3] 尤金·W·斯塔克 :
证明概念状态规范之间的隐含关系。 西奥。 计算。 科学。 56 : 135-154 ( 1988 ) 【c6】 普拉卡什·帕南加登 , 尤金·W·斯塔克 :
计算、余数和不确定性的权力。 ICALP公司 1988 : 439-454 【c5】 普拉巴卡兰·拉曼 , 尤金·W·斯塔克 :
逻辑问题的全分布式与或并行执行。 ICLP/SLP公司 1988 : 1188-1203 1987 【c4】 尤金·W·斯塔克 :
过程网络的并发转换系统语义。 POPL公司 1987 : 199-210 1986 [注2] 丹尼·多列夫 , 南希·A·林奇 , 什洛米特·S·品特 , 尤金·W·斯塔克 , 威廉·E·威尔 :
在存在故障的情况下达成大致一致。 美国临床医学杂志 33 ( 三 ) : 499-516 ( 1986 ) 【c3】 尤金·W·斯塔克 :
证明概念状态规范之间的隐含关系。 员工持股计划 1986 : 197-209年 1985 [c2] 尤金·W·斯塔克 :
可靠性/保证性能的证明技术。 FSTTCS公司 1985 : 369-391 1983 【c1】 丹尼·多列夫 , 南希·A·林奇 , Shlomit S.品特 , 尤金·W·斯塔克 , 威廉·E·威尔 :
在出现故障的情况下达成大致一致。 分布式软件和数据库系统可靠性研讨会 1983 : 145-154 1982 [j1] 尤金·W·斯塔克 :
信号量原语和无饥饿互斥。 美国临床医学杂志 29 ( 4 ) : 1049-1072 ( 1982 )