卢卡-保利尼
人员信息
优化列表
2020年–今天
2023 [公元20年] 费鲁西奥·达米亚尼 , 雷内·哈内尔 , 爱德华·坎伯扬 , 迈克尔·利恩哈特 , 卢卡-保利尼 :
可变模块。 J.系统。 柔和。 195 : 111510 ( 2023 ) [公元28年] 费鲁西奥·达米亚尼 , 爱德华·坎伯扬 , 迈克尔·利恩哈特 , 卢卡-保利尼 :
代数数据类型函数程序的增量。 SPLC(甲) 2023 : 52-63 2022 [公元19年] 莫里斯·特尔·比克 , 费鲁西奥·达米亚尼 , 迈克尔·利恩哈特 , 弗朗科·马扎蒂 , 卢卡-保利尼 :
对特征过渡系统进行有效的静态分析和验证。 恩皮尔。 柔和。 工程师。 27 ( 1 ) : 10 ( 2022 ) [公元18年] 莫里斯·特尔·比克 , 费鲁西奥·达米亚尼 , 迈克尔·利恩哈特 , 弗朗科·马扎蒂 , 卢卡-保利尼 , 佐丹诺·斯卡索 :
FTS4VMC:使用VMC对FTS进行静态分析和基于家族的模型检查的前端工具。 科学。 计算。 程序。 224 : 102879 ( 2022 ) [公元17年] 费鲁西奥·达米亚尼 , 迈克尔·利恩哈特 , 卢卡-保利尼 :
关于属性特征模型的逻辑和外延特征。 西奥。 计算。 科学。 912 : 56-80 ( 2022 ) [i5] 费鲁西奥·达米亚尼 , 卢卡-保利尼 , 卢卡·罗维斯 :
编程与量子协处理器的交互。 ERCIM新闻 2022 ( 128 ) ( 2022 ) 2021 [公元27年] 阿曼多·马托斯 , 卢卡-保利尼 , 卢卡·罗维斯 :
将递归格式拆分为可逆线程和经典交互线程。 钢筋混凝土 2021 : 204-213 [公元26年] 费鲁西奥·达米亚尼 , 雷内·哈内尔 , 爱德华·坎伯扬 , 迈克尔·利恩哈特 , 卢卡-保利尼 :
类Java语言的可变模块。 SPLC(甲) 2021 : 1-12 [公元25年] 莫里斯·特尔·比克 , 弗朗科·马扎蒂 , 费鲁西奥·达米亚尼 , 卢卡-保利尼 , 佐丹诺·斯卡索 , 米歇尔·瓦尔弗雷 , 迈克尔·利恩哈特 :
利用VMC对特征过渡系统进行静态分析和基于族的模型检查。 SPLC(乙) 2021 : 24-27 [公元24年] 莫里斯·特尔·比克 , 弗朗科·马扎蒂 , 费鲁西奥·达米亚尼 , 卢卡-保利尼 , 佐丹诺·斯卡索 , 迈克尔·利恩哈特 :
使用VMC进行静态分析和基于族的模型检查。 SPLC(甲) 2021 : 214 [i4] 阿曼多·B·马托斯 , 卢卡-保利尼 , 卢卡·罗维斯 :
经典与可逆交织。 CoRR公司 abs/2102.09436 ( 2021 ) [i3] 阿曼多·马托斯 , 卢卡-保利尼 , 卢卡·罗维斯 :
将递归方案拆分为可逆的和经典的交互线程。 CoRR公司 abs/2105.04910 ( 2021 ) 2020 [公元16年] 阿曼多·马托斯 , 卢卡-保利尼 , 卢卡·罗维斯 :
简单可逆语言的不动点问题。 西奥。 计算。 科学。 813 : 143-154 ( 2020 ) [公元15年] 卢卡-保利尼 , 毛罗短笛 , 卢卡·罗维斯 :
一类递归置换,它是原递归完备的。 西奥。 计算。 科学。 813 : 218-233 ( 2020 ) [c23] 费鲁西奥·达米亚尼 , 迈克尔·利恩哈特 , 卢卡-保利尼 :
关于特征模型的两个特征。 ICTAC公司 2020 : 103-122 [公元22年] 费鲁西奥·达米亚尼 , 迈克尔·利恩哈特 , 卢卡-保利尼 :
关于切片软件产品线签名。 ISoLA(1) 2020 : 81-102 【c21】 阿曼多·马托斯 , 卢卡-保利尼 , 卢卡·罗弗西 :
关于全可逆程序设计语言的表示性。 钢筋混凝土 2020 : 128-143
2010 – 2019
2019 [公元14年] 卢卡-保利尼 , 毛罗·皮科洛 , 玛格丽塔·佐齐 :
高阶语言与量子电路。 J.汽车。 原因。 63 ( 4 ) : 941-966 ( 2019 ) [j13] 莫里斯·特尔·比克 , 费鲁西奥·达米亚尼 , 斯蒂芬妮娅·格内西 , 弗朗科·马扎蒂 , 卢卡-保利尼 :
关于具有可变性约束的模态转换系统的表达性。 科学。 计算。 程序。 169 : 1月17日 ( 2019 ) [公元12年] 费鲁西奥·达米亚尼 , 迈克尔·利恩哈特 , 卢卡-保利尼 :
多软件产品线的正式模型。 科学。 计算。 程序。 172 : 203-231 ( 2019 ) [公元11年] 费鲁西奥·达米亚尼 , 迈克尔·利恩哈特 , 卢卡-保利尼 :
将面向增量的SPL自动重构为无删除形式和无替换形式。 国际期刊软件。 技术工具。 Transf公司。 21 ( 6 ) : 691-707 ( 2019 ) [公元20年] 莫里斯·特尔·比克 , 费鲁西奥·达米亚尼 , 斯蒂芬妮娅·格内西 , 弗朗科·马扎蒂 , 卢卡-保利尼 :
综述:关于具有可变性约束的模态转换系统的表达性。 国际单项体育联合会 2019 : 542-546 [第19条] 莫里斯·特尔·比克 , 费鲁西奥·达米亚尼 , 迈克尔·利恩哈特 , 弗朗科·马扎蒂 , 卢卡-保利尼 :
特征过渡系统的静态分析。 SPLC(甲) 2019 : 9:1-9:13 2018 [公元10年] 卢卡-保利尼 , 毛罗·皮科洛 , 卢卡·罗维斯 :
关于一类可逆本原递归函数及其图灵完备扩张。 新一代。 计算。 36 ( 三 ) : 233-256 ( 2018 ) [第18条] 阿曼多·B·马托斯 , 卢卡-保利尼 , 卢卡·罗弗西 :
一般SRL程序和线性SRL程序的不动点问题是不可判定的。 信息通信与通信系统 2018 : 128-139 [第17条] 迈克尔·利恩哈特 , 费鲁西奥·达米亚尼 , 西蒙·多内蒂 , 卢卡-保利尼 :
野生的多软件产品线。 VaMoS公司 2018 : 89-96 [第16条] 卢卡-保利尼 , 卢卡·罗维斯 , 玛格丽塔·佐齐 :
量子编程变得很容易。 线性-TLLA@FLoC 2018 : 133-147 [i2] 卢卡-保利尼 , 毛罗·皮科洛 , 玛格丽塔·佐齐 :
高阶语言和量子电路。 CoRR公司 腹肌/1809.05723 ( 2018 ) 2017 [公元9年] 朱利奥·格雷里 , 卢卡-保利尼 , 西蒙娜·隆奇·德尔拉·罗卡 :
精化的Call-by-Value lambda-Calculus的标准化和保守性。 日志。 方法计算。 科学。 13 ( 4 ) ( 2017 ) [j8] 卢卡-保利尼 , 毛罗·皮科洛 , 西蒙娜·隆奇·德尔拉·罗卡 :
基本模型和关系模型。 数学。 结构。 计算。 科学。 27 ( 5 ) : 626-650 ( 2017 ) [第15条] 费鲁西奥·达米亚尼 , 迈克尔·利恩哈特 , 卢卡-保利尼 :
多SPL的形式化模型。 FSEN公司 2017 : 67-83 [第14条] 卢卡-保利尼 , 玛格丽塔·佐齐 :
qPCF:量子电路计算语言。 TAMC公司 2017 : 455-469 2016 [j7] 马可·加博阿迪 , 卢卡-保利尼 , 毛罗·皮科洛 :
论语义线性的物化。 数学。 结构。 计算。 科学。 26 ( 5 ) : 829-867 ( 2016 ) [i1] 朱利奥·格雷里 , 卢卡-保利尼 , 西蒙娜·隆奇·德尔拉·罗卡 :
精化的Call-by-Value lambda-Calculus的标准化和保守性。 CoRR公司 abs/1611.07255 ( 2016 ) 2015 [第13条] 莫里斯·特尔·比克 , 费鲁西奥·达米亚尼 , 斯蒂芬妮娅·格内西 , 弗朗科·马扎蒂 , 卢卡-保利尼 :
从特征转换系统到具有可变性约束的模态转换系统。 SEFM公司 2015 : 344-359 [第12条] 朱利奥·格雷里 , 卢卡-保利尼 , 西蒙娜·隆奇·德尔拉·罗卡 :
Call-By-Value Lambda-Calculus的标准化。 薄层色谱分析 2015 : 211-225 [第11条] 卢卡-保利尼 , 毛罗·皮科洛 , 卢卡·罗维斯 :
可逆编程语言的认证研究。 类型 2015 : 7:1-7:21 [第10条] 卢卡-保利尼 , 毛罗·皮科洛 , 卢卡·罗维斯 :
一类可逆基元递归函数。 信息通信与通信系统 2015 : 227至242 2013 [e1] 斯特凡·格雷厄姆·伦格兰德 , 卢卡-保利尼 :
《交叉口类型和相关系统第六次研讨会论文集》,ITRS 2012,克罗地亚杜布罗夫尼克,2012年6月29日。 EPTCS系统 121, 2013 [目录] 2012 [j6] 西尔维娅·吉勒赞 , 卢卡-保利尼 :
前言。 芬丹。 信息学 121 ( 1-4 ) ( 2012 ) 【c9】 贝尼亚米·阿卡托利 , 卢卡-保利尼 :
Call-by-Value可解性,再审。 FLOPS(浮动) 2012 : 4-16 2011 [j5] 卢卡-保利尼 , 伊莱恩·皮门特尔 , 西蒙娜·隆奇·德尔拉·罗卡 :
从不同寻常的角度来看,标准化程度很高。 西奥。 计算。 科学。 412 ( 20 ) : 1903-1915年 ( 2011 ) 【c8】 马可·加博阿迪 , 卢卡-保利尼 , 毛罗·皮科洛 :
线性和PCF:语义洞察力! ICFP公司 2011 : 372-384
2000 – 2009
2009 【c7】 卢卡-保利尼 , 毛罗·皮科洛 , 西蒙娜·隆奇·德尔拉·罗卡 :
稳定的逻辑语义。 MFPS公司 2009 : 429-449 2008 [j4] 卢卡-保利尼 :
参数λ理论。 西奥。 计算。 科学。 398 ( 1-3 ) : 51-62 ( 2008 ) 【c6】 卢卡-保利尼 , 毛罗短笛 :
语义线性编程语言。 PPDP(PPDP) 2008 : 97-107 【c5】 卢卡-保利尼 , 毛罗·皮科洛 :
线性程序的过程模型。 类型 2008 : 289-305 2006 [j3] 卢卡-保利尼 :
一种稳定的编程语言。 Inf.计算。 204 ( 三 ) : 339-375 ( 2006 ) 【c4】 卢卡-保利尼 , 伊莱恩·皮门特尔 , 西蒙娜·隆奇·德尔拉·罗卡 :
强归一化的运算特征。 FoSSaCS公司 2006 : 367-381 2004 【b2】 卢卡-保利尼 :
兰姆达]-理论。 意大利热那亚大学, 2004 【b1】 西蒙娜·隆奇·德尔拉·罗卡 , 卢卡-保利尼 :
参数Lambda演算-计算的元模型。 理论计算机科学课文。 EATCS系列 , 施普林格 2004 ,国际标准图书编号 电话:978-3-642-05746-5 ,第1-254页 [j2] 卢卡-保利尼 , 西蒙娜·隆奇·德尔拉·罗卡 :
传递Lambda-calculus的参数。 Inf.计算。 189 ( 1 ) : 87-106 ( 2004 ) 【c3】 卢卡-保利尼 , 伊莱恩·皮门特尔 , 西蒙娜·隆奇·德尔拉·罗卡 :
惰性强规范化。 ITRS公司 2004 : 103-116 2003 【c2】 卢卡-保利尼 , 西蒙娜·隆奇·德尔拉·罗卡 :
懒惰的逻辑语义。 科梅塔 2003 : 235-251 2001 【c1】 卢卡-保利尼 :
按值调用可分离性和可计算性。 信息通信与通信系统 2001 : 74-89
1990 – 1999
1999 [j1] 卢卡-保利尼 , 西蒙娜·隆奇·德尔拉·罗卡 :
调用值可解性。 RAIRO提奥。 信息学应用。 33 ( 6 ) : 507-534 ( 1999 )