佛罗伦萨伊帕特；伊奥努·尼古列斯库；拉卢卡左翼；萨瓦斯·科努尔；盖奥尔吉，玛丽安 一种基于模型学习的内核P系统测试方法。 （英语） Zbl 1512.68095号 西奥。计算。科学。 965，文章ID 113975，14 p.（2023）.MSC公司：2007年第68季度 68问题32 PDF格式BibTeX公司 XML格式引用 \textit{F.Ipate}等人，Theor。计算。科学。965，文章ID 113975，14 p.（2023；Zbl 1512.68095） 全文： DOI程序
盖奥尔吉，玛丽安；拉卢卡左翼；萨瓦斯·科努尔；伊奥努·米海·尼古列斯库；亨利·N·阿多纳。 尖峰神经P系统：矩阵表示和形式验证。 （英语） Zbl 1469.68035号 J.成员。计算。 3，第2期，133-148（2021）.MSC公司：2007年第68季度 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Gheorghe}等人，J.Membr。计算。3，编号2，133--148（2021；Zbl 1469.68035） 全文： DOI程序
佛罗伦萨伊帕特；玛丽安·盖奥吉；拉卢卡左翼 从查询中学习确定性扩展有限状态机的基本结果。 （英语） Zbl 1497.68234号 西奥。计算。科学。 862, 160-173 (2021).MSC公司：68问题32 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Ipate}等人，Theor。计算。科学。862160--173（2021年；Zbl 1497.68234） 全文： DOI程序
阿娜·乌雷；玛丽安·盖奥吉；佛罗伦萨伊帕特；萨瓦斯·科努尔 膜计算中基于搜索的测试。 （英语） Zbl 1469.68054号 J.成员。计算。 1，第4号，241-250（2019）.MSC公司：2007年第68季度 68瓦50 PDF格式BibTeX公司 XML格式引用 \textit{A.Ţurlea}等人，J.Membr。计算。1，第4号，241--250（2019；Zbl 1469.68054） 全文： DOI程序
玛丽安·盖奥吉；罗地卡Ceterchi；佛罗伦萨伊帕特；萨瓦斯·科努尔；拉卢卡左翼 核心P系统：从建模到验证和测试。 （英语） Zbl 1390.68309号 西奥。计算。科学。 724, 45-60 (2018).MSC公司：2005年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Gheorghe}等人，Theor。计算。科学。724，45-60（2018；Zbl 1390.68309） 全文： DOI程序 链接
玛丽安·盖奥吉；罗地卡Ceterchi；佛罗伦萨伊帕特；萨瓦斯·科努尔 内核P系统建模、测试和验证——排序案例研究。 （英语） 兹比尔1483.68118 Leporati，Alberto（编辑）等人，《膜计算》。2016年7月25日至29日，第17届国际会议，CMC 2016，意大利米兰。修改选定的论文。查姆：斯普林格。莱克特。注释计算。科学。101052233-250（2017年）。MSC公司：2007年第68季度 68页第10页 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Gheorghe}等人，Lect。注释计算。科学。10105233--250（2017；Zbl 1483.68118） 全文： DOI程序
佛罗伦萨伊帕特；玛丽安·盖奥吉；拉卢卡左翼 使用模型检查从P系统生成测试。 （英语） Zbl 1208.68146号 J.日志。阿尔盖布。程序。 79，第6号，350-362（2010）.MSC公司：60年第68季度 第68季度10 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Ipate}等人，J.Log。阿尔盖布。程序。79，第6号，350-362（2010；Zbl 1208.68146） 全文： DOI程序 链接