×
编辑配置文件（在新选项卡中打开）

安德烈·特夫内斯库

合著者距离
作者ID： 斯蒂芬内斯库·安德雷近期zbMATH文章作者：“ötefénescu，Andrei”
发布日期： 安德烈·特夫内斯库；安德烈·斯特凡内斯库；tefánescu，安德烈
已编制索引的文档： 16出版物自1970年以来
合著者： 18位合著者具有11联合出版物
267位合作作者
全部的 前5名

合著者

三 单作者的
7 格里高·罗什乌
4 Şerbănuţă，特拉恩·弗洛林
三 瑟·特凡·乔巴赫
三 布兰登·摩尔（Brandon M.Moore）。
2 安德烈·阿鲁索艾
2 多雷尔·卢卡努
2 拉杜·梅鲁塔
2 何塞·梅塞盖尔·瓜伊塔
2 弗拉德·鲁苏
2 斯蒂芬·斯基里克
1 波士顿，布雷特
1 塞缪尔·布雷斯
1 乔治·卡里里
1 乔伊·多兹
1 多兹，迈克
1 布赖恩·霍夫曼
1 阿兰·卡萨布（Alain J.Kassab）。
1 帕塔萨拉西马杜苏丹
1 朱塞佩·奥奇诺
1 亚当·佩彻
1 邱晓康
全部的 前5名

系列

1 RAIRO公司。Recherche Opérationnelle公司
1 优化
1 鲁马尼科学数学公报。Nouvelle Série公司
1 计算机基础理论
1 阿奈勒大学（Analele University’ii Bucure’ti，Matematic’-Mecanica）
1 计算机科学中的逻辑方法
1 程序设计中的逻辑和代数方法杂志
全部的 前5名

领域

11 计算机科学（68至XX）
6 数学逻辑和基础（03-XX）
三 博弈论、经济学、金融和其他社会和行为科学（91-XX）
1 实际功能（26年X月X日）
1 变分法与最优控制；最优化（49至XX）
1 一般拓扑结构（54至XX）
1 经典热力学，传热（80-XX）
1 运筹学、数学规划（90-XX）
1 信息与通信理论、电路（94-XX）

按年份列出的出版物

所有引用出版物 前5名被引用出版物

zbMATH Open中包含的引文

13出版物有被引用83中的次40文件 引用人▼ 年份▼
单程可达性逻辑。 兹比尔1366.68182
格里高·罗什乌；tefánescu，安德烈；Ciobáca，ötefan；布兰登·摩尔（Brandon M.Moore）。
20
2013
全通可达性逻辑。 Zbl 1416.68052号
安德烈·特夫内斯库；瑟·特凡·乔巴赫；拉杜·梅鲁塔；布兰登·摩尔（Brandon M.Moore）。；Şerbănută，特拉恩·弗洛林；格里高·罗什乌
17
2014
从白逻辑到匹配逻辑可达性。 Zbl 1372.68066号
格里高·罗什乌；安德烈·特夫内斯库
11
2012
面向操作语义和公理语义的统一理论。 Zbl 1367.68075号
格里高·罗什乌；安德烈·特夫内斯库
8
2012
归纳树数据结构的递归证明。 Zbl 1321.68226号
帕塔萨拉西马杜苏丹；邱晓康；安德烈·斯特凡内斯库
6
2012
一个一般的最小最大定理。 Zbl 0578.49020号
斯特夫内斯库，A。
6
1985
语言定义是重写理论。 Zbl 1356.68125号
弗拉德·鲁苏；多雷尔·卢卡努；erbénuţ\355 ;Ņé，Traian-Florin；安德烈·阿鲁索艾；安德烈·特夫内斯库；格里高·罗什乌
5
2016
重写理论的基于构造函数的可达性逻辑。 Zbl 1471.68075号
斯蒂芬·斯基里克；安德烈·斯特凡内斯库；何塞·梅塞格尔
5
2018
重写理论的基于构造函数的可达性逻辑。 Zbl 1471.68076号
斯蒂芬·斯基里克；安德烈·斯特凡内斯库；何塞·梅塞格尔
4
2020
语言定义是重写理论。 Zbl 1356.68115号
安德烈·阿鲁索艾；多雷尔·卢卡努；弗拉德·鲁苏；erbénuţ\355 ;Ņé，Traian-Florin；安德烈·特夫内斯库；格里高·罗什乌
三
2014
全通可达性逻辑。 Zbl 1421.68015号
安德烈·特夫内斯库；斯蒂芬·乔布；拉杜·梅鲁塔；布兰登·摩尔；格里高·罗什乌；⑩erbnuṭ呃，Traian Florin
三
2019
可转移效用合作博弈的解决方案。 Zbl 0857.90145号
斯特凡内斯库，A。
2
1994
已验证每个人的密码。 Zbl 1493.68206号
波士顿，布雷特；塞缪尔·布雷斯；乔伊·多兹；多兹，迈克；布赖恩·霍夫曼；亚当·佩彻；安德烈·斯特凡内斯库
1
2021
已验证每个人的密码。 Zbl 1493.68206号
波士顿，布雷特；塞缪尔·布雷斯；乔伊·多兹；多兹，迈克；布赖恩·霍夫曼；亚当·佩彻；安德烈·斯特凡内斯库
1
2021
重写理论的基于构造函数的可达性逻辑。 Zbl 1471.68076号
斯蒂芬·斯基里克；安德烈·斯特凡内斯库；何塞·梅塞格尔
4
2020
全通可达性逻辑。 Zbl 1421.68015号
安德烈·特夫内斯库；斯蒂芬·乔布；拉杜·梅鲁塔；布兰登·摩尔；格里高·罗什乌；⑩erbnuṭ呃，Traian Florin
三
2019
重写理论的基于构造函数的可达性逻辑。 Zbl 1471.68075号
斯蒂芬·斯基里克；安德烈·斯特凡内斯库；何塞·梅塞格尔
5
2018
语言定义是重写理论。 Zbl 1356.68125号
弗拉德·鲁苏；多雷尔·卢卡努；erbénuţ\355 ;Ņé，Traian-Florin；安德烈·阿鲁索艾；安德烈·特夫内斯库；格里高·罗什乌
5
2016
全通可达性逻辑。 Zbl 1416.68052号
安德烈·特夫内斯库；瑟·特凡·乔巴赫；拉杜·梅鲁塔；布兰登·摩尔（Brandon M.Moore）。；erbnut，Traian Florin；格里高·罗什乌
17
2014
语言定义是重写理论。 Zbl 1356.68115号
安德烈·阿鲁索艾；多雷尔·卢卡努；弗拉德·鲁苏；erbénuţ\355 ;Ņé，Traian-Florin；安德烈·特夫内斯库；格里高·罗什乌
三
2014
单程可达性逻辑。 兹比尔1366.68182
格里高·罗什乌；tefánescu，安德烈；Ciobáca，ötefan；布兰登·摩尔（Brandon M.Moore）。
20
2013
从白逻辑到匹配逻辑可达性。 Zbl 1372.68066号
格里高·罗什乌；安德烈·特夫内斯库
11
2012
面向操作语义和公理语义的统一理论。 Zbl 1367.68075号
格里高·罗什乌；安德烈·特夫内斯库
8
2012
归纳树数据结构的递归证明。 Zbl 1321.68226号
帕塔萨拉西马杜苏丹；邱晓康；安德烈·斯特凡内斯库
6
2012
可转移效用合作博弈的解决方案。 Zbl 0857.90145号
斯特凡内斯库，A。
2
1994
一个一般的最小-最大定理。 Zbl 0578.49020号
斯特夫内斯库，A。
6
1985
所有引用出版物 前5名被引用出版物
全部的 前5名

