编辑配置文件(在新选项卡中打开) 安德烈·阿鲁索艾 合著者距离 作者ID: 阿鲁索艾·安德烈 发布日期: 安德烈·阿鲁索艾 外部链接: ORCID公司 已编制索引的文档: 10出版物自2014年起 合著者: 7合著者具有9联合出版物 140位合著者 全部的 前5名合著者 1 单作者的 8 弗拉德·鲁苏 7 多雷尔·卢卡努 三 格里高·罗什乌 三 ☑特拉安·弗洛林(Traian Florin) 2 瑟·特凡·乔巴赫 2 安德烈·特夫内斯库 1 大卫·E·诺瓦克。 系列 三 程序设计中的逻辑和代数方法杂志 1 《数学与应用》(Revue Roumaine de Mathématiques Pures et Appliques) 1 符号计算杂志 1 计算机语言、系统和结构 字段 9 计算机科学(68至XX) 4 数学逻辑和基础(03-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 8出版物有被引用34中的次19文件 引用人▼ 年份▼ 符号执行的通用框架:共创方法。 Zbl 1356.68044号 多雷尔·卢卡努;弗拉德·鲁苏;安德烈·阿鲁索艾 12 2017 验证重写逻辑规范的可达性逻辑属性。 Zbl 1321.68359号 多雷尔·卢卡努;弗拉德鲁苏;安德烈·阿鲁索艾;大卫·诺瓦克 7 2015 语言定义是重写理论。 Zbl 1356.68125号 弗拉德·鲁苏;多雷尔·卢卡努;erbénuţ\355 ;Ņé,Traian-Florin;安德烈·阿鲁索艾;安德烈·特夫内斯库;格里高·罗什乌 5 2016 基于语言转换的符号执行。 Zbl 1387.68047号 安德烈·阿鲁索艾;多雷尔·卢卡努;弗拉德·鲁苏 三 2015 语言定义是重写理论。 Zbl 1356.68115号 安德烈·阿鲁索艾;多雷尔·卢卡努;弗拉德·鲁苏;⑩erbénuţ\355 ;Ņé,Traian-Florin;安德烈·特夫内斯库;格里高·罗什乌 三 2014 统一模内置。 Zbl 1509.68116号 瑟·特凡·乔巴赫;安德烈·阿鲁索艾;多雷尔·卢卡努 2 2018 递增地证明可达性逻辑公式。 Zbl 1367.68076号 弗拉德·鲁苏;安德烈·阿鲁索艾 1 2016 认证区块链的Findel衍生品。 兹比尔1518.91271 安德烈·阿鲁索艾 1 2021 认证区块链的Findel衍生品。 Zbl 1518.91271号 安德烈·阿鲁索艾 1 2021 统一模块内置。 Zbl 1509.68116号 瑟·特凡·乔巴赫;安德烈·阿鲁索艾;多雷尔·卢卡努 2 2018 符号执行的通用框架:共创方法。 兹比尔1356.68044 多雷尔·卢卡努;弗拉德·鲁苏;安德烈·阿鲁索艾 12 2017 语言定义是重写理论。 Zbl 1356.68125号 弗拉德·鲁苏;多雷尔·卢卡努;erbénuţ\355 ;Ņé,Traian-Florin;安德烈·阿鲁索艾;安德烈·特夫内斯库;格里高·罗什乌 5 2016 递增地证明可达性逻辑公式。 Zbl 1367.68076号 弗拉德·鲁苏;安德烈·阿鲁索艾 1 2016 验证重写逻辑规范的可达性逻辑属性。 Zbl 1321.68359号 多雷尔·卢卡努;弗拉德·鲁苏;安德烈·阿鲁索艾;大卫·诺瓦克 7 2015 基于语言转换的符号执行。 Zbl 1387.68047号 安德烈·阿鲁索艾;多雷尔·卢卡努;弗拉德·鲁苏 三 2015 语言定义是重写理论。 Zbl 1356.68115号 安德烈·阿鲁索艾;多雷尔·卢卡努;弗拉德·鲁苏;Şerbănuţă,特拉恩·弗洛林;安德烈·特夫内斯库;格里高·罗什乌 三 2014 所有引用出版物 前5名被引用出版物 全部的 前5名30位作者引用 8 弗拉德·鲁苏 7 多雷尔·卢卡努 5 安德烈·阿鲁索艾 三 何塞·梅塞盖尔·瓜伊塔 三 格里高·罗什乌 2 玛丽亚·阿尔普特 2 瑟·特凡·乔巴赫 2 圣地亚哥埃斯科瓦尔 2 大卫·E·诺瓦克。 1 马西莫·巴托莱蒂 1 马塞洛·玛丽亚·邦桑格 1 安德烈·塞巴斯蒂安·布鲁安 1 蒋新宇 1 安吉尔·昆卡-奥尔特加 1 德波尔(Frank S。 1 弗朗西斯科·杜兰 1 史蒂文·艾克 1 高基町五指 1 阿尔贝托·卢什·拉富恩特 1 亚历山德鲁·伊昂(Alexandru-Ioan)伦古(Lungu) 1 马丁·奥列特,纳西索 1 Kazuhiro绪方 1 丹尼尔·帕尔多 1 阿德里安·里斯科 1 鲁宾·鲁比奥 1 ☑特拉安·弗洛林(Traian Florin) 1 斯蒂芬·斯基里克 1 安德烈·特夫内斯库 1 卡罗琳·塔尔科特。 1 艾丽西亚·维拉纽埃娃 4篇连载文章中引用 8 程序设计中的逻辑和代数方法杂志 4 计算的形式方面 1 符号计算杂志 1 计算机基础理论 全部的 前5名在6个字段中引用 18 计算机科学(68至XX) 6 数学逻辑和基础(03-XX) 2 一般代数系统(08-XX) 1 范畴理论;同调代数(18-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文