克劳迪奥·安塔雷斯·梅齐纳
人员信息
附属: 意大利卢卡IMT高级研究学校
优化列表
2020年–今天
2024 [j13] 劳拉·博奇 , 伊万·拉内斯 , 克劳迪奥·安塔雷斯·梅齐纳 , 袁绍基(Shoji Yuen) :
revTPL:可逆时间过程语言。 日志。 方法计算。 科学。 20 ( 1 ) ( 2024 ) [公元42年] 费德里科·达尔·皮奥·洛戈 , 克劳迪奥·安塔雷斯·梅齐纳 , G.米歇尔·平纳 :
模型检查可逆系统:正向。 钢筋混凝土 2024 : 218-237 2023 [公元12年] 马可·贝尔纳多 , 克劳迪奥·安塔雷斯·梅齐纳 :
桥接因果可逆性和时间可逆性:一种随机过程代数方法。 日志。 方法计算。 科学。 19 ( 2 ) ( 2023 ) [公元41年] 克劳迪奥·安塔雷斯·梅齐纳 , 弗朗西斯科·蒂齐 , 吉田信子 :
基于会话的编程中的回滚恢复。 协调 2023 : 195-213 [公元40年] 马可·贝尔纳多 , 克劳迪奥·安塔雷斯·梅齐纳 :
具有懒惰/渴望无持续动作和时间可加性的时间过程微积分的因果可逆性。 格式 2023 : 15-32 [公元39年] 埃尔南·梅尔格拉蒂 , 克劳迪奥·安塔雷斯·梅齐纳 , G.米歇尔·平纳 :
关联可逆Petri网和可逆事件结构,分类。 复地 2023 : 206-223 [公元38年] 马可·贝尔纳多 , 伊万·拉内斯 , 安德烈亚·马林 , 克劳迪奥·安塔雷斯·梅齐纳 , 萨比娜·罗西 , 克劳迪奥·萨塞尔多蒂·科恩 :
因果可逆性意味着时间可逆性。 QEST公司 2023 : 270-287 [公元37年] 罗伯特·格莱克 , 伊万·拉内斯 , 克劳迪奥·安塔雷斯·梅齐纳 , 雅罗斯瓦夫·亚当·米斯克 , 伊恩·C·C·菲利普斯 , 伊雷克·乌利多夫斯基 , 格尔曼·维达尔 :
可逆计算方法的分类。 钢筋混凝土 2023 : 24-39 [电子3] 克劳迪奥·安塔雷斯·梅齐纳 , 乔治亚娜·卡尔泰斯 :
《第30届并发表达性国际研讨会和第20届结构化操作语义研讨会论文集》,EXPRESS/SOS 2023,第20届结构操作语义研讨会,比利时安特卫普,2023年9月18日。 EPTCS系统 387, 2023 [目录] [i13] 埃尔南·梅尔格拉蒂 , 克劳迪奥·安塔雷斯·梅齐纳 , G.米歇尔·平纳 :
明确地关联可逆Petri网和可逆事件结构。 CoRR公司 abs/2302.14195 ( 2023 ) [i12] 埃尔南·梅尔格拉蒂 , 克劳迪奥·安塔雷斯·梅齐纳 , G.米歇尔·平纳 :
可逆CCS的真正并发语义。 CoRR公司 abs/2309.14011 ( 2023 ) [i11] 克劳迪奥·安塔雷斯·梅齐纳 , 弗朗西斯科·蒂齐 , 吉田信子 :
会话编程中基于检查点的回滚恢复。 CoRR公司 abs/2312.02851 ( 2023 ) [i10] 埃尔南·梅尔格拉蒂 , 克劳迪奥·安塔雷斯·梅齐纳 , G.米歇尔·平纳 :
Petri网和事件结构的可逆观点。 CoRR公司 abs/2312.16714 ( 2023 ) 2022 [公元11年] 埃尔南·梅尔格拉蒂 , 克劳迪奥·安塔雷斯·梅齐纳 , G.米歇尔·平纳 :
共价键的Petri网视图。 西奥。 计算。 科学。 908 : 89-119 ( 2022 ) [c36] 劳拉·博奇 , 伊万·拉内斯 , 克劳迪奥·安塔雷斯·梅齐纳 , 袁绍基(Shoji Yuen) :
可逆时间过程语言。 复地 2022 : 31-49 [电子2] 克劳迪奥·安塔雷斯·梅齐纳 , 波德拉斯基 :
可逆计算——第14届国际会议,RC 2022,意大利乌尔比诺,2022年7月5-6日,会议记录。 计算机科学课堂讲稿 13354, 施普林格 2022 ,国际标准图书编号 978-3-031-09004-2 [目录] [e1] 瓦伦蒂娜·卡斯蒂格利奥尼 , 克劳迪奥·安塔雷斯·梅齐纳 :
《第29届并发表达性国际研讨会和第19届结构化操作语义研讨会论文集》,EXPRESS/SOS 2022,波兰华沙,2022年9月12日。 EPTCS系统 368, 2022 [目录] [第九章] 马可·贝尔纳多 , 克劳迪奥·安塔雷斯·梅齐纳 :
桥接因果一致性和时间可逆性:随机过程代数方法。 CoRR公司 abs/2205.01420 ( 2022 ) [i8] 劳拉·博奇 , 伊万·拉内斯 , 克劳迪奥·安塔雷斯·梅齐纳 , 袁绍基(Shoji Yuen) :
revTPL:可逆时间过程语言。 CoRR公司 abs/2212.03687 ( 2022 ) 2021 [公元10年] 伊万·拉尼斯 , Doriana Medic公司 , 克劳迪奥·安塔雷斯·梅齐纳 :
CCS中的静态与动态可逆性。 信息学报 58 ( 1-2 ) : 1-34 ( 2021 ) [公元9年] 克劳迪奥·安塔雷斯·梅齐纳 , 豪尔赫·佩雷斯 :
可逆多方协议的因果一致性。 日志。 方法计算。 科学。 17 ( 4 ) ( 2021 ) [公元35年] 埃尔南·梅尔格拉蒂 , 克劳迪奥·安塔雷斯·梅齐纳 , G.米歇尔·平纳 :
可逆基本事件结构的分布式操作视图。 低收入国家 2021 : 1-13 [公元34年] 埃尔南·梅尔格拉蒂 , 克劳迪奥·安塔雷斯·梅齐纳 , G.米歇尔·平纳 :
面向可逆CCS的真正并发语义。 钢筋混凝土 2021 : 109-125 2020 [j8] Doriana Medic公司 , 克劳迪奥·安塔雷斯·梅齐纳 , 伊恩·菲利普斯 , 吉田信子 :
可逆的参数化框架 π -计算。 Inf.计算。 275 : 104644 ( 2020 ) [j7] 埃尔南·梅尔格拉蒂 , 克劳迪奥·安塔雷斯·梅齐纳 , 伊雷克·乌里多夫斯基 :
反向放置过渡网。 日志。 方法计算。 科学。 16 ( 4 ) ( 2020 ) [c33] 马可·贝尔纳多 , 克劳迪奥·安塔雷斯·梅齐纳 :
走向跨越时间和因果可逆性。 复地 2020 : 22-38 [公元32年] 埃尔南·梅尔格拉蒂 , 克劳迪奥·安塔雷斯·梅齐纳 , 伊恩·菲利普斯 , G.米歇尔·平纳 , 伊雷克·乌利多夫斯基 :
可逆发生网和因果可逆素事件结构。 钢筋混凝土 2020 : 35-53 [公元31年] Doriana Medic公司 , 克劳迪奥·安塔雷斯·梅齐纳 , 伊恩·菲利普斯 , 吉田信子 :
软件事务内存的正式帐户。 钢筋混凝土 2020 : 255-263 [第3页] 博格丹·阿曼 , 加布里埃尔·乔巴努 , 罗伯特·格莱克 , 罗宾·卡斯加德 , 贾科·卡里 , 马丁·库特里布 , 伊万·拉内斯 , 克劳迪奥·安塔雷斯·梅齐纳 , 卢卡斯·米库斯基 , 拉贾戈帕尔·纳加拉扬 , 伊恩·C·C·菲利普斯 , G.米歇尔·平纳 , 卢卡·普里吉奥尼埃罗 , 伊雷克·乌利多夫斯基 , 格尔曼·维达尔 :
可逆计算基础。 成本行动IC1405的选定结果 2020 : 1-40 [第2页] 克劳迪奥·安塔雷斯·梅齐纳 , 鲁道夫·施拉特 , 罗伯特·格莱克 , 周二Haulund , 詹姆斯·霍伊 , 马丁·霍尔姆·塞文卡 , 伊万·拉内斯 , 托本。 莫根森 , 哈伦·西尔贾克 , 乌尔里克·帕赫·舒尔茨 , 伊雷克·乌利多夫斯基 :
软件和可逆系统:近期活动综述。 成本行动IC1405的选定结果 2020 : 41-59 [第1页] 阿德里安·弗兰卡兰扎 , 克劳迪奥·安塔雷斯·梅齐纳 , 埃米利奥·托斯托 :
走向基于编排的监控。 成本行动IC1405的选定结果 2020 : 128-150
2010 – 2019
2019 [公元30年] 叶希亚·阿卜杜·阿勒拉赫曼 , 克劳迪奥·安塔雷斯·梅齐纳 , 雨果·托雷斯·维埃拉 :
协调保真度测试。 并发和分布式编程的模型、语言和工具 2019 : 152-169 [公元29年] 埃尔南·梅尔格拉蒂 , 克劳迪奥·安塔雷斯·梅齐纳 , 伊雷克·乌利多夫斯基 :
反向P/T网络。 协调 2019 : 19-36 [i7] 埃尔南·梅尔格拉蒂 , 克劳迪奥·安塔雷斯·梅齐纳 , 伊雷克·乌利多夫斯基 :
反向放置过渡网。 CoRR公司 abs/1910.04266 ( 2019 ) [i6] 埃尔南·梅尔格拉蒂 , 克劳迪奥·安塔雷斯·梅齐纳 , 伊恩·C·C·菲利普斯 , G.米歇尔·平纳 , 伊雷克·乌利多夫斯基 :
可逆因果网和可逆事件结构。 CoRR公司 abs/1910.10987 ( 2019 ) 2018 [j6] 维塔利·布拉夫列夫 , 洛科·德·尼古拉 , 克劳迪奥·安塔雷斯·梅齐纳 :
评估Linda实施的效率。 同意。 计算。 实际。 支出。 30 ( 8 ) ( 2018 ) [j5] 克劳迪奥·安塔雷斯·梅齐纳 :
Discotec 2018年会议报告。 ACM SIGLOG新闻 5 ( 三 ) : 84-85 ( 2018 ) [公元28年] 阿德里安·弗兰卡兰扎 , 克劳迪奥·安塔雷斯·梅齐纳 , 埃米利奥·托斯托 :
通过Erlang中的监控实现可逆编排。 DAIS公司 2018 : 75-92 [c27] 维塔利·布拉夫列夫 , 洛科·德·尼古拉 , 阿尔贝托·卢奇·拉富恩特 , 克劳迪奥·安塔雷斯·梅齐纳 :
通过共享抽象和复制策略提高分布式元组空间的可用性。 产品开发计划 2018 : 302-305 [公元26年] 克劳迪奥·安塔雷斯·梅齐纳 :
可逆性和广播。 钢筋混凝土 2018 : 67-83 [公元25年] Doriana美第奇 , 克劳迪奥·安塔雷斯·梅齐纳 , 伊恩·菲利普斯 , 吉田信子 :
可逆Pi-Calculi的参数化框架。 快递/SOS 2018 : 87-103 [i5] Doriana美第奇 , 克劳迪奥·安塔雷斯·梅齐纳 , 伊恩·菲利普斯 , 吉田信子 :
可逆π-演算的参数化框架。 CoRR公司 abs/1807.11800 ( 2018 ) 2017 [j4] 埃琳娜·贾奇诺 , 伊万·拉内斯 , 克劳迪奥·安塔雷斯·梅齐纳 , 弗朗西斯科·蒂齐 :
基于元组的语言中的因果一致回滚。 J.日志。 代数方法课程。 88 : 99-120 ( 2017 ) [j3] 克劳迪奥·安塔雷斯·梅齐纳 , 豪尔赫·佩雷斯 :
基于会话的并发中的可逆性:一个新的外观。 J.日志。 代数方法课程。 90 : 2-30 ( 2017 ) [公元24年] 罗伯塔·巴比 , 维塔利·布拉夫列夫 , 克劳迪奥·安塔雷斯·梅齐纳 , 瓦莱里奥·斯齐亚沃尼 :
容错分布式元组空间的块放置策略:实验研究(实践经验报告)。 DAIS公司 2017 : 67-82 【c23】 Doriana Medic公司 , 克劳迪奥·安塔雷斯·梅齐纳 :
pi-calculus中的参数因果语义。 ICTCS/CILC 2017 : 121-125 [公元22年] 克劳迪奥·安塔雷斯·梅齐纳 , 豪尔赫·佩雷斯 :
因果一致的可逆编舞:一种监控-记忆的方法。 PPDP(PPDP) 2017 : 127-138 【c21】 克劳迪奥·安塔雷斯·梅齐纳 , Vasileios Koutavas公司 :
完全可逆性的安全性和活性理论。 TASE公司 2017 : 1-8 [公元20年] 伊恩·卡萨尔 , 阿德里安·弗兰卡兰扎 , 克劳迪奥·安塔雷斯·梅齐纳 , 埃米利奥·托斯托 :
舞蹈设计的可靠性和容错性。 发布前@iFM 2017 : 69-80 [i4] 克劳迪奥·安塔雷斯·梅齐纳 , 豪尔赫·佩雷斯 :
因果一致的可逆编排。 CoRR公司 abs/1703.06021 ( 2017 ) [i3] 克劳迪奥·安塔雷斯·梅齐纳 , 埃米利奥·托斯托 :
自动恢复的编排。 CoRR公司 abs/1705.09525 ( 2017 ) 2016 [注2] 伊万·拉内斯 , 克劳迪奥·安塔雷斯·梅齐纳 , 珍妮·伯纳德·斯特凡尼 :
高阶π-演算中的可逆性。 西奥。 计算。 科学。 625 : 25-84 ( 2016 ) [第19条] 维塔利·布拉夫列夫 , 洛科·德·尼古拉 , 克劳迪奥·安塔雷斯·梅齐纳 :
元组空间的实现及其效率。 协调 2016 : 51-66 [第18条] 克劳迪奥·安塔雷斯·梅齐纳 , 豪尔赫·安德烈斯·佩雷斯 :
基于会话的并发中的可逆语义。 信息通信与通信系统 2016 : 221-226 [c17] Doriana Medic公司 , 克劳迪奥·安塔雷斯·梅齐纳 :
CCS中的静态与动态可逆性。 钢筋混凝土 2016 : 36-51 [第16条] 克劳迪奥·安塔雷斯·梅齐纳 , 豪尔赫·佩雷斯 :
使用监视器的可逆会话。 地点 2016 : 56-64 [i2] 克劳迪奥·安塔雷斯·梅齐纳 , Vasileios Koutavas公司 :
完全可逆性的安全与生命理论(扩展摘要)。 CoRR公司 abs/1604.05555 ( 2016 ) [i1] 维塔利·布拉夫列夫 , 罗科·德·尼古拉 , 克劳迪奥·安塔雷斯·梅齐纳 :
元组空间的实现及其效率。 CoRR公司 abs/1612.02979 ( 2016 ) 2015 [第15条] 洛科·德·尼古拉 , 克劳迪奥·安塔雷斯·梅齐纳 , 雨果·托雷斯·维埃拉 :
通过基于属性的通信实现全局协议。 编程语言及其在生物和安全领域的应用 2015 : 219-237 [第14条] 埃琳娜·贾奇诺 , 伊万·拉内斯 , 克劳迪奥·安塔雷斯·梅齐纳 , 弗朗西斯科·蒂齐 :
基于Tuple的语言中的因果一致可逆性。 产品开发计划 2015 : 467-475 2014 [j1] 伊万·拉内斯 , 克劳迪奥·安塔雷斯·梅齐纳 , 弗朗西斯科·蒂齐 :
因果一致可逆性。 牛市。 原子吸收光谱 114 ( 2014 ) [第13条] 埃琳娜·贾奇诺 , 伊万·拉内斯 , 克劳迪奥·安塔雷斯·梅齐纳 :
因果一致的可逆调试。 FASE公司 2014 : 370-384 [第12条] 安东尼奥·布奇亚罗内 , 克劳迪奥·安塔雷斯·梅齐纳 , Heorhi Raik公司 :
集体自适应系统的目标模型。 SASO研讨会 2014 : 20-25 [第11条] 安东尼奥·布奇亚罗内 , 克劳迪奥·安塔雷斯·梅齐纳 , 马可·皮斯托尔 , Heorhi Raik公司 , 朱塞佩·瓦莱托 :
基于过程的系统中的集体适应。 SASO公司 2014 : 151-156 2013 [第10条] 伊万·拉内斯 , 迈克尔·利恩哈特 , 克劳迪奥·安塔雷斯·梅齐纳 , 阿兰·施密特 , 珍妮·伯纳德·斯特凡尼 :
并行灵活可逆性。 员工持股计划 2013 : 370-390 【c9】 瓦西里奥斯·安德里科普洛斯 , 安东尼奥·布奇亚罗内 , 圣地亚哥·戈麦斯-赛兹 , 迪姆卡·卡拉斯托亚诺娃 , 克劳迪奥·安塔雷斯·梅齐纳 :
面向集体自适应系统的建模和执行。 ICSOC研讨会 2013 : 69-81 【c8】 安东尼奥·布奇亚罗内 , 安娜帕奥拉·马可尼 , 克劳迪奥·安塔雷斯·梅齐纳 , 马可·皮斯托尔 , Heorhi Raik公司 :
基于服务的动态系统的实时自适应:增量、缩减和重用。 国际社会理事会 2013 : 146-161 【c7】 安东尼奥·布奇亚罗内 , 安娜帕奥拉·马可尼 , 克劳迪奥·安塔雷斯·梅齐纳 , 马可·皮斯托尔 :
集体适应系统的概念框架。 囊 2013 : 1935-1936 【c6】 安东尼奥·布奇亚罗内 , 克劳迪奥·安塔雷斯·梅齐纳 , 马可·皮斯托尔 :
CAptLang:一种用于上下文软件和适应性业务流程的语言。 VaMoS公司 2013 : 12:1-12:5 2012 【b1】 克劳迪奥·安塔雷斯·梅齐纳 :
Réversibilitédans le pi calcul d're supérieur。 (并发理论、进程计算、可逆性、可逆计算、可逆表达)。 法国格勒诺布尔阿尔卑斯大学, 2012 【c5】 迈克尔·利恩哈特 , 伊万·拉尼斯 , 克劳迪奥·安塔雷斯·梅齐纳 , 珍妮·伯纳德·斯特凡尼 :
可逆抽象机及其空间开销。 FMOODS/FORTE公司 2012 : 1-17 【c4】 伊万·拉内斯 , 克劳迪奥·安塔雷斯·梅齐纳 , 珍妮·伯纳德·斯特凡尼 :
受控可逆性和补偿。 钢筋混凝土 2012 : 233-240 2011 【c3】 伊万·拉内斯 , 克劳迪奥·安塔雷斯·梅齐纳 , 阿兰·施密特 , 珍妮·伯纳德·斯特凡尼 :
控制高阶Pi中的可逆性。 CONCUR公司 2011 : 297-311 2010 [c2] 伊万·拉内斯 , 克劳迪奥·安塔雷斯·梅齐纳 , 珍妮·伯纳德·斯特凡尼 :
反转高阶Pi。 CONCUR公司 2010 : 478-493
2000 – 2009
2009 【c1】 迈克尔·利恩哈特 , 克劳迪奥·安塔雷斯·梅齐纳 , 阿兰·施密特 , 珍妮·伯纳德·斯特凡尼 :
键入基于组件的通信系统。 FMOODS/FORTE公司 2009 : 167-181