编辑配置文件(在新选项卡中打开) Jean-Luc Richier先生 合著者距离 作者ID: 理查·让·卢克 发布日期: Jean-Luc Richier先生;J.L.里奇尔。;J.-L.里奇尔。 更多。。。较少的 已编制索引的文档: 6出版物自1979年起 合著者: 11位合著者具有5联合出版物 187位合作作者 全部的 前5名合著者 1 单作者的 2 Jean-Claude费尔南德斯 2 劳伦特·穆尼尔 1 Krzysztof Rafal公寓 1 卡雷尔·库利克二世 1 维亚尼州达尔梅拉克 1 莱迪·杜·布斯奎特 1 伊利耶斯·法尔科内 1 罗兰·格罗兹 1 巴黎,伊奥安尼斯 1 Quabdesselam,F。 1 尼古拉斯·祖安诺 系列 1 国际计算机数学杂志 1 系统设计中的形式化方法 领域 6 计算机科学(68至XX) 1 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 6出版物有被引用27中的次24文件 引用人▼ 年份▼ 运行时执行监控器:合成、合成和执行能力。 Zbl 1219.68089号 伊利耶斯·法尔科内;劳伦特·穆尼尔;Jean-Claude费尔南德斯;Jean-Luc Richier先生 13 2011 CSP中的分布式终端,具有最小存储的对称解决方案。 Zbl 0563.68023号 Jean-Luc Richier先生 4 1985 实时时钟与虚拟时钟。 兹伯利0566.68021 Krzysztof R.阿普特。;Jean-Luc Richier先生 4 1985 ETOL语言的同态等价。 Zbl 0401.68049号 卡雷尔·库利克二世;J.L.里奇尔。 三 1979 网络安全规则的测试生成。 Zbl 1185.68087号 维亚尼州达尔梅拉克;Jean-Claude费尔南德斯;罗兰·格罗兹;劳伦特·穆尼尔;Jean-Luc Richier先生 2 2006 Lutess:同步软件的测试环境。 Zbl 0945.68124号 杜布斯克,L。;Quabdeselam,F。;巴黎,I。;J.-L.里奇尔。;北祖阿农。 1 1999 运行时执行监控器:合成、合成和执行能力。 Zbl 1219.68089号 伊利耶斯·法尔科内;劳伦特·穆尼尔;Jean-Claude费尔南德斯;Jean-Luc Richier先生 13 2011 网络安全规则的测试生成。 Zbl 1185.68087号 维亚尼州达尔梅拉克;Jean-Claude费尔南德斯;罗兰·格罗兹;劳伦特·穆尼尔;Jean-Luc Richier先生 2 2006 Lutess:同步软件的测试环境。 Zbl 0945.68124号 杜布斯克,L。;Quabdeselam,F。;巴黎,I。;J.-L.里奇尔。;北卡罗来纳州佐安诺。 1 1999 CSP中的分布式终端,具有最小存储的对称解决方案。 兹伯利0563.68023 Jean-Luc Richier先生 4 1985 实时时钟与虚拟时钟。 Zbl 0566.68021号 Krzysztof R.阿普特。;Jean-Luc Richier先生 4 1985 ETOL语言的同态等价。 Zbl 0401.68049号 卡雷尔·库利克二世;里奇,J.L。 三 1979 所有引用出版物 前5名被引用出版物 全部的 前5名被43位作者引用 6 伊利耶斯·法尔科内 6 埃尔文·马尔坎德 三 卢克·布热 三 蒂埃里·杰伦 三 斯里尼瓦斯·皮尼塞蒂 三 安托万·罗莱 2 卢卡·埃特罗 2 伊恩·卡萨尔 2 弗兰克·卡塞兹 2 杰雷米·杜布雷尔 2 阿德里安·弗兰卡兰扎 2 Anna Ingólfsdóttir 2 马蒂厄·雷纳德 2 斯塔夫罗斯·特里帕基斯 1 Krzysztof Rafal公寓 1 David A.Basin。 1 克莱蒙特博士。 1 科宁,诺琳 1 卡雷尔·库利克二世 1 伯恩德·芬克贝纳 1 克里斯托弗·哈恩 1 贾娜·霍夫曼 1 弗朗索瓦·赫布利特 1 奥斯卡·H·伊巴拉。 1 克里斯蒂安·克里斯蒂奇 1 拉诺特、拉格罗 1 拉亚·马达尼 1 Yael Maon公司 1 弗里德曼·马特恩 1 马西莫·梅罗 1 安德烈·蒙泰努 1 奥马尔·恩格纳·蒂莫 1 巴黎,伊奥安尼斯 1 安吉特·普拉丹 1 普洛塔萨,维奥雷尔 1 斯特凡·Rönn 1 罗普,Partha S。 1 塞科宁,海基 1 格温·萨拉恩 1 阿尔托·库斯塔·萨洛马 1 扬尼克·希洛 1 埃米拉姆·耶胡代 1 迪特尔·泽贝尔 全部的 前5名11篇连载文章中引用 4 理论计算机科学 4 系统设计中的形式化方法 2 信息学学报 2 信息处理信件 1 比特币 1 计算机与系统科学杂志 1 算法 1 计算的形式方面 1 MSCS公司。计算机科学中的数学结构 1 离散事件动态系统 1 逻辑与代数程序设计杂志 在5个字段中引用 23 计算机科学(68至XX) 2 数学逻辑和基础(03-XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 运筹学、数学编程(90-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文