编辑配置文件(在新选项卡中打开) 弗雷德里克·朗 合著者距离 作者ID: 弗雷德里克 发布日期: 弗雷德里克·朗 外部链接: MGP公司 已编制索引的文档: 23出版物自2000年起 合著者: 19位合著者具有20联合出版物 195位合作作者 全部的 前5名合著者 3 单作者的 10 拉杜·马特埃斯库 7 休伯特·加拉维 2 杰夫·克莱默 2 皮埃尔·莱斯坎 2 杰夫·马吉 2 佛朗哥,马赞蒂 2 格温·萨拉恩 2 温德林·塞维 1 罗尔·布鲁 1 柯特林·迪马 1 丹·多尔蒂 1 埃夫拉德,雨果 1 雷米·Hérilier 1 法特玛杰巴利 1 路易吉·利科里 1 戈登·佩斯。 1 Rose,Kristoffer Høgsbro女士 1 扬·施托克 1 维克利斯、迪米特里斯 全部的 前5名系列 3 计算的形式方面 1 信息学报 1 自动推理杂志 1 系统设计中的形式化方法 1 高阶和符号计算 1 函数与逻辑程序设计杂志 1 计算机科学中的逻辑方法 1 程序设计中的逻辑和代数方法杂志 领域 23 计算机科学(68至XX) 3 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 16出版物有被引用98中的次58文件 引用人▼ 年份▼ CADP 2010:用于构建和分析分布式过程的工具箱。 Zbl 1316.68074号 休伯特·加拉维;弗雷德里克·朗;拉杜·马特埃斯库;温德林·塞维 33 2011 使用CADP对异步并发系统进行组合验证。 Zbl 1410.68250号 休伯特·加拉维;弗雷德里克·朗;拉杜·马特埃斯库 13 2015 使用LOTOS NT构建编译器。 Zbl 1051.68658号 休伯特·加拉维;弗雷德里克·朗;拉杜·马特埃斯库 7 2002 使用标记转换系统和布尔方程系统网络进行局部模型检查。 Zbl 1274.68195号 弗雷德里克·朗;拉杜·马特埃斯库 6 2013 使用标记转换系统和布尔方程系统网络进行局部模型检查。 兹比尔1352.68158 弗雷德里克·朗;拉杜·马特埃斯库 5 2012 用于成分验证的优化接口。 Zbl 1225.68120号 弗雷德里克·朗 5 2006 从LOTOS到LNT。 Zbl 1498.68062号 休伯特·加拉维;弗雷德里克·朗;温德林·塞维 5 2017 计算成分上的(τ)-汇流。 Zbl 1278.68190号 戈登·佩斯。;弗雷德里克·朗;拉杜·马特埃斯库 4 2003 NTIF:一种通用的符号模型,用于将顺序进程与数据进行通信。 Zbl 1037.68556号 休伯特·加拉维;弗雷德里克·朗 4 2002 使用SVL脚本进行合成验证。 Zbl 1043.68547号 弗雷德里克·朗 3 2002 寻址术语重写系统:语法、语义和语用(扩展抽象)。 Zbl 1272.68177号 丹·多尔蒂;皮埃尔·莱斯坎;路易吉·利科里;弗雷德里克·朗 3 2005 将FSP转换为LOTOS和自动机网络。 Zbl 1214.68220号 弗雷德里克·朗;格温·萨拉恩;雷米·Hérilier;杰夫·克莱默;杰夫·马吉 3 2010 将FSP转换为LOTOS和自动机网络。 Zbl 1213.68410号 格温·萨拉恩;杰夫·克莱默;弗雷德里克·朗;杰夫·马吉 2 2007 使用CADP验证\(\mathrm{EB}^3\)规范。 Zbl 1335.68150号 维克利斯、迪米特里斯;弗雷德里克·朗;加泰林·迪马;拉杜·马特埃斯库 2 2016 尖锐的同余足以与弱模态和强模态相结合的时序逻辑。 Zbl 1483.68233号 弗雷德里克·朗;拉杜·马特埃斯库;佛朗哥,马赞蒂 2 2020 实时和数据并行处理:ATLANTIF中间格式。 兹比尔1211.68273 扬·施托克;弗雷德里克·朗;休伯特·加拉维 1 2009 尖锐的同余足以与弱模态和强模态相结合的时序逻辑。 兹比尔1483.68233 弗雷德里克·朗;拉杜·马特埃斯库;佛朗哥,马赞蒂 2 2020 从LOTOS到LNT。 Zbl 1498.68062号 休伯特·加拉维;弗雷德里克·朗;温德林·塞维 5 2017 使用CADP验证\(\mathrm{EB}^3\)规范。 Zbl 1335.68150号 维克利斯、迪米特里斯;弗雷德里克·朗;加泰林·迪马;拉杜·马特埃斯库 2 2016 使用CADP对异步并发系统进行组合验证。 Zbl 1410.68250号 休伯特·加拉维;弗雷德里克·朗;拉杜·马特埃斯库 13 2015 使用标记转换系统和布尔方程系统网络进行局部模型检查。 Zbl 1274.68195号 弗雷德里克·朗;拉杜·马特埃斯库 6 2013 使用标记转换系统和布尔方程系统网络进行局部模型检查。 兹比尔1352.68158 弗雷德里克·朗;拉杜·马特埃斯库 5 2012 CADP 2010:用于构建和分析分布式过程的工具箱。 Zbl 1316.68074号 休伯特·加拉维;弗雷德里克·朗;拉杜·马特埃斯库;温德林·塞维 33 2011 将FSP转换为LOTOS和自动机网络。 Zbl 1214.68220号 弗雷德里克·朗;格温·萨拉恩;雷米·Hérilier;杰夫·克莱默;杰夫·马吉 3 2010 实时和数据并行处理:ATLANTIF中间格式。 Zbl 1211.68273号 扬·施托克;弗雷德里克·朗;休伯特·加拉维 1 2009 将FSP转换为LOTOS和自动机网络。 Zbl 1213.68410号 格温·萨拉恩;杰夫·克莱默;弗雷德里克·朗;杰夫·马吉 2 2007 用于成分验证的优化接口。 兹比尔1225.68120 弗雷德里克·朗 5 2006 寻址术语重写系统:语法、语义和语用(扩展抽象)。 Zbl 1272.68177号 丹·多尔蒂;皮埃尔·莱斯坎;路易吉·利科里;弗雷德里克·朗 3 2005 计算成分上的(τ)-汇流。 Zbl 1278.68190号 戈登·佩斯。;弗雷德里克·朗;拉杜·马特埃斯库 4 2003 使用LOTOS NT构建编译器。 Zbl 1051.68658号 休伯特·加拉维;弗雷德里克·朗;拉杜·马特埃斯库 7 2002 NTIF:一种通用的符号模型,用于将顺序进程与数据进行通信。 Zbl 1037.68556号 休伯特·加拉维;弗雷德里克·朗 4 2002 使用SVL脚本进行合成验证。 Zbl 1043.68547号 弗雷德里克·朗 3 2002 所有引用出版物 前5名被引用出版物 全部的 前5名113位作者引用 10 弗雷德里克·朗 9 休伯特·加拉维 8 拉杜·马特埃斯库 5 格温·萨拉恩 4 玛丽·斯托琳加 4 安东·J·维斯。 3 Joost-Pieter卡托恩 3 金·古德斯特兰·拉森 3 马克·蒂默 3 范德波尔,扬·科内利斯 2 卢卡·埃特罗 2 伊恩·卡萨尔 2 德普特、桑德 2 阿德里安·弗兰卡兰扎 2 霍尔格·赫尔曼斯 2 Anna Ingólfsdóttir 2 Jeroen J.A.Keiren。 2 佛朗哥,马赞蒂 2 温德林·塞维 2 吉·斯尔巴 2 Tim A.C.Willemse。 1 艺术、忠诚 1 拉赫达尔·阿克伦 1 马里奥·阿尔瓦雷斯·皮卡略 1 乔治·巴奇 1 乔瓦尼·巴奇 1 拜尔,克里斯特尔 1 David A.Basin。 1 克拉拉·贝托利西 1 本杰明·比斯平 1 博迪,恰拉 1 亚历山大·布尔加科夫 1 Chane-Yack-Fa,拉斐尔 1 佛罗伦萨雪佛龙 1 加布里埃尔·科斯塔 1 佩皮恩·克鲁森 1 戴维·德·弗鲁托斯·埃斯克里格 1 德容、希德 1 皮耶保罗·德加诺 1 柯特林·迪马 1 克莱门斯·杜伯斯拉夫 1 埃斯特尔·杜马斯 1 弗朗西斯科·杜兰 1 多米尼克·杜瓦尔 1 瑞希德·埃哈希德 1 埃夫拉德,雨果 1 伊利耶斯·法尔科内 1 玛丽贝尔·费尔南德斯 1 阿兰·芬克尔 1 马克·弗拉皮耶 1 盖列塔,莱特里奥 1 马克·盖伦 1 简·赫尔曼·杰弗斯 1 托马斯·吉布森·罗宾逊 1 亚历山大·格拉夫·布里尔 1 Jan Friso,格鲁特 1 古克,丹尼斯 1 纳比尔·哈默伦 1 雷米·Hérilier 1 汤姆·赫肖维茨 1 Aurélie胡罗 1 大卫·詹森(David N.Jansen)。 1 巴托斯·贾西乌尔 1 法特玛杰巴利 1 马蒂亚斯·克劳斯·詹森 1 彼得·格约尔·詹森 1 马克·乔伊 1 塞巴斯蒂安·荣格斯 1 约阿希姆·克莱因 1 克吕佩尔霍尔茨,萨沙 1 杰夫·克莱默 1 哈科·库彭斯 1 Marta Z.Kwiatkowska。 1 泽维尔·勒罗伊 1 帕特里夏·马查多。 1 杰夫·马吉 1 阿梅尔·曼玛 1 马丁·奥列特,纳西索 1 奥斯卡·马汀 1 佩德罗·蒙泰罗。 1 亚历山大·C·莫塔。 1 乌韦·内斯特曼 1 梅里姆·乌代尔尼 1 帕考德·勒梅,让·西蒙 1 柯斯汀·彼得斯 1 普罗斯特、弗雷德里克 1 菲利普·奎因内克 1 阿伦德·伦辛克 1 安德鲁·威廉·罗斯科 1 安东内拉·桑顿 1 克里斯蒂安·席林 1 丹尼尔·席尔瓦。 1 扬·施托克 1 马钦·斯皮尔卡 1 兰登·泰勒 1 巴特·塞伦 1 特雷特曼,Jan 1 尼古拉·延森·乌尔里克 1 Vaandrager,Frits W。 1 吉利奥拉·瓦格利尼 …还有13位作者 全部的 前5名15篇连载文章中引用 8 计算的形式方面 4 程序设计中的逻辑和代数方法杂志 3 信息学报 3 计算机程序设计科学 2 理论计算机科学 2 系统设计中的形式化方法 1 信息与计算 1 自动推理杂志 1 机器学习 1 国际计算机数学杂志 1 高阶和符号计算 1 逻辑程序设计理论与实践 1 ACM计算逻辑事务 1 算法 1 对称 全部的 前5名在6个字段中引用 57 计算机科学(68至XX) 8 数学逻辑和基础(03-XX) 2 信息与通信理论、电路(94-XX) 1 概率论与随机过程(60-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文