克劳迪娅·法根
人员信息
优化列表
2020年–今天
2024 [公元9年] 克劳迪娅·法根 , 丹尼尔·鲍塔索 , 加布里埃尔·瓦诺尼 :
高阶贝叶斯网络,没错。 程序。 ACM计划。 语言。 8 ( POPL公司 ) : 2514-2546 ( 2024 ) 2023 [公元28年] 克劳迪娅·法根 :
渐进改写(邀请谈话)。 CSL公司 2023 : 1:1-1:2 [c27] 托马斯·埃尔哈德 , 克劳迪娅·法根 , 米歇尔·帕加尼 :
定量乘法线性逻辑的和积算法。 金融稳定与发展部 2023 : 8:1-8:18 [i13] 贝尼亚米·阿卡托利 , 克劳迪娅·法根 , 阿德里安·兰斯洛特 :
正常形式按值的相互模拟。 CoRR公司 abs/2303.08161 ( 2023 ) [i12] 克劳迪娅·法根 , 丹尼尔·鲍塔索 , 加布里埃尔·瓦诺尼 :
高阶贝叶斯网络,精确(扩展版)。 CoRR公司 abs/2311.04651 ( 2023 ) 2022 [j8] 克劳迪娅·法根 :
概率重写和渐近行为:关于终止和唯一正规形式。 日志。 方法计算。 科学。 18 ( 2 ) ( 2022 ) [j7] 克劳迪娅·法根 , 朱利奥·格雷里 , 乌戈·德利古罗 , 里卡多·特雷格里亚 :
关于计算核心中的约简和归一化。 数学。 结构。 计算。 科学。 32 ( 7 ) : 934-981 ( 2022 ) [公元26年] 克劳迪娅·法根 , 朱利奥·格雷里 :
渐近归一化策略。 金融稳定与发展部 2022 : 17:1-17:24 [i11] 克劳迪娅·法根 , 朱利奥·格雷里 :
渐近归一化策略。 CoRR公司 abs/2204.08772 ( 2022 ) 2021 [j6] 乌戈·达尔·拉戈 , 克劳迪娅·法根 , 西蒙娜·隆奇·德尔拉·罗卡 :
交叉口类型和(正向)近似安全终止。 程序。 ACM计划。 语言。 5 ( POPL公司 ) : 1-32 ( 2021 ) [公元25年] 贝尼亚米·阿卡托利 , 克劳迪娅·法根 , 朱利奥·格雷里 :
分解分解。 CSL公司 2021 : 6:1-6:25 [公元24年] 克劳迪娅·法根 , 朱利奥·格雷里 :
通过线性逻辑实现Call-by Name和Call-by Value Calculi中的因式分解。 FoSSaCS公司 2021 : 205-225 【c23】 弗朗切斯科·加瓦佐 , 克劳迪娅·法根 :
一元改写系统的关系理论,第一部分。 低收入国家 2021 : 1-14 [i10] 克劳迪娅·法根 , 朱利奥·格雷里 :
通过线性逻辑在Call-by-Name和Call-by-Value Calculi中进行因式分解(长版)。 CoRR公司 abs/2101.08364 ( 2021 ) [第九章] 克劳迪娅·法根 , 朱利奥·格雷里 , 乌戈·德利古罗 , 里卡多·特雷格里亚 :
关于计算核心中的约简和归一化。 CoRR公司 abs/2104.10267 ( 2021 ) 2020 [公元22年] 西蒙娜·隆奇·德尔拉·罗卡 , 乌戈·达尔·拉戈 , 克劳迪娅·法根 :
概率环境中的可解决性(邀请谈话)。 金融稳定与发展部 2020 : 1:1-1:17 [i8] 贝尼亚米·阿卡托利 , 克劳迪娅·法根 , 朱利奥·格雷里 :
因子分解因子分解。 CoRR公司 abs/2005.01808 ( 2020 ) [i7] 乌戈·达尔·拉戈 , 克劳迪娅·法根 , 西蒙娜·隆奇·德尔拉·罗卡 :
交叉口类型和(正)极端安全终端。 CoRR公司 abs/2010.12689 ( 2020 )
2010 – 2019
2019 【c21】 贝尼亚米·阿卡托利 , 克劳迪娅·法根 , 朱利奥·格雷里 :
分解和归一化,本质上。 阿普拉斯 2019 : 159-180 [公元20年] 克劳迪娅·法根 , 西蒙娜·隆奇·德尔拉·罗卡 :
兰姆达微积分和概率计算。 低收入国家 2019 : 1-13 [第19条] 克劳迪娅·法根 :
概率重写:规范化、终止和唯一范式。 金融稳定与发展部 2019 : 19:1-19:25 [i6] 克劳迪娅·法根 , 西蒙娜·隆奇·德尔拉·罗卡 :
兰姆达微积分和概率计算。 CoRR公司 abs/1901.02853 ( 2019 ) [i5] 贝尼亚米·阿卡托利 , 克劳迪娅·法根 , 朱利奥·格雷里 :
分解和归一化,本质上。 CoRR公司 abs/1908.11289 ( 2019 ) 2018 [i4] 克劳迪娅·法根 :
概率改写:规范化、终止和唯一范式之间的关系。 CoRR公司 abs/1804.05578 ( 2018 ) 2017 [第18条] 乌戈·达尔·拉戈 , 克劳迪娅·法根 , 贝诺?t缬氨酸 , 吉水昭弘(Akira Yoshimizu) :
平行几何:经典、概率和量子效应。 POPL公司 2017 : 833-845 2016 [i3] 乌戈·达尔·拉戈 , 克劳迪娅·法根 , 贝诺?t缬氨酸 , 吉水昭弘(Akira Yoshimizu) :
平行几何。 经典、概率和量子效应。 CoRR公司 abs/1610.09629 ( 2016 ) 2015 [第17条] 乌戈·达尔·拉戈 , 克劳迪娅·法根 , 贝诺?t缬氨酸 , 吉水昭弘(Akira Yoshimizu) :
无限环境中的并行和同步。 低收入国家 2015 : 559-572 [i2] 乌戈·达尔·拉戈 , 克劳迪娅·法根 , 贝诺?t缬氨酸 , 吉水昭弘(Akira Yoshimizu) :
无限上下文中的并行和同步(长版本)。 CoRR公司 abs/1505.03635 ( 2015 ) 2014 [第16条] 乌戈·达尔·拉戈 , 克劳迪娅·法根 , 哈朔一郎 , Akira Yoshimizu吉水明 :
同步的几何结构。 CSL-LICS公司 2014 : 35:1-35:10 [第15条] 吉水昭弘(Akira Yoshimizu) , 哈朔一郎 , 克劳迪娅·法根 , 乌戈·达尔·拉戈 :
作为高阶量子电路的证明网络中的测量。 员工持股计划 2014 : 371-391 [i1] 乌戈·达尔·拉戈 , 克劳迪娅·法根 , 哈朔一郎 , Akira Yoshimizu吉水明 :
同步几何(长版)。 CoRR公司 abs/1405.3427 ( 2014 ) 2012 [j5] 皮埃尔·路易斯·居里 , 克劳迪娅·法根 :
将无害策略作为图表的方法。 Inf.计算。 214 : 119-155 ( 2012 ) 2011 【j4】 米歇尔·巴萨尔德拉 , 克劳迪娅·法根 :
具有重复的Ludics(指数、交互类型和完整性)。 日志。 方法计算。 科学。 7 ( 2 ) ( 2011 ) [第14条] 乌戈·达尔·拉戈 , 克劳迪娅·法根 :
关于乘法线性逻辑、模态和量子电路。 QPL公司 2011 : 55-66
2000 – 2009
2009 [第13条] 米歇尔·巴萨尔德拉 , 克劳迪娅·法根 :
重复Ludics(指数、交互类型和完整性)。 低收入国家 2009 : 375-384 [第12条] 克劳迪娅·法根 , 毛罗·皮科洛 :
偏序、事件结构和线性策略。 薄层色谱分析 2009 : 95-111 2008 [j3] 保罗·迪·贾姆贝拉迪诺 , 克劳迪娅·法根 :
乘法线性逻辑中的证明网序列化。 Ann.纯粹应用。 日志。 155 ( 三 ) : 173-182 ( 2008 ) 2007 [第11条] 克劳迪娅·法根 , 毛罗·皮科洛 :
Ludics是金融线性Pi-Calculus的模型。 薄层色谱分析 2007 : 148-162 2006 [注2] 克劳迪娅·法根 :
Ludics中的交互式可观测性:测试的几何结构。 西奥。 计算。 科学。 350 ( 2-3 ) : 213-233 ( 2006 ) [第10条] 保罗·迪·贾姆贝拉迪诺 , 克劳迪娅·法根 :
从平行证明跳到顺序证明:乘法。 CSL公司 2006 : 319-333 【c9】 克劳迪娅·法根 , 毛罗·皮科洛 :
描述事件结构组成的图抽象机。 CONCUR的GT-VC 2006 : 21-36 2005 【c8】 皮埃尔·路易斯·居里 , 克劳迪娅·法根 :
L-网络、策略和证明网络。 CSL公司 2005 : 167-183 【c7】 克劳迪娅·法根 , 弗朗索瓦·莫雷尔 :
Ludics Nets,一个并发交互的游戏模型。 低收入国家 2005 : 376-385 2004 【c6】 克劳迪娅·法根 :
Ludics中的交互式可观察性。 ICALP公司 2004 : 506-518 2002 【c5】 克劳迪娅·法根 :
设计旅行。 CSL公司 2002 : 427-441 【c4】 克劳迪娅·法根 , 马丁·海兰德 :
设计、争议和策略。 CSL公司 2002 : 442-457 2000 [j1] 乔瓦尼·桑宾 , 朱利娅·巴蒂洛蒂 , 克劳迪娅·法根 :
基本逻辑:反射、对称、可见性。 J.塞姆。 日志。 65 ( 三 ) : 979-1013 ( 2000 ) 【c3】 克劳迪娅·法根 :
证明结构和非交换性:一个簇演算。 PPDP(PPDP) 2000 : 80-91
1990 – 1999
1998 【c2】 克劳迪娅·法根 :
名词化的酉方法的术语演算。 ICFP公司 1998 : 347 1997 【c1】 克劳迪娅·法根 :
通过基本逻辑的经典证明。 CSL公司 1997 : 203-219