编辑配置文件(在新选项卡中打开) 菲利波·邦奇 合著者距离 作者ID: 邦奇·菲利波 发布日期: 菲利波·邦奇;F.邦奇。 已编制索引的文档: 89出版物自2006年以来,包括3个附加arXiv预打印 4作为编辑的贡献 合著者: 50位合著者具有93份联合出版物 1034名合作作者 全部的 前5名合著者 0 单作者的 24 法比奥·加杜奇 23 巴布亚州索波辛斯基 20 法比奥·扎纳西 16 亚历山德拉·席尔瓦 11 巴巴拉·科尼格 10 马塞洛·玛丽亚·邦桑格 10 简·J·M·M·鲁顿。 9 乌戈·蒙塔纳里。 8 蒙雷利,贾科玛·瓦伦蒂娜 7 保罗·巴尔丹 6 亚历克斯·基辛格 6 Damien Pous 5 Daniela Luan Petrisan 5 朱里安·罗特 4 安东尼奥·布罗吉 4 萨拉·科尔菲尼 4 Jens Seeber先生 4 安娜·索科洛娃 三 乔治亚娜·卡尔泰斯 三 亚历山德罗·迪乔治奥 三 托拜厄斯·海因德尔 三 柯斯坦、海宁 三 斯特凡·米利厄斯 三 巴甫洛维奇,杜什科 三 罗宾·皮埃德鲁 三 路易斯·皮诺。 三 阿莱西奥·桑塔马利亚 三 弗兰克·巴伦西亚。 2 安德雷斯·阿里斯蒂扎巴尔 2 巴斯米,玛丽亚·格拉齐亚 2 文森佐·西安西亚 2 戴维·格罗曼 2 斯波莱蒂尼,波拉 2 埃米利奥·托斯托 2 瓦莱里亚·维格努德利 1 阿达梅克,吉安尼 1 米歇尔·博雷尔 1 安德烈亚·科拉迪尼 1 皮埃尔·甘蒂 1 罗伯托·贾科巴齐 1 Helle Hvid Hansen先生 1 内森·海登 1 约书亚·霍兰德 1 马蒂亚斯·Hülsbusch 1 塞巴斯蒂安·库珀 1 李,马蒂亚斯·戴维 1 卡图西亚帕拉米德斯 1 帕南加登,普拉卡什 1 西蒙·普格利西。 1 安吉洛·特洛伊娜 全部的 前5名系列 7 MSCS公司。计算机科学中的数学结构 7 计算机科学中的逻辑方法 5 信息与计算 2 理论计算机科学 2 计算机基础理论 2 ACM计算逻辑事务 2 LIPIcs–莱布尼茨国际信息学会议录 1 信息学报 1 纯粹与应用代数杂志 1 符号计算杂志 1 自动推理杂志 1 美国医学会杂志 1 理论计算机科学电子笔记 1 理论计算机科学电子论文集(EPTCS) 全部的 前5名字段 88 计算机科学(68-XX) 30 范畴理论;同调代数(18-XX) 4 总体主题;集合(00-XX) 4 数学逻辑和基础(03-XX) 三 结合环与代数(16-XX) 1 组合数学(05-XX) 1 阶、格、有序代数结构(06-XX) 1 一般代数系统(08-XX) 1 量子理论(81-XX) 1 系统论;控制(93至XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 73出版物有被引用597中的次299文件 引用人▼ 年份▼ 使用互模拟检查NFA等价性,直至一致。 Zbl 1301.68169号 菲利波·邦奇;Damien Pous 39 2013 将自动机的决定推广到余代数。 Zbl 1262.18002号 亚历山德拉·席尔瓦;菲利波·邦奇;马塞洛·邦桑格;Rutten,一月 31 2013 信号流图的一种分类语义。 Zbl 1417.68119号 菲利波·邦奇;巴布亚州索波辛斯基;法比奥·扎纳西 28 2014 信号流图的完全抽象。 兹比尔1346.68143 菲利波·邦奇;巴韦尔·索博辛斯基;法比奥·扎纳西 25 2015 线性加权自动机的联合观点。 Zbl 1279.68235号 菲利波·邦奇;马塞洛·邦桑格;米歇尔·博雷尔;简·拉特;亚历山德拉·席尔瓦 24 2012 Brzozowski最小化算法中的代数-代数对偶。 Zbl 1288.68174号 菲利波·邦奇;马塞洛·M·邦桑格。;Helle H.Hansen。;帕南加登,普拉卡什;简·J·M·M·鲁顿。;亚历山德拉·席尔瓦 23 2014 在一个无稽之谈的背景下,不断地模仿。 Zbl 1395.68195号 菲利波·邦奇;丹尼拉·佩特里西安;Damien Pous;朱里安·罗特 22 2014 重写模对称单体结构。 Zbl 1395.68162号 菲利波·邦奇;法比奥·加杜奇;亚历克斯·基辛格;巴布亚州索波辛斯基;法比奥·扎纳西 21 2016 关于最小化和确定性的联合观点。 Zbl 1352.68171号 阿达梅克,吉安尼;菲利波·邦奇;马蒂亚斯·Hülsbusch;巴巴拉·科尼格;斯特凡·米利厄斯;亚历山德拉·席尔瓦 19 2012 相互作用的Hopf代数。 Zbl 1345.68229号 菲利波·邦奇;索博辛斯基,Paweł;法比奥·扎纳西 19 2017 概括发电机组结构,合并。 Zbl 1245.68141号 亚历山德拉·席尔瓦;菲利波·邦奇;马塞洛·M·邦桑格。;简·J·M·M·鲁顿。 18 2010 协同行为指标。 Zbl 1515.68199号 保罗·巴尔丹;菲利波·邦奇;柯斯坦、海宁;巴巴拉·科尼格 16 2018 关于造币的概述。 Zbl 1371.68186号 菲利波·邦奇;丹尼拉·佩特里西安;Damien Pous;朱里安·罗特 16 2017 信号流图的演算。一: 流上的线性关系。 Zbl 1355.68188号 菲利波·邦奇;巴布亚州索波辛斯基;法比奥·扎纳西 15 2017 相互作用的双代数是Frobenius。 Zbl 1395.18009号 菲利波·邦奇;巴布亚州索波辛斯基;法比奥·扎纳西 14 2014 通过谎言实现行为指标的最新技术。 Zbl 1520.68089号 菲利波·邦奇;巴巴拉·科尼格;丹尼拉·佩特里西安 13 2018 图形重写与接口的融合。 Zbl 1485.68124号 菲利波·邦奇;法比奥·加杜奇;亚历克斯·基辛格;巴布亚州索波辛斯基;法比奥·扎纳西 12 2017 反应系统、倒刺语义和移动环境。 Zbl 1234.68287号 菲利波·邦奇;法比奥·加杜奇;蒙雷利,贾科玛·瓦伦蒂娜 11 2009 弦图重写理论。一: 用Frobenius结构重写。 Zbl 1497.68239号 菲利波·邦奇;法比奥·加杜奇;亚历克斯·基辛格;巴韦尔·索博辛斯基;法比奥·扎纳西 11 2022 凸代数的幂。 Zbl 1442.68085号 菲利波·邦奇;亚历山德拉·席尔瓦;安娜·索科洛娃 10 2017 增强的燃煤共刺激。 Zbl 1380.68300号 朱里安·罗特;菲利波·邦奇;马塞洛·邦桑格;Damien Pous;Rutten,一月;亚历山德拉·席尔瓦 10 2015 定量Kleene余代数。 Zbl 1227.68075号 亚历山德拉·席尔瓦;菲利波·邦奇;马塞洛·邦桑格;简·拉特 10 2011 通过函子提升的行为度量。 Zbl 1360.68607号 保罗·巴尔丹;菲利波·邦奇;柯斯坦、海宁;巴巴拉·科尼格 9 2014 通过图形编码进行过程互模拟。 Zbl 1156.68494号 菲利波·邦奇;法比奥·加杜奇;巴巴拉·科尼格 8 2006 反应系统的Coalgebraic模型。 Zbl 1151.68507号 菲利波·邦奇;乌戈·蒙塔纳里 7 2007 反应系统,(半)饱和语义和预升上的余代数。 Zbl 1186.68315号 菲利波·邦奇;乌戈·蒙塔纳里 7 2009 信号流图的细化。 Zbl 1442.68125号 菲利波·邦奇;约书亚·霍兰德;达斯科·巴甫洛维奇;巴布亚州索波辛斯基 7 2017 图形连接查询。 Zbl 1528.68098号 菲利波·邦奇;Jens Seeber先生;巴韦尔·索博辛斯基 7 2018 逻辑编程的双代数语义。 Zbl 1347.68040号 菲利波·邦奇;法比奥·扎纳西 7 2015 用匕首杀死ε:代数标记结构系统的联合代数研究。 Zbl 1330.68194号 菲利波·邦奇;斯特凡·米利厄斯;亚历山德拉·席尔瓦;法比奥·扎纳西 7 2015 Brzozowski算法(co)代数化。 Zbl 1354.68185号 菲利波·邦奇;马塞洛·M·邦桑格。;简·J·M·M·鲁顿。;亚历山德拉·席尔瓦 7 2012 使用图形重写合成CCS互模拟。 Zbl 1169.68030号 菲利波·邦奇;法比奥·加杜奇;巴巴拉·科尼格 6 2009 重新审视符号语义学。 Zbl 1139.68039号 菲利波·邦奇;乌戈·蒙塔纳里 6 2008 显式融合微积分的预学习环境。 Zbl 1290.68089号 菲利波·邦奇;巴斯米,玛丽亚·格拉齐亚;文森佐·西安西亚;法比奥·加杜奇 6 2012 倒钩、上下文和标签的一般理论。 Zbl 1354.68189号 菲利波·邦奇;法比奥·加杜奇;蒙雷利,贾科玛·瓦伦蒂娜 6 2014 导出并发约束编程的标签和双相似性。 Zbl 1326.68196号 安德烈斯·阿里斯蒂扎巴尔;菲利波·邦奇;卡图西亚帕拉米德斯;路易斯·皮诺;弗兰克·巴伦西亚 6 2011 一类明确的融合。 Zbl 1144.68038号 菲利波·邦奇;巴斯米,玛丽亚·格拉齐亚;文森佐·西安西亚;法比奥·加杜奇 5 2008 web服务的行为一致性。 Zbl 1141.68501号 菲利波·邦奇;安东尼奥·布罗吉;萨拉·科尔菲尼;法比奥·加杜奇 5 2007 完善的技术和完整的抽象领域。 Zbl 1497.68107号 菲利波·邦奇;皮埃尔·甘蒂;罗伯托·贾科巴齐;达斯科·巴甫洛维奇 5 2018 使用开放Petri网编码异步交互。 Zbl 1254.68161号 保罗·巴尔丹;菲利波·邦奇;法比奥·加杜奇 5 2009 联合逻辑编程的饱和语义。 Zbl 1394.68053号 菲利波·邦奇;法比奥·扎纳西 5 2013 加权系统的Up-to技术。 Zbl 1452.68100号 菲利波·邦奇;巴巴拉·科尼格;塞巴斯蒂安·库珀 4 2017 弱互模拟的松弛双代数和up-to技术。 Zbl 1371.68187号 菲利波·邦奇;丹尼尔·彼得里桑;Pous,达米恩;朱里安·罗特 4 2015 异步跟踪和开放Petri网。 Zbl 1434.68320号 保罗·巴尔丹;菲利波·邦奇;法比奥·加杜奇;蒙雷利,贾科马五世。 4 2015 导出定量规则行为的语法和公理。 Zbl 1254.68129号 菲利波·邦奇;马塞洛·邦桑格;简·拉特;亚历山德拉·席尔瓦 4 2009 组合半格和半模。 Zbl 07410421号 菲利波·邦奇;阿莱西奥·桑塔马利亚 4 2021 移动环境的标签转换(通过图形编码合成)。 Zbl 1291.68281号 菲利波·邦奇;法比奥·加杜奇;蒙雷利,贾科玛·瓦伦蒂娜 4 2009 弦图重写理论。二: 用对称单体结构重写。 Zbl 1506.68042号 菲利波·邦奇;法比奥·加杜奇;亚历克斯·基辛格;巴韦尔·索博辛斯基;法比奥·扎纳西 三 2022 与弗罗贝尼厄斯一起改写。 Zbl 1497.68238号 菲利波·邦奇;法比奥·加杜奇;亚历克斯·基辛格;巴韦尔·索博辛斯基;法比奥·扎纳西 三 2018 通过函子提升实现跟踪度量。 Zbl 1366.68189号 保罗·巴尔丹;菲利波·邦奇;柯斯坦、海宁;巴巴拉·科尼格 三 2015 修饰痕迹的最终语义。 Zbl 1342.68224号 菲利波·邦奇;马塞洛·邦桑格;乔治亚娜·卡尔泰斯;简·拉特;亚历山德拉·席尔瓦 三 2012 协代数符号语义。 Zbl 1239.68049号 菲利波·邦奇;乌戈·蒙塔纳里 2 2009 借用上下文的并行和顺序独立性。 Zbl 1175.68216号 菲利波·邦奇;法比奥·加杜奇;托拜厄斯·海因德尔 2 2008 字符串图的双代数语义。 Zbl 07649945号 菲利波·邦奇;罗宾·皮埃德鲁;巴韦尔·索博辛斯基;法比奥·扎纳西 2 2019 弦图重写理论。III: 与弗罗贝尼乌斯汇合或不与弗罗贝尼乌斯汇合。 Zbl 1506.68043号 菲利波·邦奇;法比奥·加杜奇;亚历克斯·基辛格;巴布亚州索波辛斯基;法比奥·扎纳西 2 2022 信号流图的上下文等效。 Zbl 07250933号 菲利波·邦奇;罗宾·皮埃德鲁;巴布亚州索波辛斯基;法比奥·扎纳西 2 2020 用于必须测试的Brzozowski和up-to算法。 Zbl 1426.68180号 菲利波·邦奇;乔治亚娜·卡尔泰斯;Damien Pous;亚历山德拉·席尔瓦 2 2013 具有不确定性、概率和终止性的系统的迹理论。 Zbl 07566077号 菲利波·邦奇;安娜·索科洛娃;瓦莱里亚·维格努德利 2 2022 关于粘合剂类别的晶格理论观点。 Zbl 1217.18004号 保罗·巴尔丹;菲利波·邦奇;安德烈亚·科拉迪尼;托拜厄斯·海因德尔;巴巴拉·科尼格 2 2011 构成PROP的法律类别。 Zbl 1475.18028号 菲利波·邦奇;巴韦尔·索博辛斯基;法比奥·扎纳西 2 2016 装饰痕迹的联合视图。 Zbl 1364.68276号 F.邦奇。;M.邦桑格。;卡尔泰斯,G。;J·拉特。;A.席尔瓦。 2 2016 反应系统的联合理论。 Zbl 1279.68249号 菲利波·邦奇;乌戈·蒙塔纳里 2 2008 在web服务开发中使用行为等效性。 Zbl 1154.68446号 菲利波·邦奇;安东尼奥·布罗吉;萨拉·科尔菲尼;法比奥·加杜奇 1 2008 符号双相似性的最小化算法。 Zbl 1234.68288号 菲利波·邦奇;乌戈·蒙塔纳里 1 2009 弱分布律的凸性。 兹伯利07639916 菲利波·邦奇;阿莱西奥·桑塔马利亚 1 2022 将CCP中的弱相似性降低为强相似性。 Zbl 1433.68228号 安德烈斯·阿里斯蒂扎巴尔;菲利波·邦奇;路易斯·皮诺;弗兰克·巴伦西亚 1 2012 具有非确定性选择的并发约束规划的行为一致性。 Zbl 1432.68315号 路易斯·皮诺。;菲利波·邦奇;弗兰克·巴伦西亚。 1 2014 字符串图操作语义的双代数基础。 Zbl 1518.68197号 菲利波·邦奇;罗宾·皮埃德鲁;巴布亚州索波辛斯基;法比奥·扎纳西 1 2021 如何用匕首杀死艾司隆。一个具有代数标签结构的联合代数系统。 Zbl 1331.68148号 菲利波·邦奇;斯特凡·米利厄斯;亚历山德拉·席尔瓦;法比奥·扎纳西 1 2014 无法异步观察并发。 Zbl 1361.68158号 保罗·巴尔丹;菲利波·邦奇;法比奥·加杜奇;蒙雷利,贾科玛·瓦伦蒂娜 1 2015 G-反应系统作为煤渣。 Zbl 1277.68163号 菲利波·邦奇;乌戈·蒙塔纳里 1 2008 通过凸代数幂的分布双相似性。 Zbl 1480.18005号 菲利波·邦奇;亚历山德拉·席尔瓦;安娜·索科洛娃 1 2021 基于网络的web服务发布和可替换性方法。 Zbl 1183.68069号 菲利波·邦奇;安东尼奥·布罗吉;萨拉·科尔菲尼;法比奥·加杜奇 1 2009 弦图重写理论。一: 用Frobenius结构重写。 Zbl 1497.68239号 菲利波·邦奇;法比奥·加杜奇;亚历克斯·基辛格;巴韦尔·索博辛斯基;法比奥·扎纳西 11 2022 弦图重写理论。二: 用对称单体结构重写。 Zbl 1506.68042号 菲利波·邦奇;法比奥·加杜奇;亚历克斯·基辛格;巴韦尔·索博辛斯基;法比奥·扎纳西 三 2022 弦图重写理论。III: 与弗罗贝尼乌斯汇合或不与弗罗贝尼乌斯汇合。 Zbl 1506.68043号 菲利波·邦奇;法比奥·加杜奇;亚历克斯·基辛格;巴布亚州索波辛斯基;法比奥·扎纳西 2 2022 具有不确定性、概率和终止性的系统的迹理论。 Zbl 07566077号 菲利波·邦奇;安娜·索科洛娃;瓦莱里亚·维格努德利 2 2022 弱分布律的凸性。 Zbl 07639916号 菲利波·邦奇;阿莱西奥·桑塔马利亚 1 2022 组合半格和半模。 Zbl 07410421号 菲利波·邦奇;阿莱西奥·桑塔马利亚 4 2021 字符串图操作语义的双代数基础。 Zbl 1518.68197号 菲利波·邦奇;罗宾·皮埃德鲁;索博辛斯基,Paweł;法比奥·扎纳西 1 2021 通过凸代数幂的分布双相似性。 Zbl 1480.18005号 菲利波·邦奇;亚历山德拉·席尔瓦;安娜·索科洛娃 1 2021 信号流图的上下文等效。 Zbl 07250933号 菲利波·邦奇;罗宾·皮埃德鲁;巴布亚州索波辛斯基;法比奥·扎纳西 2 2020 字符串图的双代数语义。 Zbl 07649945号 菲利波·邦奇;罗宾·皮埃德鲁;巴韦尔·索博辛斯基;法比奥·扎纳西 2 2019 协同行为指标。 Zbl 1515.68199号 保罗·巴尔丹;菲利波·邦奇;柯斯坦、海宁;巴巴拉·科尼格 16 2018 通过谎言实现行为指标的最新技术。 Zbl 1520.68089号 菲利波·邦奇;巴巴拉·科尼格;丹尼拉·佩特里西安 13 2018 图形连接查询。 Zbl 1528.68098号 菲利波·邦奇;Jens Seeber先生;巴韦尔·索博辛斯基 7 2018 完善的技术和完整的抽象领域。 Zbl 1497.68107号 菲利波·邦奇;皮埃尔·甘蒂;罗伯托·贾科巴齐;达斯科·巴甫洛维奇 5 2018 与弗罗贝尼厄斯一起改写。 Zbl 1497.68238号 菲利波·邦奇;法比奥·加杜奇;亚历克斯·基辛格;巴韦尔·索博辛斯基;法比奥·扎纳西 三 2018 相互作用的Hopf代数。 Zbl 1345.68229号 菲利波·邦奇;巴布亚州索波辛斯基;法比奥·扎纳西 19 2017 到的共同生产的一般说明。 Zbl 1371.68186号 菲利波·邦奇;丹尼拉·佩特里西安;Damien Pous;朱里安·罗特 16 2017 信号流图的演算。一: 流上的线性关系。 Zbl 1355.68188号 菲利波·邦奇;巴布亚州索波辛斯基;法比奥·扎纳西 15 2017 图形重写与接口的融合。 Zbl 1485.68124号 菲利波·邦奇;法比奥·加杜奇;亚历克斯·基辛格;巴布亚州索波辛斯基;法比奥·扎纳西 12 2017 凸代数的幂。 Zbl 1442.68085号 菲利波·邦奇;亚历山德拉·席尔瓦;安娜·索科洛娃 10 2017 信号流图的优化。 Zbl 1442.68125号 菲利波·邦奇;约书亚·霍兰德;达斯科·巴甫洛维奇;索博辛斯基,Paweł 7 2017 加权系统的Up-to技术。 Zbl 1452.68100号 菲利波·邦奇;巴巴拉·科尼格;塞巴斯蒂安·库珀 4 2017 重写模对称单体结构。 Zbl 1395.68162号 菲利波·邦奇;法比奥·加杜奇;亚历克斯·基辛格;巴布亚州索波辛斯基;法比奥·扎纳西 21 2016 构成PROP的法律类别。 Zbl 1475.18028号 菲利波·邦奇;巴韦尔·索博辛斯基;法比奥·扎纳西 2 2016 装饰痕迹的联合视图。 Zbl 1364.68276号 F.邦奇。;M.邦桑格。;卡尔泰斯,G。;J·拉特。;A.席尔瓦。 2 2016 信号流图的完全抽象。 兹比尔1346.68143 菲利波·邦奇;巴韦尔·索博辛斯基;法比奥·扎纳西 25 2015 增强的燃煤共刺激。 Zbl 1380.68300号 朱里安·罗特;菲利波·邦奇;马塞洛·邦桑格;Damien Pous;简·拉特;亚历山德拉·席尔瓦 10 2015 逻辑编程的双代数语义。 Zbl 1347.68040号 菲利波·邦奇;法比奥·扎纳西 7 2015 用匕首杀死ε:代数标记结构系统的联合代数研究。 Zbl 1330.68194号 菲利波·邦奇;斯特凡·米利厄斯;亚历山德拉·席尔瓦;法比奥·扎纳西 7 2015 弱互模拟的松弛双代数和up-to技术。 Zbl 1371.68187号 菲利波·邦奇;丹尼尔·彼得里桑;Damien Pous;朱里安·罗特 4 2015 异步跟踪和开放Petri网。 Zbl 1434.68320号 保罗·巴尔丹;菲利波·邦奇;法比奥·加杜奇;蒙雷利,贾科马五世。 4 2015 通过函子提升实现跟踪度量。 兹比尔1366.68189 保罗·巴尔丹;菲利波·邦奇;柯斯坦、海宁;巴巴拉·科尼格 三 2015 无法异步观察并发。 Zbl 1361.68158号 保罗·巴尔丹;菲利波·邦奇;法比奥·加杜奇;蒙雷利,贾科玛·瓦伦蒂娜 1 2015 信号流图的一种分类语义。 Zbl 1417.68119号 菲利波·邦奇;巴布亚州索波辛斯基;法比奥·扎纳西 28 2014 Brzozowski最小化算法中的代数-代数对偶。 Zbl 1288.68174号 菲利波·邦奇;马塞洛·M·邦桑格。;Helle H.Hansen。;帕南加登,普拉卡什;简·J·M·M·鲁顿。;亚历山德拉·席尔瓦 23 2014 在一个无稽之谈的背景下,不断地模仿。 Zbl 1395.68195号 菲利波·邦奇;丹尼拉·佩特里西安;Damien Pous;朱里安·罗特 22 2014 相互作用的双代数是Frobenius。 Zbl 1395.18009号 菲利波·邦奇;巴布亚州索波辛斯基;法比奥·扎纳西 14 2014 通过函子提升的行为度量。 Zbl 1360.68607号 保罗·巴尔丹;菲利波·邦奇;柯斯坦、海宁;巴巴拉·科尼格 9 2014 倒刺、上下文和标签的一般理论。 Zbl 1354.68189号 菲利波·邦奇;法比奥·加杜奇;蒙雷利,贾科玛·瓦伦蒂娜 6 2014 具有非确定性选择的并发约束规划的行为一致性。 Zbl 1432.68315号 路易斯·皮诺。;菲利波·邦奇;弗兰克·巴伦西亚。 1 2014 如何用匕首杀死艾司隆。一个具有代数标签结构的联合代数系统。 Zbl 1331.68148号 菲利波·邦奇;斯特凡·米利厄斯;亚历山德拉·席尔瓦;法比奥·扎纳西 1 2014 用互模拟检查NFA等价性直至一致。 Zbl 1301.68169号 菲利波·邦奇;Damien Pous 39 2013 将自动机的决定推广到余代数。 Zbl 1262.18002号 亚历山德拉·席尔瓦;菲利波·邦奇;马塞洛·邦桑格;简·拉特 31 2013 联合逻辑编程的饱和语义。 Zbl 1394.68053号 菲利波·邦奇;法比奥·扎纳西 5 2013 用于必须测试的Brzozowski和up-to算法。 兹比尔1426.68180 菲利波·邦奇;乔治亚娜·卡尔泰斯;Damien Pous;亚历山德拉·席尔瓦 2 2013 线性加权自动机的联合观点。 Zbl 1279.68235号 菲利波·邦奇;马塞洛·邦桑格;米歇尔·博雷尔;简·拉特;亚历山德拉·席尔瓦 24 2012 关于最小化和确定性的联合观点。 Zbl 1352.68171号 阿达梅克,吉安尼;菲利波·邦奇;马蒂亚斯·Hülsbusch;巴巴拉·科尼格;斯特凡·米利厄斯;亚历山德拉·席尔瓦 19 2012 Brzozowski算法(co)代数化。 Zbl 1354.68185号 菲利波·邦奇;马塞洛·M·邦桑格。;简·J·M·M·鲁顿。;亚历山德拉·席尔瓦 7 2012 显式融合演算的预处理环境。 Zbl 1290.68089号 菲利波·邦奇;巴斯米,玛丽亚·格拉齐亚;文森佐·西安西亚;法比奥·加杜奇 6 2012 修饰痕迹的最终语义。 Zbl 1342.68224号 菲利波·邦奇;马塞洛·邦桑格;乔治亚娜·卡尔泰斯;简·拉特;亚历山德拉·席尔瓦 三 2012 将CCP中的弱相似性降低为强相似性。 Zbl 1433.68228号 安德烈斯·阿里斯蒂扎巴尔;菲利波·邦奇;路易斯·皮诺;弗兰克·巴伦西亚 1 2012 定量Kleene余代数。 Zbl 1227.68075号 亚历山德拉·席尔瓦;菲利波·邦奇;马塞洛·邦桑格;简·拉特 10 2011 导出并发约束编程的标签和双相似性。 Zbl 1326.68196号 安德烈斯·阿里斯蒂扎巴尔;菲利波·邦奇;卡图西亚Palamidessi;路易斯·皮诺;弗兰克·巴伦西亚 6 2011 粘合剂类别的格理论观点。 Zbl 1217.18004号 保罗·巴尔丹;菲利波·邦奇;安德烈亚·科拉迪尼;托拜厄斯·海因德尔;巴巴拉·科尼格 2 2011 概括发电机组结构,合并。 Zbl 1245.68141号 亚历山德拉·席尔瓦;菲利波·邦奇;马塞洛·M·邦桑格。;简·J·M·M·鲁顿。 18 2010 反应系统、倒刺语义和移动环境。 Zbl 1234.68287号 菲利波·邦奇;法比奥·加杜奇;蒙雷利,贾科玛·瓦伦蒂娜 11 2009 反应系统,(半)饱和语义和预升上的余代数。 Zbl 1186.68315号 菲利波·邦奇;乌戈·蒙塔纳里 7 2009 使用图形重写合成CCS互模拟。 Zbl 1169.68030号 菲利波·邦奇;法比奥·加杜奇;巴巴拉·科尼格 6 2009 使用开放Petri网编码异步交互。 Zbl 1254.68161号 保罗·巴尔丹;菲利波·邦奇;法比奥·加杜奇 5 2009 导出定量规则行为的语法和公理。 Zbl 1254.68129号 菲利波·邦奇;马塞洛·邦桑格;简·拉特;亚历山德拉·席尔瓦 4 2009 移动环境的标签转换(通过图形编码合成)。 Zbl 1291.68281号 菲利波·邦奇;法比奥·加杜奇;蒙雷利,贾科玛·瓦伦蒂娜 4 2009 协代数符号语义。 Zbl 1239.68049号 菲利波·邦奇;乌戈·蒙塔纳里 2 2009 符号双相似性的最小化算法。 兹比尔12346.8288 菲利波·邦奇;乌戈·蒙塔纳里 1 2009 基于网络的web服务发布和可替换性方法。 Zbl 1183.68069号 菲利波·邦奇;安东尼奥·布罗吉;萨拉·科尔菲尼;法比奥·加杜奇 1 2009 重新审视符号语义学。 Zbl 1139.68039号 菲利波·邦奇;乌戈·蒙塔纳里 6 2008 一类明确的融合。 Zbl 1144.68038号 菲利波·邦奇;巴斯米,玛丽亚·格拉齐亚;文森佐·西安西亚;法比奥·加杜奇 5 2008 借用上下文的并行和顺序独立性。 Zbl 1175.68216号 菲利波·邦奇;法比奥·加杜奇;托拜厄斯·海因德尔 2 2008 反应系统的联合理论。 Zbl 1279.68249号 菲利波·邦奇;乌戈·蒙塔纳里 2 2008 在web服务开发中使用行为等效性。 兹比尔1154.68446 菲利波·邦奇;安东尼奥·布罗吉;萨拉·科尔菲尼;法比奥·加杜奇 1 2008 G-反应系统作为余代数。 Zbl 1277.68163号 菲利波·邦奇;乌戈·蒙塔纳里 1 2008 反应系统的Coalgebraic模型。 Zbl 1151.68507号 菲利波·邦奇;乌戈·蒙塔纳里 7 2007 web服务的行为一致性。 Zbl 1141.68501号 菲利波·邦奇;安东尼奥·布罗吉;萨拉·科尔菲尼;法比奥·加杜奇 5 2007 通过图形编码处理交互模拟。 Zbl 1156.68494号 菲利波·邦奇;法比奥·加杜奇;巴巴拉·科尼格 8 2006 所有引用出版物 前5名被引用出版物 全部的 前5名331位作者引用 42 菲利波·邦奇 25 法比奥·扎纳西 23 法比奥·加杜奇 19 亚历山德拉·席尔瓦 19 巴布亚州索波辛斯基 17 朱里安·罗特 14 简·J·M·M·鲁顿。 13 巴巴拉·科尼格 11 马塞洛·玛丽亚·邦桑格 11 斯特凡·米利厄斯 11 乌戈·蒙塔纳里。 9 亚历克斯·基辛格 8 保罗·巴尔丹 8 蒙雷利,贾科玛·瓦伦蒂娜 8 Damien Pous 8 马蒂奥·桑马蒂诺 8 卢茨·施罗德 7 安德烈亚·科拉迪尼 7 巴特·雅各布斯 6 文森佐·西安西亚 6 布伦丹·方 6 亚历山大·库兹 6 Daniela Luan Petrisan 6 戴维·桑吉奥吉 6 安娜·索科洛娃 6 保罗·W·威尔逊。 6 托尔斯滕·维曼 5 米歇尔·博雷尔 5 Helle Hvid Hansen先生 5 一郎·哈索 5 丹尼尔·赫希科夫 5 胜本,Shin-ya 5 克莱门斯·库普克 5 罗宾·皮埃德鲁 5 弗兰克·巴伦西亚。 4 阿道夫芭蕾舞团 4 托马斯·布伦戈斯 4 罗伯托·布鲁尼 4 鲍勃·科克 4 安里克·科斯梅·洛佩斯 4 叶卡捷琳娜·科门丹茨卡亚 4 塞巴斯蒂安·库珀 4 马里诺·米库兰 4 何塞·努诺·奥利维拉 4 帕南加登,普拉卡什 4 卡米洛·鲁埃达 4 海宁·乌尔巴特 4 威尔德,保罗 三 阿达梅克,吉安尼 三 乔治·巴奇 三 约翰·C·贝兹。 三 乔瓦尼·德·费利塞 三 米歇尔·古兹曼 三 巴托克·克林 三 丹尼斯·库珀伯格 三 埃尔南·梅尔格拉蒂 三 费尔南多·奥雷贾斯 三 托马索·帕多安 三 德克·帕丁森 三 西蒙·佩德里克斯 三 马可·佩雷索蒂 三 权力,约翰 三 莱拉·里贝罗 三 朱利安·萨拉曼卡 三 阿莱西奥·桑塔马利亚 三 戴维·斯普伦格 三 温特,乔斯特 三 弗拉基米尔·赞季耶夫 2 亚历杭德罗·阿吉雷 2 艾米、马修 2 乔瓦尼·巴奇 2 塞缪尔·巴尔科 2 博尔贾·巴勒 2 哈什,比哈尔 2 大卫·布雷索林 2 安东尼奥·布罗吉 2 保罗·布鲁内特 2 巴斯米,玛丽亚·格拉齐亚 2 乔治亚娜·卡尔泰斯 2 肯塔·乔 2 托马斯·科尔科姆贝特 2 布兰登·科亚 2 彼得罗·迪·贾南托尼奥 2 乌尔里希·多尔希 2 杰瑞米·杜布特 2 罗斯·邓肯 2 阿德里安·杜里埃 2 多米尼克·杜瓦尔 2 瑞希德·埃哈希德 2 理查德·艾格特 2 哈特穆特·埃里格 2 托拜厄斯·弗里茨 2 尼尔·加尼 2 Dan R.吉卡。 2 谢尔盖·冈查洛夫 2 顾涛 2 德克·霍夫曼 2 Furio Honsell 2 罗斯·霍恩 2 多米尼克·霍斯曼 …还有231位作者 全部的 前5名30篇连载文章中引用 30 计算机科学中的逻辑方法 23 理论计算机科学 21 程序设计中的逻辑和代数方法杂志 16 信息与计算 16 MSCS公司。计算机科学中的数学结构 5 范畴的理论与应用 4 信息学报 4 计算的形式方面 三 计算机与系统科学杂志 三 应用的分类结构 三 ACM计算逻辑事务 2 纯粹与应用代数杂志 2 自动推理杂志 2 函数编程杂志 2 逻辑与代数程序设计杂志 1 信息处理信件 1 数学进展 1 代数普遍性 1 模糊集与系统 1 信息科学 1 大阪数学杂志 1 Quaestions数学 1 新一代计算 1 国际计算机科学基础杂志 1 系统设计中的形式化方法 1 约束条件 1 软计算 1 美国医学会杂志 1 计算机基础理论 1 物理学报A:数学与理论 全部的 前5名29个字段中引用 262 计算机科学(68-XX) 115 范畴理论;同调代数(18-XX) 48 数学逻辑和基础(03-XX) 16 量子理论(81-XX) 7 阶、格、有序代数结构(06-XX) 5 概率论与随机过程(60-XX) 4 一般代数系统(08-XX) 4 线性代数和多线性代数;矩阵理论(15-XX) 4 结合环与代数(16-XX) 4 博弈论、经济学、金融和其他社会和行为科学(91-XX) 4 信息与通信理论、电路(94-XX) 三 一般拓扑结构(54至XX) 2 组合数学(05-XX) 2 交换代数(13-XX) 2 常微分方程(34-XX) 2 统计学(62-XX) 2 运筹学、数学规划(90-XX) 1 数论(11-XX) 1 群论与推广(20-XX) 1 拓扑群、李群(22日至XX日) 1 特殊功能(33至XX) 1 偏微分方程(35-XX) 1 算子理论(47-XX) 1 微分几何(53至XX) 1 流形和细胞复合体(57至XX) 1 粒子和系统力学(70-XX) 1 生物学和其他自然科学(92-XX) 1 系统论;控制(93至XX) 1 数学教育(97-XX) 按年份列出的引文