编辑配置文件（在新选项卡中打开） 盖·爱德华·加拉斯 合著者距离 作者ID： 加拉什·古伊德瓦尔德 发布日期： 盖·爱德华·加拉斯 已编制索引的文档： 7出版物自2004年起 合著者： 3位合著者具有7联合出版物 155位合作作者 合著者 0 单作者的 7 乔纳森·比林顿 1 韩冰 1 劳蕾·佩特鲁奇 系列 1 北欧计算机杂志 领域 7 计算机科学（68至XX） 1 概率论与随机过程（60-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 6出版物有被引用14中的次7文件 引用人▼ 年份▼ 用于分析无限类停止等待协议的参数状态空间。 兹比尔1178.68342 盖·爱德华·加拉斯；乔纳森·比林顿 4 2006 协议验证的有色Petri网方法。 Zbl 1088.68656号 乔纳森·比林顿；盖·爱德华·加拉斯；韩冰 4 2004 使用参数自动机验证停止等待类协议。 兹比尔1170.68516 盖·爱德华·加拉斯；乔纳森·比林顿 2 2005 研究封闭分叉连接网络中稳态概率的收敛性。 Zbl 1305.68124号 盖·爱德华·加拉斯；乔纳森·比林顿 2 2010 彩色Petri网建模的一类停止和等待协议的快速验证。 Zbl 1087.68012号 乔纳森·比林顿；盖·爱德华·加拉斯；劳蕾·佩特鲁奇 1 2005 停止等待协议类的参数化语言分析。 Zbl 1143.68453号 盖·爱德华·加拉斯；乔纳森·比林顿 1 2008 研究封闭分叉连接网络中稳态概率的收敛性。 Zbl 1305.68124号 盖·爱德华·加拉斯；乔纳森·比林顿 2 2010 停止等待协议类的参数化语言分析。 Zbl 1143.68453号 盖·爱德华·加拉斯；乔纳森·比林顿 1 2008 用于分析无限类停止等待协议的参数状态空间。 Zbl 1178.68342号 盖·爱德华·加拉斯；乔纳森·比林顿 4 2006 使用参数自动机验证停止等待类协议。 Zbl 1170.68516号 盖·爱德华·加拉斯；乔纳森·比林顿 2 2005 彩色Petri网建模的一类停止等待协议的快速验证。 Zbl 1087.68012号 乔纳森·比林顿；盖·爱德华·加拉斯；劳蕾·佩特鲁奇 1 2005 协议验证的有色Petri网方法。 Zbl 1088.68656号 乔纳森·比林顿；盖·爱德华·加拉斯；韩冰 4 2004 所有引用的出版物 前5名被引用出版物 全部的 前5名10位作者引用 2 乔纳森·比林顿 2 盖·爱德华·加拉斯 2 奥斯曼·哈桑 2 刘林 2 索菲涅·塔哈尔 1 瓦卡尔·艾哈迈德 1 伊利亚诺·塞维萨托 1 丁，雷·G。 1 刘俊贤 1 安德烈·斯克洛夫 3篇连载文章中引用 1 信息与计算 1 自动推理杂志 1 计算的形式方面 在3个字段中引用 7 计算机科学（68至XX） 1 数理逻辑与基础（03-XX） 1 概率论与随机过程（60-XX） 按年份列出的引文