编辑配置文件(在新选项卡中打开) 安德烈·特凡 合著者距离 作者ID: 安德烈·斯特凡 发布日期: 安德烈·特凡;斯特凡·安德烈 编入索引的文档: 17出版物自1995年起 合著者: 12位合著者具有15联合出版物 105位合作作者 全部的 前5名合著者 2 单作者的 6 魏恩根·钦 4 曼弗雷德·库德莱克 4 克里斯蒂安·马萨拉古 3 格里戈拉什 2 萨尔瓦多·瓦莱里奥·卡瓦迪尼 2 Cheng,Albert Mo Kim(艾伯特·莫·金) 1 瓦西里·阿莱巴 1 休·安德森 1 邱小成 1 比阿特丽斯·卢卡 1 拉杜·特凡·尼古列斯库 1 弗拉德·勒杜勒斯库 全部的 前5名系列 5 Anale tiințifice ale University \539'ii Al.I.Cuza din IașI。努瓦里。信息化 3 信息学报 1 阿奈勒大学(Analele University)ii Bucure。Matematic?-信息 1 电气电子工程师学会计算机期刊 1 理论计算机科学 1 符号计算杂志 1 计算的形式方面 1 人工智能综述 1 计算机科学中的数学 全部的 前5名领域 15 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 2 数论(11-XX) 1 复变量的函数(30年XX月) 1 差分和函数方程(39至XX) 1 运筹学、数学规划(90-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 7出版物有被引用12中的次11文件 引用人▼ 年份▼ 一种新的正则化单字母上下文无关文法的算法。 Zbl 1059.68052号 安德烈·特凡;萨尔瓦多·瓦莱里奥·卡瓦迪尼;魏恩根·钦 3 2003 关于科拉茨猜想。 Zbl 0959.11008号 安德烈·特凡;克里斯蒂安·马萨拉古 3 1998 自嵌入上下文无关文法和常规对应文法。 Zbl 1072.68050号 斯特凡·安德烈;魏恩根·钦;萨尔瓦多·瓦莱里奥·卡瓦迪尼 2 2004 通过反转分辨率计算可满足性。 Zbl 1099.68098号 安德烈·特凡 1 2004 关于Collatz问题的一些结果。 Zbl 1003.11005号 安德烈·特凡;曼弗雷德·库德莱克;拉杜·特凡·尼古列斯库 1 2000 计算多项式运行时属性。 Zbl 1159.68361号 休·安德森;邱小成;斯特凡·安德烈;比阿特丽斯·卢卡 1 2005 实时逻辑指定系统的有效验证和优化。 Zbl 1368.68178号 安德烈·特凡;Cheng,Albert Mo Kim(艾伯特·莫·金) 1 2009 实时逻辑指定系统的有效验证和优化。 兹比尔1368.68178 安德烈·特凡;Cheng,Albert Mo Kim(艾伯特·莫·金) 1 2009 计算多项式运行时属性。 Zbl 1159.68361号 休·安德森;邱小成;斯特凡·安德烈;比阿特丽斯·卢卡 1 2005 自嵌入上下文无关文法和常规对应文法。 Zbl 1072.68050号 斯特凡·安德烈;魏恩根·钦;萨尔瓦多·瓦莱里奥·卡瓦迪尼 2 2004 通过反转分辨率计算可满足性。 Zbl 1099.68098号 安德烈·特凡 1 2004 一种正则化单字母上下文无关语法的新算法。 Zbl 1059.68052号 安德烈·特凡;萨尔瓦多·瓦莱里奥·卡瓦迪尼;魏恩根·钦 3 2003 关于Collatz问题的一些结果。 Zbl 1003.11005号 安德烈·特凡;曼弗雷德·库德莱克;拉杜·特凡·尼古列斯库 1 2000 关于科拉茨猜想。 Zbl 0959.11008号 安德烈·特凡;克里斯蒂安·马萨拉古 3 1998 所有引用出版物 前5名被引用出版物 全部的 前5名24位作者引用 2 彼得·索西克 1 瓦西里·阿莱巴 1 JoséMaría阿米戈 1 安德烈·特凡 1 张惠友 1 魏恩根·钦 1 Luděk市Cienciala 1 格雷姆·恒河 1 Hassan,斯克·萨里夫 1 叶夫根尼·哈萨克夫 1 李健芬 1 克里斯蒂安·马萨拉古 1 豪尔赫·纳瓦斯(Jorge A.Navas)。 1 比阿特丽斯·帕拉诺 1 乔瓦尼·皮奇奇尼 1 卢卡普里吉奥尼罗 1 阿方索·罗德里格斯-帕顿 1 彼得·沙赫特 1 迈克尔·R·施沃布。 1 Shiue,Peter Jau-Shyong先生 1 哈拉尔德·森德加德 1 彼得·詹姆斯·斯塔基 1 拉玛·文卡特 1 朱旭东 全部的 前5名8篇连载文章中引用 2 国际计算机科学基础杂志 1 信息学报 1 国际数学与数学科学杂志 1 计算的形式方面 1 软计算 1 计算机基础理论 1 逻辑程序设计理论与实践 1 应用数学与计算杂志 在5个字段中引用 9 计算机科学(68至XX) 2 数论(11-XX) 1 数学逻辑和基础(03-XX) 1 动力系统和遍历理论(37至XX) 1 运筹学、数学规划(90-XX) 按年份列出的引文