G.米歇尔·平纳
人员信息
优化列表
2020年–今天
2024 [公元33年] 费德里科·达尔·皮奥·罗戈 , 克劳迪奥·安塔雷斯·梅齐纳 , G.米歇尔·平纳 :
模型检查可逆系统:正向。 钢筋混凝土 2024 : 218-237 2023 [公元32年] 埃尔南·梅尔格拉蒂 , 克劳迪奥·安塔雷斯·梅齐纳 , G.米歇尔·平纳 :
关联可逆Petri网和可逆事件结构,分类。 复地 2023 : 206-223 [i7] 埃尔南·梅尔格拉蒂 , 克劳迪奥·安塔雷斯·梅齐纳 , G.米歇尔·平纳 :
将可逆Petri网和可逆事件结构明确地联系起来。 CoRR公司 abs/2302.14195 ( 2023 ) [i6] 埃尔南·梅尔格拉蒂 , 克劳迪奥·安塔雷斯·梅齐纳 , G.米歇尔·平纳 :
可逆CCS的真正并发语义。 CoRR公司 abs/2309.14011 ( 2023 ) [i5] 埃尔南·梅尔格拉蒂 , 克劳迪奥·安塔雷斯·梅齐纳 , G.米歇尔·平纳 :
Petri网和事件结构的可逆观点。 CoRR公司 abs/2312.16714 ( 2023 ) 2022 [j25] 埃尔南·梅尔格拉蒂 , 克劳迪奥·安塔雷斯·梅齐纳 , G.米歇尔·平纳 :
共价键的Petri网视图。 西奥。 计算。 科学。 908 : 89-119 ( 2022 ) 2021 [公元24年] 加布里埃尔·乔巴努 , G.米歇尔·平纳 :
与膜系统相关的记忆。 J.成员。 计算。 三 ( 2 ) : 116-132 ( 2021 ) [公元23年] G.米歇尔·平纳 :
事件结构中依赖关系的新操作表示。 日志。 方法计算。 科学。 17 ( 4 ) ( 2021 ) [公元31年] 埃尔南·梅尔格拉蒂 , 克劳迪奥·安塔雷斯·梅齐纳 , G.米歇尔·平纳 :
可逆基本事件结构的分布式操作视图。 低收入国家 2021 : 1-13 [公元30年] 埃尔南·梅尔格拉蒂 , 克劳迪奥·安塔雷斯·梅齐纳 , G.米歇尔·平纳 :
面向可逆CCS的真正并发语义。 钢筋混凝土 2021 : 109-125 2020 [公元22年] G.米歇尔·平纳 , 埃里克·法布雷 :
传播 网:展开的统一方法。 J.日志。 代数方法课程。 112 : 100526 ( 2020 ) [公元21年] G.米歇尔·平纳 :
在事件结构中表示依赖项。 日志。 方法计算。 科学。 16 ( 2 ) ( 2020 ) [公元29年] G.米歇尔·平纳 :
上下文相关事件结构中依赖关系的操作表示。 协调 2020 : 320-338 [公元28年] 埃尔南·梅尔格拉蒂 , 克劳迪奥·安塔雷斯·梅齐纳 , 伊恩·菲利普斯 , G.米歇尔·平纳 , 伊雷克·乌里多夫斯基 :
可逆发生网和因果可逆素事件结构。 钢筋混凝土 2020 : 35-53 [第2页] 博格丹·阿曼 , 加布里埃尔·乔巴努 , 罗伯特·格莱克 , 罗宾·卡斯加德 , 贾科·卡里 , 马丁·库特里布 , 伊万·拉内斯 , 克劳迪奥·安塔雷斯·梅齐纳 , 卢卡斯·米库斯基 , 拉贾戈帕尔·纳加拉扬 , 伊恩·C·菲利普斯 , G.米歇尔·平纳 , 卢卡·普里吉奥尼埃罗 , 伊雷克·乌利多夫斯基 , 格尔曼·维达尔 :
可逆计算基础。 成本行动IC1405的选定结果 2020 : 1-40 [i4] G.米歇尔·平纳 :
事件结构中依赖关系的新操作表示。 CoRR公司 abs/2012.00118 ( 2020 )
2010 – 2019
2019 [公元27年] G.米歇尔·平纳 :
在事件结构中表示依赖项。 协调 2019 : 3-18 [i3] G.米歇尔·平纳 :
在事件结构中表示依赖项。 CoRR公司 abs/1910.02521 ( 2019 ) [i2] 埃尔南·梅尔格拉蒂 , 克劳迪奥·安塔雷斯·梅齐纳 , 伊恩·C·C·菲利普斯 , G.米歇尔·平纳 , 伊雷克·乌利多夫斯基 :
可逆因果网和可逆事件结构。 CoRR公司 abs/1910.10987 ( 2019 ) 2018 [公元26年] 埃里克·法布雷 , G.米歇尔·平纳 :
网展开的统一方法。 内燃机 2018 : 21-36 2017 [公元25年] 乔瓦尼·卡苏 , G.米歇尔·平纳 :
合并关系:统一压缩Petri网行为的方法。 拉丁美洲旅游协会 2017 : 325-337 [公元24年] G.米歇尔·平纳 :
膜系统计算中的反向步骤。 膜计算国际会议 2017 : 245-261 【c23】 乔瓦尼·卡苏 , G.米歇尔·平纳 :
面向服务计算的Petri网和动态因果关系。 囊 2017 : 1326-1333 2016 [公元20年] 马西莫·巴托莱蒂 , 蒂齐亚娜·西莫利 , G.米歇尔·平纳 , 罗伯托·祖尼诺 :
合同作为事件结构上的游戏。 J.日志。 代数方法课程。 85 ( 三 ) : 399-424 ( 2016 ) [公元22年] 乔瓦尼·卡苏 , G.米歇尔·平纳 :
一个用于压缩Petri网行为的统一框架。 信息通信与通信系统 2016 : 245-250 2015 [公元19年] 马西莫·巴托莱蒂 , 蒂齐亚娜·西莫利 , G.米歇尔·平纳 :
借出Petri网。 科学。 计算。 程序。 112 : 75-101 ( 2015 ) 【c21】 马西莫·巴托莱蒂 , 蒂齐亚娜·西莫利 , G.米歇尔·平纳 , 罗伯托·祖尼诺 :
循环因果关系模型。 ICDCIT公司 2015 : 1-20 2014 [公元18年] 马西莫·巴托莱蒂 , 西莫利蒂齐亚纳 , G.米歇尔·平纳 , 罗伯托·祖尼诺 :
事件结构中的循环因果关系。 芬丹。 信息学 134 ( 3-4 ) : 219-259 ( 2014 ) [公元17年] 加布里埃尔·乔巴努 , G.米歇尔·平纳 :
催化和通信Petri网是图灵完备的。 Inf.计算。 239 : 55-70 ( 2014 ) [公元16年] 加布里埃尔·乔巴努 , G.米歇尔·平纳 , 德拉戈斯·斯伯伦 :
基于规则的系统中因果依赖的力量。 J.汽车。 语言梳。 19 ( 1-4 ) : 45-56 ( 2014 ) [公元20年] 乔瓦尼·卡苏 , G.米歇尔·平纳 :
多块网的流展开。 Petri网 2014 : 170-189 [第19条] 马西莫·巴托莱蒂 , 蒂齐亚娜·西莫利 , G.米歇尔·平纳 :
关于两个遵从性概念的注释。 内燃机 2014 : 86-93 2013 [第18条] 马西莫·巴托莱蒂 , 蒂齐亚娜·西莫利 , G.米歇尔·平纳 :
借出Petri网和合同。 FSEN公司 2013 : 66-82 2012 [j15] G.米歇尔·平纳 , 安德烈亚·萨巴 :
膜系统计算中的相关性和同时性建模。 西奥。 计算。 科学。 431 : 13-39 ( 2012 ) [第17条] 加布里埃尔·乔巴努 , G.米歇尔·平纳 :
催化Petri网是图灵完备的。 拉丁美洲旅游协会 2012 : 192-203 [第16条] 博格丹·阿曼 , 加布里埃尔·乔巴努 , G.米歇尔·平纳 :
时间催化Petri网。 SYNASC公司 2012 : 319-326 [第15条] 马西莫·巴托莱蒂 , 蒂齐亚娜·西莫利 , G.米歇尔·平纳 , 罗伯托·祖尼诺 :
基于事件的合同模型。 地点 2012 : 13-20 [i1] 马西莫·巴托莱蒂 , 蒂齐亚娜·西莫利 , G.米歇尔·平纳 :
借出Petri网和合同。 CoRR公司 abs/1211.3624 ( 2012 ) 2011 [第14条] G.米歇尔·平纳 :
有多少值得记住? 基于Petri网展开的分类法。 Petri网 2011 : 109-128 2010 [第13条] G.米歇尔·平纳 , 安德烈亚·萨巴 :
事件结构中的同时性。 TAMC公司 2010 : 385-396
2000 – 2009
2009 [公元14年] 纳迪娅·布西 , G.米歇尔·平纳 :
过程发现和Petri网。 数学。 结构。 计算。 科学。 19 ( 6 ) : 1091-1124 ( 2009 ) [第12条] G.米歇尔·平纳 , 安德烈亚·萨巴 :
膜系统中的依赖性和同时性。 MeCBIC公司 2009 : 155-169 2008 [j13] G.米歇尔·平纳 , 安德烈亚·萨巴 :
P系统的基于事件的语义。 科学。 Ann.计算。 科学。 18 : 99-127 ( 2008 ) [公元12年] 托马索·弗拉米尼奥 , G.米歇尔·平纳 , Elisa B.P.Tiezzi女士 :
一个完整的模糊逻辑系统来处理信任管理系统。 模糊集系统。 159 ( 10 ) : 1191-1207 ( 2008 ) [j11] 马里奥·科波奥 , 埃琳娜·洛迪 , G.米歇尔·平纳 :
前言。 理论计算。 系统。 42 ( 三 ) : 287-288 ( 2008 ) 2006 [j10] G.米歇尔·平纳 :
具有禁用/启用关系的事件结构和事件自动机。 芬丹。 信息学 73 ( 三 ) : 409-430 ( 2006 ) [第11条] 纳迪娅·布西 , G.米歇尔·平纳 :
使用区域描述工作流网络。 SYNASC公司 2006 : 399-406 2005 [第10条] G.米歇尔·平纳 :
抑制网络集体代币哲学的事件结构。 MFCS公司 2005 : 720-732 [电子1] 马里奥·科波奥 , 埃琳娜·洛迪 , G.米歇尔·平纳 :
理论计算机科学,第九届意大利会议,ICTCS 2005,锡耶纳,意大利,2005年10月12-14日,会议记录。 计算机科学课堂讲稿 3701, 施普林格 2005 ,国际标准图书编号 3-540-29106-7 [目录] 2004 [公元9年] 保罗·巴尔丹 , 纳迪娅·布西 , 安德烈亚·科拉迪尼 , G.米歇尔·平纳 :
具有读弧和抑制弧的Petri网的域和事件结构语义。 西奥。 计算。 科学。 323 ( 1-3 ) : 129-189 ( 2004 ) 2003 [j8] 佛朗科·蒙塔格纳 , G.米歇尔·平纳 , Elisa B.P.Tiezzi女士 :
哈耶克逻辑BL的表格微积分。 J.日志。 计算。 13 ( 2 ) : 241-259 ( 2003 ) 2002 [j7] 佛朗科·蒙塔格纳 , G.米歇尔·平纳 , Elisa B.P.Tiezzi女士 :
一阶分支时序逻辑片断研究。 数学。 日志。 问:。 48 ( 1 ) : 51-62 ( 2002 ) 2001 [j6] 阿加西·默塞隆 , G.米歇尔·平纳 :
同步设置中基于组件的验证。 国际期刊软件。 工程知识。 工程师。 11 ( 2 ) : 181-203 ( 2001 ) 【c9】 阿加西·默塞隆 , 莫妮卡·穆勒堡 , G.米歇尔·平纳 :
在多语言环境中指定和验证反应系统。 TOSCA公司 2001 : 244-256 2000 [j5] 纳迪娅·布西 , G.米歇尔·平纳 :
使用抑制器和读弧比较上下文位置/转换网络的真正并发语义。 芬丹。 信息学 44 ( 三 ) : 209-244 ( 2000 ) 【j4】 佛朗科·蒙塔格纳 , G.米歇尔·平纳 , Elisa B.P.Tiezzi女士 :
稠密时域上有界度量时序逻辑的无割证明系统。 数学。 日志。 问:。 46 ( 2 ) : 171-182 ( 2000 ) 【c8】 阿加瑟·梅塞隆 , G.米歇尔·平纳 :
使用观测器进行优化和模块化验证。 亚太质量体系 2000 : 216-225 【c7】 保罗·巴尔丹 , 纳迪娅·布西 , 安德烈亚·科拉迪尼 , G.米歇尔·平纳 :
带读弧和约束弧的Petri网的函数并发语义。 CONCUR公司 2000 : 442-457
1990 – 1999
1999 [j3] 纳迪娅·布西 , G.米歇尔·平纳 :
带约束和读弧的位置/转换网络的过程语义。 芬丹。 信息学 40 ( 2-3 ) : 165-197 ( 1999 ) 【c6】 莱因哈德·巴德 , G.米歇尔·平纳 , 阿克塞尔·波吉内 :
同步程序的协调。 协调 1999 : 103-117 1998 【c5】 阿加瑟·梅塞隆 , 莫妮卡·米勒堡 , G.米歇尔·平纳 :
在多语言环境中验证时间触发协议。 SAFECOMP公司 1998 : 185-195 1997 【c4】 纳迪娅·布西 , G.米歇尔·平纳 :
带有抑制弧的网络的合成。 CONCUR公司 1997 : 151-165 1996 【c3】 纳迪娅·布西 , G.米歇尔·平纳 :
上下文P/T网络的非顺序语义。 Petri网的理论与应用 1996 : 113-132 1995 [注2] G.米歇尔·平纳 , 阿克塞尔·波吉内 :
关于事件的性质:并发性的另一个观点。 西奥。 计算。 科学。 138 ( 2 ) : 425-454 ( 1995 ) [第1页] G.米歇尔·平纳 , 阿克塞尔·波涅 :
事件自动机作为反应系统的一个通用模型。 KORSO书籍 1995 : 74-91 1993 【c2】 G.米歇尔·平纳 , 阿克塞尔·波涅 :
关于基本反应行为的规范。 MFPS公司 1993 : 271-292 1992 [c1] G.米歇尔·平纳 , 阿克塞尔·波涅 :
关于事件的性质。 MFCS公司 1992 : 430-441 1991 [j1] 安德烈亚·马吉奥洛·谢蒂尼 , G.米歇尔·平纳 , 约泽夫·温科夫斯基 :
无标记谓词/转换网络的组合语义。 芬丹。 信息学 14 ( 1 ) : 109-128 ( 1991 )