编辑配置文件（在新选项卡中打开） 艾蒂安·洛兹 合著者距离 作者ID: 洛泽斯·埃蒂安 发布日期： 艾蒂安·洛兹;爱蒂安·洛兹;爱沙尼亚州洛兹。 更多。。。较少的 外部链接： MGP公司 编入索引的文档： 40出版物自2003年起 合著者： 23位合著者具有37联合出版物 463位联合作者 全部的 前5名合著者 三 单作者的 11 马丁·兰格 8 斯特凡·德姆里。 5 雷米·布罗赫宁 5 辛齐亚·迪·朱斯托 4 阿兰·芬克尔 4 米尔卡胡塔加隆 4 莱蒂蒂亚·拉弗萨 三 弗洛里安·布鲁斯 三 丹尼尔·赫施科夫 三 阿莱西奥·曼苏蒂 三 戴维·桑吉奥吉 三 朱尔斯·维拉德 2 路易斯·凯雷斯 2 亨德斯哈根，诺伯特 2 迪特里赫·库斯克 2 曼纽尔·瓦尔加斯·古兹曼 1 克什蒂吉·班萨尔 1 贝内迪克特·博利格 1 洛伊克·杰梅里·吉佐安 1 直纪小林 1 丹尼斯·卢吉兹 1 阿诺德·桑尼尔 1 阿姆丽塔·苏雷什 全部的 前5名系列 4 计算机科学中的逻辑方法 三 理论计算机科学 2 信息与计算 1 纯逻辑与应用逻辑年鉴 1 国际计算机科学基础杂志 1 分布式计算 1 计算机基础理论 1 程序设计中的逻辑和代数方法杂志 领域 39 计算机科学（68至XX） 26 数理逻辑与基础（03-XX） 三 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 32出版物被引用156中的次96文件 引用人▼ 年份▼ 在万能的魔杖上。 Zbl 1262.03051号 雷米·布罗赫宁;斯特凡·德姆里;艾蒂安·洛兹 24 2012 通信有限状态机的同步性是不可判定的。 Zbl 1442.68138号 阿兰·芬克尔;艾蒂安·洛兹 12 2017 在万能的魔杖上。 Zbl 1157.03010号 雷米·布罗赫宁;斯特凡·德姆里;艾蒂安·洛兹 11 2008 在命题分离逻辑中添加可达性谓词的效果。 兹比尔1504.68128 斯特凡·德姆里;爱蒂安·洛兹;阿莱西奥·曼苏蒂 8 2018 环境逻辑中的可分性。 Zbl 1151.03017号 艾蒂安·洛兹;丹尼尔·赫施科夫;戴维·桑吉奥吉 8 2008 关于记忆状态序列的推理。 Zbl 1225.68068号 雷米·布罗赫宁;斯特凡·德姆里;艾蒂安·洛兹 7 2009 静态环境逻辑中的辅助消除。 Zbl 1271.03050号 爱蒂安·洛兹 7 2004 关于系统的（k）-同步性。 Zbl 07250937号 辛齐亚·迪·朱斯托;莱蒂蒂亚·拉弗萨;艾蒂安·洛兹 7 2020 静态空间逻辑中空间连接词的消除。 Zbl 1078.68098号 爱蒂安·洛兹 5 2005 高阶不动点逻辑的节省空间片段。 Zbl 1478.68149号 弗洛里安·布鲁斯;马丁·兰格;艾蒂安·洛兹 5 2017 模型检查过程等效性。 兹比尔1303.68085 马丁·兰格;艾蒂安·洛兹;曼纽尔·瓦尔加斯·古兹曼 5 2014 空间逻辑的最小结果。 Zbl 1205.03046号 D.Hirschkoff。;爱沙尼亚州洛兹。;桑吉奥吉，D。 5 2003 超越形状：包含有序数据的列表。 Zbl 1234.68083号 克什蒂吉·班萨尔;雷米·布罗赫宁;艾蒂安·洛兹 4 2009 关于高阶递归格式和高阶不动点逻辑之间的关系。 Zbl 1380.68277号 直纪小林;爱蒂安·洛兹;弗洛里安·布鲁斯 4 2017 消除空间逻辑中的量词和不确定性以实现并发。 Zbl 1097.68582号 路易斯·凯雷斯;爱蒂安·洛兹 4 2004 揭露vs.隐瞒：更多的模拟游戏纳入比奇。 兹比尔1377.68113 米尔卡胡塔加隆;马丁·兰格;艾蒂安·洛兹 4 2013 面向带有列表的模型检查程序。 兹比尔1258.68094 阿兰·芬克尔;爱蒂安·洛兹;阿诺德·桑尼尔 三 2009 连接可视下推路径查询。 Zbl 1436.68085号 马丁·兰格;艾蒂安·洛兹 三 2015 关于记忆状态序列的推理。 Zbl 1132.68335号 雷米·布罗赫宁;斯特凡·德姆里;艾蒂安·洛兹 三 2007 消除空间逻辑中的量词和不确定性以实现并发。 Zbl 1097.68085号 路易斯·凯雷斯;艾蒂安·洛兹 三 2006 关于环境逻辑的表现力。 Zbl 1126.68056号 丹尼尔·赫施科夫;艾蒂安·洛兹;戴维·桑吉奥吉 三 2006 应用（pi）演算的空间方程逻辑。 Zbl 1160.03313号 爱蒂安·洛兹;朱尔斯·维拉德 三 2008 Büchi自动机缓冲模拟游戏。 Zbl 1464.68171号 米尔卡胡塔加隆;马丁·兰格;艾蒂安·洛兹 三 2014 一种类型导向的否定消去法。 Zbl 1476.68179号 艾蒂安·洛兹 三 2015 用于确定同步性的统一框架。 Zbl 07730616号 贝内迪克特·博利格;辛齐亚·迪·朱斯托;阿兰·芬克尔;莱蒂蒂亚·拉弗萨;艾蒂安·洛兹;阿姆丽塔·苏雷什 三 2021 使用高阶模态定点逻辑捕获互模拟不变复杂性类。 Zbl 1417.68058号 马丁·兰格;艾蒂安·洛兹 2 2014 跟踪语言包含的多缓冲区模拟。 Zbl 1478.68130号 米尔卡胡塔加隆;诺伯特·亨德斯哈根;迪特里赫·库斯克;马丁·兰格;艾蒂安·洛兹 2 2016 猜测k同步性的缓冲区界限。 兹布尔07495108 辛齐亚·迪·朱斯托;莱蒂蒂亚·拉弗萨;艾蒂安·洛兹 1 2021 共享的面向合同的端点。 兹比尔1433.68099 爱蒂安·洛兹;朱尔斯·维拉德 1 2012 模型检查高维模态演算。 Zbl 1457.68166号 马丁·兰格;艾蒂安·洛兹 1 2012 模型检查过程等效性。 Zbl 1459.68120号 马丁·兰格;艾蒂安·洛兹;曼纽尔·瓦尔加斯·古兹曼 1 2012 分离逻辑的内部计算。 Zbl 07650832号 斯特凡·德姆里;艾蒂安·洛兹;阿莱西奥·曼苏蒂 1 2020 用于确定同步性的统一框架。 Zbl 07730616号 贝内迪克特·博利格;辛齐亚·迪·朱斯托;阿兰·芬克尔;莱蒂蒂亚·拉弗萨;艾蒂安·洛兹;阿姆丽塔·苏雷什 三 2021 猜测k同步性的缓冲区边界。 Zbl 07495108号 辛齐亚·迪·朱斯托;莱蒂蒂亚·拉弗萨;艾蒂安·洛兹 1 2021 关于系统的（k）-同步性。 Zbl 07250937号 辛齐亚·迪·朱斯托;莱蒂蒂亚·拉弗萨;艾蒂安·洛兹 7 2020 分离逻辑的内部计算。 Zbl 07650832号 斯特凡·德姆里;艾蒂安·洛兹;阿莱西奥·曼苏蒂 1 2020 在命题分离逻辑中添加可达性谓词的效果。 Zbl 1504.68128号 斯特凡·德姆里;爱蒂安·洛兹;阿莱西奥·曼苏蒂 8 2018 通信有限状态机的同步性是不可判定的。 Zbl 1442.68138号 阿兰·芬克尔;艾蒂安·洛兹 12 2017 高阶不动点逻辑的节省空间片段。 兹比尔1478.68149 弗洛里安·布鲁斯;马丁·兰格;艾蒂安·洛兹 5 2017 关于高阶递归格式和高阶不动点逻辑之间的关系。 Zbl 1380.68277号 直纪小林;艾蒂安·洛兹;弗洛里安·布鲁斯 4 2017 跟踪语言包含的多缓冲区模拟。 Zbl 1478.68130号 米尔卡胡塔加隆;诺伯特·亨德斯哈根;迪特里赫·库斯克;马丁·兰格;艾蒂安·洛兹 2 2016 连接可视下推路径查询。 Zbl 1436.68085号 马丁·兰格;艾蒂安·洛兹 三 2015 一种类型导向的否定消去法。 Zbl 1476.68179号 艾蒂安·洛兹 三 2015 模型检查过程等效性。 Zbl 1303.68085号 马丁·兰格;艾蒂安·洛兹;曼纽尔·瓦尔加斯·古兹曼 5 2014 Büchi自动机缓冲模拟游戏。 兹比尔1464.68171 米尔卡胡塔加隆;马丁·兰格;艾蒂安·洛兹 三 2014 使用高阶模态定点逻辑捕获互模拟不变复杂性类。 Zbl 1417.68058号 马丁·兰格;艾蒂安·洛兹 2 2014 揭露vs.隐瞒：更多的模拟游戏纳入比奇。 Zbl 1377.68113号 米尔卡胡塔加隆;马丁·兰格;艾蒂安·洛兹 4 2013 在万能的魔杖上。 Zbl 1262.03051号 雷米·布罗赫宁;斯特凡·德姆里;艾蒂安·洛兹 24 2012 共享的面向合同的端点。 Zbl 1433.68099号 爱蒂安·洛兹;朱尔斯·维拉德 1 2012 高维模态\（\mu\）演算的模型检验。 Zbl 1457.68166号 马丁·兰格;艾蒂安·洛兹 1 2012 模型检查过程等效性。 兹比尔1459.68120 马丁·兰格;艾蒂安·洛兹;曼纽尔·瓦尔加斯·古兹曼 1 2012 关于记忆状态序列的推理。 Zbl 1225.68068号 雷米·布罗赫宁;斯特凡·德姆里;艾蒂安·洛兹 7 2009 超越形状：包含有序数据的列表。 Zbl 1234.68083号 克什蒂吉·班萨尔;雷米·布罗赫宁;艾蒂安·洛兹 4 2009 面向带有列表的模型检查程序。 Zbl 1258.68094号 阿兰·芬克尔;爱蒂安·洛兹;阿诺德·桑尼尔 三 2009 在万能的魔杖上。 Zbl 1157.03010号 雷米·布罗赫宁;斯特凡·德姆里;艾蒂安Lozes 11 2008 环境逻辑中的可分性。 Zbl 1151.03017号 爱蒂安·洛兹;丹尼尔·赫施科夫;戴维·桑吉奥吉 8 2008 应用（pi）演算的空间方程逻辑。 Zbl 1160.03313号 爱蒂安·洛兹;朱尔斯·维拉德 三 2008 关于记忆状态序列的推理。 Zbl 1132.68335号 雷米·布罗赫宁;斯特凡·德姆里;艾蒂安·洛兹 三 2007 消除空间逻辑中的量词和不确定性以实现并发。 Zbl 1097.68085号 路易斯·凯雷斯;艾蒂安·洛兹 三 2006 关于环境逻辑的表现力。 Zbl 1126.68056号 丹尼尔·赫施科夫;艾蒂安·洛兹;戴维·桑吉奥吉 三 2006 静态空间逻辑中空间连接词的消除。 Zbl 1078.68098号 爱蒂安·洛兹 5 2005 静态环境逻辑中的辅助消除。 Zbl 1271.03050号 爱蒂安·洛兹 7 2004 消除空间逻辑中的量词和不确定性以实现并发。 Zbl 1097.68582号 路易斯·凯雷斯;艾蒂安·洛兹 4 2004 空间逻辑的最小结果。 Zbl 1205.03046号 D.Hirschkoff。;Lozes，É。;桑吉奥吉，D。 5 2003 所有引用出版物 前5名被引用出版物 全部的 前5名160位作者引用 18 艾蒂安·洛兹 12 斯特凡·德姆里。 10 马丁·兰格 7 弗洛里安·布鲁斯 5 阿兰·芬克尔 5 阿莱西奥·曼苏蒂 4 雷米·布罗赫宁 4 路易斯·凯雷斯 4 辛齐亚·迪·朱斯托 4 多米尼克·拉切·温德林（Dominique Larchey-Wendling） 三 陈、陶璐 三 Deters，摩根 三 菲利普·安·加德纳 三 侯哲 三 米尔卡胡塔加隆 三 拉杜·奥西夫 三 莱蒂蒂亚·拉弗萨 三 阿文·费南托（Alwen Fernanto Tiu） 2 贝内迪克特·博利格 2 克里斯蒂亚诺·加尔卡尼奥 2 卢卡·卡德利 2 阿努吉·达瓦尔 2 迪迪埃·加米歇 2 诺伯特·亨德斯哈根 2 多米尼克·柯斯特 2 直纪小林 2 约格·克里克 2 迪特里赫·库斯克 2 米歇尔·洛雷蒂 2 克里斯托夫·马提亚 2 詹斯·佩格尔 2 Praveen，M。 2 马尔科·萨利泽 2 大卫·萨南 2 阿姆丽塔·苏雷什 2 Jean-Marc Talbot 2 竹田 2 朱尔斯·维拉德 2 吴志林 2 弗洛里安·祖勒格 1 亚明·艾特阿默尔 1 马哈穆杜尔·费萨尔·阿梅恩 1 蒂莫斯·安东尼奥普洛斯 1 菲利普·巴尔比亚尼 1 班克斯，C.J。 1 克什蒂吉·班萨尔 1 凯文·巴茨 1 巴托斯·贝德纳西克 1 杰斯珀·本特森 1 莎拉·本雅古布 1 本杰明·比斯平 1 劳拉·博奇 1 爱荷华州博内娃 1 卢卡·博托卢西 1 约瑟夫·布杜 1 马吕斯·博兹加 1 纳迪亚·布西 1 伊利亚州卡斯特拉尼 1 维托尔德·查拉托尼克 1 陈浩 1 魏恩根·钦 1 文森佐·西安西亚 1 洛伦佐·克莱门特 1 亚历克斯·科托 1 路易斯·克鲁兹·菲利佩 1 戴，费 1 达尔·齐利奥（Dal Zilio，Silvano） 1 蒂鲍特·达迪尼尔 1 玛丽亚·德尔马·加拉多 1 阿米特·库马尔·达尔 1 托马斯·丁斯代尔·扬 1 杜洪伟 1 段振华 1 吕克·爱迪克索芬 1 劳尔·费尔瓦里 1 伊拉·费塞费尔特 1 乔治·盖利 1 瓦伦丁·F·戈兰科。 1 安德鲁·戈登。 1 拉杰夫·普拉巴卡尔·戈尔 1 埃里希·格拉德尔 1 顾新才 1 罗伯特·瓜夏莱 1 洛伊克·杰梅里·吉佐安 1 Darion Haase先生 1 韩婷婷 1 黄碧 1 直木岛岛山 1 大卫·詹森（David N.Jansen）。 1 马文·詹森 1 彼得·吉普森 1 钟曼，宋世堂。 1 乔纳斯·卡斯伯格·辛里奇森 1 Joost-Pieter卡托恩 1 弗洛里安·科勒 1 罗伯特·克雷伯斯 1 Kronenberger，大卫 1 丹尼斯·库珀伯格 1 Marta Z.Kwiatkowska。 1 朱利安·兰格 …还有60多位作者 全部的 前5名14篇连载文章中引用 12 理论计算机科学 12 信息与计算 11 计算机科学中的逻辑方法 4 ACM计算逻辑事务 4 程序设计中的逻辑和代数方法杂志 三 自动推理杂志 三 计算机基础理论 2 纯逻辑与应用逻辑年鉴 2 应用非经典逻辑杂志 1 MSCS公司。计算机科学中的数学结构 1 国际计算机科学基础杂志 1 分布式计算 1 复杂性 1 计算系统理论 在4个字段中引用 87 计算机科学（68至XX） 65 数理逻辑与基础（03-XX） 2 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的引文