编辑配置文件(在新选项卡中打开) 詹斯·努普 合著者距离 作者ID: 诺普·詹斯 发布日期: 詹斯·努普 已编制索引的文档: 12出版物自1989年起 合著者: 10位合著者具有10联合出版物 272合著作者 全部的 前5名合著者 2 单作者的 5 伯恩哈德·斯特芬 三 鲁兴,奥利弗 2 科瓦奇,劳拉·伊尔迪科 2 雅各布兹维奇梅尔 1 Jean-François科勒德 1 马尼什·库马尔·古普塔 1 Ju,Roy Dz-Ching先生 1 爱德华·梅霍费尔 1 迈克尔·F·P·奥博伊尔。 1 基沙夫·平加里。 系列 2 理论计算机科学 1 符号计算杂志 领域 12 计算机科学(68至XX) 1 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 5出版物有被引用15次11文件 引用人▼ 年份▼ 值流图:用于优化程序转换的程序表示。 Zbl 0765.68146号 伯恩哈德·斯特芬;简斯·诺普;鲁兴,奥利弗 6 1990 检测变量等式:效率与精度相结合。 Zbl 0957.68031号 鲁兴,奥利弗;詹斯·努普;伯恩哈德·斯特芬 4 1999 有限常数:一组新的可判定常数的特征。 Zbl 0755.68035号 伯恩哈德·斯特芬;詹斯·努普 2 1989 有限常数:一组新的可判定常数的特征。 Zbl 0745.68040号 伯恩哈德·斯特芬;詹斯·努普 2 1991 稀疏代码运动。 Zbl 1323.68182号 鲁兴,奥利弗;詹斯·努普;伯恩哈德·斯特芬 1 2000 稀疏代码运动。 兹比尔1323.68182 鲁兴,奥利弗;詹斯·努普;伯恩哈德·斯特芬 1 2000 检测变量等式:效率与精度相结合。 Zbl 0957.68031号 鲁兴,奥利弗;詹斯·努普;伯恩哈德·斯特芬 4 1999 有限常数:一组新的可判定常数的特征。 Zbl 0745.68040号 伯恩哈德·斯特芬;詹斯·努普 2 1991 值流图:用于优化程序转换的程序表示。 Zbl 0765.68146号 伯恩哈德·斯特芬;詹斯·努普;鲁兴,奥利弗 6 1990 有限常数:一组新的可判定常数的特征。 Zbl 0755.68035号 伯恩哈德·斯特芬;詹斯·努普 2 1989 所有引用出版物 前5名被引用出版物 全部的 前5名19位作者引用 4 伯恩哈德·斯特芬 2 苏珊·霍维茨 2 代表,Thomas W。 2 穆利·萨吉夫 2 赫尔穆特·塞德尔 1 库纳尔·班纳吉 1 马蒂亚斯·海登堡 1 詹斯·努普 1 Löwe,Welf M。 1 乔纳斯·伦德伯格 1 奇塔兰詹·曼达尔 1 马库斯·穆勒·奥尔姆 1 阿尔尼斯·穆托维 1 Pai,Rekha R。 1 迈克尔·彼特 1 鲁兴,奥利弗 1 迪班卡·萨尔卡 1 斯特凡·舒尔泽·弗里林豪斯 1 马丁·特拉普 5篇连载文章中引用 2 理论计算机科学 1 计算的形式方面 1 计算系统理论 1 计算机语言、系统和结构 1 计算机科学中的逻辑方法 在3个字段中引用 11 计算机科学(68至XX) 三 数学逻辑和基础(03-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文