多雷尔·卢卡努;弗拉德·鲁苏;安德烈·阿鲁索艾 符号执行的通用框架：共创方法。 （英语） 兹比尔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年；Zbl 1321.68359） 全文： 内政部 哈尔
多雷尔·卢卡努;弗拉德·鲁苏 通过循环推理实现程序等价。 （英语） Zbl 1319.68060号 正式Asp。计算。 27，第4701-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） 全文： 内政部
大卫·卡切拉;托马斯·延森;大卫·皮哈迪;弗拉德·鲁苏 在构造逻辑中提取数据流分析器。 （英语） 兹比尔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） 全文： 内政部 链接