多雷尔·卢卡努;弗拉德·鲁苏;安德烈·阿鲁索艾 符号执行的通用框架:共创方法。 (英语) Zbl 1356.68044号 J.塞姆。计算。 80,第1部分,125-163(2017).MSC公司:68号30 68问题55 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{D.Lucanu}等人,J.Symb。计算。80,第1部分,125--163(2017;Zbl 1356.68044) 全文: 内政部 哈尔
弗拉德·鲁苏;多雷尔·卢卡努;⑩erbénuţ\355 ;Ņé,Traian-Florin;安德烈·阿鲁索艾;安德烈·特夫内斯库;格里高·罗什乌 语言定义是重写理论。 (英语) Zbl 1356.68125号 J.日志。阿尔盖布。方法计划。 85,第1部分第1号,98-120(2016).MSC公司:2012年第68季度 68号30 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{V.Rusu}等人,J.Log。阿尔盖布。方法计划。85,第1号,第1部分,98-120(2016;Zbl 1356.68125) 全文: 内政部 哈尔
安德烈·阿鲁索艾;多雷尔·卢卡努;弗拉德·鲁苏 基于语言转换的符号执行。 (英语) Zbl 1387.68047号 计算。语言系统。结构。 44,A部分,48-71(2015).MSC公司:68甲15 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Arusoaie}等人,计算。语言系统。结构。44,A部分,48--71(2015;Zbl 1387.68047) 全文: 内政部 哈尔
多雷尔·卢卡努;弗拉德·鲁苏;安德烈·阿鲁索艾;大卫·诺瓦克 验证重写逻辑规范的可达性逻辑属性。 (英语) Zbl 1321.68359号 Martí-Oliet,Narciso(编辑)等人,《逻辑、重写和并发》。纪念何塞·梅塞盖尔65岁生日的文章。查姆:施普林格(ISBN 978-3-319-23164-8/pbk;978-3-3169-23165-5/电子书)。计算机科学讲义9200,451-474(2015)。MSC公司:68问题85 03B70号 2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Lucanu}等人,Lect。注释计算。科学。9200,451——474(2015年;兹比尔1321.68359) 全文: 内政部 哈尔
多雷尔·卢卡努;弗拉德·鲁苏 通过循环推理实现程序等价。 (英语) Zbl 1319.68060号 正式Asp。计算。 27,第4期,701-726(2015).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.Lucanu}和\textit{V.Rusu},正式Asp。计算。27,第4号,701--726(2015;Zbl 1319.68060) 全文: 内政部
托马斯·杰奈特;弗拉德·鲁苏 树自动机完备的等式逼近。 (英语) Zbl 1192.68398号 J.塞姆。计算。 45,第5期,574-597(2010).MSC公司:2012年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Genet}和\textit{V.Rusu},J.Symb。计算。45,第5号,574--597(2010;Zbl 1192.68398) 全文: 内政部
大卫·卡切拉;托马斯·延森;大卫·皮哈迪;弗拉德·鲁苏 在构造逻辑中提取数据流分析器。 (英语) Zbl 1077.68051号 西奥。计算。科学。 342,第1期,56-78(2005).MSC公司:60年第68季度 68问题55 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{D.Cachera}等人,Theor。计算。科学。342,编号1,56--78(2005;Zbl 1077.68051) 全文: 内政部 链接