编辑配置文件（在新选项卡中打开） 克里斯蒂娜，Tudose 合著者距离 作者ID： 图多塞·克里斯蒂娜 发布日期： 克里斯蒂娜，Tudose 已编制索引的文档： 5出版物自2006年起 合著者： 5位合著者具有3联合出版物 133联合作者 合著者 2 单作者的 2 佛罗伦萨伊帕特 2 拉卢卡左翼 1 拉杜·奥普里什 1 佩雷斯·赫尔塔多，伊格纳西奥 1 佩雷兹·吉梅内斯（Pérez-Jiménez），马里奥·J·。 系列 三 布列塔尼岛。皮特大学。Seria Matematicăși信息学 1 国际计算机科学基础杂志 领域 5 计算机科学（68至XX） 2 数理逻辑与基础（03-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 三出版物有被引用10中的次8文件 引用人▼ 年份▼ 使用Spin对P系统进行正式验证。 Zbl 1213.68273号 佛罗伦萨伊帕特；拉卢卡左翼；克里斯蒂娜，Tudose 7 2011 通过模型检查对带有活性膜的P系统进行正式验证。 兹比尔1350.68106 佛罗伦萨伊帕特；拉卢卡左翼；佩雷斯·赫尔塔多，伊格纳西奥；佩雷兹·吉梅内斯（Pérez-Jiménez），马里奥·J·。；克里斯蒂娜，Tudose 2 2012 计算树逻辑和NuSMV模型检查器。 兹比尔1240.68134 克里斯蒂娜，Tudose 1 2008 通过模型检查对带有活性膜的P系统进行正式验证。 Zbl 1350.68106号 佛罗伦萨伊帕特；拉卢卡左翼；佩雷斯·赫尔塔多，伊格纳西奥；佩雷兹·吉梅内斯（Pérez-Jiménez），马里奥·J·。；克里斯蒂娜，Tudose 2 2012 使用Spin对P系统进行正式验证。 Zbl 1213.68273号 佛罗伦萨伊帕特；拉卢卡左翼；克里斯蒂娜，Tudose 7 2011 计算树逻辑和NuSMV模型检查器。 Zbl 1240.68134号 克里斯蒂娜，Tudose 1 2008 所有引用的出版物 前5名被引用出版物 全部的 前5名52位作者引用 4 佛罗伦萨伊帕特 三 玛丽安·盖奥吉 三 拉卢卡左翼 三 拉杜·尼科尔斯库 三 佩雷兹·吉梅内斯（Pérez-Jiménez），马里奥·J·。 2 曼纽尔·加西亚·基斯蒙多 2 刘业洲 2 佩雷斯·赫尔塔多，伊格纳西奥 2 孙静 2 路易斯·瓦伦西亚-卡布雷拉 1 奥纳州Agrigoroaiei 1 阿提姆·阿尔哈佐夫 1 阿曼，博格丹 1 马可·波扎诺 1 马蒂奥·卡瓦利埃 1 亚历山德罗·西马蒂 1 加布里埃尔·乔巴努 1 詹姆斯·库珀。 1 埃兹贝特·苏哈伊·瓦尔朱 1 丹尼尔·迪亚斯·佩尼尔 1 Dumitrache，离子 1 Miguel A.Gutiérrez-Naranjo。 1 托马斯·欣泽 1 塞尔吉·伊万诺夫 1 萨瓦斯·科努尔 1 卡马拉·克里蒂瓦桑 1 阿尔贝托·莱波蒂 1 路易斯·费利佩·马西亚斯·拉莫斯 1 文森佐·曼卡 1 马丁内斯·德尔·阿莫尔，米盖尔·安格尔 1 吉安卡洛·莫里 1 劳伦·米尔勒 1 尼尔·墨菲 1 伊奥努·米海·尼古列斯库 1 亚当·奥布图 1 佩恩，古奥热 1 安娜·布兰杜萨拉·帕维尔 1 安东尼奥·波雷卡（Antonio E.Porreca）。 1 阿吉什·拉马努扬 1 Rius-Font，Miquel公司 1 尤里·罗戈津 1 罗梅罗·卡佩罗，弗朗西斯科·何塞 1 罗梅罗-吉梅内斯，阿尔瓦罗 1 格列泽戈兹·罗森贝格 1 宋涛 1 弗朗西斯科·塔帕罗 1 克里斯蒂娜，Tudose 1 阿德里安·厄尔卡努 1 瓦西里，克里斯蒂安·伊昂 1 Gyorgy Vaszil公司 1 克劳迪奥·赞德隆 1 张格祥 4篇连载文章中引用 三 膜计算杂志 1 理论计算机科学 1 国际计算机科学基础杂志 1 国际计算机数学杂志 在2个字段中引用 8 计算机科学（68至XX） 1 组合数学（05-XX） 按年份列出的引文