费德里科·德马奇
人员信息
附属: 意大利热那瓦Banca Carige
优化列表
2020年–今天
2022 【c5】 李嘉龙 , 雷一鸣 , 费德里科·德马奇 , 拉杰·乔希 , 巴拉克里什南·钱德拉塞卡兰(Balakrishnan Chandrasekaran) , 夏一亭 :
Hop-On-Hop-Off路由:在光数据中心网络上快速浏览对延迟敏感的流。 APNet公司 2022 : 63-69
2000 – 2009
2007 [j5] 本诺·范登伯格 , 费德里科·德马奇 :
分类中的无足树。 Ann.纯粹应用。 日志。 146 ( 1 ) : 40-59 ( 2007 ) 【j4】 费德里科·德马奇 , 本诺·范登伯格 :
通过索引最终余代数定理建立非良基集模型。 J.塞姆。 日志。 72 ( 三 ) : 767-791 ( 2007 ) 2005 [j3] 尼尔·加尼 , 克里斯托夫·吕斯 , 费德里科·德马奇 :
余代数的单子:有理项和项图。 数学。 结构。 计算。 科学。 15 ( 三 ) : 433-451 ( 2005 ) 【c4】 费德里科·德马奇 :
Martin-Löf类型理论中共指类型的语义。 CALCO公司 2005 : 114-126 2003 [注2] 费德里科·德马奇 , 尼尔·加尼 , 克里斯托夫·吕斯 :
用余代数求解代数方程。 RAIRO提奥。 信息学应用。 37 ( 4 ) : 301-314 ( 2003 ) [j1] 尼尔·加尼 , 克里斯托夫·吕斯 , 费德里科·德马奇 , 约翰·鲍尔 :
对偶初始代数。 数学。 结构。 计算。 科学。 13 ( 2 ) : 349-370 ( 2003 ) 2002 【c3】 尼尔·加尼 , 克里斯托夫·吕斯 , 费德里科·德马奇 :
代数项的协代数方法。 菲莎国际学院 2002 : 6-8 【c2】 尼尔·加尼 , 克里斯托夫·吕斯 , 费德里科·德马奇 :
煤炖Monads。 羧甲基纤维素 2002 : 71-91 2001 [c1] 尼尔·加尼 , 克里斯托夫·吕斯 , 费德里科·德马奇 , 约翰·鲍尔 :
代数,余代数,单代数和余代数。 羧甲基纤维素 2001 : 128-145