编辑配置文件(在新选项卡中打开) 丹尼·盖斯特 合著者距离 作者ID: geist.danny公司 发布日期: 丹尼·盖斯特 已编制索引的文档: 2出版物自2000年起 合著者: 3位合著者具有2联合出版物 133位合作作者 合著者 0 单作者的 2 奥尔纳·格隆伯格 2 泰米尔·海曼 2 阿萨夫·舒斯特 系列 1 系统设计中的形式化方法 领域 2 计算机科学(68至XX) 1 信息与通信理论、电路(94-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 2出版物有被引用10中的次9文件 引用人▼ 年份▼ 实现超大电路并行可达性分析的可扩展性。 Zbl 0974.68547号 泰米尔·海曼;丹尼·盖斯特;奥尔纳·格隆伯格;阿萨夫·舒斯特 5 2000 一种用于超大规模电路可达性分析的可扩展并行算法。 Zbl 1020.68107号 泰米尔·海曼;丹尼·盖斯特;奥尔纳·格隆伯格;阿萨夫·舒斯特 5 2002 一种用于超大规模电路可达性分析的可扩展并行算法。 Zbl 1020.68107号 泰米尔·海曼;丹尼·盖斯特;奥尔纳·格隆伯格;阿萨夫·舒斯特 5 2002 实现超大电路并行可达性分析的可扩展性。 Zbl 0974.68547号 泰米尔·海曼;丹尼·盖斯特;奥尔纳·格隆伯格;阿萨夫·舒斯特 5 2000 所有引用出版物 前5名被引用出版物 全部的 前5名19位作者引用 三 奥尔纳·格隆伯格 三 泰米尔·海曼 三 阿萨夫·舒斯特 1 霍华德·巴林格 1 维克托·布拉伯曼 1 Randal E.布莱恩特。 1 乔纳森·以西结 1 菲克斯,利莫 1 阿蒙·海曼 1 科妮莉亚·英格斯。 1 洛佩斯,努诺·P。 1 杰拉尔德·吕特根 1 阿尔弗雷多·奥利维罗 1 安德烈·雷巴尔琴科 1 费尔南多·沙帕奇尼克 1 罗伯托·塞巴斯蒂安 1 伊莱·辛格曼 1 斯特凡诺·托内塔 1 莫西·亚亚科夫·瓦尔迪 2篇连载文章中引用 5 系统设计中的形式化方法 1 国际计算机科学基础杂志 在1个字段中引用 9 计算机科学(68至XX) 按年份列出的引文