编辑配置文件(在新选项卡中打开) 弗拉维奥·勒尔达 合著者距离 作者ID: 勒达·弗拉维奥 发布日期: 弗拉维奥·勒尔达 已编制索引的文档: 14出版物自1964年以来 合著者: 12位合著者具有8联合出版物 383联合作者 全部的 前5名合著者 2 单作者的 3 克拉克(Edmund Melson jun Clarke)。 2 卡特琳娜·达尼诺 2 丹尼尔·科宁 2 Majorani,E。 2 迈克尔·西奥博尔德 1 迪米特拉·吉安娜科波卢 1 亚历克斯·格罗斯 1 奥尔纳·格伦伯格 1 詹姆斯·卡宾斯基 1 布鲁斯·H·克罗。 1 尼尚·辛哈 1 斯特里赫曼(Ofer Strichman) 1 穆拉利达尔塔卢普尔 1 威廉·维瑟 系列 5 卡尔科洛 1 在Matematica和delle起诉Applicazioni。系列VII 全部的 前5名领域 8 计算机科学(68至XX) 3 数值分析(65-XX) 2 近似值和展开值(41至XX) 2 系统论;控制(93至XX) 1 数学逻辑和基础(03-XX) 1 组合数学(05-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 11出版物有被引用121中的次119文件 引用人▼ 年份▼ 用于检查ANSI-C程序的工具。 Zbl 1126.68470号 埃德蒙·克拉克;丹尼尔·克罗宁;佛罗里达州勒达 78 2004 从状态到过渡:改进LTL公式到Büchi自动机的转换。 Zbl 1037.68553号 迪米特拉·吉安娜科波卢;弗拉维奥·勒尔达 22 2002 理解反例解释. Zbl 1103.68620号 亚历克斯·格罗斯;丹尼尔·克罗宁;弗拉维奥·勒尔达 6 2004 使用状态接近和合并验证监控软件。 Zbl 1143.68457号 弗拉维奥·勒尔达;詹姆斯·卡宾斯基;埃德蒙·克拉克(Edmund M.Clarke)。;布鲁斯·H·克罗。 6 2008 多进程系统的验证引导欠近似加宽。 Zbl 1369.68259号 奥尔纳·格伦伯格;弗拉维奥·勒尔达;斯特里赫曼(Ofer Strichman);迈克尔·西奥博尔德 5 2005 解决程序模型检查的动态问题。 Zbl 0985.68639号 弗拉维奥·勒尔达;威廉·维瑟 4 2001 用最少交叉数连接n个点的算法。 Zbl 0141.41201号 F.勒尔达。;Majorani,E。 4 1964 人工智能、数学和物理:hic Rhodos、hic salta。 Zbl 0728.03002号 F.勒尔达。 1 1991 型常微分方程边值问题的数字计算机数值处理。 Zbl 0215.27601号 Lerda,F。 1 1971 直接和复合体积公式的误差界。一、。 Zbl 0329.65022号 达尼诺,C。;F.勒尔达。 1 1976 直接和复合体积公式的误差界。二、。 兹伯利0354.65013 达尼诺,C。;F.勒尔达。 1 1976 使用状态接近和合并验证监控软件。 Zbl 1143.68457号 佛罗里达州勒达;詹姆斯·卡宾斯基;埃德蒙·克拉克(Edmund M.Clarke)。;布鲁斯·H·克罗。 6 2008 多进程系统的验证引导欠近似加宽。 Zbl 1369.68259号 奥尔纳·格伦伯格;弗拉维奥·勒尔达;斯特里赫曼(Ofer Strichman);迈克尔·西奥博尔德 5 2005 用于检查ANSI-C程序的工具。 Zbl 1126.68470号 埃德蒙·克拉克;丹尼尔·克罗宁;弗拉维奥·勒尔达 78 2004 理解反例解释. Zbl 1103.68620号 亚历克斯·格罗斯;丹尼尔·克罗宁;弗拉维奥·勒尔达 6 2004 从状态到过渡:改进LTL公式到Büchi自动机的转换。 Zbl 1037.68553号 迪米特拉·吉安娜科波卢;弗拉维奥·勒尔达 22 2002 解决程序模型检查的动态问题。 Zbl 0985.68639号 弗拉维奥·勒尔达;威廉·维瑟 4 2001 人工智能、数学和物理:hic Rhodos、hic salta。 Zbl 0728.03002号 F.勒尔达。 1 1991 直接和复合体积公式的误差界。一、。 Zbl 0329.65022号 达尼诺,C。;F.勒尔达。 1 1976 直接和复合体积公式的误差界。二、。 Zbl 0354.65013号 达尼诺,C。;Lerda,F。 1 1976 型常微分方程边值问题的数字计算机数值处理。 Zbl 0215.27601号 F.勒尔达。 1 1971 用最少交叉数连接n个点的算法。 Zbl 0141.41201号 Lerda,F。;Majorani,E。 4 1964 所有引用出版物 前5名被引用出版物 全部的 前5名342位作者引用 10 丹尼尔·科宁 6 娜塔莎·莎莉吉娜 5 奥尔纳·库普弗曼 4 蔡明勋 4 Tsay,Yih-Kuen先生 3 阿里·古芬克尔 3 奥马尔·因弗索 3 乔治·帕帕斯。 3 斯特里赫曼(Ofer Strichman) 3 阿里亚克西·齐托维奇 3 乔治·威森巴赫 3 Christoph M.温特斯泰格。 3 奥列格·谢尔盖维奇·扎金 2 塞皮德·阿萨迪 2 塞巴斯蒂安·巴丁 2 布莱恩,马丁 2 罗伯特·布鲁托梅索 2 萨加·查基 2 陈文钦 2 张进淑 2 陈玉芳 2 洛科·德尼古拉 2 卢卡·迪·斯特法诺 2 阿拉斯泰尔·唐纳森。 2 伯恩德·芬克贝纳 2 哈达尔·弗兰克尔 2 马来K·加奈。 2 安托万·吉拉德 2 亚历克斯·格罗斯 2 阿尔蒂·古普塔 2 阿什图什·古普塔 2 利奥波德·哈勒 2 霍尔格·H·胡斯。 2 安蒂·E·J·海瓦·里宁。 2 拉杰夫·乔希 2 安迪·金 2 斯蒂芬·科切马佐夫 2 凯文·莱顿·布朗 2 罗、池建 2 秦、郑 2 巴德·阿布·拉迪 2 罗伊,苏巴吉特 2 菲利普·吕默 2 Aleksandr Anatol’evich塞梅诺夫 2 Shan、Laixiang 2 所罗门·西克特 2 斯蒂芬·西格尔(Stephen F.Siegel)。 2 斯特凡诺·托内塔 2 塞雷内拉·瓦利亚尼 2 莫西·亚亚科夫·瓦尔迪 2 赫尔穆特·维思 2 亚历山大·维格尔 2 托马斯·怀斯 1 亚历山德罗·阿巴特 1 Abdallah,Chaouki Tanios 1 帕罗什·阿齐兹·阿卜杜拉 1 阿布·拉迪·巴德 1 帕拉克·阿加瓦尔 1 Nazareno M.阿吉雷。 1 穆拉德·阿洪多夫 1 塔斯尼姆·纳赛尔·叶海亚 1 弗朗西斯科·阿尔贝蒂 1 达拉·阿拉杰 1 哈桑·阿姆贾德 1 安德鲁·W·阿佩尔。 1 马塞洛·阿罗约 1 普拉纳夫·阿沙尔 1 穆罕默德·法乌齐(Mohamed Faouzi Atig) 1 罗伯特·巴格纳拉 1 拜尔,克里斯特尔 1 阿德里安·巴林特 1 克拉克·W·巴雷特。 1 H.J.S.巴斯滕。 1 萨姆·贝利斯 1 约翰内斯·贝斯伯格 1 伯恩哈德·贝克特 1 伦纳特·贝林格 1 伊奥里·贝萨 1 德克·拜尔 1 阿纳布·巴塔查里亚 1 迪帕利·布塔达 1 汤姆·比恩米勒 1 阿明·比尔 1 马丁·布利查 1 罗德里克·布洛姆 1 弗朗索瓦·博伯特 1 波士顿,布雷特 1 伯纳德·博泰拉 1 艾哈迈德·博阿贾尼 1 Jörg Brauer 1 塞缪尔·布雷斯 1 卢博什·布里姆 1 詹姆斯·布罗瑟斯顿 1 艾蒂安·布伦纳 1 Büscher,尼克拉斯 1 曹勤祥 1 卡利埃、马蒂厄 1 戴维德·贾科莫·卡维扎 1 乔恩,帕沃 1 科什卡,米兰 …还有242名作者 全部的 前5名24篇连载文章中引用 20 系统设计中的形式化方法 5 自动推理杂志 5 计算的形式方面 3 信息学学报 3 程序设计中的逻辑和代数方法杂志 2 人工智能 2 理论计算机科学 2 计算机科学与技术杂志 2 国际并行程序设计杂志 2 计算机科学中的逻辑方法 1 计算机与系统科学杂志 1 信息与计算 1 实时系统 1 离散事件动态系统 1 控制论与系统分析 1 数学与人工智能年鉴 1 约束条件 1 信息计算杂志 1 欧洲控制杂志 1 优化方法和软件 1 应用数学杂志 1 理论计算机科学的基础和发展趋势 1 计算机科学前沿 1 计算机科学评论 全部的 前5名13个领域引用 112 计算机科学(68至XX) 17 数学逻辑和基础(03-XX) 6 系统论;控制(93至XX) 6 信息与通信理论、电路(94-XX) 4 博弈论、经济学、金融和其他社会和行为科学(91-XX) 3 生物学和其他自然科学(92-XX) 2 运筹学、数学规划(90-XX) 1 组合数学(05-XX) 1 测量和集成(28-XX) 1 常微分方程(34-XX) 1 变分法与最优控制;最优化(49至XX) 1 数值分析(65-XX) 1 流体力学(76-XX) 按年份列出的引文