×
作者ID: 扎纳西·法比奥“Zanasi,Fabio”最近发表的zbMATH文章
发布日期: 法比奥·扎纳西
已编制索引的文档: 58出版物自2013年起,包括7额外的arXiv预印本
1名编辑贡献
合著者: 30位合著者具有57联合出版物
579合著者

按年份列出的出版物

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位作者

按年份列出的引文