盖伊·爱德华·加拉斯
人员信息
优化列表
2020年–今天
2020 [第12条] 杰西卡·科特 , 车轴折弯机 , 盖伊·爱德华·加拉斯 , 珍妮特·怀尔斯 , 安德鲁·D·巴克 :
《澳斯兰通信技术管道开发计划》。 ECCV研讨会(2) 2020 : 264-277
2010 – 2019
2016 [j8] 阿马尔·库马尔·古普塔 , 盖伊·爱德华·加拉斯 :
合同网协议扩展的等价类验证。 国际期刊软件。 技术工具。 Transf公司。 18 ( 6 ) : 685-706 ( 2016 ) 2011 [第11条] 乔纳森·比林顿 , 盖伊·爱德华·加拉斯 :
具有分叉连接子网的广义随机Petri网的参数稳态分析。 Petri网 2011 : 268-287 2010 [第10条] 盖伊·爱德华·加拉斯 , 乔纳森·比林顿 :
封闭分叉连接网络中稳态概率收敛性的研究。 ATVA公司 2010 : 143-157 【c9】 乔纳森·比林顿 , 盖伊·爱德华·加拉斯 :
受控分叉连接网络稳态概率的闭式近似。 ICFEM公司 2010 : 420-435
2000 – 2009
2009 [j7] 乔纳森·比林顿 , Somsak Vanit-Anunchai餐厅 , 盖伊·爱德华·加拉斯 :
参数化彩色Petri网信道模型。 事务处理。 Petri网其他模型。 同意。 三 : 71-97 ( 2009 ) 2008 [j6] 拉尔斯·迈克尔·克里斯滕森 , 彼得·梅克伦堡 , 张琳 , 布里斯·米切尔 , 盖伊·爱德华·加拉斯 :
基于模型的行动计划工具开发。 国际期刊软件。 技术工具。 Transf公司。 10 ( 1 ) : 5-14 ( 2008 ) [j5] Somsak Vanit-Anunchai餐厅 , 乔纳森·比林顿 , 盖伊·爱德华·加拉斯 :
使用扫描线方法分析数据报拥塞控制协议的连接管理过程。 国际期刊软件。 技术工具。 变压器。 10 ( 1 ) : 29-56 ( 2008 ) [j4] 盖伊·爱德华·加拉斯 , 尼姆罗德·莉莉丝 , 乔纳森·比林顿 , 张琳 , 车轴折弯机 , 本杰明·弗朗西斯 :
国防后勤网络建模。 国际期刊软件。 技术工具。 Transf公司。 10 ( 1 ) : 75-93 ( 2008 ) 【c8】 盖伊·爱德华·加拉斯 , 乔纳森·比林顿 :
一类停止和等待协议的参数化语言分析。 Petri网 2008 : 191-210 【c7】 乔纳森·比林顿 , 阿马尔·库马尔·古普塔 , 盖伊·爱德华·加拉斯 :
使用彩色Petri网对合同网协议扩展进行建模和分析。 复地 2008 : 169-184 【c6】 盖伊·爱德华·加拉斯 , 本杰明·弗朗西斯 , 克里斯托弗·穆恩 , 乔纳森·比林顿 :
国防后勤维护过程中的人员建模。 SimuTools(模拟工具) 2008 : 18 2007 [j3] 盖伊·爱德华·加拉斯 , 乔纳森·比林顿 , Somsak Vanit-Anunchai餐厅 , 拉尔斯·迈克尔·克里斯滕森 :
用扫线法在空中检查安全性能。 国际期刊软件。 技术工具。 Transf公司。 9 ( 3-4 ) : 371-391 ( 2007 ) 2006 【c5】 盖伊·爱德华·加拉斯 , 乔纳森·比林顿 :
用于分析无限类停止等待协议的参数状态空间。 自旋蛋白 2006 : 201-218 2005 [注2] 乔纳森·比林顿 , 盖伊·爱德华·加拉斯 , 劳雷·佩特鲁奇 :
用有色Petri网建模的一类停止等待协议的验证。 Nord.J.计算机。 12 ( 三 ) : 251-274 ( 2005 ) 【c4】 盖伊·爱德华·加拉斯 , 乔纳森·比林顿 :
使用参数自动机验证停止等待类协议。 ATVA公司 2005 : 457-473 【c3】 盖伊·爱德华·加拉斯 , 韩冰(Bing Han) , 乔纳森·比林顿 :
TCP连接管理的扫描线分析。 ICFEM公司 2005 : 156-172 2004 [j1] 乔纳森·比林顿 , 盖伊·爱德华·加拉斯 , 拉尔斯·迈克尔·克里斯滕森 , 托马斯·梅伦德 :
利用等价约简和扫描线方法检测终端状态。 IEEE传输。 系统。 曼赛本。 A部分 34 ( 1 ) : 23-37 ( 2004 ) 2003 [c2] 乔纳森·比林顿 , 盖伊·爱德华·加拉斯 , 韩冰(Bing Han) :
协议验证的有色Petri网方法。 并发和Petri网讲座 2003 : 210-290 【c1】 乔纳森·比林顿 , 盖伊·爱德华·加拉斯 :
停止和等待协议如何在Internet上发生故障。 复地 2003 : 209-223