法比奥·扎纳西
人员信息
SPARQL查询
优化列表
2020年–今天
2024 [公元43年] 陶谷 , 嘉璐宝 , 徐宇春(Justin Hsu) , 亚历山德拉·席尔瓦 , 法比奥·扎纳西 :
DIBI模型的分类方法。 金融稳定与发展部 2024 : 17:1-17:20 [公元42年] 马特奥·托雷斯-鲁伊斯 , 罗宾·皮埃德鲁 , 亚历山德拉·席尔瓦 , 法比奥·扎纳西 :
离散概率规划中的迭代。 金融稳定与发展部 2024 : 20:1-20:21 [i37] 陶谷 , 嘉璐宝 , 徐宇春(Justin Hsu) , 亚历山德拉·席尔瓦 , 法比奥·扎纳西 :
DIBI模型的分类方法。 CoRR公司 abs/2401.05842 ( 2024 ) [公元36年] 达里奥·斯坦因 , 法比奥·扎纳西 , 理查德·萨缪尔森 , 罗宾·皮埃德鲁 :
图形二次代数。 CoRR公司 abs/2403.02284 ( 2024 ) [i35] 杰弗里·科特威尔 , 布鲁诺·加夫拉诺维奇 , 尼尔·加尼 , 保罗·威尔逊 , 法比奥·扎纳西 :
参数化镜片的深度学习。 CoRR公司 abs/2404.00408 ( 2024 ) [i34] 叶卡捷琳娜·彼得罗夫斯卡娅 , 利奥·洛夫斯基 , 法比奥·扎纳西 :
学习闭合信号流图。 CoRR公司 abs/2407.00245 ( 2024 ) 2023 [公元19年] 保罗·威尔逊 , 法比奥·扎纳西 :
多项式电路微分的公理方法。 J.日志。 代数方法课程。 135 : 100892 ( 2023 ) [公元18年] 罗宾·皮埃德鲁 , 法比奥·扎纳西 :
使用字符串图对有限状态自动机进行有限公理化。 日志。 方法计算。 科学。 19 ( 1 ) ( 2023 ) [公元41年] Aleksandar Milosavljevic先生 , 罗宾·皮埃德鲁 , 法比奥·扎纳西 :
字符串图重写模交换(Co)单体结构。 CALCO公司 2023 : 9:1-9:17 [公元40年] 马里奥·阿尔瓦雷斯·皮卡略 , 丹·吉卡(Dan R.Ghica) , 大卫·斯普伦格 , 法比奥·扎纳西 :
用于反转模式自动区分的功能字符串图。 CSL公司 2023 : 6:1-6:20 [公元39年] 保罗·威尔逊 , 丹·吉卡(Dan R.Ghica) , 法比奥·扎纳西 :
非紧单体范畴的弦图。 CSL公司 2023 : 37:1-37:19 [公元38年] 埃拉·盖尔 , 利奥·洛夫斯基 , 法比奥·扎纳西 :
合成化学的分类方法。 ICTAC公司 2023 : 276-294 [i33] 保罗·威尔逊 , 法比奥·扎纳西 :
字符串图的数据并行算法。 CoRR公司 abs/2305.01041 ( 2023 ) [i32] 罗宾·皮埃德鲁 , 法比奥·扎纳西 :
计算机科学家弦图导论。 CoRR公司 腹肌/2305.08768 ( 2023 ) [i31] 丹·吉卡(Dan R.Ghica) , 法比奥·扎纳西 :
分层字符串图和应用程序。 CoRR公司 abs/2305.18945 ( 2023 ) [i30] 埃拉·盖尔 , 利奥·洛夫斯基 , 法比奥·扎纳西 :
逆合成反应分析的分类模型。 CoRR公司 abs/2311.04085 ( 2023 ) 2022 [公元17年] 法昆多·卡雷罗 , 亚历山德罗·法奇尼 , Yde Venema公司 , 法比奥·扎纳西 :
带有无限量词的一元谓词逻辑模型理论。 架构(architecture)。 数学。 日志。 61 ( 3-4 ) : 465-502 ( 2022 ) [j16] 菲利波·邦奇 , 法比奥·加杜奇 , 亚历克斯·基辛格 , 帕维尔·索博辛斯基 , 法比奥·扎纳西 :
弦图改写理论I:用Frobenius结构改写。 美国临床医学杂志 69 ( 2 ) : 14:1-14:58 ( 2022 ) [公元15年] 菲利波·邦奇 , 法比奥·加杜奇 , 亚历克斯·基辛格 , 帕维尔·索博辛斯基 , 法比奥·扎纳西 :
弦图重写理论二:用对称单体结构重写。 数学。 结构。 计算。 科学。 32 ( 4 ) : 511-541 ( 2022 ) [公元14年] 菲利波·邦奇 , 法比奥·加杜奇 , 亚历克斯·基辛格 , 帕维尔·索博辛斯基 , 法比奥·扎纳西 :
弦图改写理论三:与弗罗贝纽斯的融合与否。 数学。 结构。 计算。 科学。 32 ( 7 ) : 829-869 ( 2022 ) [j13] 海尔·维德·汉森 , 法比奥·扎纳西 :
2022年计算机科学联合方法报告。 ACM SIGLOG新闻 9 ( 三 ) : 61-62 ( 2022 ) [公元37年] 杰弗里·科特威尔 , 布鲁诺·加夫拉诺维奇 , 尼尔·加尼 , 保罗·威尔逊 , 法比奥·扎纳西 :
基于梯度学习的分类基础。 员工持股计划 2022 : 1-28 [公元36年] 马里奥·阿尔瓦雷斯·皮卡略 , 丹·吉卡(Dan R.Ghica) , 大卫·斯普伦格 , 法比奥·扎纳西 :
单体闭范畴的重写。 金融稳定与发展部 2022 : 29:1-29:20 [公元35年] 保罗·威尔逊 , 法比奥·扎纳西 :
用于机器学习的可微多项式电路的类别。 国际燃气轮机 2022 : 77-93 [公元34年] 利奥·洛夫斯基 , 法比奥·扎纳西 :
分层解释的字符串图。 ACT公司 2022 : 362-382 [公元33年] 陶谷 , 罗宾·皮埃德鲁 , 法比奥·扎纳西 :
布尔可满足性的完整图解演算。 MFPS公司 2022 [电子1] 海尔·维德·汉森 , 法比奥·扎纳西 :
计算机科学中的代数方法-第16届IFIP WG 1.3国际研讨会,CMCS 2022,与ETAPS 2022共同举办,德国慕尼黑,2022年4月2-3日,会议记录。 计算机科学课堂讲稿 13225, 施普林格 2022 ,国际标准图书编号 978-3-031-10735-1 [目录] [i29] 保罗·威尔逊 , 法比奥·扎纳西 :
用于机器学习的可微多项式电路的类别。 CoRR公司 abs/2203.06430 ( 2022 ) [第28条] 亚历山大·米洛萨夫列维奇 , 法比奥·扎纳西 :
字符串图重写模交换单体结构。 CoRR公司 abs/2204.04274 ( 2022 ) [i27] 罗宾·皮埃德鲁 , 法比奥·扎纳西 :
使用字符串图对有限状态自动机进行有限公理化。 CoRR公司 abs/2211.16484 ( 2022 ) 2021 [公元12年] 菲利波·邦奇 , 罗宾·皮埃德鲁 , 帕维尔·索博辛斯基 , 法比奥·扎纳西 :
字符串图操作语义的双代数基础。 Inf.计算。 281 : 104767 ( 2021 ) [公元11年] 陶谷 , 法比奥·扎纳西 :
概率逻辑编程的协同语义。 日志。 方法计算。 科学。 17 ( 2 ) ( 2021 ) [公元10年] 托比亚斯·卡佩 , 保罗·布鲁特 , 巴斯·卢提克 , 亚历山德拉·席尔瓦 , 法比奥·扎纳西 :
弱双Kleene代数的等价性检验。 日志。 方法计算。 科学。 17 ( 三 ) ( 2021 ) [公元9年] 雅各布施 , 亚历克斯·基辛格 , 法比奥·扎纳西 :
通过字符串图手术进行因果推断:干预和反事实的图解方法。 数学。 结构。 计算。 科学。 31 ( 5 ) : 553-574 ( 2021 ) [公元32年] 菲利波·邦奇 , 亚历山德罗·迪乔治奥 , 法比奥·扎纳西 :
从Farkas引理到线性规划:图解代数练习((Co)代数珍珠)。 CALCO公司 2021 : 9:1-9:19 [公元31年] 陶谷 , 法比奥·扎纳西 :
作为逻辑编程统一观点的功能语义。 CALCO公司 2021 : 17:1-17:22 [公元30年] 罗宾·皮埃德鲁 , 法比奥·扎纳西 :
有限状态自动机的字符串图公理化。 FoSSaCS公司 2021 : 469-489 [公元29年] 保罗·威尔逊 , 法比奥·扎纳西 :
合成成本:字符串图合成的高性能实现。 ACT公司 2021 : 262-275 【p1】 菲利波·邦奇 , 帕维尔·索博辛斯基 , 法比奥·扎纳西 :
合成信号流理论综述。 IFIP令人兴奋的前60多年 2021 : 29-56 [i26] 杰夫·S·H·克鲁特韦尔 , 布鲁诺·加夫拉诺维奇 , 尼尔·加尼 , 保罗·威尔逊 , 法比奥·扎纳西 :
基于梯度学习的分类基础。 CoRR公司 abs/2103.01931 ( 2021 ) [i25] 菲利波·邦奇 , 法比奥·加杜奇 , 亚历克斯·基辛格 , 帕维尔·索博辛斯基 , 法比奥·扎纳西 :
弦图重写理论II:对称单体结构重写。 CoRR公司 abs/2104.14686 ( 2021 ) [i24] 马里奥·阿尔瓦雷斯·皮卡略 , 丹·吉卡(Dan R.Ghica) , 大卫·斯普伦格 , 法比奥·扎纳西 :
用于反转模式自动区分的功能字符串图。 CoRR公司 abs/2107.13433 ( 2021 ) [第23条] 菲利波·邦奇 , 法比奥·加杜奇 , 亚历克斯·基辛格 , 帕维尔·索博辛斯基 , 法比奥·扎纳西 :
弦图改写理论三:与弗罗贝纽斯的融合与否。 CoRR公司 abs/2109.06049 ( 2021 ) 2020 [j8] 法昆多·卡雷罗 , 亚历山德罗·法奇尼 , Yde Venema公司 , 法比奥·扎纳西 :
弱者的力量。 ACM事务处理。 计算。 日志。 21 ( 2 ) : 15:1-15:47 ( 2020 ) [公元28年] 菲利波·邦奇 , 罗宾·皮埃德鲁 , 帕维尔·索博辛斯基 , 法比奥·扎纳西 :
信号流图的上下文等效。 FoSSaCS公司 2020 : 77-96 [公元27年] 托比亚斯·卡佩 , 保罗·布鲁特 , 亚历山德拉·席尔瓦 , Jana Wagemaker公司 , 法比奥·扎纳西 :
带观测的并发克莱恩代数:从假设到完备性。 FoSSaCS公司 2020 : 381-400 [公元26年] 陶谷 , 亚历山德拉·席尔瓦 , 法比奥·扎纳西 :
概率PDL的Hennessy-Milner结果。 MFPS公司 2020 : 283-304 [公元25年] 保罗·威尔逊 , 法比奥·扎纳西 :
反向导数上升:学习布尔电路的分类方法。 ACT公司 2020 : 247-260 [i22] 菲利波·邦奇 , 罗宾·皮埃德鲁 , 帕维尔·索博辛斯基 , 法比奥·扎纳西 :
信号流图的上下文等价性。 CoRR公司 abs/2002.08874 ( 2020 ) 【i21】 托比亚斯·卡佩 , 保罗·布鲁特 , 亚历山德拉·席尔瓦 , Jana Wagemaker公司 , 法比奥·扎纳西 :
带观测的并行克莱纳代数:从假设到完备性。 CoRR公司 腹肌/2002.09682 ( 2020 ) [i20] 罗宾·皮埃德鲁 , 法比奥·扎纳西 :
有限状态自动机的字符串图公理化。 CoRR公司 abs/2009.14576 ( 2020 ) [i19] 菲利波·邦奇 , 法比奥·加杜奇 , 亚历克斯·基辛格 , 帕维尔·索博辛斯基 , 法比奥·扎纳西 :
弦图改写理论I:用Frobenius结构改写。 CoRR公司 abs/2012.01847 ( 2020 ) [i18] 陶谷 , 法比奥·扎纳西 :
概率逻辑编程的协同语义。 CoRR公司 abs/2012.03916 ( 2020 )
2010 – 2019
2019 [j7] 托比亚斯·卡佩 , 保罗·布鲁特 , 巴斯·卢提克 , 亚历山德拉·席尔瓦 , 法比奥·扎纳西 :
关于系列并行pomset语言:合理性、上下文无关性和自动机。 J.日志。 代数方法课程。 103 : 130-153 ( 2019 ) [j6] 菲利波·邦奇 , 约书亚·霍兰德 , 罗宾·皮埃德鲁 , 帕维尔·索博辛斯基 , 法比奥·扎纳西 :
图解代数:从线性系统到并发系统。 程序。 ACM计划。 语言。 三 ( POPL公司 ) : 25:1-25:28 ( 2019 ) [公元24年] 陶谷 , 法比奥·扎纳西 :
概率逻辑程序设计的协同代数观点。 CALCO公司 2019 : 10:1-10:21 【c23】 帕维尔·索博辛斯基 , 保罗·威尔逊 , 法比奥·扎纳西 :
CARTOGRAPHER:字符串图解推理工具(工具论文)。 CALCO公司 2019 : 20:1-20:7 [公元22年] 菲利波·邦奇 , 罗宾·皮埃德鲁 , 帕维尔·索博辛斯基 , 法比奥·扎纳西 :
弦图的双代数语义。 CONCUR公司 2019 : 37:1-37:17 【c21】 托比亚斯·卡佩 , 保罗·布鲁特 , 尤里安腐烂 , 亚历山德拉·席尔瓦 , Jana Wagemaker公司 , 法比奥·扎纳西 :
带观测的克莱恩代数。 CONCUR公司 2019 : 41:1-41:16 [公元20年] 雅各布施 , 亚历克斯·基辛格 , 法比奥·扎纳西 :
通过弦图手术进行因果推断。 FoSSaCS公司 2019 : 313-329 [第19条] 菲利波·邦奇 , 罗宾·皮德卢 , 帕维尔·索博辛斯基 , 法比奥·扎纳西 :
图形仿射代数。 许可证 2019 : 1-12 [i17] 菲利波·邦奇 , 罗宾·皮德卢 , 帕维尔·索博辛斯基 , 法比奥·扎纳西 :
字符串图的双代数语义。 CoRR公司 abs/1906.01519 ( 2019 ) 2018 [j5] 菲利波·邦奇 , 帕维尔·索博辛斯基 , 法比奥·扎纳西 :
用分配律解构法律。 J.日志。 代数方法课程。 95 : 128-146 ( 2018 ) 【j4】 布伦丹·方 , 法比奥·扎纳西 :
(Co)关系的通用构造:范畴、单体范畴和道具。 日志。 方法计算。 科学。 14 ( 三 ) ( 2018 ) [第18条] 托比亚斯·卡佩 , 保罗·布鲁特 , 亚历山德拉·席尔瓦 , 法比奥·扎纳西 :
并发Kleene代数:自由模型和完备性。 员工持股计划 2018 : 856-882 [第17条] 菲利波·邦奇 , 法比奥·加杜奇 , 亚历克斯·基辛格 , 帕维尔·索博辛斯基 , 法比奥·扎纳西 :
与弗罗贝尼厄斯一起改写。 许可证 2018 : 165-174 [i16] 雅各布施 , 法比奥·扎纳西 :
贝叶斯推理的逻辑精要。 CoRR公司 abs/1804.01193 ( 2018 ) 【i15】 法比奥·扎纳西 :
相互作用的霍普夫代数:线性系统理论。 CoRR公司 abs/1805.03032 ( 2018 ) [第14条] 托比亚斯·卡佩 , 保罗·布鲁特 , 巴斯·卢提克 , 亚历山德拉·席尔瓦 , 法比奥·扎纳西 :
弱双Kleene代数的等价性检验。 CoRR公司 abs/1807.02102 ( 2018 ) [i13] 法昆多·卡雷罗 , 亚历山德罗·法奇尼 , Yde Venema公司 , 法比奥·扎纳西 :
具有无限量词的一元谓词逻辑的模型理论。 CoRR公司 abs/1809.03262 ( 2018 ) [i12] 法昆多·卡雷罗 , 亚历山德罗·法奇尼 , Yde Venema公司 , 法比奥·扎纳西 :
弱者的力量。 CoRR公司 abs/1809.03896 ( 2018 ) [i11] 雅各布施 , 亚历克斯·基辛格 , 法比奥·扎纳西 :
通过弦图手术进行因果推断。 CoRR公司 abs/1811.08338 ( 2018 ) [i10] 托比亚斯·卡佩 , 保罗·布鲁特 , 尤里安腐烂 , 亚历山德拉·席尔瓦 , 贾娜·沃杰梅克 , 法比奥·扎纳西 :
带观测的克莱恩代数。 CoRR公司 abs/1811.10401 ( 2018 ) [第九章] 托比亚斯·卡佩 , 保罗·布鲁特 , 巴斯·卢提克 , 亚历山德拉·席尔瓦 , 法比奥·扎纳西 :
论串并行Pomset语言:合理性、上下文无关性和自动机。 CoRR公司 abs/1812.03058 ( 2018 ) 2017 [j3] 菲利波·邦奇 , 帕维尔·索博辛斯基 , 法比奥·扎纳西 :
信号流图的微积分I:流上的线性关系。 Inf.计算。 252 : 2-29 ( 2017 ) [第16条] 布伦丹·方 , 法比奥·扎纳西 :
(共同)关系的通用结构。 CALCO公司 2017 : 12:1-12:16 [第15条] 托比亚斯·卡佩 , 保罗·布鲁特 , 巴斯·卢提克 , 亚历山德拉·席尔瓦 , 法比奥·扎纳西 :
Brzozowski并发——Pomset语言的Kleene定理。 CONCUR公司 2017 : 25:1-25:16 [第14条] 菲利波·邦奇 , 法比奥·加杜奇 , 亚历克斯·基辛格 , 帕维尔·索博辛斯基 , 法比奥·扎纳西 :
图形重写与接口的融合。 员工持股计划 2017 : 141-169 [第13条] 雅各布施 , 法比奥·扎纳西 :
贝叶斯推理中影响的形式语义。 MFCS公司 2017 : 21:1-21:14 [第12条] 法比奥·扎纳西 :
在Free Hypegraph Categories中重写。 差距@ETAPS 2017 : 16-30 [i8] 布伦丹·方 , 法比奥·扎纳西 :
(共同)关系的通用结构。 CoRR公司 abs/1703.08247 ( 2017 ) [i7] 托比亚斯·卡佩 , 保罗·布鲁特 , 巴斯·卢提克 , 亚历山德拉·席尔瓦 , 法比奥·扎纳西 :
Brzozowski并发——Pomset语言的Kleene定理。 CoRR公司 abs/1704.07199 ( 2017 ) [i6] 托比亚斯·卡佩 , 保罗·布鲁特 , 亚历山德拉·席尔瓦 , 法比奥·扎纳西 :
并发克莱纳代数:自由模型和完备性。 CoRR公司 腹肌/1710.02787 ( 2017 ) [i5] 布伦丹·方 , 法比奥·扎纳西 :
(Co)关系的通用构造:范畴、单体范畴和道具。 CoRR公司 abs/1710.03894 ( 2017 ) 2016 [第11条] 菲利波·邦奇 , 帕维尔·索博辛斯基 , 法比奥·扎纳西 :
构成PROP的法律类别。 CMCS公司 2016 : 11-32 [第10条] 菲利波·邦奇 , 法比奥·加杜奇 , 亚历克斯·基辛格 , 帕维尔·索博辛斯基 , 法比奥·扎纳西 :
重写模对称单体结构。 许可证 2016 : 710-719 【c9】 雅各布施 , 法比奥·扎纳西 :
用于贝叶斯学习的谓词/状态变换语义。 MFPS公司 2016 : 185-200 【c8】 法比奥·扎纳西 :
部分等价关系代数。 MFPS公司 2016 : 313-333 [i4] 菲利波·邦奇 , 法比奥·加杜奇 , 亚历克斯·基辛格 , 帕维尔·索博辛斯基 , 法比奥·扎纳西 :
重写模对称单体结构。 CoRR公司 abs/1602.06771 ( 2016 ) 2015 【b1】 法比奥·扎纳西 :
相互作用的霍普夫代数-线性系统理论。 (相互作用的Hopf代数-la the orie des systèmes linéaires)。 法国里昂正常供应, 2015 [注2] 菲利波·邦奇 , 法比奥·扎纳西 :
逻辑编程的双代数语义。 日志。 方法计算。 科学。 11 ( 1 ) ( 2015 ) [j1] 菲利波·邦奇 , 斯特凡·米利乌斯 , 亚历山德拉·席尔瓦 , 法比奥·扎纳西 :
用匕首杀死ε:代数标记结构系统的联合研究。 西奥。 计算。 科学。 604 : 102-126 ( 2015 ) 【c7】 菲利波·邦奇 , 帕维尔·索博辛斯基 , 法比奥·扎纳西 :
信号流图的完全抽象。 POPL公司 2015 : 515-526 2014 【c6】 菲利波·邦奇 , 斯特凡·米利乌斯 , 亚历山德拉·席尔瓦 , 法比奥·扎纳西 :
如何用匕首杀死艾司隆——一个代数标签结构的协同作战系统。 羧甲基纤维素 2014 : 53-74 【c5】 菲利波·邦奇 , 帕维尔·索博辛斯基 , 法比奥·扎纳西 :
信号流图的范畴语义。 CONCUR公司 2014 : 435-450 【c4】 法昆多·卡雷罗 , 亚历山德罗·法奇尼 , Yde Venema公司 , 法比奥·扎纳西 :
弱MSO:自动机和表达模双相似性。 CSL-LICS公司 2014 : 27:1-27:27 【c3】 菲利波·邦奇 , 帕维尔·索博辛斯基 , 法比奥·扎纳西 :
相互作用的双代数是Frobenius。 FoSSaCS公司 2014 : 351-365 [i3] 法昆多·卡雷罗 , 亚历山德罗·法奇尼 , Yde Venema公司 , 法比奥·扎纳西 :
弱MSO:自动机与表达模相似性。 CoRR公司 abs/1401.4374 ( 2014 ) [i2] 菲利波·邦奇 , 斯特凡·米利乌斯 , 亚历山德拉·席尔瓦 , 法比奥·扎纳西 :
如何用匕首杀死艾司隆——一个代数标签结构的协同作战系统。 CoRR公司 abs/1402.4062 ( 2014 ) [i1] 菲利波·邦奇 , 帕维尔·索博辛斯基 , 法比奥·扎纳西 :
相互作用的Hopf代数。 CoRR公司 abs/1403.7048 ( 2014 ) 2013 【c2】 菲利波·邦奇 , 法比奥·扎纳西 :
协代数逻辑程序设计的饱和语义。 CALCO公司 2013 : 80-94 【c1】 亚历山德罗·法奇尼 , Yde Venema公司 , 法比奥·扎纳西 :
模态µ-演算无交替片段的特征定理。 许可证 2013 : 478-487