编辑配置文件(在新选项卡中打开) Francesco,巴黎人 合著者距离 作者ID: 巴黎-普莱斯克-弗朗西斯科 发布日期: 弗朗西斯科·帕里西·普雷西奇;主席,弗朗西斯科·帕里西;弗朗西斯科·帕里西总统;Parisi-Prescce,F。 更多。。。较少的 外部链接: MGP公司 已编制索引的文档: 53出版物自1983年起 4作为编辑的贡献 合著者: 37位合著者具有41联合出版物 852名合作作者 全部的 前5名合著者 13 单作者的 12 哈特穆特·埃里格 9 曼纽尔·科赫 6 路易吉·文森佐·曼奇尼 5 Große-Rhode,马丁 5 玛尔塔·西蒙 4 爱德华·肯尼思·布鲁姆 4 保罗·波托尼 三 费沃纳 三 阿内格丽特·哈贝尔 2 格雷戈·恩格斯 2 霍斯特·汉森 2 院长雅各布斯 2 迈克尔·J·S·洛。 2 伯恩德·梅耶(Bernd E.Meyer)。 2 阿方索·皮兰托尼奥 1 保罗·博姆 1 西塞隆、塞拉菲诺 1 安德烈亚·科拉迪尼 1 克里斯蒂安·迪米特罗维奇 1 梅克·加杰夫斯基 1 伊雷纳游击队 1 奥萨·哈格斯特罗姆 1 凯瑟琳·霍夫曼 1 汉斯·约尔格·克鲁斯基 1 安诺·兰根 1 金·万豪酒店 1 马西莫·梅塞拉 1 乌戈·蒙塔纳里。 1 蒂尔·莫萨科夫斯基 1 费尔南多·奥雷贾斯 1 芭芭拉·佩尔尼奇 1 加布里埃尔·皮尔桑蒂 1 凯瑟琳·里克霍夫 1 弗朗西丝卡·罗西 1 Grzegorz罗岑贝格 1 加布里埃尔·坦泽尔 1 西蒙·维格利奥尼 1 伯恩哈德·韦斯特费赫特尔 全部的 前5名系列 6 计算机与系统科学杂志 5 理论计算机科学 三 计算机科学课堂讲稿 1 信息处理与控制论杂志 1 欧洲理论计算机科学协会(EATCS)公报 1 MSCS公司。计算机科学中的数学结构 1 计算机基础理论 全部的 前5名领域 56 计算机科学(68至XX) 5 范畴理论;同调代数(18-XX) 4 总体主题;集合(00-XX) 4 数理逻辑与基础(03-XX) 三 一般代数系统(08-XX) 1 阶、格、有序代数结构(06-XX) 1 一般拓扑结构(54至XX) 1 信息与通信理论、电路(94-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 44出版物有被引用199中的次132文件 引用人▼ 年份▼ 高级替换系统中的并行性和并发性。 Zbl 0749.68045号 哈特穆特·埃里格;阿内格丽特·哈贝尔;汉斯·约尔格·克鲁斯基;Francesco,巴黎人 41 1991 从图文法到高级替换系统。 Zbl 0765.68088号 哈特穆特·埃里格;阿内格丽特·哈贝尔;弗朗西斯科·帕里西·普雷西奇 24 1991 用统一和合成重写图形。 Zbl 0643.68103号 弗朗西斯科·帕里西·普雷西奇;哈特穆特·埃里格;乌戈·蒙塔纳里 14 1987 基于图形的访问控制策略规范。 Zbl 1081.68072号 曼纽尔·科赫;L.V.曼奇尼。;弗朗西斯科·帕里西·普雷西奇 12 2005 模块及其基本互连的代数规范。 Zbl 0619.68027号 英国布鲁姆。;埃里格·H·。;Parisi-Prescce,F。 11 1987 类型化图转换系统的改进和模块。 Zbl 0961.68034号 马丁·格罗·罗德;主席,弗朗西斯科·帕里西;玛尔塔·西莫尼 9 1999 基于图形的访问控制策略规范方法的基础。 Zbl 0978.68060号 曼纽尔·科赫;路易吉·曼奇尼。;弗朗西斯科·帕里西·普雷西奇 8 2001 共享子模块规范的语义。 Zbl 0563.68014号 英国布鲁姆。;Parisi-Prescce,F。 7 1985 带约束的模块规格说明的代数理论。 Zbl 0602.68021号 埃里格·H·。;W.费。;Parisi-Prescce,F。;布鲁姆,E.K。 7 1986 使用投影代数组合数据类型和递归过程规范。 Zbl 0695.68015号 哈特穆特·埃里格;弗朗西斯科·帕里西·普雷西奇;保罗·博姆;凯瑟琳·里克霍夫;克里斯蒂安·迪米特罗维奇;马丁·格罗斯·霍德 7 1990 图语法的转换。 Zbl 1412.68113号 弗朗西斯科·帕里西·普雷西奇 6 1996 通过规则表达式改进图形转换系统。 Zbl 0956.68075号 马丁·格罗·罗德;弗朗西斯科·帕里西总统;玛尔塔·西蒙 6 2000 使用协作可视化OCL。 Zbl 1024.68642号 保罗·波托尼;曼纽尔·科赫;弗朗西斯科·帕里西·普雷西奇;加布里埃尔·坦泽尔 6 2001 带有类型化图形转换系统的细化和模块的正式软件规范。 Zbl 1013.68066号 Große-Rhode,马丁;弗朗西斯科·帕里西总统;玛尔塔·西蒙 5 2002 类型化图转换系统的空间和时间细化。 兹比尔0910.18001 马丁·格罗·罗德;弗朗西斯科·帕里西·普雷西奇;玛尔塔·西蒙 5 1998 模块规范中基本操作的内部兼容性和相互兼容性。 Zbl 0589.68017号 弗朗西斯科·帕里西·普雷西奇 5 1986 代数规范文法:模块规范和图形文法之间的连接。 Zbl 0765.68087号 哈特穆特·埃里格;弗朗西斯科·帕里西·普雷西奇 4 1991 逻辑编程是超图重写。 兹比尔0967.68507 安德烈亚·科拉迪尼;弗朗西丝卡·罗西;弗朗西斯科·帕里西·普雷西奇 4 1991 使用图转换的基于角色的访问控制的形式化模型。 Zbl 1487.68067号 曼纽尔·科赫;曼奇尼,路易吉五世。;弗朗西斯科·帕里西·普雷西奇 4 2000 模块化系统基于规则设计的基础。 Zbl 0753.68069号 弗朗西斯科·帕里西·普雷西奇 三 1991 代数开发技术的最新趋势。1997年6月3日至7日,第12届国际研讨会,WADT’97,意大利塔基尼亚。精选论文。 Zbl 0889.00030号 三 1998 面向对象编程中类的代数规范。 Zbl 0757.68081号 F.Parisi Presicce先生。;A.皮耶兰托尼奥。 2 1991 模块规范的产品和迭代。 Zbl 0647.68008号 弗朗西斯科·帕里西·普雷西奇 2 1988 通过代数方法实现数据类型。 Zbl 0537.68026号 爱德华·K·布鲁姆。;弗朗西斯科·帕里西·普雷西奇 2 1983 应用图文法技术的模块化系统设计。 Zbl 0686.68061号 Francesco,巴黎人 2 1989 模块规范的部分组合和递归。 Zbl 0614.68017号 弗朗西斯科·帕里西·普雷西奇 2 1987 模块规范的联合和实施:一些兼容性结果。 Zbl 0623.68017号 弗朗西斯科·帕里西·普雷西奇 2 1987 关于面向对象编程中类的代数规范和继承。 Zbl 0884.68084号 Parisi-Prescce,F。;A.皮耶兰托尼奥。 2 1997 图形转换。2004年9月28日至10月2日在意大利罗马举行的2004年第二届国际燃气轮机会议。诉讼程序。 Zbl 1056.68008号 2 2004 使用图文法的基于规则的系统中的并行性分析。 Zbl 0643.68124号 D.摩尔多瓦。;Parisi-Prescce,F。 2 1987 基于图形的访问控制模型中的安全性决定。 Zbl 1482.68070号 曼纽尔·科赫;曼奇尼,路易吉五世。;弗朗西斯科·帕里西·普雷西奇 2 2002 图的单推导出与双推导出。 Zbl 0925.68282号 弗朗西斯科·帕里西·普雷西奇 2 1993 Petri网类转换的形式化框架。 Zbl 1283.68252号 弗朗西斯科·帕里西·普雷西奇 1 2003 代数模块规范开发中的兼容性问题。 Zbl 0717.68068号 哈特穆特·埃里格;费沃纳;霍斯特·汉森;Löwe,迈克尔;Jacobs,院长;弗朗西斯科·帕里西·普雷西奇 1 1990 视觉语言的演绎分析。 Zbl 0990.68150号 保罗·波托尼;迈耶,伯尔尼;金·万豪酒店;主席,弗朗西斯科·帕里西 1 2001 访问控制策略规范中的冲突检测和解决。 Zbl 1077.68688号 曼纽尔·科赫;曼奇尼,路易吉五世。;弗朗西斯科·帕里西·普雷西奇 1 2002 关于规范形态的复杂性。 Zbl 0893.68100号 西塞隆、塞拉菲诺;Francesco,巴黎人 1 1997 使用图形约束和规则描述策略。 Zbl 1028.68504号 曼纽尔·科赫;弗朗西斯科·帕里西·普雷西奇 1 2002 迭代与正则因子代数。 Zbl 0534.03012号 伊雷纳游击队;弗朗西斯科·帕里西·普雷西奇 1 1983 方程代数规范的高级替换系统。 Zbl 0925.68311号 埃里格·H·。;Parisi-Prescce,F。 1 1992 自由迭代代数的迭代同余的扩张。 Zbl 0537.68023号 弗朗西斯科·帕里西·普雷西奇 1 1983 关于修改高级更换系统。 Zbl 1263.68091号 弗朗西斯科·帕里西·普雷西奇 1 2001 两种高级替换系统的基本结果。 Zbl 1263.68073号 哈特穆特·埃里格;阿内格丽特·哈贝尔;Parisi-Prescce,F。 1 2002 访问控制策略规范的图形转换。 兹比尔1263.68083 曼纽尔·科赫;曼奇尼,路易吉五世。;弗朗西斯科·帕里西·普雷西奇 1 2002 访问控制策略的基于图形的规范。 Zbl 1081.68072号 曼纽尔·科赫;L.V.曼奇尼。;弗朗西斯科·帕里西·普雷西奇 12 2005 图形变换。2004年9月28日至10月2日在意大利罗马举行的2004年第二届国际燃气轮机会议。诉讼程序。 Zbl 1056.68008号 2 2004 Petri网类转换的形式化框架。 Zbl 1283.68252号 弗朗西斯科·帕里西·普雷西奇 1 2003 带有类型图转换系统的精化和模块的形式化软件规范。 Zbl 1013.68066号 马丁·格罗·罗德;弗朗西斯科·帕里西总统;玛尔塔·西蒙 5 2002 基于图形的访问控制模型中的安全性决定。 Zbl 1482.68070号 曼纽尔·科赫;曼奇尼,路易吉五世。;弗朗西斯科·帕里西·普雷西奇 2 2002 访问控制策略规范中的冲突检测和解决。 Zbl 1077.68688号 曼纽尔·科赫;曼奇尼,路易吉五世。;弗朗西斯科·帕里西·普雷西奇 1 2002 使用图形约束和规则描述策略。 Zbl 1028.68504号 曼纽尔·科赫;弗朗西斯科·帕里西·普雷西奇 1 2002 两种高级替换系统的基本结果。 Zbl 1263.68073号 哈特穆特·埃里格;阿内格丽特·哈贝尔;Parisi-Prescce,F。 1 2002 访问控制策略规范的图形转换。 Zbl 1263.68083号 曼纽尔·科赫;曼奇尼,路易吉五世。;Francesco,巴黎人 1 2002 基于图形的访问控制策略规范方法的基础。 Zbl 0978.68060号 曼纽尔·科赫;曼奇尼,路易吉五世。;弗朗西斯科·帕里西·普雷西奇 8 2001 使用协作可视化OCL。 Zbl 1024.68642号 保罗·波托尼;曼纽尔·科赫;弗朗西斯科·帕里西·普雷西奇;加布里埃尔·坦泽尔 6 2001 视觉语言的演绎解析。 Zbl 0990.68150号 保罗·波托尼;伯恩德·梅耶;金·万豪酒店;主席,弗朗西斯科·帕里西 1 2001 关于修改高级更换系统。 Zbl 1263.68091号 弗朗西斯科·帕里西·普雷西奇 1 2001 通过规则表达式改进图形转换系统。 Zbl 0956.68075号 马丁·格罗·罗德;弗朗西斯科·帕里西总统;玛尔塔·西蒙 6 2000 使用图转换的基于角色的访问控制的形式化模型。 Zbl 1487.68067号 曼纽尔·科赫;曼奇尼,路易吉五世。;弗朗西斯科·帕里西·普雷西奇 4 2000 类型化图转换系统的改进和模块。 Zbl 0961.68034号 马丁·格罗·罗德;主席,弗朗西斯科·帕里西;玛尔塔·西蒙 9 1999 类型图转换系统的空间和时间精化。 Zbl 0910.18001号 马丁·格罗·罗德;弗朗西斯科·帕里西·普雷西奇;玛尔塔·西莫尼 5 1998 代数开发技术的最新趋势。1997年6月3日至7日,第12届国际研讨会,WADT’97,意大利塔基尼亚。精选论文。 Zbl 0889.00030号 三 1998 关于面向对象编程中类的代数规范和继承。 Zbl 0884.68084号 Parisi-Prescce,F。;A.皮耶兰托尼奥。 2 1997 关于规范形态的复杂性。 Zbl 0893.68100号 西塞隆、塞拉菲诺;Francesco,巴黎人 1 1997 图语法的转换。 Zbl 1412.68113号 弗朗西斯科·帕里西·普雷西奇 6 1996 图的单推导出与双推导出。 Zbl 0925.68282号 弗朗西斯科·帕里西·普雷西奇 2 1993 方程代数规范的高级替换系统。 Zbl 0925.68311号 埃里格·H·。;Parisi-Prescce,F。 1 1992 高级替换系统中的并行性和并发性。 Zbl 0749.68045号 哈特穆特·埃里格;阿内格丽特·哈贝尔;汉斯·约尔格·克鲁斯基;弗朗西斯科·帕里西·普雷西奇 41 1991 从图文法到高级替换系统。 Zbl 0765.68088号 哈特穆特·埃里格;阿内格丽特·哈贝尔;弗朗西斯科·帕里西·普雷西奇 24 1991 代数规范文法:模块规范和图形文法之间的连接。 Zbl 0765.68087号 哈特穆特·埃里格;弗朗西斯科·帕里西·普雷西奇 4 1991 作为超图重写的逻辑编程。 Zbl 0967.68507号 安德烈亚·科拉迪尼;弗朗西丝卡·罗西;弗朗西斯科·帕里西·普雷西奇 4 1991 基于规则的模块化系统设计基础。 Zbl 0753.68069号 弗朗西斯科·帕里西·普雷西奇 三 1991 面向对象编程中类的代数规范。 Zbl 0757.68081号 F.Parisi Presicce先生。;A.皮耶兰托尼奥。 2 1991 使用投影代数组合数据类型和递归过程规范。 Zbl 0695.68015号 哈特穆特·埃里格;弗朗西斯科·帕里西·普雷西奇;保罗·博姆;凯瑟琳·里克霍夫;克里斯蒂安·迪米特罗维奇;马丁·格罗斯·霍德 7 1990 代数模块规范开发中的兼容性问题。 Zbl 0717.68068号 哈特穆特·埃里格;费沃纳;霍斯特·汉森;Löwe,迈克尔;院长雅各布斯;弗朗西斯科·帕里西·普雷西奇 1 1990 应用图文法技术的模块化系统设计。 Zbl 0686.68061号 弗朗西斯科·帕里西·普雷西奇 2 1989 模块规范的产品和迭代。 Zbl 0647.68008号 弗朗西斯科·帕里西·普雷西奇 2 1988 用统一和合成重写图形。 Zbl 0643.68103号 弗朗西斯科·帕里西·普雷西奇;哈特穆特·埃里格;乌戈·蒙塔纳里 14 1987 模块及其基本互连的代数规范。 Zbl 0619.68027号 英国布鲁姆。;埃里格,H。;Parisi-Prescce,F。 11 1987 模块规范的部分组合和递归。 Zbl 0614.68017号 Francesco,巴黎人 2 1987 模块规范的联合和实施:一些兼容性结果。 Zbl 0623.68017号 弗朗西斯科·帕里西·普雷西奇 2 1987 使用图文法的基于规则的系统中的并行性分析。 Zbl 0643.68124号 D.摩尔多瓦。;Parisi-Prescce,F。 2 1987 带约束的模块规格说明的代数理论。 Zbl 0602.68021号 埃里格·H·。;费伊,W。;Parisi-Prescce,F。;英国布鲁姆。 7 1986 模块规范中基本操作的内部兼容性和相互兼容性。 Zbl 0589.68017号 弗朗西斯科·帕里西·普雷西奇 5 1986 共享子模块规范的语义。 Zbl 0563.68014号 英国布鲁姆。;Parisi-Prescce,F。 7 1985 通过代数方法实现数据类型。 Zbl 0537.68026号 Edward K·布鲁姆。;弗朗西斯科·帕里西·普雷西奇 2 1983 迭代与正则因子代数。 Zbl 0534.03012号 伊雷纳游击队;弗朗西斯科·帕里西·普雷西奇 1 1983 自由迭代代数的迭代同余的扩张。 Zbl 0537.68023号 弗朗西斯科·帕里西·普雷西奇 1 1983 所有引用出版物 前5名被引用出版物 全部的 前5名134位作者引用 20 哈特穆特·埃里格 15 安德烈亚·科拉迪尼 13 弗朗西斯科·帕里西·普雷西奇 11 费尔南多·奥雷贾斯 7 保罗·巴尔丹 7 乌尔里克·普兰吉 7 加布里埃尔·坦泽尔 6 法比奥·加杜奇 6 阿内格丽特·哈贝尔 6 瑞科·赫克尔 6 兰伯斯,Leen 6 迈克尔·J·S·洛。 6 乌戈·蒙塔纳里。 6 莱拉·里贝罗 5 汉斯·约尔格·克鲁斯基 5 萨宾·库斯克 5 弗朗西丝卡·罗西 4 曼纽尔·科赫 4 巴巴拉·科尼格 4 路易吉·文森佐·曼奇尼 4 朱莉娅·帕德伯格 4 安迪·舒尔 三 理查德·巴纳赫 三 卡尔·海因茨·佩内曼 三 巴布亚州索波辛斯基 三 马赫迪·亚瓦里 2 克里斯特尔·拜尔 2 乔治·布萨托 2 大卫·卡斯特尔诺沃 2 拉兹万·迪亚科内斯库 2 费尔南多·路易斯·多蒂 2 约尔格恩德鲁利斯 2 格雷戈·恩格斯 2 马丁·格罗·罗德 2 托拜厄斯·海因德尔 2 Jean-Pierre Jouannaud 2 沃尔夫拉姆·卡尔 2 延斯·科索尔 2 罗德里戈·马查多 2 米拉·塞德尔巴姆少校。 2 马里诺·米库兰 2 马克·米纳斯 2 玛丽莎·纳瓦罗 2 Overbeek,罗伊 2 阿洛依斯·罗塞特 2 施耐德,汉斯·尤根 2 玛尔塔·西蒙 1 阿卜杜勒·法塔赫,A.M.H。 1 安东尼·安约林 1 法哈德·阿尔巴 1 卡尔·阿扎布 1 尼古拉斯·贝尔 1 大卫·本森。 1 塔里克·R·贝索尔德。 1 马丁·拜尔 1 爱德华·肯尼思·布鲁姆 1 H.J.Sander,布鲁金克 1 阿列克谢·切尔查戈 1 西塞隆、塞拉菲诺 1 胡安·德·拉腊 1 纳鸿·德肖维茨 1 弗朗西斯科·杜兰 1 易卜拉希米、穆罕默德·迈赫迪 1 卡斯滕·埃里格 1 约斯特·恩格尔弗里特 1 克劳迪娅·埃尔梅尔 1 费沃纳 1 卢西亚娜·福斯 1 罗伯特·盖斯勒 1 乌尔里克·戈拉斯 1 戈梅斯·拉米雷斯,丹尼·阿伦·德·杰苏斯 1 伯恩哈德·格拉姆利希 1 埃丝特·盖拉 1 伊雷纳游击队 1 M.顾和。 1 霍斯特汉森 1 哈默(Russ Harmer) 1 弗兰克·赫尔曼 1 琳达·海克 1 凯瑟琳·霍夫曼 1 院长雅各布斯 1 马库斯·克拉尔 1 雷纳特·克莱姆皮恩·亨里克斯 1 彼得·尼克斯 1 克里斯蒂安·科勒 1 哈拉尔德·科尼格 1 马丁·科尔夫 1 乌尔夫·克鲁姆纳克 1 凯乌·库恩伯格 1 拉尔夫·库米茨 1 莱克,斯蒂芬 1 Yngve拉莫 1 亚历山大·拉佐维克 1 勒布利比奇,埃尔罕 1 刘晓建 1 刘志明 1 美塞·拉布雷斯 1 安德烈亚·马吉奥洛·谢蒂尼 1 伯恩德·马赫 1 斯特芬·马扎内克 …还有34位作者 全部的 前5名17篇连载文章中引用 22 理论计算机科学 7 计算机与系统科学杂志 7 程序设计中的逻辑和代数方法杂志 4 计算的形式方面 4 逻辑与代数程序设计杂志 三 MSCS公司。计算机科学中的数学结构 三 应用的分类结构 2 信息学报 2 信息与计算 2 代数杂志及其应用 1 信息处理信件 1 比特币 1 信息科学 1 Quaestions数学 1 符号计算杂志 1 数学与人工智能年鉴 1 赖罗。理论信息学及其应用 全部的 前5名10个领域引用 128 计算机科学(68至XX) 28 范畴理论;同调代数(18-XX) 5 数理逻辑与基础(03-XX) 4 阶、格、有序代数结构(06-XX) 4 一般代数系统(08-XX) 三 群论与推广(20-XX) 2 总体主题;集合(00-XX) 2 一般拓扑结构(54至XX) 1 组合数学(05-XX) 1 数论(11-XX) 按年份列出的引文