编辑配置文件(在新选项卡中打开) 罗伯特·P·库尔珊(Robert P.Kurshan)。(1943年2月21日) 合著者距离 作者ID: 库尔山·罗贝尔-p 发布日期: 库尔山,R.P。;罗伯特·P·库尔珊(Robert P.Kurshan)。;罗伯特·库尔珊;R.库尔山。 更多。。。较少的 主页: https://ptolemy.berkeley.edu/projects/embedded/esd-semphator/fall97/biodata/kursha。。。 外部链接: MGP公司·ORCID公司·维基数据·ID参考 已编制索引的文档: 49出版物自1970年以来,包括1本书 4作为编辑的贡献 合著者: 36位合著者具有37联合出版物 1210合著作者 全部的 前5名合著者 16 单作者的 6 克拉克(Edmund Melson jun Clarke)。 6 戈皮纳斯,B。 4 奥尔纳·格伦伯格 三 尼娜·阿姆拉 三 肯尼思·麦克米兰。 三 Kedar S.Namjoshi。 2 拉杰夫·阿鲁尔 2 罗伯特·K·布雷顿。 2 Golaszewski,C.H。 2 奥尔纳·库普弗曼 2 弗拉基米尔·莱文 2 Doron A.Peled。 2 莫西·亚亚科夫·瓦尔迪 2 米哈利斯·亚纳卡基斯 2 胡斯努·耶尼贡 1 布兰登堡,L.H。 1 I.A.布朗。 1 詹姆斯·布朗(James C.Browne)。 1 哈娜·乔克勒 1 弗雷德里克·杜塞特 1 德拉吉切斯库,I.A。 1 杜晓群 1 埃默森,欧内斯特·艾伦 1 佐尔坦·福雷迪 1 埃尔萨·甘特。 1 罗纳德·哈丁。 1 M.Kemal伊南 1 阿隆·伊泰 1 安德烈亚斯·库尔曼 1 里卡多·梅德尔 1 马吕斯·米娜 1 安德鲁·奥德利斯科。 1 娜塔莎·莎莉吉娜 1 尼尔·詹姆斯·亚历山大·斯隆 1 塞尔达尔·塔西兰 1 埃尔文·托瓦蒂。 全部的 前5名系列 4 近似理论杂志 三 信息与计算 三 系统设计中的形式化方法 2 贝尔系统技术期刊 2 逻辑与计算杂志 1 信息处理信件 1 加拿大数学杂志 1 信息和控制 1 代数杂志 1 计算机与系统科学杂志 1 斯堪的纳维亚数学 1 理论计算机科学 1 美国数学学会通告 1 DIMACS系统。离散数学和理论计算机科学系列 1 计算机科学课堂讲稿 1 北约ASI系列。F.系列计算机与系统科学 全部的 前5名领域 40 计算机科学(68至XX) 5 信息与通信理论、电路(94-XX) 4 数学逻辑和基础(03-XX) 4 近似值和展开值(41至XX) 三 总体主题;集合(00-XX) 2 组合数学(05-XX) 2 数论(11-XX) 2 系统论;控制(93至XX) 1 有序,格,有序代数结构(06-XX) 1 实际功能(26年X月X日) 1 几个复变量和分析空间(32-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 37出版物有被引用246次216文件 引用人▼ 年份▼ 协调过程的计算机辅助验证。自动机理论方法。 Zbl 0822.68116号 罗伯特·P·库尔珊(Robert P.Kurshan)。 55 1995 循环模具有有限生成socle的环。 Zbl 0199.35503号 库尔山,R.P。 36 1970 过程的结构归纳定理。 兹比尔0828.68096 库尔山,R.P。;麦克米兰,K.L。 19 1995 递归生成的周期序列。 Zbl 0313.26019号 库尔山,R.P。;戈皮纳斯,B。 18 1974 通过逐次逼近进行计时验证。 Zbl 0939.68705号 阿鲁尔,R。;A.伊泰。;库尔山,R.P。;亚纳卡基斯,M。 11 1995 在多项式时间内补充确定性Büchi自动机。 Zbl 0666.68058号 库尔山,R.P。 11 1987 自动抽象的语法程序转换。 Zbl 0974.68524号 南乔希,Kedar S。;罗伯特·P·库尔珊(Robert P.Kurshan)。 9 2000 验证的复杂性。 Zbl 1345.68220号 库尔山,R.P。 9 1994 使用BDD进行坏循环检测的新启发式算法。 Zbl 1001.68074号 哈丁·R·H·。;库尔山,R.P。;Shukla,S.K。;M.Y.瓦尔迪。 7 2001 关于环路切换的寻址问题。 Zbl 0242.94030号 布兰登堡,L.H。;戈皮纳斯,B。;库尔山,R.P。 6 1972 将任意函数嵌入切比雪夫空间。 兹伯利0375.41016 库尔山,R.P。;戈皮纳斯,B。 5 1977 分圆多项式在单位根的值。 Zbl 0446.12001号 库尔山,R.P。;奥德利兹科,A.M。 5 1981 一种统一的方法,用于显示各种类型的\(\omega \)-自动机之间的语言包含和等价性。 Zbl 0925.68274号 E.M.克拉克。;德拉吉切斯库,I.A。;库尔山,R.P。 5 1993 两种有限状态并发系统验证方法的综合。 Zbl 0688.68019号 E.M.克拉克。;O·格伦伯格。;库尔山,R.P。 5 1989 使用BDD测试\(\omega \)-自动机的语言包含。 Zbl 0826.68050号 埃尔文·托瓦蒂。;罗伯特·K·布雷顿。;R.库尔山。 4 1995 通过有限向量空间的平移对Reed-Muller码进行余弦分析。 Zbl 0238.94005 库尔山,R.P。;新泽西州斯隆。 4 1972 验证技术转让。 Zbl 1142.68437号 库尔山,R.P。 4 2008 验证定时系统的抽象。 Zbl 1514.68148号 塔什伊朗,塞尔达尔;拉杰夫·阿鲁尔;罗伯特·P·库尔珊(Robert P.Kurshan)。;罗伯特·K·布雷顿。 4 1996 模型检查中覆盖的实用方法。 Zbl 0991.68042号 哈娜·乔克勒;奥尔纳·库普弗曼;罗伯特·P·库尔珊(Robert P.Kurshan)。;莫舍·瓦尔迪。 三 2001 建模并发过程。 Zbl 0572.68018号 库尔山,R.P。 三 1985 工业环境中基于sAT的模型检查技术分析。 Zbl 1159.68307号 尼娜·阿姆拉;杜晓群;安德烈亚斯·库尔曼;罗伯特·P·库尔珊(Robert P.Kurshan)。;肯尼思·麦克米兰。 2 2005 一种统一的方法,用于显示各种类型的\(\omega \)-自动机之间的语言包含和等价性。 Zbl 0759.68063号 E.M.克拉克。;I.A.布朗。;库尔山,R.P。 2 1990 具有指定交替的函数在T空间中的存在性。 Zbl 0384.41010号 戈皮纳斯,B。;库尔山,R.P。 2 1977 两种有限状态并发系统验证方法的综合。 Zbl 0782.68078号 克拉克,E.M。;O·格伦伯格。;库尔山,R.P。 2 1992 有界模型检查的不同技术的实验分析。 Zbl 1031.68541号 尼娜·阿姆拉;罗伯特·库尔珊;肯尼思·麦克米兰。;里卡多·梅德尔 2 2003 协调分析的可简化性。 Zbl 0644.68009号 库尔山,R.P。 2 1988 每个T空间等价于连续函数的T空间。 Zbl 0474.41013号 戈皮纳斯,B。;库尔山,R.P。 1 1981 有界函数的切比雪夫空间的振动定理,以及一个逆定理。 Zbl 0384.41011号 戈皮纳特,B。;库尔山,R.P。 1 1977 分支时间能有多线性? Zbl 0949.03512号 O·格伦伯格。;库尔山,R.P。 1 1994 90年计算机辅助验证。第二届DIMACS研讨会论文集,1990年6月18日至21日,美国新泽西州新不伦瑞克罗格斯大学。 Zbl 0753.00020号 1 1991 计算机辅助验证。第二届国际会议,CAV’90,新泽西州新不伦瑞克,美国,1990年6月18-21日。诉讼程序。 Zbl 0756.00006号 1 1991 离散事件系统的任务驱动监督控制。 Zbl 0789.68055号 Golaszewski,C.H。;库尔山,R.P。 1 1991 程序验证。 Zbl 1040.68060号 罗伯特·P·库尔珊(Robert P.Kurshan)。 1 2000 软件可靠性的形式化面向对象分析:验证设计。 Zbl 0977.68831号 娜塔莎·莎莉吉娜;詹姆斯·布朗(James C.Browne)。;罗伯特·P·库尔珊(Robert P.Kurshan)。 1 2001 压缩转换以进行模型检查。 Zbl 1010.68511号 罗伯特·库尔珊;弗拉基米尔·莱文;Hüsnü,叶尼根 1 2002 存在还原层次结构。 兹伯利0909.68119 奥尔纳·库普弗曼;罗伯特·P·库尔珊(Robert P.Kurshan)。;米哈利斯·亚纳卡基斯 1 1998 循环定义的有效分析。 Zbl 1046.68604号 Kedar S.Namjoshi。;罗伯特·P·库尔珊(Robert P.Kurshan)。 1 1999 验证技术转让。 Zbl 1142.68437号 库尔山,R.P。 4 2008 工业环境中基于sAT的模型检查技术分析。 Zbl 1159.68307号 尼娜·阿姆拉;杜晓群;安德烈亚斯·库尔曼;罗伯特·P·库尔珊(Robert P.Kurshan)。;肯尼思·麦克米兰。 2 2005 有界模型检查的不同技术的实验分析。 Zbl 1031.68541号 尼娜·阿姆拉;罗伯特·库尔珊;肯尼思·麦克米兰。;里卡多·梅德尔 2 2003 压缩转换以进行模型检查。 Zbl 1010.68511号 罗伯特·库尔尚;弗拉基米尔·莱文;Hüsnü,叶尼根 1 2002 使用BDD进行坏循环检测的新启发式算法。 Zbl 1001.68074号 哈丁·R·H·。;库尔山,R.P。;Shukla,S.K。;M.Y.瓦尔迪。 7 2001 模型检查中覆盖的实用方法。 Zbl 0991.68042号 哈娜·乔克勒;奥尔纳·库普弗曼;罗伯特·P·库尔珊(Robert P.Kurshan)。;莫舍·瓦尔迪。 三 2001 软件可靠性的形式化面向对象分析:验证设计。 兹比尔0977.68831 娜塔莎·莎莉吉娜;詹姆斯·布朗(James C.Browne)。;罗伯特·P·库尔珊(Robert P.Kurshan)。 1 2001 自动抽象的语法程序转换。 Zbl 0974.68524号 Kedar S.Namjoshi。;罗伯特·P·库尔珊(Robert P.Kurshan)。 9 2000 程序验证。 Zbl 1040.68060号 罗伯特·P·库尔珊(Robert P.Kurshan)。 1 2000 循环定义的有效分析。 Zbl 1046.68604号 Kedar S.Namjoshi。;罗伯特·P·库尔珊(Robert P.Kurshan)。 1 1999 存在还原层次结构。 兹伯利0909.68119 奥尔纳库普弗曼;罗伯特·P·库尔珊(Robert P.Kurshan)。;米哈利斯·亚纳卡基斯 1 1998 验证定时系统的抽象。 Zbl 1514.68148号 塔什伊朗,塞尔达尔;拉杰夫·阿鲁尔;罗伯特·P·库尔珊(Robert P.Kurshan)。;罗伯特·K·布雷顿。 4 1996 协调过程的计算机辅助验证。自动机理论方法。 Zbl 0822.68116号 罗伯特·P·库尔珊(Robert P.Kurshan)。 55 1995 过程的结构归纳定理。 Zbl 0828.68096号 库尔山,R.P。;麦克米兰,K.L。 19 1995 通过逐次逼近进行计时验证。 Zbl 0939.68705号 阿鲁尔,R。;A.伊泰。;库尔山,R.P。;Yannakakis,M。 11 1995 使用BDD测试\(\omega \)-自动机的语言包含。 Zbl 0826.68050号 埃尔文·托瓦蒂。;罗伯特·K·布雷顿。;R.库尔山。 4 1995 验证的复杂性。 Zbl 1345.68220号 库尔山,R.P。 9 1994 分支时间能有多线性? Zbl 0949.03512号 O·格伦伯格。;库尔山,R.P。 1 1994 一种统一的方法,用于显示各种类型的\(\omega \)-自动机之间的语言包含和等价性。 Zbl 0925.68274号 E.M.克拉克。;德拉吉切斯库,I.A。;库尔山,R.P。 5 1993 两种有限状态并发系统验证方法的综合。 Zbl 0782.68078号 克拉克,E.M。;O·格伦伯格。;库尔山,R.P。 2 1992 90年计算机辅助验证。第二届DIMACS研讨会论文集,1990年6月18日至21日,美国新泽西州新不伦瑞克罗格斯大学。 Zbl 0753.00020号 1 1991 计算机辅助验证。第二届国际会议,CAV’90,新泽西州新不伦瑞克,美国,1990年6月18-21日。诉讼程序。 Zbl 0756.00006号 1 1991 离散事件系统的任务驱动监督控制。 Zbl 0789.68055号 Golaszewski,C.H。;库尔山,R.P。 1 1991 一种统一的方法,用于显示各种类型的\(\omega \)-自动机之间的语言包含和等价性。 Zbl 0759.68063号 E.M.克拉克。;I.A.布朗。;库尔山,R.P。 2 1990 两种有限状态并发系统验证方法的综合。 Zbl 0688.68019号 E.M.克拉克。;O·格伦伯格。;库尔山,R.P。 5 1989 协调分析中的可还原性。 Zbl 0644.68009号 库尔山,R.P。 2 1988 在多项式时间内补充确定性Büchi自动机。 Zbl 0666.68058号 库尔山,R.P。 11 1987 建模并发流程。 Zbl 0572.68018号 库尔山,R.P。 三 1985 分圆多项式在单位根的值。 Zbl 0446.12001号 库尔山,R.P。;奥德利兹科,A.M。 5 1981 每个T空间等价于连续函数的T空间。 Zbl 0474.41013号 戈皮纳斯,B。;库尔山,R.P。 1 1981 将任意函数嵌入切比雪夫空间。 Zbl 0375.41016号 库尔山,R.P。;戈皮纳特,B。 5 1977 具有指定交替的函数在T空间中的存在性。 Zbl 0384.41010号 戈皮纳斯,B。;库尔山,R.P。 2 1977 有界函数的切比雪夫空间的振动定理,以及一个逆定理。 Zbl 0384.41011号 戈皮纳斯,B。;库尔山,R.P。 1 1977 递归生成的周期序列。 Zbl 0313.26019号 库尔山,R.P。;戈皮纳斯,B。 18 1974 关于环路切换的寻址问题。 Zbl 0242.94030号 勃兰登堡州。;戈皮纳斯,B。;库尔山,R.P。 6 1972 通过有限向量空间的平移对Reed-Muller码进行陪集分析。 Zbl 0238.94005 库尔山,R.P。;新泽西州斯隆。 4 1972 循环模具有有限生成socle的环。 Zbl 0199.35503号 库尔山,R.P。 36 1970 所有引用出版物 前5名被引用出版物 全部的 前5名379位作者引用 12 奥尔纳·库普弗曼 12 莫西·亚亚科夫·瓦尔迪 8 克拉克(Edmund Melson jun Clarke)。 8 罗伯特·P·库尔珊(Robert P.Kurshan)。 8 斯特维奇,斯特沃 6 拉杰夫·阿鲁尔 5 布拉迪斯拉夫·伊里查宁。 5 洛佩斯·佩尔茅斯、塞尔吉奥·罗伯托 5 阿米尔·普努利 三 安娜·西玛 三 曼弗雷德·德罗斯特 三 兰多尔·埃尔津加(Randall J.Elzinga)。 三 卡尔·C·费思。 三 阿蒙哥尔·加苏尔 三 戈皮纳特,B。 三 奥尔纳·格伦伯格 三 托马斯·亨辛格(Thomas A.Henzinger)。 三 尤尼特·凯斯滕 三 丹尼尔·科宁 三 弗朗西斯科·马尼奥斯 三 Alberto L.Sangiovanni-Vincentelli。 三 巴伦特萨拉索 三 娜塔莎·莎莉吉娜 三 Vander Meulen,Kevin N。 三 穆罕默德·尤西夫。 三 Lenore D.扎克。 2 托马·阿尔布 2 克里斯特尔·拜尔 2 阿明·比尔 2 罗德里克·布洛姆 2 乌迪·博克 2 博尔盖斯·金塔纳,米贾尔 2 米盖尔·安格尔·博尔赫斯·特伦纳德 2 杰里·伯奇。 2 卡德,莫菲 2 约翰·道恩斯 2 约瑟夫·迪布利克 2 大卫·L·迪尔。 2 段振华 2 易拉赛义德·穆罕默德 2 安斯加·芬克 2 史蒂芬·M·金(Stephen M.Ginn)。 2 罗纳德·刘易斯·格雷厄姆 2 大卫·艾伦·格雷戈里 2 古普塔,阿肖克·吉 2 丁凡·休恩 2 巴克斯特·约翰 2 雅克·朱利安德 2 鲁佩·凯沃拉 2 伊戈尔·康诺夫(Igor V.Konnov)。 2 奥尔加·库什纳伦科 2 马丁·勒克 2 李勇 2 杰拉尔德·吕特根 2 奥德·马勒 2 埃德加·马丁内斯·莫罗 2 皮埃尔·阿莱·马森 2 肯尼思·麦克米兰。 2 爱丽丝·安·米勒 2 阿尼埃洛·穆拉诺 2 罗伯托·帕塞罗内 2 尼尔·皮特曼 2 乔治·拉霍尼斯 2 桑迪普·雷 2 Syed Tariq Rizvi 2 伊拉德·沙哈尔 2 沈亮 2 安蒂·西尔托拉 2 什马尔达(Zdeněk) 2 法比奥·萨默齐 2 田聪 2 Stefano托内塔 2 托马斯·沃伊纳尔 2 扎哈罗夫,弗拉基米尔·安纳托利耶维奇 2 理查德·扎利克(Richard A.Zalik)。 2 张丽君 2 张楠 1 帕罗什·阿齐兹·阿卜杜拉 1 阿贝德,赛义德 1 阿布·萨里斯,拉吉布·M。 1 奥特曼·阿伊特·穆罕默德 1 克努特·奥凯森 1 阿卜杜拉·胡扎利。 1 侯赛因·阿贾扎尔 1 西蒙·安布勒。 1 Zaher S.安德劳斯。 1 埃蒂安·安德烈 1 安德烈·阿诺德 1 弗兰茨·奥伦哈默尔 1 艾多杜·帕纳尔 1 伊塔·巴拉班 1 费利斯·巴拉林 1 西尔瓦诺·巴莱米 1 旧金山Balibrea 1 JiříBarnat 1 凯特琳娜·巴罗内·阿德斯 1 彼得·鲍赫 1 凯·鲍库斯 1 埃里克·贝德福德 1 尼古拉·贝内什 …还有279位作者 全部的 前5名64篇连载文章被引用 22 理论计算机科学 18 系统设计中的形式化方法 11 代数通讯 8 计算的形式方面 7 信息与计算 6 近似理论杂志 5 代数杂志 5 代数杂志及其应用 4 美国数学学会会刊 4 国际计算机科学基础杂志 4 差分方程与应用杂志 三 信息学报 三 应用数学与计算 三 自动推理杂志 三 摘要与应用分析 三 自然与社会中的离散动力学 2 澳大利亚数学学会公报 2 离散数学 2 信息处理信件 2 格拉斯哥数学杂志 2 计算机与系统科学杂志 2 编程和计算机软件 2 离散事件动态系统 2 地中海数学杂志 2 计算机科学评论 1 离散应用数学 1 国际通用系统杂志 1 数学分析与应用杂志 1 算术学报 1 数学进展 1 信息科学 1 纯粹与应用代数杂志 1 苏联数学杂志 1 数学系统理论 1 密歇根数学杂志 1 马西马蒂克修道院 1 Quaestions数学 1 美国数学学会会刊 1 纯逻辑与应用逻辑年鉴 1 符号计算杂志 1 算法学 1 国际近似推理杂志 1 应用数学快报 1 杰泰。实验与理论人工智能杂志 1 MSCS公司。计算机科学中的数学结构 1 几何分析杂志 1 分布式计算 1 RAIRO公司。Informatique Théorique et Applications公司 1 控制论与系统分析 1 俄罗斯数学 1 代数集刊 1 斯博尼克:数学 1 约束条件 1 澳大利亚数学学会杂志 1 应用数学杂志 1 萨达纳 1 计算机语言、系统和结构 1 国际数论杂志 1 美国数学学会公报 1 计算机科学中的数学 1 理论计算机科学的基础和发展趋势 1 亚欧数学杂志 1 计算机科学前沿 1 巴勒斯坦数学杂志 全部的 前5名23个字段中引用 138 计算机科学(68至XX) 34 结合环与代数(16-XX) 23 数学逻辑和基础(03-XX) 17 差分方程和函数方程(39至XX) 8 信息与通信理论、电路(94-XX) 6 组合数学(05-XX) 6 近似值和展开值(41至XX) 5 数论(11-XX) 5 交换代数(13-XX) 4 动力系统和遍历理论(37至XX) 4 博弈论、经济学、金融和其他社会和行为科学(91-XX) 4 系统论;控制(93至XX) 2 复变量的函数(30年XX月) 2 运筹学、数学规划(90-XX) 1 场论和多项式(12-XX) 1 代数几何(14-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 范畴理论;同调代数(18-XX) 1 群论与推广(20-XX) 1 实际功能(26年X月X日) 1 几个复变量和分析空间(32-XX) 1 偏微分方程(35-XX) 1 凸和离散几何(52-XX) 按年份列出的引文 Wikidata时间线 数据显示为存储在Wikidata中的Creative Commons CC0许可证.应进行更新和更正在Wikidata中.