编辑配置文件（在新选项卡中打开） 拉杜·马特埃斯库 合著者距离 作者ID： 马提埃斯库·拉杜 发布日期： 拉杜·马特埃斯库 已编制索引的文档： 28出版物自1998年以来 合著者： 23位合著者具有25联合出版物 295位合作作者 全部的 前5名合著者 三 单作者的 10 弗雷德里克·朗 7 休伯特·加拉维 三 德容、希德 2 达米安·贝加米尼 2 埃斯特尔·杜马斯 2 克里斯托夫·朱伯特 2 弗朗科·马扎蒂 2 佩德罗·蒙泰罗。 2 米哈埃拉·西希雷亚努 2 安东·威伊斯（Anton J.Wijs）。 1 阿吉拉尔·科内霍（Manuel Aguilar Cornejo） 1 格雷戈里·巴特 1 诺埃尔·德·帕尔马 1 尼古拉斯·德库比斯 1 柯特林·迪马 1 Jan Friso，格鲁特 1 法塔玛·杰巴利 1 戈登·佩斯。 1 若泽·伊格纳西奥·雷格诺 1 格温·萨拉恩 1 温德林，塞尔韦 1 伊琳娜·斯马兰达奇（Irina M.Smarandache）。 1 维克利斯、迪米特里斯 全部的 前5名系列 2 计算机程序设计科学 2 计算的形式方面 1 信息学报 1 理论计算机科学 1 系统设计中的形式化方法 1 计算机科学中的逻辑方法 领域 28 计算机科学（68至XX） 三 数学逻辑和基础（03-XX） 2 生物学和其他自然科学（92-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 24出版物有被引用155中的次102文件 引用人▼ 年份▼ CADP 2010：用于构建和分析分布式过程的工具箱。 Zbl 1316.68074号 休伯特·加拉维;弗雷德里克·朗;拉杜·马特埃斯库;温德林·塞维 33 2011 针对正则无交替演算的高效实时模型检查。 Zbl 1026.68098号 拉杜·马特埃斯库;米哈埃拉·西希雷亚努 19 2003 使用CADP对异步并发系统进行组合验证。 Zbl 1410.68250号 休伯特·加拉维;弗雷德里克·朗;拉杜·马特埃斯库 13 2015 使用数据验证设置中进程的时间属性。 Zbl 0926.03036号 Jan Friso，格鲁特;拉杜·马特埃斯库 11 1999 模型检查的并行状态空间构造。 Zbl 0986.68883号 休伯特·加拉维;拉杜·马特埃斯库;伊琳娜·斯马兰达奇 9 2001 非循环标记转移系统上模态多演算的局部模型检验。 Zbl 1043.68596号 拉杜·马特埃斯库 8 2002 使用LOTOS NT构建编译器。 Zbl 1051.68658号 休伯特·加拉维;弗雷德里克·朗;拉杜·马特埃斯库 7 2002 BISIMULATOR：一个用于动态等价性检查的模块化工具。 Zbl 1087.68583号 达米安·贝加米尼;尼古拉斯·德苏贝斯;克里斯托夫·朱伯特;拉杜·马特埃斯库 6 2005 使用标记转换系统和布尔方程系统网络进行局部模型检查。 Zbl 1274.68195号 弗雷德里克·朗;拉杜·马特埃斯库 6 2013 使用标记转换系统和布尔方程系统网络进行局部模型检查。 Zbl 1352.68158号 弗雷德里克·朗;拉杜·马特埃斯库 5 2012 CTRL：CTL的扩展，带有正则表达式和公平操作符，用于验证遗传调控网络。 Zbl 1231.68163号 拉杜·马特埃斯库;佩德罗·蒙泰罗。;埃斯特尔·杜马斯;德容、希德 5 2011 使用GNA和CADP对遗传调控网络进行模型检查。 Zbl 1125.68384号 格雷戈里·巴特;达米安·贝加米尼;德容、希德;休伯特·加拉维;拉杜·马特埃斯库 5 2004 布尔方程系统的有效诊断生成。 兹伯利0960.68118 拉杜·马特埃斯库 5 2000 计算成分上的（τ）-汇流。 Zbl 1278.68190号 戈登·佩斯。;弗雷德里克·朗;拉杜·马特埃斯库 4 2003 遗传调控网络的计算树规则逻辑。 Zbl 1183.68380号 拉杜·马特埃斯库;佩德罗·蒙泰罗。;埃斯特尔·杜马斯;德容、希德 4 2008 IEEE-1394串行总线（FireWire）链路层协议的验证：E-LOTOS实验。 Zbl 1065.68596号 米哈埃拉·西希雷亚努;拉杜·马特埃斯库 三 1998 分布式实时模型检查和测试用例生成。 Zbl 1178.68345号 克里斯托夫·朱伯特;拉杜·马特埃斯库 三 2006 尖锐的同余足以与弱模态和强模态相结合的时序逻辑。 兹比尔1483.68233 弗雷德里克·朗;拉杜·马特埃斯库;弗朗科·马扎蒂 2 2020 使用CADP验证\（\mathrm{EB}^3\）规范。 Zbl 1335.68150号 维克利斯、迪米特里斯;弗雷德里克·朗;加泰林·迪马;拉杜·马特埃斯库 2 2016 基于代理应用程序的动态重新配置协议的规范和验证。 Zbl 0984.68736号 阿吉拉尔·科内霍（Manuel Aguilar Cornejo）;休伯特·加拉维;拉杜·马特埃斯库;诺埃尔·德·帕尔马 1 2001 弱τ碰撞的连续和分布式实时计算。 Zbl 1243.68219号 拉杜·马特埃斯库;安东·威伊斯 1 2012 扩展的基于动作的概率算子的即时模型检查。 兹比尔1354.68199 拉杜·马特埃斯库;若泽·伊格纳西奥·雷格诺 1 2016 无交互布尔方程系统的通用实时求解器。 Zbl 1031.68583号 拉杜·马特埃斯库 1 2003 基于水平采样的分层自适应状态空间缓存。 Zbl 1234.68261号 拉杜·马特埃斯库;安东·威伊斯 1 2009 尖锐的同余足以与弱模态和强模态相结合的时序逻辑。 兹比尔1483.68233 弗雷德里克·朗;拉杜·马特埃斯库;弗朗科·马扎蒂 2 2020 使用CADP验证\（\mathrm{EB}^3\）规范。 Zbl 1335.68150号 迪米特里斯·维克里斯;弗雷德里克·朗;加泰林·迪马;拉杜·马特埃斯库 2 2016 扩展的基于动作的概率算子的即时模型检查。 Zbl 1354.68199号 拉杜·马特埃斯库;若泽·伊格纳西奥·雷格诺 1 2016 使用CADP对异步并发系统进行组合验证。 Zbl 1410.68250号 休伯特Garavel;弗雷德里克·朗;拉杜·马特埃斯库 13 2015 使用标记转换系统和布尔方程系统网络进行局部模型检查。 Zbl 1274.68195号 弗雷德里克·朗;拉杜·马特埃斯库 6 2013 使用标记转换系统和布尔方程系统网络进行局部模型检查。 Zbl 1352.68158号 弗雷德里克·朗;拉杜·马特埃斯库 5 2012 弱τ碰撞的连续和分布式实时计算。 Zbl 1243.68219号 拉杜·马特埃斯库;安东·威伊斯 1 2012 CADP 2010：用于构建和分析分布式过程的工具箱。 Zbl 1316.68074号 休伯特·加拉维;弗雷德里克·朗;拉杜·马特埃斯库;温德林·塞维 33 2011 CTRL：CTL的扩展，带有正则表达式和公平操作符，用于验证遗传调控网络。 Zbl 1231.68163号 拉杜·马特埃斯库;佩德罗·蒙泰罗。;埃斯特尔·杜马斯;德容、希德 5 2011 基于水平采样的分层自适应状态空间缓存。 Zbl 1234.68261号 拉杜·马特埃斯库;安东·威伊斯 1 2009 遗传调控网络的计算树规则逻辑。 Zbl 1183.68380号 拉杜·马特埃斯库;佩德罗·蒙泰罗。;埃斯特尔·杜马斯;德容、希德 4 2008 分布式实时模型检查和测试用例生成。 Zbl 1178.68345号 克里斯托夫·朱伯特;拉杜·马特埃斯库 三 2006 BISIMULATOR：用于实时等价性检查的模块化工具。 Zbl 1087.68583号 达米安·贝加米尼;尼古拉斯·德库比斯;克里斯托夫·朱伯特;拉杜·马特埃斯库 6 2005 使用GNA和CADP对遗传调控网络进行模型检查。 Zbl 1125.68384号 格雷戈里·巴特;达米安·贝加米尼;德容、希德;休伯特·加拉维;拉杜·马特埃斯库 5 2004 针对正则无交替演算的高效实时模型检查。 Zbl 1026.68098号 拉杜·马特埃斯库;米哈埃拉·西希雷亚努 19 2003 计算成分上的（τ）-汇流。 兹比尔1278.68190 戈登·佩斯。;弗雷德里克·朗;拉杜·马特埃斯库 4 2003 无交互布尔方程系统的通用实时求解器。 Zbl 1031.68583号 拉杜·马特埃斯库 1 2003 非循环标记转移系统上模态多演算的局部模型检验。 兹比尔1043.68596 拉杜·马特埃斯库 8 2002 使用LOTOS NT构建编译器。 Zbl 1051.68658号 休伯特·加拉维;弗雷德里克·朗;拉杜·马特埃斯库 7 2002 模型检查的并行状态空间构造。 Zbl 0986.68883号 休伯特·加拉维;拉杜·马特埃斯库;伊琳娜·斯马兰达奇 9 2001 基于代理应用程序的动态重新配置协议的规范和验证。 Zbl 0984.68736号 阿吉拉尔·科内霍（Manuel Aguilar Cornejo）;休伯特·加拉维;拉杜·马特埃斯库;诺埃尔·德·帕尔马 1 2001 布尔方程系统的高效诊断生成。 兹伯利0960.68118 拉杜·马特埃斯库 5 2000 使用数据验证设置中进程的时间属性。 Zbl 0926.03036号 Jan Friso，格鲁特;拉杜·马特埃斯库 11 1999 IEEE-1394串行总线（FireWire）链路层协议的验证：E-LOTOS实验。 Zbl 1065.68596号 米哈埃拉·西希雷亚努;拉杜·马特埃斯库 三 1998 所有引用出版物 前5名被引用出版物 全部的 前5名193位作者引用 10 弗雷德里克·朗 10 拉杜·马特埃斯库 9 Tim A.C.Willemse。 8 休伯特·加拉维 7 安东·威伊斯（Anton J.Wijs）。 6 Jan Friso，格鲁特 5 格温·萨拉恩 5 范德波尔，扬·科内利斯 4 马丁·兰格 4 玛丽·斯托琳加 三 卢博什 三 威廉·扬·福克金 三 Joost-Pieter卡托恩 三 金·古德斯特兰·拉森 三 弗朗科·马扎蒂 三 萨夫拉内克，大卫 三 马克·蒂默 2 卢卡·埃特罗 2 斯特凡·布隆 2 伊恩·卡萨尔 2 斯乔德·克兰恩 2 德容、希德 2 砂光机de Putter 2 埃斯特尔·杜马斯 2 弗朗索瓦·法赫斯 2 阿德里安·弗兰卡兰扎 2 奥利弗·弗里德曼 2 马西耶·加兹达。 2 法特梅·加塞米 2 霍尔格·赫尔曼斯 2 Anna Ingólfsdóttir 2 Jeroen J.A.Keiren。 2 卡罗琳娜·莱赫蒂宁 2 佩德罗·蒙泰罗。 2 西蒙娜·奥尔赞 2 庞、军 2 贝斯·普洛格 2 克里斯蒂安·普里萨卡里奥 2 米歇尔·阿德里安·雷尼尔 2 杰拉尔多·施奈德 2 温德林·塞维 2 吉·斯尔巴 1 艺术、忠诚 1 马克·艾吉尔 1 拉赫达尔·阿克伦 1 马里奥·阿尔瓦雷斯·皮卡略 1 加尔阿姆拉姆 1 乔治·巴奇 1 乔瓦尼·巴奇 1 Jos C.M.Baeten。 1 克里斯特尔·拜尔 1 JiříBarnat 1 霍华德·巴林格 1 David A.Basin。 1 奇亚拉博迪 1 博特尼克，E。 1 亚历山大·布尔加科夫 1 劳拉·博泽利 1 维克托·布拉伯曼 1 西蒙·巴斯德 1 伊万娜·乔纳 1 安东尼奥·塞隆 1 科什卡，米兰 1 Chane-Yack-Fa，拉斐尔 1 佛罗伦萨雪佛龙 1 Jean-Paul彗星 1 加布里埃尔·科斯塔 1 佩皮恩·克鲁森 1 M.Torabi Dashti 1 戴维·德·弗鲁托斯·埃斯克里格 1 皮耶保罗·德加诺 1 汉斯·佩特·迪费尔 1 柯特林·迪马 1 德卢霍什，P。 1 斯文·德拉赞 1 克莱门斯·杜伯斯拉夫 1 弗朗西斯科·杜兰 1 斯特凡·爱德坎普 1 埃夫拉德，雨果 1 乔纳森·以西结 1 法尔科内，伊利斯 1 阿兰·芬克尔 1 马克·弗拉皮耶 1 盖列塔，莱特里奥 1 马克·盖伦 1 皮埃尔·杰奈夫耶斯 1 尼尔斯·盖斯伯特 1 简·赫尔曼·杰弗斯 1 托马斯·吉布森·罗宾逊 1 安东·罗曼诺维奇·格纳滕科 1 斯特凡妮娅·格内西 1 亚历山大·格拉夫·布里尔 1 古克，丹尼斯 1 朱利安·古铁雷斯 1 谢尔盖·哈达德 1 纳比尔·哈默伦 1 雷米·Hérilier 1 罗格·霍夫曼 1 奥雷利·胡罗 1 英格斯，科妮莉亚·P。 …还有93位作者 全部的 前5名21篇连载文章中引用 11 计算的形式方面 9 理论计算机科学 4 系统设计中的形式化方法 4 逻辑与代数程序设计杂志 三 计算机程序设计科学 三 信息与计算 三 ACM计算逻辑事务 三 程序设计中的逻辑和代数方法杂志 2 信息学报 2 计算机科学中的逻辑方法 1 信息处理信件 1 计算机与系统科学杂志 1 国际并行程序设计杂志 1 自动推理杂志 1 机器学习 1 国际计算机数学杂志 1 应用非经典逻辑杂志 1 计算机科学中的数学 1 算法 1 对称 1 Modelirovanie i Analiz信息系统 全部的 前5名在8个字段中引用 98 计算机科学（68至XX） 25 数学逻辑和基础（03-XX） 8 生物学和其他自然科学（92-XX） 三 博弈论、经济学、金融和其他社会和行为科学（91-XX） 2 概率论与随机过程（60-XX） 2 信息与通信理论、电路（94-XX） 1 组合数学（05-XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文