法塔玛·杰巴利;弗雷德里克·朗;拉杜·马特埃斯库 使用GRL和CADP对GALS系统进行正式建模和验证。 （英文） 兹比尔1345.68023 正式Asp。计算。 28，第5期，767-804（2016）.MSC公司：64岁以下 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{F.Jebali}等人，正式Asp。计算。28，第5号，767--804（2016；Zbl 1345.68023） 全文： 内政部 哈尔
休伯特·加拉维;弗雷德里克·朗;拉杜·马特埃斯库 使用CADP对异步并发系统进行组合验证。 （英文） Zbl 1410.68250号 学报信息。 52，No.4-5，337-392（2015）.MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Garavel}等人，《学报》第52期，第4--5337--392号（2015年；Zbl 1410.68250） 全文： 内政部
拉杜·马特埃斯库;安东·威伊斯 弱τ碰撞的连续和分布式实时计算。 （英文） Zbl 1243.68219号 科学。计算。程序。 77，编号10-11，1075-1094（2012）.MSC公司：68问题85 68号30 PDF格式BibTeX公司 XML格式引用 \textit｛R.Mateescu｝和\textit｛A.Wijs｝，科学。计算。程序。77，No.10--111075--1094（2012；Zbl 1243.68219） 全文： 内政部 哈尔
拉杜·马特埃斯库;佩德罗·蒙泰罗。;埃斯特尔·杜马斯;Hidde德容 CTRL：CTL的扩展，带有正则表达式和公平操作符，用于验证遗传调控网络。 （英文） Zbl 1231.68163号 西奥。计算。科学。 412，第26号，2854-2883（2011）. 审核人：马丁·兰格（卡塞尔） MSC公司：60年第68季度 92立方厘米 PDF格式BibTeX公司 XML格式引用 \文本{R.Mateescu}等人，Theor。计算。科学。412，第26号，2854--2883（2011；Zbl 1231.68163） 全文： 内政部 链接
拉杜·马特埃斯库;安东·威伊斯 基于水平采样的分层自适应状态空间缓存。 （英文） Zbl 1234.68261号 Kowalewski，Stefan（编辑）等人，《系统构建和分析的工具和算法》。2009年3月22日至29日在英国约克举行的第15届国际会议TACAS 2009，是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00767-5/pbk）。计算机科学讲座笔记5505，215-229（2009）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛R.Mateescu｝和\textit｛A.Wijs｝，Lect。注释计算。科学。5505215--229（2009年；Zbl 1234.68261） 全文： 内政部
拉杜·马特埃斯库;佩德罗·蒙泰罗。;埃斯特尔·杜马斯;Hidde德容 遗传调控网络的计算树规则逻辑。 （英文） Zbl 1183.68380号 Cha，Sungdeok（Steve）（编辑）等人，验证和分析自动化技术。2008年10月20日至23日，第六届国际研讨会，ATVA 2008，韩国首尔。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-88386-9/pbk）。计算机科学课堂讲稿5311，48-63（2008）。MSC公司：60年第68季度 03B44号 03B45号 92立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{R.Mateescu}等人，Lect。注释计算。科学。5311、48-63（2008年；Zbl 1183.68380） 全文： 内政部 链接