埃蒂安·洛兹
人员信息
优化列表
2020年–今天
2023 [j17] 辛齐亚·迪·朱斯托 , 莱蒂蒂亚·拉弗萨 , 埃蒂安·洛兹 :
猜测k-同步性的缓冲区界限。 发现的国际期刊。 计算。 科学。 34 ( 8 ) : 1051-1076 ( 2023 ) [公元16年] 辛齐亚·迪·朱斯托 , 洛伊克·杰梅里·吉佐安 , 埃蒂安·洛兹 :
多方半双工系统和同步通信。 J.日志。 代数方法课程。 131 : 100843 ( 2023 ) [公元15年] 阿兰·芬克尔 , 埃蒂安·洛兹 :
通信有限状态机的同步性是不确定的。 日志。 方法计算。 科学。 19 ( 4 ) ( 2023 ) [公元14年] 辛齐亚·迪·朱斯托 , 大卫·费雷 , 莱蒂蒂亚·拉弗萨 , 埃蒂安·洛兹 :
消息传递通信模型的部分顺序视图。 程序。 ACM计划。 语言。 7 ( POPL公司 ) : 1601-1627 ( 2023 ) [公元35年] 辛齐亚·迪·朱斯托 , 大卫·费雷 , 埃蒂安·洛兹 , 尼古拉斯·尼塞 :
带有三台机器的弱同步系统是强大的。 RP公司 2023 : 28-41 [i10] 辛齐亚·迪·朱斯托 , 大卫·费雷 , 艾蒂安·洛兹 , 尼古拉斯·尼塞 :
带有三台机器的弱同步系统是图灵强大的。 CoRR公司 abs/2308.10578 ( 2023 ) 2022 [公元34年] 弗洛里安·布鲁斯 , 马丁·兰格 , 埃蒂安·洛兹 :
时间递归CTL的尾部递归片段。 时间 2022 : 5:1-5:16 [第九章] 辛齐亚·迪·朱斯托 , 大卫·费雷 , 莱蒂蒂亚·拉弗萨 , 埃蒂安·洛兹 :
消息传递模型的非连续层次结构。 CoRR公司 abs/2210.13062 ( 2022 ) 2021 [j13] 弗洛里安·布鲁斯 , 马丁·兰格 , 埃蒂安·洛兹 :
模型检查尾递归高阶不动点逻辑的复杂性。 芬丹。 信息学 178 ( 1-2 ) : 1-30 ( 2021 ) [公元12年] 斯特凡·德姆里 , 埃蒂安·洛兹 , 阿莱西奥·曼苏蒂 :
无量词分离逻辑的完全公理化。 日志。 方法计算。 科学。 17 ( 三 ) ( 2021 ) [公元11年] 斯特凡·德姆里 , 埃蒂安·洛兹 , 阿莱西奥·曼苏蒂 :
在无量词分离逻辑中添加可达性谓词的效果。 ACM事务处理。 计算。 日志。 22 ( 2 ) : 14:1-14:56 ( 2021 ) [公元33年] Benedikt Bollig公司 , 辛齐亚·迪·朱斯托 , 阿兰·芬克尔 , 莱蒂蒂亚·拉弗萨 , 埃蒂安·洛兹 , 阿姆里塔·苏雷什 :
决定同步性的统一框架。 CONCUR公司 2021 : 14:1-14:18 [公元32年] 辛齐亚·迪·朱斯托 , 莱蒂蒂亚·拉弗萨 , 埃蒂安·洛兹 :
猜测k-同步性的缓冲区界限。 CIAA公司 2021 : 102-114 [公元31年] 辛齐亚·迪·朱斯托 , 洛伊克·杰梅里·吉佐安 , 艾蒂安·洛兹 :
走向广义半双工系统。 内燃机 2021 : 22-37 [i8] 辛齐亚·迪·朱斯托 , 莱蒂蒂亚·拉弗萨 , 埃蒂安·洛兹 :
猜测k同步性的缓冲区界限。 CoRR公司 abs/2104.14408 ( 2021 ) 2020 [公元30年] 斯特凡·德姆里 , 埃蒂安·洛兹 , 阿莱西奥·曼苏蒂 :
分离逻辑的内部演算。 CSL公司 2020 : 19:1-19:18 [公元29年] 辛齐亚·迪·朱斯托 , 莱蒂蒂亚·拉弗萨 , 埃蒂安·洛兹 :
关于系统的k-同步性。 FoSSaCS公司 2020 : 157-176 [i7] 斯特凡·德姆里 , 埃蒂安·洛兹 , 阿莱西奥·曼苏蒂 :
无量词分离逻辑的完全公理化。 CoRR公司 abs/2006.05156 ( 2020 )
2010 – 2019
2019 [i6] 辛齐亚·迪·朱斯托 , 莱蒂蒂亚·拉弗萨 , 埃蒂安·洛兹 :
关于邮箱系统的k同步性。 CoRR公司 abs/1909.01627 ( 2019 ) [i5] 斯特凡·德姆里 , 埃蒂安·洛兹 , 阿莱西奥·曼苏蒂 :
分离逻辑的内部演算。 CoRR公司 abs/1910.05016 ( 2019 ) 2018 [公元10年] 米尔卡·胡塔加隆 , 诺伯特·亨德斯哈根 , 迪特里希·库斯克 , 马丁·兰格 , 埃蒂安·洛兹 :
多缓冲区模拟:可决定性和复杂性。 Inf.计算。 262 : 280-310 ( 2018 ) [公元28年] 斯特凡·德姆里 , 埃蒂安·洛兹 , 阿莱西奥·曼苏蒂 :
命题分离逻辑中添加可达性谓词的效果。 FoSSaCS公司 2018 : 476-493 [i4] 斯特凡·德姆里 , 埃蒂安·洛兹 , 阿莱西奥·曼苏蒂 :
命题分离逻辑中添加可达性谓词的效果。 CoRR公司 abs/1810.05410 ( 2018 ) 2017 [公元27年] 斯特凡·德姆里 , 埃蒂安·洛兹 , 丹尼斯·卢吉兹 :
论符号堆模许可理论。 FSTTCS公司 2017 : 25:1-25:14 [公元26年] 阿兰·芬克尔 , 艾蒂安·洛兹 :
通信有限状态机的同步性是不确定的。 ICALP公司 2017 : 122:1-122:14 [公元25年] 小林直树 , 埃蒂安·洛兹 , 弗洛里安·布鲁斯 :
关于高阶递归格式和高阶不动点逻辑之间的关系。 POPL公司 2017 : 246-259 [公元24年] 弗洛里安·布鲁斯 , 马丁·兰格 , 埃蒂安·洛兹 :
高阶定点逻辑的空间效率片段。 RP公司 2017 : 26-41 [i3] 阿兰·芬克尔 , 埃蒂安·洛兹 :
通信有限状态机的同步性是不确定的。 CoRR公司 abs/1702.07213 ( 2017 ) 2016 【c23】 米尔卡·胡塔加隆 , 诺伯特·亨德斯哈根 , 迪特里希·库斯克 , 马丁·兰格 , 艾蒂安·洛兹 :
双缓冲模拟游戏。 外壳/SynCoP 2016 : 27-38 [公元22年] 米尔卡·胡塔加隆 , 诺伯特·亨德斯哈根 , 迪特里希·库斯克 , 马丁·兰格 , 埃蒂安·洛兹 :
跟踪语言包含的多缓冲区模拟。 甘道夫 2016 : 213-227 2015 [公元9年] 埃蒂安·洛兹 , 朱尔斯·维拉德 :
共享面向合同的渠道。 科学。 计算。 程序。 100 : 28-60 ( 2015 ) [c21] 马丁·兰格 , 埃蒂安·洛兹 :
连接可视下推路径查询。 FCT公司 2015 : 327-338 [公元20年] 埃蒂安·洛兹 :
一种类型导向否定消除法。 菲莎国际学院 2015 : 132-142 2014 [j8] 马丁·兰格 , 艾蒂安·洛兹 , 曼努埃尔·瓦尔加斯·古兹曼 :
模型检查过程等效性。 西奥。 计算。 科学。 560 : 326-347 ( 2014 ) [第19条] 马丁·兰格 , 埃蒂安·洛兹 :
用高阶模态定点逻辑捕获互模拟不变量复杂度类。 IFIP TCS 2014 : 90-103 [第18条] 米尔卡·胡塔加隆 , 马丁·兰格 , 埃蒂安·洛兹 :
Büchi Automata的缓冲模拟游戏。 AFL公司 2014 : 286-300 2013 [第17条] 米尔卡·胡塔加隆 , 马丁·兰格 , 埃蒂安·洛兹 :
揭露与掩饰:比奇包容性的更多模拟游戏。 拉丁美洲旅游协会 2013 : 347-358 2012 [j7] 雷米·布罗奇宁 , 斯特凡·德姆里 , 埃蒂安·洛兹 :
在万能的魔杖上。 Inf.计算。 211 : 106-137 ( 2012 ) [第16条] 埃蒂安·洛兹 , 朱尔斯·维拉德 :
共享的面向合同的端点。 内燃机 2012 : 17-31 [第15条] 马丁·兰格 , 埃蒂安·洛兹 :
模型检查高维模态微积分。 菲莎国际学院 2012 : 39-46 [第14条] 马丁·兰格 , 埃蒂安·洛兹 , 曼努埃尔·瓦尔加斯·古兹曼 :
模型-检查过程等效性。 甘道夫 2012 : 43-56 2011 [第13条] 弗洛伦特·雅克马尔 , 埃蒂安·洛兹 , 拉尔夫·特雷恩 , 朱尔斯·维拉德 :
多重同余关系,术语的一阶理论,以及应用Pi-Calculus的框架。 TOSCA公司 2011 : 166-185 [c12] 埃蒂安·洛兹 , 朱尔斯·维拉德 :
不可靠半双工通信的可靠合同。 WS-FM公司 2011 : 2-16 2010 [j6] 埃蒂安·洛兹 , 朱尔斯·维拉德 :
应用程序的空间等式逻辑 圆周率 -微积分。 分布式计算。 23 ( 1 ) : 61-83 ( 2010 ) [第11条] 朱尔斯·维拉德 , 埃蒂安·洛兹 , 克里斯蒂亚诺·卡尔加诺 :
使用Heap-Hop跟踪跳跃的堆。 TACAS公司 2010 : 275-279
2000 – 2009
2009 [j5] 雷米·布罗奇宁 , 斯特凡·德姆里 , 艾蒂安·洛兹 :
关于记忆状态序列的推理。 Ann.纯应用。 日志。 161 ( 三 ) : 305-323 ( 2009 ) [第10条] 朱尔斯·维拉德 , 埃蒂安·洛兹 , 克里斯蒂亚诺·卡尔加诺 :
证明无版权消息传递。 阿普拉斯 2009 : 194-209 【c9】 克什蒂吉·班萨尔 , 雷米·布罗奇宁 , 艾蒂安·洛兹 :
超越形状:包含有序数据的列表。 FoSSaCS公司 2009 : 425-439 2008 【j4】 埃蒂安·洛兹 , 丹尼尔·赫希科夫 , 戴维德·桑吉奥吉 :
环境逻辑中的可分性。 日志。 方法计算。 科学。 4 ( 三 ) ( 2008 ) 【c8】 埃蒂安·洛兹 , 朱尔斯·维拉德 :
应用pi-Calculus的空间等式逻辑。 CONCUR公司 2008 : 387-401 【c7】 雷米·布罗奇宁 , 斯特凡·德姆里 , 埃蒂安·洛兹 :
在万能魔杖上。 CSL公司 2008 : 323-338 [i2] 丹尼尔·赫希科夫 , 埃蒂安·洛兹 , 戴维德·桑吉奥吉 :
环境逻辑中的可分性。 CoRR公司 abs/0806.3849 ( 2008 ) 2007 【c6】 阿兰·芬克尔 , 埃蒂安·洛兹 , 阿诺德·桑尼尔 :
带列表的模型检查程序。 国际租赁公司 2007 : 56-86 【c5】 雷米·布罗奇宁 , 斯特凡·德姆里 , 埃蒂安·洛兹 :
关于记忆状态序列的推理。 LFCS公司 2007 : 100-114 2006 [j3] 丹尼尔·赫希科夫 , 埃蒂安·洛兹 , 戴维德·桑吉奥吉 :
论环境逻辑的表达性。 日志。 方法计算。 科学。 2 ( 2 ) ( 2006 ) [注2] 路易斯·凯雷斯 , 埃蒂安·洛兹 :
消除空间逻辑中的量词和不确定性以实现并发。 西奥。 计算。 科学。 358 ( 2-3 ) : 293-314 ( 2006 ) 2005 [j1] 埃蒂安·洛兹 :
静态空间逻辑中空间连接词的消除。 西奥。 计算。 科学。 330 ( 三 ) : 475-499 ( 2005 ) [i1] 丹尼尔·赫希科夫 , 埃蒂安·洛兹 , 戴维德·桑吉奥吉 :
论环境逻辑的表达性。 CoRR公司 abs/cs/0510010 ( 2005 ) 2004 【c4】 路易斯·凯雷斯 , 埃蒂安·洛兹 :
消除空间逻辑中的量词和不确定性以实现并发。 CONCUR公司 2004 : 240-257 2003 【c3】 丹尼尔·赫希科夫 , 埃蒂安·洛兹 , 戴维德·桑吉奥吉 :
空间逻辑的最小结果。 FSTTCS公司 2003 : 252-264 【c2】 埃蒂安·洛兹 :
静态环境逻辑中的辅助消除。 EXPRESS(快递) 2003 : 51-72 2002 【c1】 丹尼尔·赫希科夫 , 埃蒂安·洛兹 , 戴维德·桑吉奥吉 :
环境逻辑中的可分性、表达性和决定性。 低收入国家 2002 : 423-432