编辑配置文件(在新选项卡中打开) 伊莱·辛格曼 合著者距离 作者ID: 辛格曼·埃利 发布日期: 伊莱·辛格曼 编入索引的文档: 7出版物自1996年起 合著者: 19位合著者具有7联合出版物 361联合作者 全部的 前5名合著者 0 单作者的 4 莫西·亚亚科夫·瓦尔迪 三 大卫·哈雷 2 菲克斯,利莫 2 塞拉州马多尔·海姆 2 罗伯托·塞巴斯蒂亚尼 2 安德烈亚斯·蒂梅耶 2 斯特凡诺·托内塔 1 罗伊·阿莫尼 1 塔马拉·阿隆斯 1 Elster,Elad公司 1 阿隆·弗莱舍 1 罗布·特里斯坦·格特 1 鲍里斯·金斯堡 1 托默·坎扎 1 Avner Landver公司 1 迈克尔·米沙利 1 乔纳森·沙列夫 1 Zbar,耶尔 1 Lenore D.扎克。 系列 1 纯逻辑与应用逻辑年鉴 1 信息与计算 1 系统设计中的形式化方法 领域 6 计算机科学(68至XX) 4 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 5出版物有被引用35中的次35文件 引用人▼ 年份▼ ForSpec时态逻辑:一种新的时态属性特定语言。 Zbl 1043.68563号 罗伊·阿莫尼;菲克斯,利莫;阿隆·弗莱舍;罗伯·格思;鲍里斯·金斯堡;托默·坎扎;Avner Landver公司;塞拉州马多尔·海姆;伊莱·辛格曼;安德烈亚斯·蒂梅耶;莫舍·瓦尔迪。;Zbar,耶尔 24 2002 GSTE是分区模型检查。 Zbl 1103.68638号 罗伯托·塞巴斯蒂亚尼;伊莱·辛格曼;斯特凡诺·托内塔;莫舍·瓦尔迪。 4 2004 微码向后兼容性的形式验证。 兹比尔1081.68602 塔马拉·阿隆斯;Elster,Elad公司;菲克斯,利莫;塞拉州马多尔·海姆;迈克尔·米沙利;乔纳森·沙列夫;伊莱·辛格曼;安德烈亚斯·蒂梅耶;莫舍·瓦尔迪。;Lenore D.扎克。 4 2005 关于非规则PDL的更多信息:有限模型和类斐波那契程序。 Zbl 0856.68131号 大卫·哈雷;伊莱·辛格曼 2 1996 GSTE是分区模型检查。 Zbl 1129.68044号 罗伯托·塞巴斯蒂亚尼;伊莱·辛格曼;斯特凡诺·托内塔;莫舍·瓦尔迪。 1 2007 GSTE是分区模型检查。 Zbl 1129.68044号 罗伯托·塞巴斯蒂亚尼;伊莱·辛格曼;斯特凡诺·托内塔;莫舍·瓦尔迪。 1 2007 微码向后兼容性的形式验证。 Zbl 1081.68602号 塔马拉·阿隆斯;Elster,Elad公司;菲克斯,利莫;塞拉州马多尔·海姆;米夏利,迈克尔;乔纳森·沙列夫;伊莱·辛格曼;安德烈亚斯·蒂梅耶;莫舍·瓦尔迪。;Lenore D.扎克。 4 2005 GSTE是分区模型检查。 Zbl 1103.68638号 罗伯托·塞巴斯蒂亚尼;伊莱·辛格曼;斯特凡诺·托内塔;莫舍·瓦尔迪。 4 2004 ForSpec时态逻辑:一种新的时态属性特定语言。 Zbl 1043.68563号 罗伊·阿莫尼;菲克斯,利莫;阿隆·弗莱舍;罗伯·格思;鲍里斯·金斯堡;托默·坎扎;Avner Landver公司;塞拉州马多尔·海姆;伊莱·辛格曼;安德烈亚斯·蒂梅耶;莫舍·瓦尔迪。;Zbar,耶尔 24 2002 关于非规则PDL的更多信息:有限模型和类斐波那契程序。 Zbl 0856.68131号 大卫·哈雷;伊莱·辛格曼 2 1996 所有引用出版物 前5名被引用出版物 全部的 前5名73位作者引用 6 Moshe Ya’akov瓦尔迪 三 弗拉德·鲁苏 三 马丁·齐默尔曼 2 辛迪·艾斯纳 2 费斯曼,达纳 2 詹斯·奥利弗·古斯菲尔德 2 瑞典雅各布斯 2 奥尔纳·库普弗曼 2 马丁·兰格 2 多雷尔·卢卡努 2 拉杜·马特埃斯库 2 马库斯·穆勒·奥尔姆 2 Leander Tentrup公司 1 安德烈·阿鲁索艾 1 阿夫尼,盖伊 1 肖恩·阿佐帕迪 1 弗兰兹·巴德 1 安德烈亚斯·鲍尔 1 劳拉·博泽利 1 Jörg Brauer 1 玛莎·契契克 1 瑟·特凡·乔巴赫 1 克里斯蒂安·达克斯 1 Hidde德容 1 贝内特·德弗鲁 1 克里斯蒂安·迪利茨 1 埃斯特尔·杜马斯 1 史蒂夫·伊斯特布鲁克 1 彼得·费蒙维尔 1 马蒂亚斯·福格尔 1 休伯特·加拉维 1 本尼·戈德林 1 郭文胜 1 阿里·古芬克尔 1 约翰·W·哈夫利切克。 1 威廉·N·洪。 1 维克托·彼得罗维奇·伊万尼科夫 1 雅克·朱利亚德 1 坎金,A.S。 1 费利克斯·克莱特克 1 亚历山大·科萨切夫。 1 维克托·五·库利亚明。 1 Lai,阿尔伯特·Y·C。 1 弗雷德里克·朗 1 李、屯 1 刘婉薇 1 克里斯托夫·Löding 1 卡斯滕·卢茨 1 毛晓光 1 皮埃尔·阿莱·马森 1 汤姆·梅尔姆 1 佩德罗·蒙泰罗。 1 苏米特·奈恩 1 克里斯托夫·奥雷姆 1 E.乌多特。 1 亚历山大·彼得伦科。 1 尼尔·皮特曼 1 托马斯·莱因巴赫 1 格里高·罗什乌 1 克里斯汀·伊冯·罗泽尔 1 塞萨尔·桑切斯 1 杰拉尔多·施奈德 1 罗伯托·塞巴斯蒂亚尼 1 奥利维尔·塞雷 1 伊莱·辛格曼 1 拉法·索姆拉 1 宋晓宇 1 斯特里赫曼(Ofer Strichman) 1 阿文·费南托(Alwen Fernanto Tiu) 1 斯特凡诺·托内塔 1 王,季 1 王瑞 1 杨国武 全部的 前5名13篇连载文章中引用 4 信息与计算 4 系统设计中的形式化方法 三 信息学报 2 计算的形式方面 2 应用数学杂志 1 信息处理信件 1 编程和计算机软件 1 理论计算机科学 1 自动推理杂志 1 逻辑与代数程序设计杂志 1 ACM计算逻辑事务 1 计算机科学评论 1 程序设计中的逻辑和代数方法杂志 在4个字段中引用 35 计算机科学(68至XX) 19 数学逻辑和基础(03-XX) 1 一般代数系统(08-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文