编辑配置文件(在新选项卡中打开) 法比奥·扎纳西 合著者距离 作者ID: 扎纳西·法比奥 发布日期: 法比奥·扎纳西 已编制索引的文档: 58出版物自2013年起,包括7额外的arXiv预印本 1名编辑贡献 合著者: 30位合著者具有57联合出版物 579合著者 全部的 前5名合著者 2 单作者的 20 菲利波·邦奇 16 巴布亚州索波辛斯基 9 亚历山大·席尔瓦 8 亚历克斯·基辛格 8 保罗·W·威尔逊。 7 罗宾·皮埃德鲁 6 保罗·布鲁内特 6 法比奥·加杜奇 6 托比亚斯·卡佩 5 巴特·雅各布斯 4 亚历山德罗·法奇尼 4 顾涛 4 维尼马,伊德 三 法孔多·卡雷罗 三 巴斯·卢提克 2 方,布伦丹 2 Dan R.吉卡。 2 利奥·洛夫斯基 2 斯特凡·米利厄斯 2 工资制造者,贾纳 1 杰弗里·S·H·克鲁特韦尔。 1 亚历山德罗·迪乔治奥 1 埃拉·盖尔 1 布鲁诺加夫拉诺维奇 1 尼尔·加尼 1 Helle Hvid Hansen先生 1 Aleksandar Milosavljevic 1 朱里安·罗特 1 理查德·萨缪尔森 1 达里奥·斯坦因 全部的 前5名系列 5 计算机科学中的逻辑方法 三 MSCS公司。计算机科学中的数学结构 2 信息与计算 2 程序设计中的逻辑和代数方法杂志 1 纯粹与应用代数杂志 1 理论计算机科学 1 数学逻辑档案 1 美国计算机学会期刊 1 ACM计算逻辑事务 1 计算机科学课堂讲稿 全部的 前5名字段 46 计算机科学(68-XX) 27 范畴理论;同调代数(18-XX) 9 数学逻辑和基础(03-XX) 三 统计学(62-XX) 2 结合环与代数(16-XX) 1 总体主题;集合(00-XX) 1 组合数学(05-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 概率论与随机过程(60-XX) 1 量子理论(81-XX) 1 系统论;控制(93至XX) 1 信息与通信理论、电路(94-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 43出版物有被引用283中的次144文件 引用人▼ 年份▼ 信号流图的一种分类语义。 Zbl 1417.68119号 菲利波·邦奇;巴布亚州索波辛斯基;法比奥·扎纳西 28 2014 信号流图的完全抽象。 Zbl 1346.68143号 菲利波·邦奇;巴韦尔·索博辛斯基;法比奥·扎纳西 25 2015 重写模对称单体结构。 Zbl 1395.68162号 菲利波·邦奇;法比奥·加杜奇;亚历克斯·基辛格;巴布亚州索波辛斯基;法比奥·扎纳西 21 2016 相互作用的Hopf代数。 Zbl 1345.68229号 菲利波·邦奇;巴布亚州索波辛斯基;法比奥·扎纳西 19 2017 信号流图的演算。一: 流上的线性关系。 Zbl 1355.68188号 菲利波·邦奇;巴布亚州索波辛斯基;法比奥·扎纳西 15 2017 相互作用的双代数是Frobenius。 Zbl 1395.18009号 菲利波·邦奇;巴布亚州索波辛斯基;法比奥·扎纳西 14 2014 用于贝叶斯学习的谓词/状态转换器语义。 Zbl 1401.68173号 巴特·雅各布斯;法比奥·扎纳西 13 2016 通过字符串图手术进行因果推断。 Zbl 1524.62060号 巴特·雅各布斯;亚历克斯·基辛格;法比奥·扎纳西 13 2019 图形重写与接口的融合。 Zbl 1485.68124号 菲利波·邦奇;法比奥·加杜奇;亚历克斯·基辛格;巴布亚州索波辛斯基;法比奥·扎纳西 12 2017 弦图重写理论。一: 用Frobenius结构重写。 Zbl 1497.68239号 菲利波·邦奇;法比奥·加杜奇;亚历克斯·基辛格;巴韦尔·索博辛斯基;法比奥·扎纳西 11 2022 贝叶斯推理的逻辑要素。 Zbl 07311049号 巴特·雅各布斯;法比奥·扎纳西 10 2021 并发Kleene代数:自由模型和完备性。 Zbl 1422.68035号 托比亚斯·卡佩;保罗·布鲁内特;亚历山大·席尔瓦;法比奥·扎纳西 10 2018 并发Kleene代数与观察:从假设到完整性。 Zbl 07250948号 托比亚斯·卡佩;保罗·布鲁内特;亚历山大·席尔瓦;工资制造者,贾纳;法比奥·扎纳西 7 2020 贝叶斯推理中影响的一种形式语义。 Zbl 1441.68253号 巴特·雅各布斯;法比奥·扎纳西 7 2017 逻辑编程的双代数语义。 兹比尔1347.68040 菲利波·邦奇;法比奥·扎纳西 7 2015 用匕首杀死ε:代数标记结构系统的联合代数研究。 Zbl 1330.68194号 菲利波·邦奇;斯特凡·米利厄斯;亚历山大·席尔瓦;法比奥·扎纳西 7 2015 逆导数上升:学习布尔电路的分类方法。 Zbl 1477.68275号 保罗·威尔逊;法比奥·扎纳西 5 2021 基于梯度的学习的分类基础。 Zbl 1528.68339号 杰弗里·S·H·克鲁特韦尔。;布鲁诺加夫拉诺维奇;尼尔·加尼;保罗·威尔逊;法比奥·扎纳西 5 2022 联合逻辑编程的饱和语义。 Zbl 1394.68053号 菲利波·邦奇;法比奥·扎纳西 5 2013 弱MSO:自动机和表达模双相似性。 Zbl 1401.03065号 法孔多·卡雷罗;亚历山德罗·法奇尼;维尼马,伊德;法比奥·扎纳西 4 2014 Brzozowski是并发的——pomset语言的Kleene定理。 Zbl 1442.68145号 托比亚斯·卡佩;保罗·布鲁内特;巴斯·卢提克;亚历山大·席尔瓦;法比奥·扎纳西 4 2017 部分等价关系的代数。 Zbl 1395.68190号 法比奥·扎纳西 三 2016 关于系列平行的pomset语言:合理性、上下文无关性和自动机。 Zbl 1417.68134号 托比亚斯·卡佩;保罗·布鲁内特;巴斯·卢提克;亚历山大·席尔瓦;法比奥·扎纳西 三 2019 弦图重写理论。二: 用对称单体结构重写。 Zbl 1506.68042号 菲利波·邦奇;法比奥·加杜奇;亚历克斯·基辛格;巴韦尔·索博辛斯基;法比奥·扎纳西 三 2022 制图员:一种字符串图解推理工具(工具纸)。 Zbl 07649903号 巴布亚州索波辛斯基;保罗·W·威尔逊。;法比奥·扎纳西 三 2019 与弗罗贝尼厄斯一起改写。 Zbl 1497.68238号 菲利波·邦奇;法比奥·加杜奇;亚历克斯·基辛格;巴韦尔·索博辛斯基;法比奥·扎纳西 三 2018 模态演算无交替片段的一个特征定理。 Zbl 1366.03186号 亚历山德罗·法奇尼;维尼马,伊德;法比奥·扎纳西 三 2013 字符串图的双代数语义。 Zbl 07649945号 菲利波·邦奇;罗宾·皮埃德鲁;巴韦尔·索博辛斯基;法比奥·扎纳西 2 2019 弦图重写理论。III: 与弗罗贝尼乌斯汇合或不与弗罗贝尼乌斯汇合。 Zbl 1506.68043号 菲利波·邦奇;法比奥·加杜奇;亚历克斯·基辛格;巴布亚州索波辛斯基;法比奥·扎纳西 2 2022 弱者的力量。 兹比尔1446.68089 法孔多·卡雷罗;亚历山德罗·法奇尼;维尼马,伊德;法比奥·扎纳西 2 2020 信号流图的上下文等效。 Zbl 07250933号 菲利波·邦奇;罗宾·皮埃德鲁;巴布亚州索波辛斯基;法比奥·扎纳西 2 2020 通过字符串图手术进行因果推断。干预和反事实的图解方法。 兹比尔1506.18022 巴特·雅各布斯;亚历克斯·基辛格;法比奥·扎纳西 2 2021 构成PROP的法律类别。 Zbl 1475.18028号 菲利波·邦奇;巴韦尔·索博辛斯基;法比奥·扎纳西 2 2016 有限状态自动机的字符串图解公理化。 Zbl 07410439号 罗宾·皮埃德鲁;法比奥·扎纳西 2 2021 用于机器学习的可微多项式电路的类别。 Zbl 1514.68266号 保罗·威尔逊;法比奥·扎纳西 1 2022 带观察的克莱恩代数。 兹比尔07649949 托比亚斯·卡佩;保罗·布鲁内特;朱里安·罗特;亚历山大·席尔瓦;工资制造者,贾纳;法比奥·扎纳西 1 2019 概率逻辑规划的联合观点。 Zbl 07649893号 顾涛;法比奥·扎纳西 1 2019 字符串图操作语义的双代数基础。 Zbl 1518.68197号 菲利波·邦奇;罗宾·皮埃德鲁;巴布亚州索波辛斯基;法比奥·扎纳西 1 2021 带有无限量词的一元谓词逻辑模型理论。 Zbl 07541620号 法孔多·卡雷罗;亚历山德罗·法奇尼;维尼马,伊德;法比奥·扎纳西 1 2022 如何用匕首杀死艾司隆。一个具有代数标签结构的联合代数系统。 Zbl 1331.68148号 菲利波·邦奇;斯特凡·米利厄斯;亚历山大·席尔瓦;法比奥·扎纳西 1 2014 弱双Kleene代数的等价性检验。 Zbl 07407791号 托比亚斯·卡佩;保罗·布鲁内特;巴斯·卢提克;亚历山大·席尔瓦;法比奥·扎纳西 1 2021 (共同)关系的通用结构。 Zbl 1436.68191号 布伦丹·方;法比奥·扎纳西 1 2017 (共)关系的通用结构:范畴、单体范畴和道具。 Zbl 1464.18004号 布伦丹·方;法比奥·扎纳西 1 2018 弦图重写理论。一: 用Frobenius结构重写。 Zbl 1497.68239号 菲利波·邦奇;法比奥·加杜奇;亚历克斯·基辛格;帕维尔索博辛斯基;法比奥·扎纳西 11 2022 梯度学习的分类基础。 Zbl 1528.68339号 杰弗里·S·H·克鲁特韦尔。;布鲁诺加夫拉诺维奇;尼尔·加尼;威尔逊,保罗;法比奥·扎纳西 5 2022 弦图重写理论。二: 用对称单体结构重写。 Zbl 1506.68042号 菲利波·邦奇;法比奥·加杜奇;亚历克斯·基辛格;巴韦尔·索博辛斯基;法比奥·扎纳西 三 2022 弦图重写理论。III: 与弗罗贝尼乌斯汇合或不与弗罗贝尼乌斯汇合。 Zbl 1506.68043号 菲利波·邦奇;法比奥·加杜奇;亚历克斯·基辛格;巴布亚州索波辛斯基;法比奥·扎纳西 2 2022 用于机器学习的可微多项式电路的类别。 Zbl 1514.68266号 保罗·威尔逊;法比奥·扎纳西 1 2022 带有无限量词的一元谓词逻辑模型理论。 Zbl 07541620号 法孔多·卡雷罗;亚历山德罗·法奇尼;维尼马,伊德;法比奥·扎纳西 1 2022 贝叶斯推理的逻辑要素。 Zbl 07311049号 巴特·雅各布斯;法比奥·扎纳西 10 2021 逆导数上升:学习布尔电路的分类方法。 Zbl 1477.68275号 保罗·威尔逊;法比奥·扎纳西 5 2021 通过字符串图手术进行因果推断。干预和反事实的图解方法。 Zbl 1506.18022号 巴特·雅各布斯;亚历克斯·基辛格;法比奥·扎纳西 2 2021 有限状态自动机的字符串图解公理化。 Zbl 07410439号 罗宾·皮埃德鲁;法比奥·扎纳西 2 2021 字符串图操作语义的双代数基础。 Zbl 1518.68197号 菲利波·邦奇;罗宾·皮埃德鲁;巴布亚州索波辛斯基;法比奥·扎纳西 1 2021 弱双Kleene代数的等价性检验。 Zbl 07407791号 托比亚斯·卡佩;保罗·布鲁内特;巴斯·卢提克;亚历山大·席尔瓦;法比奥·扎纳西 1 2021 并发Kleene代数与观察:从假设到完整性。 Zbl 07250948号 托比亚斯·卡佩;保罗·布鲁内特;亚历山大·席尔瓦;工资制造者,贾纳;法比奥·扎纳西 7 2020 弱者的力量。 Zbl 1446.68089号 法孔多·卡雷罗;亚历山德罗·法奇尼;维尼马,伊德;法比奥·扎纳西 2 2020 信号流图的上下文等效。 Zbl 07250933号 菲利波·邦奇;罗宾·皮埃德鲁;巴布亚州索波辛斯基;法比奥·扎纳西 2 2020 通过字符串图手术进行因果推断。 Zbl 1524.62060号 巴特·雅各布斯;亚历克斯·基辛格;法比奥·扎纳西 13 2019 关于串并行pomset语言:合理性、上下文自由性和自动机。 Zbl 1417.68134号 托比亚斯·卡佩;保罗·布鲁内特;巴斯·卢提克;亚历山大·席尔瓦;法比奥·扎纳西 三 2019 制图员:一种字符串图解推理工具(工具纸)。 兹比尔07649903 巴布亚州索波辛斯基;保罗·W·威尔逊。;法比奥·扎纳西 三 2019 字符串图的双代数语义。 Zbl 07649945号 菲利波·邦奇;罗宾·皮埃德鲁;巴韦尔·索博辛斯基;法比奥·扎纳西 2 2019 带观察的克莱恩代数。 兹比尔07649949 托比亚斯·卡佩;保罗·布鲁内特;朱里安·罗特;亚历山大·席尔瓦;工资制造者,贾纳;法比奥·扎纳西 1 2019 概率逻辑规划的联合观点。 Zbl 07649893号 顾、陶;法比奥·扎纳西 1 2019 并发Kleene代数:自由模型和完备性。 Zbl 1422.68035号 托比亚斯·卡佩;保罗·布鲁内特;亚历山大·席尔瓦;法比奥·扎纳西 10 2018 与弗罗贝尼厄斯一起改写。 Zbl 1497.68238号 菲利波·邦奇;法比奥·加杜奇;亚历克斯·基辛格;巴韦尔·索博辛斯基;法比奥·扎纳西 三 2018 (共)关系的通用结构:范畴、单体范畴和道具。 Zbl 1464.18004号 布伦丹·方;法比奥·扎纳西 1 2018 相互作用的Hopf代数。 Zbl 1345.68229号 菲利波·邦奇;巴布亚州索波辛斯基;法比奥·扎纳西 19 2017 信号流图的演算。一: 流上的线性关系。 Zbl 1355.68188号 菲利波·邦奇;巴布亚州索波辛斯基;法比奥·扎纳西 15 2017 图形重写与接口的融合。 Zbl 1485.68124号 菲利波·邦奇;法比奥·加杜奇;亚历克斯·基辛格;巴布亚州索波辛斯基;法比奥·扎纳西 12 2017 贝叶斯推理中影响的形式语义。 Zbl 1441.68253号 巴特·雅各布斯;法比奥·扎纳西 7 2017 Brzozowski是并发的——pomset语言的Kleene定理。 Zbl 1442.68145号 托比亚斯·卡佩;保罗·布鲁内特;巴斯·卢提克;亚历山大·席尔瓦;法比奥·扎纳西 4 2017 (共同)关系的通用结构。 Zbl 1436.68191号 布伦丹·方;法比奥·扎纳西 1 2017 重写模对称单体结构。 Zbl 1395.68162号 菲利波·邦奇;法比奥·加杜奇;亚历克斯·基辛格;巴布亚州索波辛斯基;法比奥·扎纳西 21 2016 用于贝叶斯学习的谓词/状态转换器语义。 Zbl 1401.68173号 巴特·雅各布斯;法比奥·扎纳西 13 2016 部分等价关系的代数。 Zbl 1395.68190号 法比奥·扎纳西 三 2016 构成PROP的法律类别。 兹比尔1475.18028 菲利波·邦奇;巴韦尔·索博辛斯基;法比奥·扎纳西 2 2016 信号流图的完全抽象。 兹比尔1346.68143 菲利波·邦奇;巴韦尔·索博辛斯基;法比奥·扎纳西 25 2015 逻辑编程的双代数语义。 Zbl 1347.68040号 菲利波·邦奇;法比奥·扎纳西 7 2015 用匕首杀死ε:代数标记结构系统的联合代数研究。 Zbl 1330.68194号 菲利波·邦奇;斯特凡·米利厄斯;亚历山大·席尔瓦;法比奥·扎纳西 7 2015 信号流图的一种分类语义。 Zbl 1417.68119号 菲利波·邦奇;巴布亚州索波辛斯基;法比奥·扎纳西 28 2014 相互作用的双代数是Frobenius。 Zbl 1395.18009号 菲利波·邦奇;巴布亚州索波辛斯基;法比奥·扎纳西 14 2014 弱MSO:自动机和表达模双相似性。 Zbl 1401.03065号 法孔多·卡雷罗;亚历山德罗·法奇尼;维尼马,伊德;法比奥·扎纳西 4 2014 如何用匕首杀死艾司隆。一个具有代数标签结构的联合代数系统。 Zbl 1331.68148号 菲利波·邦奇;斯特凡·米利厄斯;亚历山大·席尔瓦;法比奥·扎纳西 1 2014 联合逻辑编程的饱和语义。 Zbl 1394.68053号 菲利波·邦奇;法比奥·扎纳西 5 2013 模态演算无交替片段的一个特征定理。 Zbl 1366.03186号 亚历山德罗·法奇尼;维尼马,伊德;法比奥·扎纳西 三 2013 所有引用出版物 排名前五的出版物 全部的 前5名191位作者引用 31 法比奥·扎纳西 17 巴布亚州索波辛斯基 14 菲利波·邦奇 12 巴特·雅各布斯 10 亚历克斯·基辛格 8 法比奥·加杜奇 8 亚历山大·席尔瓦 7 托比亚斯·卡佩 6 布伦丹·方 6 保罗·W·威尔逊。 5 罗宾·皮埃德鲁 5 朱里安·罗特 4 保罗·布鲁内特 4 鲍勃·科克 三 托马斯·布伦戈斯 三 托拜厄斯·弗里茨 三 叶卡捷琳娜·科门丹茨卡亚 三 巴斯·卢提克 三 马里诺·米库兰 三 费尔南多·奥雷贾斯 三 西蒙·佩德里克斯 三 维尼马,伊德 三 工资制造者,贾纳 三 弗拉基米尔·赞季耶夫 2 艾米、马修 2 约翰·C·贝兹。 2 塞缪尔·巴尔科 2 保罗·巴尔丹 2 纪尧姆·博伊索 2 安妮·布罗德本特 2 罗伯托·布鲁尼 2 伊利亚州卡斯特拉尼 2 安德烈亚·科拉迪尼 2 布兰登·科亚 2 乔瓦尼·德·费利塞 2 罗斯·邓肯 2 Dan R.吉卡。 2 顾涛 2 瑞科·赫克尔 2 多米尼克·霍斯曼 2 Jean-Pierre Jouannaud 2 马尔蒂·卡沃宁 2 亚历山大·库兹 2 莱恩·兰伯斯 2 埃尔南·梅尔格拉蒂 2 斯特凡·米利厄斯 2 乌戈·蒙塔纳里。 2 埃文·帕特森 2 马可·佩雷索蒂 2 Damien Pous 2 权力,约翰 2 快点,大卫 2 梅赫努什·萨德扎德 2 Jens Seeber先生 2 戴维·斯皮瓦克。 2 山姆·斯塔顿 2 van Heerdt,Gerco公司 2 王全龙 1 萨姆森·艾布拉姆斯基 1 卢卡·埃特罗 1 安东尼斯·阿奇利奥斯 1 罗宾·亚当斯 1 Alcántara,Maigan S.da S。 1 马林,阿尔滕穆勒 1 埃利·阿纳斯塔西亚迪 1 阿希姆·布卢门萨特 1 克里斯托弗·布朗 1 米切尔·巴克利 1 本杰明·卡布雷拉 1 乔治亚娜·卡尔泰斯 1 马泰奥·卡布奇 1 蒂图安·卡雷特 1 法孔多·卡雷罗 1 大卫·卡斯特尔诺沃 1 阿皮瓦特·昌塔维布尔 1 陈建新 1 陈明帅 1 肯塔·乔 1 亚历山大·克莱门特 1 科科特,J.罗宾B。 1 约瑟夫·柯林斯。 1 舒适,科尔 1 杰夫·克鲁特韦尔 1 杰弗里·S·H·克鲁特韦尔。 1 乔瓦娜·达戈斯蒂诺 1 乌戈·达尔拉戈 1 佩德罗·鲁宾·达吉尼奥 1 西尔维奥·德·梅洛 1 威尔逊·罗莎·德·奥利维拉 1 纳鸿·德肖维茨 1 蒂亚戈·迪亚斯 1 马特·多斯塔尔 1 阿米娜·杜马内 1 瑞希德·埃哈希德 1 穆纳乔·埃切宁 1 吕克·爱迪克索芬 1 亚历山德罗·法奇尼 1 乌里法伦伯格 1 詹姆斯·P·费尔班克斯。 1 蒂米·菲尔曼 …还有91位作者 全部的 前5名19篇连载文章中引用 12 理论计算机科学 10 计算机科学中的逻辑方法 10 程序设计中的逻辑和代数方法杂志 7 MSCS公司。计算机科学中的数学结构 6 范畴的理论与应用 三 应用的分类结构 2 数学进展 2 信息与计算 1 信息学报 1 模糊集与系统 1 纯粹与应用代数杂志 1 大阪数学杂志 1 新一代计算 1 线性代数及应用 1 数学逻辑档案 1 符号逻辑公报 1 美国计算机学会期刊 1 物理学报A:数学与理论 1 PUMP本科研究期刊 全部的 前5名22个领域被引用 101 计算机科学(68-XX) 70 范畴理论;同调代数(18-XX) 25 数学逻辑和基础(03-XX) 18 量子理论(81-XX) 8 统计学(62-XX) 4 结合环与代数(16-XX) 4 概率论与随机过程(60-XX) 4 信息与通信理论、电路(94-XX) 三 组合数学(05-XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 总体主题;集合(00-XX) 1 阶、格、有序代数结构(06-XX) 1 线性代数和多线性代数;矩阵理论(15-XX) 1 群论与推广(20-XX) 1 测量和集成(28-XX) 1 特殊功能(33至XX) 1 功能分析(46倍X倍) 1 微分几何(53至XX) 1 流形和细胞复合体(57至XX) 1 粒子和系统力学(70-XX) 1 系统论;控制(93至XX) 1 数学教育(97-XX) 按年份列出的引文