编辑配置文件(在新选项卡中打开) Shmuel Katz 合著者距离 作者ID: 卡兹·什穆尔 发布方式: Shmuel Katz;卡茨,S。 外部链接: MGP公司 已编制索引的文档: 41出版物自1975年起 4作为编辑的贡献·1进一步贡献 合著者: 31位合著者具有38联合出版物 609合著作者 全部的 前5名合著者 6 单作者的 6 奥尔纳·格伦伯格 5 尼西姆·弗朗西兹 4 马塞洛·格鲁斯曼 4 Doron A.Peled。 三 艾米莉亚·卡茨 三 佐哈尔·曼纳 三 什洛莫·莫兰 三 加迪·陶本费尔德 2 科林·泽夫 2 丽娜·德希特 2 马克斯·戈德曼 2 米拉梅齐尼 1 Krzysztof Rafal公寓 1 奥拉,V。 1 奥里特·巴鲁克 1 程,R.M.H。 1 多莉,多夫 1 迪马·埃伦博根 1 塞菲·吉夫利 1 Jean-Marc·Jézéquel 1 沃特·乔森 1 迈克尔·卡明斯基 1 基恩泽尔,约格 1 卡捷琳娜·科伦布拉特 1 卡尔·莱维特。 1 哈罗德·奥斯 1 肯尼思·佩里。 1 阿米尔·普努利 1 莱因哈特·伯杰(Reinhartz-Berger,Iris) 1 克莉丝汀·施瓦宁格 1 奥德·什穆埃利 1 马塞洛·西曼 1 斯特里赫曼(Ofer Strichman) 1 理查德·沃丁格。 1 Shuly Wintner公司 全部的 前5名系列 4 计算机科学课堂讲稿 三 分布式计算 三 系统设计中的形式化方法 2 理论计算机科学 2 国际并行程序设计杂志 2 IEEE软件工程汇刊 1 信息学报 1 固体力学与物理杂志 1 《计算机杂志》。A部分/B部分 1 计算机与系统科学杂志 1 计算机程序设计科学 1 信息与计算 1 ACM通信 1 芝加哥理论计算机科学杂志 1 软件工程年报 全部的 前5名领域 44 计算机科学(68-XX) 5 数学逻辑和基础(03-XX) 4 总体主题;集合(00-XX) 2 阶、格、有序代数结构(06-XX) 1 可变形固体力学(74-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 信息和通信理论,电路(94-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 30出版物有被引用222中的次190文件 引用人▼ 年份▼ 评估分布式编程语言的公平性。 Zbl 0659.68023号 Krzysztof R.阿普特。;尼西姆·弗朗西兹;Shmuel Katz 42 1988 消息传递系统的自我稳定扩展。 Zbl 1282.68077号 Shmuel Katz;肯尼思·佩里。 37 1993 程序的逻辑分析。 Zbl 0353.68016号 Shmuel Katz;佐哈尔·曼纳 18 1976 使用折叠定义条件独立性。 兹比尔0769.68082 Shmuel Katz;多龙·贝利德 15 1992 交错集时序逻辑。 Zbl 0718.03014号 Shmuel Katz;多龙·贝利德 14 1990 使用代表性交错序列验证分布式程序。 Zbl 0773.68053号 Shmuel Katz;多龙·贝利德 12 1992 关于分布式约束满足的可行性。 Zbl 0747.68065号 泽夫·科林;丽娜·德希特;Shmuel Katz 12 1991 一种有效的并行和分布式程序验证方法。(技术贡献)。 兹伯利0683.68015 卡茨,S。;D.贝利德。 9 1989 分布式计算中的初始失败。 Zbl 0702.68029号 加迪·陶本费尔德;Shmuel Katz;什洛莫·莫兰 8 1989 MAVEN:模块化方面验证。 Zbl 1186.68291号 马克斯·戈德曼;Shmuel Katz 6 2007 受弹性墙约束的梁的后屈曲行为。 Zbl 1349.74142号 Shmuel Katz;塞菲·吉夫利 6 2015 时间属性的方面类别和类别。 Zbl 1165.68363号 Shmuel Katz 5 2006 不可能导致出现多个错误过程。 Zbl 0729.68004号 加迪·陶本费尔德;Shmuel Katz;什洛莫·莫兰 4 1989 进一步了解终止。 Zbl 0304.68025号 Shmuel Katz;佐哈尔·曼纳 4 1975 证明Prolog程序终止。 Zbl 0577.68023号 尼西姆·弗朗西兹;奥尔纳·格伦伯格;Shmuel Katz;阿米尔·普努利 4 1985 自稳定分布式约束满足。 Zbl 0940.68002号 泽夫·科林;丽娜·德希特;Shmuel Katz 三 1999 自动编程逻辑研究。由Shmuel Katz和Karl Levitt贡献。 兹伯利0378.68006 佐哈尔·曼纳;理查德·沃尔丁格 三 1977 叠加和面向方面的编程。 Zbl 1077.68593号 西曼,马塞洛;Shmuel Katz 三 2003 用于动态循环预防的协作分布式算法。 Zbl 0615.68021号 Shmuel Katz;奥德·什穆埃利 三 1987 证明双方终止。 Zbl 1322.68052号 迪马·埃伦博根;Shmuel Katz;斯特里赫曼(Ofer Strichman) 三 2015 公平终止的完整规则。 Zbl 0612.68021号 奥尔纳·格伦伯格;尼西姆·弗朗西兹;Shmuel Katz 2 1986 不可能导致出现多个错误过程。 Zbl 0942.68506号 加迪·陶本费尔德;Shmuel Katz;什洛莫·莫兰 2 1994 面向方面的软件开发汇刊VI。关于方面和模型驱动工程的特刊。 Zbl 1176.68008号 2 2009 强公平终止的完整证明规则。 Zbl 0558.68013号 奥尔纳·格伦伯格;尼西姆·弗朗西兹;Shmuel Katz 2 1984 使用不变量进行程序优化。 Zbl 0385.68015号 Shmuel Katz 1 1978 用于翻译模型和规范的框架。 Zbl 1057.68628号 Shmuel Katz;奥尔纳·格伦伯格 1 2002 一个便于计算证明方法的机械化证明环境。 Zbl 1057.68111号 马塞洛·格鲁斯曼;Shmuel Katz 1 2003 将有限前缀的内存一致性扩展到无限计算。 Zbl 1006.68087号 马塞洛·格鲁斯曼;Shmuel Katz 1 2001 模型和规范之间的忠实翻译。 兹比尔0977.68660 Shmuel Katz 1 2001 强侵袭性方面的模块化验证。 Zbl 1241.68051号 艾米莉亚·卡茨;Shmuel Katz 1 2009 受弹性墙约束的梁的后屈曲行为。 兹比尔1349.74142 Shmuel Katz;塞菲·吉夫利 6 2015 证明双方终止。 Zbl 1322.68052号 迪马·埃伦博根;Shmuel Katz;斯特里赫曼(Ofer Strichman) 三 2015 面向方面的软件开发汇刊VI。关于方面和模型驱动工程的特刊。 Zbl 1176.68008号 2 2009 强侵袭性方面的模块化验证。 Zbl 1241.68051号 艾米莉亚·卡茨;Shmuel Katz 1 2009 MAVEN:模块化方面验证。 Zbl 1186.68291号 马克斯·戈德曼;Shmuel Katz 6 2007 时间属性的方面类别和类别。 Zbl 1165.68363号 Shmuel Katz 5 2006 重叠和面向方面的编程。 Zbl 1077.68593号 马塞洛·西曼;Shmuel Katz 三 2003 一个便于计算证明方法的机械化证明环境。 Zbl 1057.68111号 马塞洛·格鲁斯曼;Shmuel Katz 1 2003 翻译模型和规范的框架。 Zbl 1057.68628号 Shmuel Katz;奥尔纳·格隆伯格 1 2002 将有限前缀的内存一致性扩展到无限计算。 Zbl 1006.68087号 马塞洛·格鲁斯曼;Shmuel Katz 1 2001 模型和规范之间的忠实翻译。 Zbl 0977.68660号 Shmuel Katz 1 2001 自稳定分布式约束满足。 Zbl 0940.68002号 泽夫·科林;丽娜·德希特;Shmuel Katz 三 1999 不可能导致存在多个故障过程。 Zbl 0942.68506号 加迪·陶本费尔德;Shmuel Katz;什洛莫·莫兰 2 1994 消息传递系统的自我稳定扩展。 Zbl 1282.68077号 Shmuel Katz;肯尼斯·佩里。 37 1993 使用折叠定义条件独立性。 Zbl 0769.68082号 Shmuel Katz;多龙·贝利德 15 1992 使用代表性交错序列验证分布式程序。 Zbl 0773.68053号 Shmuel Katz;多龙·贝利德 12 1992 分布式约束满足的可行性。 Zbl 0747.68065号 泽夫·科林;丽娜·德希特;Shmuel Katz 12 1991 交错集时序逻辑。 Zbl 0718.03014号 Shmuel Katz;多龙·贝利德 14 1990 一种有效的并行和分布式程序验证方法。(技术贡献)。 兹伯利0683.68015 卡茨,S。;D.贝利德。 9 1989 分布式计算中的初始失败。 Zbl 0702.68029号 加迪·陶本费尔德;Shmuel Katz;什洛莫·莫兰 8 1989 不可能导致出现多个错误过程。 Zbl 0729.68004号 加迪·陶本费尔德;Shmuel Katz;什洛莫·莫兰 4 1989 评估分布式编程语言的公平性。 Zbl 0659.68023号 Krzysztof R.阿普特。;尼西姆·弗朗西兹;Shmuel Katz 42 1988 用于动态循环预防的协作分布式算法。 Zbl 0615.68021号 Shmuel Katz;奥德·什穆埃利 三 1987 公平终止的完整规则。 Zbl 0612.68021号 奥尔纳·格伦伯格;尼西姆·弗朗西兹;Shmuel Katz 2 1986 证明Prolog程序的终止。 Zbl 0577.68023号 尼西姆·弗朗西兹;奥尔纳·格隆伯格;Shmuel Katz;阿米尔·普努利 4 1985 强公平终止的完整证明规则。 Zbl 0558.68013号 奥尔纳·格伦伯格;尼西姆·弗朗西兹;Shmuel Katz 2 1984 使用不变量进行程序优化。 Zbl 0385.68015号 Shmuel Katz 1 1978 自动编程逻辑研究。由Shmuel Katz和Karl Levitt贡献。 Zbl 0378.68006号 佐哈尔·曼纳;理查德·沃尔丁格 三 1977 程序的逻辑分析。 Zbl 0353.68016号 Shmuel Katz;佐哈尔·曼纳 18 1976 进一步了解终止。 Zbl 0304.68025号 Shmuel Katz;佐哈尔·曼纳 4 1975 所有引用出版物 前5名被引用出版物 全部的 前5名336位作者引用 11 Doron A.Peled。 9 Shmuel Katz 7 圣埃芬·德维斯梅斯 7 加迪·陶本费尔德 6 尼西姆·弗朗西兹 5 丽娜·德希特 5 什洛米·多列夫 5 谢·库滕 5 什洛莫·莫兰 4 阿纳伊斯·杜兰德 4 奥尔纳·格伦伯格 4 古罗夫,帝力 4 玛丽克·赫斯曼 4 米歇尔·雷纳尔 4 范格拉贝克、罗伯特·扬 三 Karine Altisen公司 三 古奥热·安东尼奥 三 Krzysztof Rafal公寓 三 乔夫罗伊·博基尔 三 阿乔伊·库马尔·达塔 三 曼弗雷德·德罗斯特 三 Mehmet Hakan卡拉塔 三 Srimani,Pradip K。 2 拉杰夫·阿鲁尔 2 汤姆·J·阿梅罗特。 2 巴鲁克·奥尔布奇 2 阿兰·库尼尔 2 西尔维·德拉特 2 阿扎德法尔赞 2 托马斯·亨辛格(Thomas A.Henzinger)。 2 大卫·伊尔辛卡斯 2 以色列,阿莫斯 2 焦鹏程 2 科莱特·约翰恩 2 Yuh-Jzer Joung 2 卡普尔,迪帕克 2 Kulkarni,Sandeep S。 2 Kurki Suonio,雷诺 2 迪特里赫·库斯克 2 拉希里、舒文杜·库马尔 2 尼扎尔·拉尼夫 2 伊莎·曼苏尔 2 拉杜·马里内斯库 2 马达瓦恩·穆昆德 2 米哈伊尔·内斯特伦科五世。 2 庞、军 2 大卫·佩勒 2 小弗朗克 2 米哈伊尔·拉斯金 2 克里斯蒂安·谢德勒 2 马吕斯·科林·西拉吉 2 巴扎马内里·苏布拉曼尼亚姆·蒂亚加拉扬 2 塞巴斯蒂安·蒂谢尔 2 尼尔·扎查 2 Van den Bussche,简 2 Kimmo Varpaaniemi公司 2 托马斯·威尔克 2 皮埃尔·沃尔珀 1 福阿德·阿布贾拉德 1 维威克·阿格拉瓦拉 1 阿米尔·侯赛因·阿拉维 1 艾尔维拉·阿尔伯特 1 彼得·阿尔瓦罗 1 达内什瓦·阿姆罗拉希 1 詹姆斯·H·安德鲁斯。 1 米拉·阿彻(Myla M.Archer)。 1 海格·阿尔法伊 1 特奥多尔·阿塔纳科维奇(Teodor M.Atanackovic)。 1 保罗·C·阿提。 1 回来了,拉尔夫·约翰 1 拉吉夫·巴格罗迪亚。 1 珍妮特·巴恩斯 1 彼得罗·巴罗尼 1 埃齐奥·巴托西 1 贝拉德,贝特里奇 1 安德鲁·伯恩斯 1 克里斯蒂安·贝西尔 1 吉里什·巴特(Girish S.Bhat)。 1 Ofer比兰 1 斯蒂法诺·比斯塔雷利 1 尼古拉·S·比约纳。 1 劳拉·博奇 1 保罗·博尔迪 1 瓦西姆·博沙尼 1 安娜丽莎·博西 1 卢克·布热 1 El Houssine Bouyakhf 1 马克·博伊尔 1 费利佩·布拉乔 1 勇敢,伊扎克 1 安卡·布朗 1 Bui,马克 1 詹娜·伯曼 1 多龙·布斯坦 1 弗兰克·巴特勒 1 罗德里克·查普曼 1 普拉纳·库马尔·乔杜里 1 谢·切尼 1 陈仁三 1 以色列西顿 …还有236位作者 全部的 前5名47篇连载文章被引用 31 理论计算机科学 21 分布式计算 10 信息与计算 8 人工智能 8 信息处理信件 8 计算的形式方面 8 系统设计中的形式化方法 7 信息学报 5 计算机与系统科学杂志 三 控制论 三 符号计算杂志 三 国际并行程序设计杂志 三 自动推理杂志 三 程序设计中的逻辑和代数方法杂志 2 计算 2 信息科学 2 计算机程序设计科学 2 国际计算机科学基础杂志 2 约束条件 2 并行算法与应用 2 国际结构稳定性与动力学杂志 1 机械学报 1 国际系统科学杂志 1 苏联数学杂志 1 SIAM计算机杂志 1 计算机科学与技术杂志 1 算法 1 并行与分布式计算杂志 1 实时系统 1 吉泰。实验与理论人工智能杂志 1 离散事件动态系统 1 国际计算机数学杂志 1 RAIRO公司。Informatique Théorique et Applications公司 1 数学科学杂志(纽约) 1 函数编程杂志 1 数学与人工智能年鉴 1 固体数学与力学 1 美国医学会杂志 1 欧洲力学杂志。A.固体 1 逻辑与代数程序设计杂志 1 系统科学与复杂性杂志 1 逻辑程序设计理论与实践 1 萨达纳 1 应用数学与力学进展 1 中国计算机科学前沿 1 计算机科学前沿 1 计算机科学评论 全部的 前5名在12个字段中引用 179 计算机科学(68-XX) 22 数学逻辑和基础(03-XX) 7 运筹学、数学规划(90-XX) 6 可变形固体力学(74-XX) 5 系统论;控制(93至XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 2 信息和通信理论,电路(94-XX) 1 组合数学(05-XX) 1 阶、格、有序代数结构(06-XX) 1 场论和多项式(12-XX) 1 交换代数(13-XX) 1 统计学(62-XX) 按年份列出的引文