被67位作者引用

9 弗拉德·鲁苏
8 多雷尔·卢卡努
8 格里高·罗什乌
6 安德烈·阿鲁索艾
5 何塞·梅塞盖尔·瓜伊塔
三 圣地亚哥埃斯科瓦尔
2 玛丽亚·阿尔普特
2 瑟·特凡·乔巴赫
2 弗朗西斯科·杜兰
2 史蒂文·艾克
2 马丁·奥列特，纳西索
2 直纪西田
2 大卫·E·诺瓦克。
2 鲁本·卢比奥
2 Şerbănuţă，特拉恩·弗洛林
2 安德烈·特夫内斯库
2 卡罗琳·塔尔科特。
1 布莱恩，马丁
1 陈一云
1 Cid，卡洛斯·弗雷德里科
1 科恩、利隆
1 安吉尔·昆卡-奥尔特加
1 卡亚·德乌瑟
1 董金松
1 马可·费拉
1 高基町五指
1 安德鲁·加塞克
1 埃尔萨·甘特。
1 Hoa，Koh Chuen村
1 侯哲
1 沙迦·伊扎基
1 多米尼克·克伦普
1 Misaki小岛
1 悉达哈·克里希纳
1 菲利普·伦岑
1 李丽怡
1 李兆鹏
1 刘，杨
1 克里斯托夫·Löding
1 萨尔瓦多卢卡斯
1 亚历山德鲁·伊昂（Alexandru-Ioan）伦古（Lungu）
1 帕塔萨拉西马杜苏丹
1 拉杜·梅鲁塔
1 布兰登·摩尔（Brandon M.Moore）。
1 穆拉利，阿迪蒂亚
1 帕维尔·G·瑙莫夫。
1 Kazuhiro绪方
1 丹尼尔·帕尔多
1 Gennaro帕拉托
1 希拉·佩勒
1 卢卡斯·佩尼亚
1 Pham，团结
1 球员，雷切尔
1 波利卡波娃，娜迪亚
1 阿德里安·里斯科
1 雷娜·罗布森
1 鲁本·罗伊，N.S。
1 大卫·萨南
1 伊利亚·谢尔盖
1 斯蒂芬·斯基里克
1 亚历山大·萨默斯。
1 阿文·费南托（Alwen Fernanto Tiu）
1 艾丽西亚·维拉纽瓦
1 迈克尔·沃伦。
1 托马斯·怀斯
1 张淑君
1 张瑜
全部的 前5名

11篇连载文章中引用

10 程序设计中的逻辑和代数方法杂志
三 自动推理杂志
三 计算的形式方面
1 人工智能
1 符号计算杂志
1 计算机科学与技术杂志
1 信息与计算
1 系统设计中的形式化方法
1 计算机基础理论
1 计算机语言、系统和结构
1 计算机科学中的逻辑方法
全部的 前5名

在6个字段中引用

38 计算机科学（68至XX）
15 数学逻辑和基础（03-XX）
2 一般代数系统（08-XX）
1 范畴理论；同调代数（18-XX）
1 量子理论（81-XX）
1 信息与通信理论、电路（94-XX）

按年份列出的引文