编辑配置文件(在新选项卡中打开) G.Michele Pinna 合著者距离 作者ID: 羽状花序 发布日期: G.Michele Pinna;米歇尔·平纳。;G.M.品娜。 更多。。。较少的 已编制索引的文档: 41出版物自1991年起 2作为编辑的贡献 合著者: 25位合著者具有37联合出版物 485合著作者 全部的 前5名合著者 6 单作者的 7 纳迪亚·布西 4 马西莫·巴托莱蒂 4 蒂齐亚娜·西莫利 4 加布里埃尔·乔巴努 4 安德烈亚·萨巴 4 Elisa B.P.Tiezzi。 三 埃尔南·梅尔格拉蒂 三 克劳迪奥·安塔雷斯·梅齐纳 三 佛朗哥·蒙塔格纳 三 阿克塞尔·波涅 2 保罗·巴尔丹 2 乔瓦尼·卡苏 2 马里奥·科波 2 安德里亚·科拉迪尼 2 埃琳娜·洛迪 2 阿加提·默塞隆 2 罗伯托·祖尼诺 1 埃里克·法布雷 1 托马索·弗拉米尼奥 1 安德烈亚·马吉奥洛·谢蒂尼 1 莫妮卡·穆勒堡 1 伊恩·菲利普斯。 1 斯伯伦、德拉戈什 1 伊雷克·乌利多夫斯基 1 乔泽夫·温科夫斯基 全部的 前5名系列 4 理论计算机科学 4 计算机基础理论 2 数学逻辑季刊(MLQ) 2 计算机科学中的逻辑方法 2 程序设计中的逻辑和代数方法杂志 1 模糊集与系统 1 《社会数学年鉴》(Annales Societatis Mathematicae Polonae)。系列IV 1 信息与计算 1 逻辑与计算杂志 1 MSCS公司。计算机科学中的数学结构 1 计算系统理论 1 自动机、语言和组合数学杂志 1 计算机科学课堂讲稿 1 计算机科学科学年鉴 1 膜计算杂志 全部的 前5名领域 40 计算机科学(68至XX) 8 数学逻辑和基础(03-XX) 2 总体主题;集合(00-XX) 2 量子理论(81-XX) 2 生物学和其他自然科学(92-XX) 1 博弈论、经济学、金融和其他社会和行为科学(91-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 34出版物有被引用173中的次104文件 引用人▼ 年份▼ 具有读弧和抑制弧的Petri网的域和事件结构语义。 Zbl 1078.68103号 鲍尔丹,P。;北布西。;科拉迪尼,A。;G.M.品娜。 22 2004 关于事件的性质:并发性的另一个观点。 Zbl 0874.68111号 G.Michele Pinna;阿克塞尔·波涅 21 1995 上下文P/T网络的非顺序语义。 Zbl 1418.68136号 纳迪亚·布西;G.Michele Pinna 12 1996 带抑制器和读取弧的位置/转换网络的过程语义。 Zbl 0942.68070号 纳迪亚·布西;G.Michele Pinna 10 1999 借出Petri网和合同。 Zbl 1434.68321号 马西莫·巴托莱蒂;蒂齐亚娜·西莫利;G.Michele Pinna 10 2013 膜系统计算中的反向步骤。 Zbl 1497.68197号 米歇尔·平纳。 10 2018 关于事件的性质。 兹比尔1493.68253 G.Michele Pinna;阿克塞尔·波涅 9 1992 可逆发生网和因果可逆素事件结构。 Zbl 07368046号 埃尔南·梅尔格拉蒂;克劳迪奥·安塔雷斯·梅齐纳;伊恩·菲利普斯;G.Michele Pinna;伊雷克·乌利多夫斯基 7 2020 有多少值得记住?基于Petri网展开的分类法。 兹比尔1330.68214 G.Michele Pinna 6 2011 在活动结构上签订游戏合同。 Zbl 1352.68174号 马西莫·巴托莱蒂;蒂齐亚娜·西莫利;Michele Pinna,G。;罗伯托·祖尼诺 5 2016 实现可逆CCS的真正并发语义。 Zbl 07419486号 埃尔南·梅尔格拉蒂;克劳迪奥·安塔雷斯·梅齐纳;G.Michele Pinna 5 2021 带读弧和约束弧的Petri网的功能并发语义。 Zbl 0999.68150号 保罗·巴尔丹;纳迪亚·布西;安德烈亚·科拉迪尼;G.Michele Pinna 5 2000 稠密时域上有界度量时序逻辑的无割证明系统。 Zbl 0951.03017号 佛朗哥·蒙塔格纳;G.Michele Pinna;Elisa B.P.Tiezzi。 4 2000 事件结构中的循环因果关系。 Zbl 1334.68145号 马西莫·巴托莱蒂;蒂齐亚娜·西莫利;G.Michele Pinna;罗伯托·祖尼诺 4 2014 多锁网络的流展开。 Zbl 1410.68248号 乔瓦尼·卡苏;G.Michele Pinna 4 2014 合并关系:一种统一压缩Petri网行为的方法。 Zbl 1485.68157号 乔瓦尼·卡苏;G.Michele Pinna 4 2017 催化和通信Petri网是图灵完备的。 Zbl 1309.68137号 加布里埃尔·乔巴努;G.Michele Pinna 三 2014 具有禁用/启用关系和事件自动机的事件结构。 Zbl 1110.68088号 G.Michele Pinna 三 2006 表示事件结构中的依赖关系。 Zbl 1528.68257号 G.Michele Pinna 三 2020 P系统的基于事件的语义。 Zbl 1424.92012年 G.Michele Pinna;安德烈亚·萨巴 三 2008 与膜系统相关的记忆。 Zbl 1469.68030号 加布里埃尔·乔巴努;G.Michele Pinna 三 2021 具有抑制剂弧的网络合成。 Zbl 1512.68162号 纳迪亚·布西;G.Michele Pinna 三 1997 ARGOS程序的模块化验证。 Zbl 0964.68080号 阿加提·默塞隆;G.Michele Pinna 2 2000 催化Petri网是图灵完备的。 Zbl 1350.68200号 加布里埃尔·乔巴努;米歇尔·平纳 2 2012 Hájek逻辑BL的表格演算。 Zbl 1055.03017号 佛朗哥·蒙塔格纳;G.Michele Pinna;Elisa B.P.Tiezzi。 2 2003 模拟膜系统计算中的相关性和同时性。 Zbl 1242.68107号 G.Michele Pinna;安德烈亚·萨巴 2 2012 比较上下文位置/转换网络的真正并发语义。 兹伯利0971.68112 纳迪亚·布西;G.Michele Pinna 2 2000 理论计算机科学。第九届意大利会议,2005年ICTCS,2005年10月12日至14日,意大利锡耶纳。诉讼程序。 Zbl 1089.68004号 1 2005 一阶分支时序逻辑片断的研究。 Zbl 1002.03016号 佛朗哥·蒙塔格纳;G.Michele Pinna;Elisa B.P.Tiezzi。 1 2002 事件结构中的同时性。 Zbl 1284.68431号 G.Michele Pinna;安德烈亚·萨巴 1 2010 P系统的基于事件的语义。 Zbl 1221.68167号 G.Michele Pinna;安德烈亚·萨巴 1 2008 共价键的Petri网视图。 Zbl 07477145号 埃尔南·梅尔格拉蒂;克劳迪奥·安塔雷斯·梅齐纳;G.Michele Pinna 1 2022 撒网:展开的统一方法。 Zbl 1433.68258号 米歇尔·平纳;埃里克·法布雷 1 2020 关于基本反应行为的规范。 Zbl 1509.68170号 G.Michele Pinna;阿克塞尔·波涅 1 1994 共价键的Petri网视图。 Zbl 07477145号 埃尔南·梅尔格拉蒂;克劳迪奥·安塔雷斯·梅齐纳;G.Michele Pinna 1 2022 实现可逆CCS的真正并发语义。 Zbl 07419486号 埃尔南·梅尔格拉蒂;克劳迪奥·安塔雷斯·梅齐纳;G.Michele Pinna 5 2021 与膜系统相关的记忆。 Zbl 1469.68030号 加布里埃尔·乔巴努;G.Michele Pinna 三 2021 可逆发生网和因果可逆素事件结构。 Zbl 07368046号 埃尔南·梅尔格拉蒂;克劳迪奥·安塔雷斯·梅齐纳;伊恩·菲利普斯;G.Michele Pinna;伊雷克·乌利多夫斯基 7 2020 表示事件结构中的依赖项。 Zbl 1528.68257号 G.Michele Pinna 三 2020 撒网:展开的统一方法。 Zbl 1433.68258号 G.Michele Pinna;埃里克·法布雷 1 2020 膜系统计算中的反向步骤。 Zbl 1497.68197号 米歇尔·平纳。 10 2018 合并关系:一种统一压缩Petri网行为的方法。 Zbl 1485.68157号 乔瓦尼·卡苏;G.Michele Pinna 4 2017 在活动结构上签订游戏合同。 Zbl 1352.68174号 马西莫·巴托莱蒂;蒂齐亚娜·西莫利;米歇尔·平纳。;罗伯托·祖尼诺 5 2016 事件结构中的循环因果关系。 Zbl 1334.68145号 马西莫·巴托莱蒂;蒂齐亚娜·西莫利;G.Michele Pinna;罗伯托·祖尼诺 4 2014 多锁网络的流展开。 Zbl 1410.68248号 乔瓦尼·卡苏;G.Michele Pinna 4 2014 催化和通信Petri网是图灵完备的。 Zbl 1309.68137号 加布里埃尔·乔巴努;G.Michele Pinna 三 2014 借出Petri网和合同。 Zbl 1434.68321号 马西莫·巴托莱蒂;蒂齐亚娜·西莫利;G.Michele Pinna 10 2013 催化Petri网是图灵完备的。 Zbl 1350.68200号 加布里埃尔·乔巴努;G.Michele Pinna 2 2012 模拟膜系统计算中的相关性和同时性。 Zbl 1242.68107号 G.Michele Pinna;安德烈亚·萨巴 2 2012 有多少值得记住?基于Petri网展开的分类法。 Zbl 1330.68214号 G.Michele Pinna 6 2011 事件结构中的同时性。 Zbl 1284.68431号 米歇尔·平纳;安德烈亚·萨巴 1 2010 P系统的基于事件的语义。 Zbl 1424.92012年 G.Michele Pinna;安德烈亚·萨巴 三 2008 P系统的基于事件的语义。 Zbl 1221.68167号 G.Michele Pinna;安德烈亚·萨巴 1 2008 具有禁用/启用关系和事件自动机的事件结构。 兹比尔1110.68088 G.Michele Pinna 三 2006 理论计算机科学。第九届意大利会议,2005年ICTCS,2005年10月12日至14日,意大利锡耶纳。诉讼程序。 兹比尔1089.68004 1 2005 具有读弧和抑制弧的Petri网的域和事件结构语义。 Zbl 1078.68103号 鲍尔丹,P。;北布西。;科拉迪尼,A。;G.M.品娜。 22 2004 Hájek逻辑BL的表格演算。 Zbl 1055.03017号 佛朗哥·蒙塔格纳;G.Michele Pinna;Elisa B.P.Tiezzi。 2 2003 一阶分支时序逻辑片断的研究。 Zbl 1002.03016号 佛朗哥·蒙塔格纳;G.Michele Pinna;Elisa B.P.Tiezzi。 1 2002 带读弧和约束弧的Petri网的功能并发语义。 Zbl 0999.68150号 保罗·巴尔丹;纳迪亚·布西;安德烈亚·科拉迪尼;米歇尔·平纳 5 2000 稠密时域上有界度量时序逻辑的无割证明系统。 Zbl 0951.03017号 佛朗哥·蒙塔格纳;G.Michele Pinna;Elisa B.P.Tiezzi。 4 2000 ARGOS程序的模块化验证。 Zbl 0964.68080号 阿加提·默塞隆;G.Michele Pinna 2 2000 比较上下文位置/转换网络的真正并发语义。 兹伯利0971.68112 纳迪亚·布西;G.Michele Pinna 2 2000 带抑制器和读取弧的位置/转换网络的过程语义。 Zbl 0942.68070号 布西,娜迪亚;G.Michele Pinna 10 1999 具有抑制剂弧的网络合成。 Zbl 1512.68162号 纳迪亚·布西;G.Michele Pinna 三 1997 上下文P/T网络的非顺序语义。 Zbl 1418.68136号 纳迪亚·布西;G.Michele Pinna 12 1996 关于事件的性质:并发性的另一个观点。 Zbl 0874.68111号 G.Michele Pinna;阿克塞尔·波涅 21 1995 关于基本反应行为的规范。 Zbl 1509.68170号 G.Michele Pinna;阿克塞尔·波涅 1 1994 关于事件的性质。 Zbl 1493.68253号 G.Michele Pinna;阿克塞尔·波涅 9 1992 所有引用出版物 前5名被引用出版物 全部的 前5名被132位作者引用 19 G.Michele Pinna 10 马西耶·库特尼 8 保罗·巴尔丹 8 安德烈亚·科拉迪尼 8 里扎德·贾尼基 8 克劳迪奥·安塔雷斯·梅齐纳 7 码头Kleijn 6 加布里埃尔·乔巴努 5 纳迪亚·布西 5 Marta Pietkiewicz-Koutny 5 伊雷克·乌利多夫斯基 4 马西莫·巴托莱蒂 4 托马斯·查泰恩 4 伊万·拉内斯 4 乌卡斯·米库尔斯基 4 安娜·菲利普 4 伊琳娜·B·维碧茨卡岩。 4 罗伯托·祖尼诺 三 斯特凡·哈尔 三 巴巴拉·科尼格 三 埃尔南·梅尔格拉蒂 三 伊恩·菲利普斯。 三 阿克塞尔·波涅 三 基里亚基·帕萨拉 三 范格拉贝克、罗伯特·扬 2 阿格里戈罗艾,Oana 2 阿曼,博格丹 2 马可·贝尔纳多 2 劳拉·博奇 2 乔瓦尼·卡苏 2 蒂齐亚娜·西莫利 2 瑟伦·德博伊斯 2 皮耶保罗·德加诺 2 乌戈·德利古罗 2 纳塔莉亚·谢尔盖夫娜·格里博夫斯卡娅 2 托马斯·希尔德布兰特。 2 乌戈·蒙塔纳里。 2 莫里齐奥·穆尔吉亚 2 洛伊奇·波列维 2 奥利维尔·H·鲁克斯。 2 斯特凡·施温 2 斯莱亚特,蒂杰斯 2 Gyorgy Vaszil公司 2 沃尔特·福格勒 2 索菲·沃纳 2 卡斯滕·沃尔夫 2 袁,Shoji 1 萨米·阿贝斯 1 艾沙·艾哈迈德 1 穆罕默德·阿尔加尼 1 穆罕默德·阿尔加尼 1 优素福·阿巴赫 1 赛尔阿博莱达 1 克莱门·奥伯特 1 阿提拉·巴戈西 1 理查德·巴纳赫 1 斯特凡诺·巴拉泰拉 1 佛朗哥·巴巴内拉 1 罗伯托·巴布蒂 1 卡米拉·巴里尔斯卡 1 大卫·巴兹勒 1 佩特尔·巴蒂亚尼 1 斯特凡诺·贝拉尔迪 1 罗宾·伯根图姆 1 最好的,艾克 1 保罗·波托尼 1 D.I.布欣。 1 莫里斯·康兰 1 菲利普·达伦多 1 大卫·德尔菲厄 1 德塞尔,约格 1 保罗·迪·吉安贝拉迪诺 1 维杰·迪尔瓦 1 罗曼·杜布佐夫。 1 哈特穆特·埃里格 1 埃里克·法布尔 1 吉安·路易吉,法拉利 1 托马索·弗拉米尼奥 1 玛丽安·盖奥吉 1 罗伯特·格莱克 1 安娜·果戈林斯卡 1 乔安娜·戈林斯卡·皮拉雷克 1 乌苏拉·戈尔茨 1 罗伯塔·戈里 1 罗伯托·戈里埃里 1 托拜厄斯·海因德尔 1 弗兰克·赫尔曼 1 佛罗伦萨伊帕特 1 克洛德·贾德 1 洛依格·杰泽奎尔 1 加布里埃尔·胡亚斯 1 塔贾纳·卡普斯 1 大卫·S·卡彻。 1 Joost-Pieter卡托恩 1 尤拉杰·科尔查克 1 丹尼尔·科宁 1 斯特凡·库恩 1 安娜·拉布拉 1 莱姆,迪迪埃 1 罗伯特·洛伦茨。 …还有32位作者 全部的 前5名18篇连载文章中引用 23 理论计算机科学 9 程序设计中的逻辑和代数方法杂志 6 信息与计算 6 计算机科学中的逻辑方法 4 MSCS公司。计算机科学中的数学结构 三 信息学报 三 膜计算杂志 2 编程和计算机软件 2 逻辑与代数程序设计杂志 1 模糊集与系统 1 计算机与系统科学杂志 1 计算的形式方面 1 系统设计中的形式化方法 1 数学逻辑季刊(MLQ) 1 软计算 1 计算机基础理论 1 自然计算 1 ACM计算逻辑汇刊 全部的 前5名在9个字段中引用 97 计算机科学(68至XX) 10 数学逻辑和基础(03-XX) 6 生物学和其他自然科学(92-XX) 三 历史和传记(01-XX) 三 范畴理论;同调代数(18-XX) 三 量子理论(81-XX) 2 动力系统和遍历理论(37至XX) 1 总体主题;集合(00-XX) 1 概率论与随机过程(60-XX) 按年份列出的引文