编辑配置文件（在新选项卡中打开） 卢多维奇·亨利奥 合著者距离 作者ID： henrio卢多维奇 发布方式： 卢多维奇·亨利奥;亨利奥，L。 已编制索引的文档： 15出版物自2001年以来，包括1本书 4作为编辑的贡献 合著者： 23位合著者具有19联合出版物 355联合作者 全部的 前5名合著者 0 单作者的 5 丹尼斯·卡罗梅尔 4 马西莫·巴托莱蒂 4 索菲亚·奈特 三 弗洛里安·卡姆米勒 三 艾瑞克·马德琳 三 伯纳德·保罗·塞尔佩特 2 拉贝亚·阿穆尔·布利法 2 劳拉·博奇 2 雨果·托雷斯·维埃拉 1 伊莎贝尔·阿塔利 1 费利佩·卢纳（Felipe Luna）·德尔·阿吉拉（Del Aguila） 1 佩特鲁·埃利斯 1 泽纳布·甘杰 1 埃纳尔·布罗赫·约翰森 1 克里斯托弗·克勒。 1 O.库兰基纳。 1 李璐 1 比安卡·卢茨 1 彭泽波 1 Pun、Violet Ka I。 1 艾哈迈德·雷兹 1 贾斯汀·罗切斯 1 张敏 系列 5 程序设计中的逻辑和代数方法杂志 2 理论计算机科学电子论文集（EPTCS） 1 计算机程序设计科学 1 信息与计算 1 计算机科学中的逻辑方法 领域 19 计算机科学（68至XX） 4 总体主题；集合（00-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 10出版物有被引用41中的次24文件 引用人▼ 年份▼ 分布式对象理论。异步-移动性-组-组件。卢卡·卡德利的前言。 Zbl 1084.68012号 丹尼斯·卡罗梅尔;卢多维奇·亨利奥 13 2005 异步和确定性对象。 Zbl 1325.68052号 丹尼斯·卡罗梅尔;卢多维奇·亨利奥;伯纳德·保罗·塞尔佩特 10 2004 并发进程组成的理论。 Zbl 1347.68267号 卢多维奇·亨利奥;埃里克，玛德琳;张敏 6 2016 异步组件的行为语义。 Zbl 1407.68271号 阿穆尔·布利法，R。;亨利欧。;O.库兰基纳。;Madelaine，E。;A.萨武。 三 2017 物体理论的机械化模型。 Zbl 1202.68097号 卢多维奇·亨利奥;弗洛里安·卡姆米勒 2 2007 异步顺序过程。 Zbl 1170.68026号 丹尼斯·卡罗梅尔;卢多维奇·亨利奥;伯纳德·保罗·塞尔佩特 2 2009 功能性活动对象：键入和形式化。 Zbl 1364.68130号 卢多维奇·亨利奥;弗洛里安·卡姆米勒 2 2009 异步顺序进程的安全信息流。 Zbl 1277.68159号 伊莎贝尔·阿塔利;丹尼斯·卡罗梅尔;卢多维奇·亨利奥;费利佩·卢纳（Felipe Luna）·德尔·阿吉拉（Del Aguila） 1 2007 多活动对象及其应用。 Zbl 1398.68087号 卢多维奇·亨利奥;贾斯汀·罗切斯 1 2017 利用模型中的访问模式声明实现异构系统中的内存一致性。 Zbl 1494.68043号 卢多维奇·亨利奥;克里斯托夫·凯斯勒;李璐 1 2020 利用模型中的访问模式声明实现异构系统中的内存一致性。 Zbl 1494.68043号 卢多维奇·亨利奥;克里斯托夫·凯斯勒;李璐 1 2020 异步组件的行为语义。 Zbl 1407.68271号 Ameur Boulifa，R。;亨利奥，L。;O.库兰基纳。;Madelaine，E。;A.萨武。 三 2017 多活动对象及其应用程序。 Zbl 1398.68087号 卢多维奇·亨利奥;贾斯汀·罗切斯 1 2017 并发进程组成的理论。 Zbl 1347.68267号 卢多维奇·亨利奥;艾瑞克·马德琳;张敏 6 2016 异步顺序过程。 Zbl 1170.68026号 丹尼斯·卡罗梅尔;卢多维奇·亨利奥;伯纳德·保罗·塞尔佩特 2 2009 功能性活动对象：键入和形式化。 兹比尔1364.68130 卢多维奇·亨利奥;弗洛里安·卡姆米勒 2 2009 物体理论的机械化模型。 Zbl 1202.68097号 卢多维奇·亨利奥;弗洛里安·卡姆米勒 2 2007 异步顺序进程的安全信息流。 Zbl 1277.68159号 伊莎贝尔·阿塔利;丹尼斯·卡罗梅尔;卢多维奇·亨利奥;费利佩·卢纳（Felipe Luna）·德尔·阿吉拉（Del Aguila） 1 2007 分布式对象理论。异步-移动性-组-组件。卢卡·卡德利的前言。 Zbl 1084.68012号 丹尼斯·卡罗梅尔;卢多维奇·亨利奥 13 2005 异步和确定性对象。 Zbl 1325.68052号 丹尼斯·卡罗梅尔;卢多维奇·亨利奥;伯纳德·保罗·塞尔佩特 10 2004 所有引用出版物 前5名被引用出版物 全部的 前5名50位作者引用 7 卢多维奇·亨利奥 6 埃里克，玛德琳 5 埃纳尔·布罗赫·约翰森 三 Owe、Olaf 2 拉贝亚·阿穆尔·布利法 2 丹尼斯·卡罗梅尔 2 埃琳娜·贾奇诺 2 弗洛里安·卡姆米勒 2 鲁道夫·施拉特 2 塔皮娅·塔里法（Tapia Tarifa）、西尔维娅·利泽斯（Silvia Lizeth） 2 张敏 1 艾丽卡·阿尔布拉汉姆 1 伊莎贝尔·阿塔利 1 斯特凡·贝尔霍费尔 1 西蒙·布利兹 1 马里奥·布拉维蒂 1 卢卡斯·布尔瓦恩 1 陈燕文 1 陈一香 1 克拉克、戴夫 1 马修·达吉特。 1 费利佩·卢纳（Felipe Luna）·德尔·阿吉拉（Del Aguila） 1 邓玉欣 1 Din、Crystal Chang 1 格拉贝，伊莫 1 蒂莫西·格里芬。 1 安德烈亚斯·格吕纳 1 弗洛里安·哈夫特曼 1 雷纳·哈内尔 1 菲利普·哈勒 1 侯泽晨 1 爱德华·坎伯扬 1 卡拉米，法尔扎内 1 O.库兰基纳。 1 科西莫·拉内夫 1 李思奇 1 迈克尔·连哈特 1 弗雷德里克·卢勒格 1 比安卡·卢茨 1 约阿希姆·尼伦 1 马丁·奥德斯基 1 秦旭东 1 托克塔姆，拉梅扎尼法尔卡尼 1 施温哈默（Jan Schwinghammer） 1 伯纳德·保罗·塞尔佩特 1 格特·斯莫尔卡 1 马丁·斯特芬 1 Wong，Peter Y.H。 1 Yu，Ingrid Chieh女士 1 兰·兹米格罗德 全部的 前5名8篇连载文章中引用 6 程序设计中的逻辑和代数方法杂志 2 理论计算机科学 2 逻辑与代数程序设计杂志 1 信息学报 1 计算机程序设计科学 1 信息与计算 1 自动推理杂志 1 计算机科学前沿 在3个字段中引用 24 计算机科学（68至XX） 1 总体主题；集合（00-XX） 1 数学逻辑和基础（03-XX） 按年份列出的引文