编辑配置文件(在新选项卡中打开) 苏珊·奥维基。 合著者距离 作者ID: 奥威基·苏珊 发布日期: 苏珊·奥维基;苏珊·S·奥威基。;奥维基,S。 更多。。。较少的 外部链接: MGP公司·维基数据 已编制索引的文档: 15出版物自1976年起 合著者: 7位合著者具有9联合出版物 170位合作作者 全部的 前5名合著者 6 单作者的 5 大卫·格里斯 2 阿兰·德默斯。 2 安娜·卡林(Anna R.Karlin)。 2 马克·马纳塞。 2 Lyle A.McGeoch。 1 莱斯利·兰波特 1 大卫·W·沃尔。 全部的 前5名系列 1 信息学学报 1 网络 1 程序设计语言与系统学报 1 算法 1 ACM通信 1 分布式计算 领域 14 计算机科学(68至XX) 1 组合数学(05-XX) 1 运筹学、数学编程(90-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 11出版物有被引用324中的次279文件 引用人▼ 年份▼ 并行程序的公理证明技术。 Zbl 0312.68011号 苏珊·奥维基;大卫·格里斯 120 1976 证明并发程序的活性属性。 Zbl 0483.68013号 苏珊·奥维基;莱斯利·兰波特 75 1982 验证并行程序的属性:公理方法。 Zbl 0322.68010号 苏珊·奥维基;大卫·格里斯 51 1976 非均匀问题的竞争随机算法。 Zbl 0806.68053号 A.R.卡林。;马纳塞,M.S。;洛杉矶McGeoch。;奥维基,S。 32 1994 用于验证并行程序的一致且完整的演绎系统。 Zbl 0365.68010号 苏珊·奥维基 13 1976 非均匀问题的竞争随机算法。 兹比尔0800.68456 安娜·卡林(Anna R.Karlin)。;马克·马纳塞。;Lyle A.McGeoch。;苏珊·奥维基 12 1990 并行程序的公理证明技术。 兹伯利0395.68015 苏珊·奥维基;大卫·格里斯 8 1978 过程网络的模型和时间证明系统。 Zbl 0598.68025号 范·阮;阿兰·德默斯;大卫·格里斯;苏珊·奥维基 6 1986 行为:过程建模的一种时间方法。 Zbl 0606.68022号 范·阮;阿兰·德默斯;大卫·格里斯;苏珊,Owicki 4 1985 并发程序中抽象数据类型的规范和证明。 Zbl 0399.68032号 苏珊·奥维基。 2 1979 验证具有共享数据类的并发程序。 Zbl 0373.68028号 苏珊·奥维基 1 1978 非均匀问题的竞争随机算法。 Zbl 0806.68053号 A.R.卡林。;马纳塞,M.S。;洛杉矶McGeoch。;奥维基,S。 32 1994 非均匀问题的竞争随机算法。 Zbl 0800.68456号 安娜·卡林(Anna R.Karlin)。;马克·马纳塞。;Lyle A.McGeoch。;苏珊·奥维基 12 1990 过程网络的模型和时间证明系统。 Zbl 0598.68025号 范·阮;阿兰·德默斯;大卫·格里斯;苏珊·奥维基 6 1986 行为:过程建模的时间方法。 Zbl 0606.68022号 范·阮;阿兰·德默斯;大卫·格里斯;苏珊·奥维基 4 1985 证明并发程序的活性属性。 兹伯利048368013 苏珊·奥维基;莱斯利·兰波特 75 1982 并发程序中抽象数据类型的规范和证明。 Zbl 0399.68032号 苏珊·奥维基。 2 1979 并行程序的公理证明技术。 兹伯利0395.68015 苏珊·奥维基;大卫·格里斯 8 1978 验证具有共享数据类的并发程序。 Zbl 0373.68028号 苏珊,Owicki 1 1978 并行程序的公理证明技术。 Zbl 0312.68011号 苏珊·奥维基;大卫·格里斯 120 1976 验证并行程序的属性:一种公理化方法。 Zbl 0322.68010号 苏珊·奥维基;大卫·格里斯 51 1976 用于验证并行程序的一致且完整的演绎系统。 Zbl 0365.68010号 苏珊·奥维基 13 1976 所有引用出版物 前5名被引用出版物 全部的 前5名463位作者引用 11 维姆·赫塞林克。 7 德波尔,弗兰克·S。 6 Krzysztof Rafal公寓 6 斯蒂芬·布鲁克斯。 5 布里杰什·多戈尔 5 约翰·多夫兰 5 尼西姆·弗朗西兹 5 埃纳尔·布罗赫·约翰森 5 Owe、Olaf 5 阿米尔·普努利 4 威廉·鲍尔·德·罗弗 4 Shmuel Katz 4 奥尔德罗格(Ernst-Rüdiger Olderog) 4 马丁·斯特芬 4 海克·卫尔海姆 4 徐伟军 三 Jan A.Bergstra。 三 罗伯特·J·科尔文。 三 西蒙·多尔蒂 三 段振华 三 Jan Friso,格鲁特 三 阿里·古芬克尔 三 伊恩·海耶斯。 三 乔泽夫·约翰内斯·玛丽亚·胡曼 三 本特·琼森 三 多米尼克·梅里 三 Kedar S.Namjoshi。 三 波阿斯·帕特·沙米尔 三 Doron A.Peled。 三 Steve S.塞登。 三 科林·斯特林 三 莫西·亚亚科夫·瓦尔迪 三 张伟国 三 张勇 2 马丁·阿巴迪 2 Jos C.M.Baeten。 2 阿盖亚·巴塔查里亚 2 马钦·比恩科夫斯基 2 曼弗雷德·布罗伊 2 大卫·卡切拉 2 萨加·查基 2 克鲁巴克,马雷克 2 克拉克(Edmund Melson jun Clarke)。 2 杰拉尔多·科斯塔 2 佩德罗·达罗查·平托 2 萨迪·达尔瓦迪 2 彼得·达马施克 2 达斯,拉提什 2 托马斯·丁斯代尔·扬 2 康斯坦丁埃纳 2 菲利普·安·加德纳 2 大卫·格里斯 2 古普塔,苏什米塔 2 Joseph Yehuda Halpern 2 C.A.R.Tony Hoare 2 桑迪·伊拉尼 2 克利夫·琼斯。 2 沙欣·卡马利 2 奥尔纳·库普弗曼 2 Lam,Tak-Wah公司 2 劳伦斯·L·拉莫尔。 2 Lee,Lap-Kei先生 2 埃米尔·列维 2 李洪毅 2 卡马尔·洛达亚 2 亚历杭德罗·洛佩斯·奥尔蒂斯 2 罗宾·米尔纳 2 阿卜杜利拉·莫凯德姆 2 彼得·米勒 2 苏珊·奥维基。 2 安德烈·普拉泽 2 尼克·莱因戈尔德 2 克里斯汀·里兹卡拉 2 弗雷德·施耐德。 2 史蒂文·塞登。 2 阿米尔卡·塞尔纳达斯。 2 Rudrapatna Kallikote Shyamasundar 2 斯特里赫曼(Ofer Strichman) 2 乔治·斯特鲁斯 2 Tan,Yong Kiam先生 2 田聪 2 收件人:Isaac K.K。 2 理查德·特雷弗(Richard J.Trefler)。 2 吉尔·乌塔德 2 皮埃尔·沃尔珀 2 Wong,Prudence Wai-Ha先生 2 杨兴宇 1 艾丽卡·阿尔布拉汉姆 1 西瓦利·阿加瓦尔 1 沃尔夫冈·阿伦特 1 阿尔卑斯山,博文 1 拉杰夫·阿鲁尔 1 西德尼·阿曼尼 1 阿夫申阿米吉 1 哈桑·阿姆贾德 1 保罗·阿曼 1 詹姆斯·安德森。 1 Andronick,六月 1 亚历克斯·A·阿拉文。 1 保罗·C·阿蒂。 …和363多位作者 全部的 前5名50篇连载文章中引用 50 理论计算机科学 26 计算的形式方面 17 分布式计算 15 信息处理信件 14 信息学学报 10 信息与计算 10 系统设计中的形式化方法 4 计算机与系统科学杂志 4 计算机程序设计科学 4 算法 4 国际并行程序设计杂志 4 逻辑与代数程序设计杂志 三 计算机 三 信息科学 三 控制论 三 自动推理杂志 三 计算系统理论 三 ACM计算逻辑事务 三 计算机科学中的逻辑方法 三 程序设计中的逻辑和代数方法杂志 2 纯逻辑与应用逻辑年鉴 2 MSCS公司。计算机科学中的数学结构 2 国际计算机数学杂志 2 RAIRO公司。Informatique Théorique et Applications公司 2 萨达纳 2 算法 2 计算机科学评论 1 倒排索引综述 1 计算机与数学及其应用 1 国际计算机与信息科学杂志 1 哲学逻辑杂志 1 苏联数学杂志 1 运筹学 1 京都大学数学科学研究所出版物 1 计算机科学与技术杂志 1 数学和计算机建模 1 SIAM离散数学杂志 1 并行与分布式计算杂志 1 吉泰。实验与理论人工智能杂志 1 国际计算机科学基础杂志 1 全球优化杂志 1 函数编程杂志 1 并行算法与应用 1 摘要与应用分析 1 组合优化期刊 1 调度日志 1 科学基础 1 计算机基础理论 1 《大学学报》。Informatica公司 1 中国计算机科学前沿 全部的 前5名16个领域引用 272 计算机科学(68至XX) 53 数学逻辑和基础(03-XX) 10 博弈论、经济学、金融和其他社会和行为科学(91-XX) 6 运筹学、数学编程(90-XX) 4 组合数学(05-XX) 三 阶、格、有序代数结构(06-XX) 三 数值分析(65-XX) 2 常微分方程(34-XX) 2 统计学(62-XX) 2 系统论;控制(93至XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 一般拓扑结构(54至XX) 1 概率论与随机过程(60-XX) 1 量子理论(81-XX) 1 生物学和其他自然科学(92-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文 Wikidata时间线 数据显示为存储在Wikidata中的Creative Commons CC0许可证.应进行更新和更正在Wikidata中.