贝内代托·因特里吉拉
人员信息
优化列表
2020年–今天
2023 [j45] 贝内代托·因特里吉拉 , 朱塞佩·德尔拉·佩纳 , 安德里亚·德安布罗乔 , 达里奥·坎帕尼亚 , 玛丽娜·格里戈尔 :
面向过程的需求定义和关键系统中软件组件的分析。 计算。 12 ( 9 ) : 184 ( 2023 ) [i7] 贝内代托·因特里吉拉 , 朱利奥·曼佐内托 , 尼古拉斯·穆尼奇 :
扩展寻址机器、显式替换、PCF、可定义性、完全抽象。 CoRR公司 abs/2306.13756 ( 2023 ) 2022 [j44] 朱塞佩·德尔拉·佩纳 , 贝内代托·因特里吉拉 , 朱利奥·曼佐内托 :
将机器寻址为lambda-calculus模型。 日志。 方法计算。 科学。 18 ( 3 ) ( 2022 ) [公元29年] 贝内代托·因特里吉拉 , 朱利奥·曼佐内托 , 尼古拉斯·蒙尼奇 :
用于PCF的扩展寻址机,具有显式替换。 MFPS公司 2022 2021 [公元43年] 贝内代托·因特里吉拉 , 朱塞佩·德尔拉·佩纳 , 安德里亚·德安布罗乔 :
面向业务流程的需求工程的轻量级BPMN扩展。 计算。 10 ( 12 ) : 171 ( 2021 ) [i6] 朱塞佩·德尔拉·佩纳 , 贝内代托·因特里吉拉 , 朱利奥·曼佐内托 :
将机器寻址为lambda-calculus模型。 CoRR公司 abs/2107.00319 ( 2021 )
2010 – 2019
2019 [公元42年] 贝内代托·因特里吉拉 , 朱利奥·曼佐内托 , 安德鲁·波伦斯基 :
Böhm树理论和Sallé猜想中的可拓度。 日志。 方法计算。 科学。 15 ( 1 ) ( 2019 ) 2018 [i5] 贝内代托·因特里吉拉 , 朱利奥·曼佐内托 , 安德鲁·波伦斯基 :
Böhm树理论中的可拓度和Sallé猜想。 CoRR公司 腹肌/1802.07320 ( 2018 ) 2017 [公元41年] 贝内代托·因特里吉拉 , 理查德·斯塔特曼 :
Lambda理论允许具有有限个不动点的项。 数学。 结构。 计算。 科学。 27 ( 3 ) : 405-427 ( 2017 ) [公元28年] 贝内代托·因特里吉拉 , 朱利奥·曼佐内托 , 安德鲁·波伦斯基 :
对Sallé长期猜想的反驳。 金融稳定与发展部 2017 : 20:1-20:18 2016 [公元27年] 格拉齐亚·安东纳奇 , 阿曼多·卡拉布雷斯 , 安德烈亚·达姆布罗乔 , 安德烈亚·吉利奥 , 贝内代托·因特里吉拉 , 内森·莱瓦尔迪·吉隆 :
基于BPMN的医疗流程分析自动化方法。 WETICE公司 2016 : 124-129 2015 [j40] 朱塞佩·德拉·彭纳 , 贝内代托·因特里吉拉 , 丹尼尔·马加泽尼 , 法比奥·梅尔科里奥 :
非确定域中成本最优强计划的综合。 国际J.人工制品。 智力。 工具 24 ( 6 ) : 1550025:1-1550025:45 ( 2015 ) [公元39年] 弗拉维奥·达莱桑德罗 , 贝内代托·因特里吉拉 :
关于有界无上下文语言和正则语言的交换等价:代码案例。 理论。 计算。 科学。 562 : 304-319 ( 2015 ) [公元38年] 弗拉维奥·达莱桑德罗 , 贝内代托·因特里吉拉 :
关于N的半线性集的交换等价 k . 理论。 计算。 科学。 562 : 476-495 ( 2015 ) [公元37年] 弗拉维奥·达莱桑德罗 , 贝内代托·因特里吉拉 :
有界无上下文语言与正则语言的交换等价:半线性情形。 理论。 计算。 科学。 572 : 1-24 ( 2015 ) 2013 [公元36年] 朱塞佩·德拉·彭纳 , 贝内代托·因特里吉拉 , 丹尼尔·马加泽尼 , 伊戈尔·梅拉蒂 , 恩里科·特隆西 :
CGMurphi:非线性混合系统数字控制器的自动综合。 欧洲药典控制 19 ( 1 ) : 14-36 ( 2013 ) [j35] 朱塞佩·德尔拉·佩纳 , Sergio Orefice公司 , 贝内代托·因特里吉拉 , 丹尼尔·马加泽尼 , 罗伯托·德尔·索尔多 , 朱塞佩·卡迪娜·西科蒂 :
Sybel:一种增强软件开发过程中自动支持的系统建模语言。 国际期刊软件。 工程知识。 工程师。 23 ( 2 ) : 223- ( 2013 ) [公元26年] 朱塞佩·德拉·彭纳 , 罗伯托·德尔·索尔多 , 贝内代托·因特里吉拉 , 尼科尔·梅佐佩拉 , 玛丽亚·特蕾莎·帕齐恩扎 :
BPMN模型与领域本体集成的轻量级形式主义。 AIBP@人工智能 *IA公司 2013 : 11-20 2012 [公元34年] 弗拉维奥·达莱桑德罗 , 贝内代托·因特里吉拉 , 斯特凡诺·瓦里奇奥 :
拟多项式、线性丢番图方程和半线性集。 理论。 计算。 科学。 416 : 1-16 ( 2012 ) 2011 [公元33年] 贝内代托·因特里吉拉 , 理查德·斯塔特曼 :
组合逻辑范围问题的解决方案。 芬丹。 信息学 111 ( 2 ) : 203-222 ( 2011 ) [公元25年] 朱塞佩·德尔拉·佩纳 , 法比奥·梅尔科里奥 , 贝内代托·因特里吉拉 , 丹尼尔·马加泽尼 , 恩里科·特隆西 :
非确定性领域中的成本最优强规划。 ICINCO(1) 2011 : 56-66 2010 [公元24年] 朱塞佩·德尔拉·佩纳 , 贝内代托·因特里吉拉 , 丹尼尔·马加泽尼 , 法比奥·梅尔科里奥 :
PDDL+基准问题:间歇化工厂。 ICAPS公司 2010 : 222-225 【c23】 朱塞佩·德尔拉·佩纳 , 贝内代托·因特里吉拉 , 丹尼尔·马加泽尼 , 法比奥·梅尔科里奥 :
自动行星飞行器规划。 ICAS公司 2010 : 131-136 [i4] 朱塞佩·德尔拉·佩纳 , 贝内代托·因特里吉拉 , 丹尼尔·马加泽尼 , 法比奥·梅索里奥 :
自主行星飞行器的资源优化规划。 CoRR公司 abs/1007.5130 ( 2010 )
2000 – 2009
2009 [公元32年] 贝内代托·因特里吉拉 , 理查德·斯塔特曼 :
欧米茄法则是∏ 1 1 -完成λβ-微积分。 日志。 方法计算。 科学。 5 ( 2 ) ( 2009 ) [公元31年] 弗拉维奥·达莱桑德罗 , 贝内代托·因特里吉拉 , 斯特凡诺·瓦里奇奥 :
稀疏无上下文语言的Parikh计数函数是拟多项式。 理论。 计算。 科学。 410 ( 47-49 ) : 5158-5181 ( 2009 ) [公元22年] 朱塞佩·德尔拉·佩纳 , 丹妮尔·马加泽尼 , 法比奥·梅尔科里奥 , 贝内代托·因特里吉拉 :
UPMurphi:PDDL+问题通用规划工具。 ICAPS公司 2009 【c21】 朱塞佩·德拉·彭纳 , 贝内代托·因特里吉拉 , 丹尼尔·马加泽尼 :
使用模型检查评估模糊控制器的鲁棒性。 WILF公司 2009 : 303-311 [i3] 弗拉维奥·达莱桑德罗 , 贝内代托·因特里吉拉 , 斯特凡诺·瓦里奇奥 :
关于半线性集的一些计数问题。 CoRR公司 abs/0907.3005 ( 2009 ) 2008 【j30】 朱塞佩·德尔拉·佩纳 , 安娜·丽塔·劳伦兹 , 塞尔吉奥·奥利菲塞 , 贝内代托·因特里吉拉 :
一种基于XML的方法,用于在软件开发过程中建模和使用场景。 国际期刊软件。 工程知识。 工程师。 18 ( 6 ) : 823-852 ( 2008 ) [公元20年] 朱塞佩·德尔拉·佩纳 , 纳迪娅·劳里 , 丹尼尔·马加泽尼 , 贝内代托·因特里吉拉 :
数字控制器的OBDD压缩。 ICINCO-ICSO公司 2008 : 43-50 [第19条] 毛里齐奥·塔拉莫 , 弗朗科·阿西耶里 , 朱塞佩·德尔拉·佩纳 , 安德烈亚·迪米特里 , 贝内代托·因特里吉拉 , 丹尼尔·马加泽尼 :
验证安全设备互操作性的扩展标准。 OTM会议(2) 2008 : 1131-1139 [i2] 弗拉维奥·达莱桑德罗 , 贝内代托·因特里吉拉 , 斯特凡诺·瓦里奇奥 :
稀疏无上下文语言的Parikh函数是拟多项式。 CoRR公司 abs/0807.0718 ( 2008 ) 2007 [公元29年] 贝内代托·因特里吉拉 , 伊戈尔·梅拉蒂 , 阿尔贝托·托法尼 , 吉多·马奇亚雷利 :
心肌肌内膜胶原排列的计算模型。 计算。 方法生物识别程序。 86 ( 3 ) : 232-244 ( 2007 ) [第18条] 朱塞佩·德尔拉·佩纳 , 弗朗西丝卡·法卢奇 , 贝内代托·因特里吉拉 , 丹尼尔·马加泽尼 :
从数字控制器自动生成模糊控制系统的遗传方法。 AI*IA公司 2007 : 230-241 [第17条] 贝内代托·因特里吉拉 , 理查德·斯塔特曼 :
欧米茄法则是P 1 1 -在中完成 兰达贝塔 -微积分。 薄层色谱分析 2007 : 178-193 2006 [公元28年] 朱塞佩·德尔拉·佩纳 , 安蒂尼斯卡·迪马尔科 , 贝内代托·因特里吉拉 , 伊戈尔·梅拉蒂 , 阿方索·皮尔安东尼奥 :
从XML模式到ER图的互操作性映射。 数据知识。 工程师。 59 ( 1 ) : 166-188 ( 2006 ) [公元27年] 朱塞佩·德尔拉·佩纳 , 贝内代托·因特里吉拉 , 安娜·丽塔·劳伦兹 , Sergio Orefice公司 :
用于基于场景的需求工程的XML环境。 J.系统。 柔和。 79 ( 3 ) : 379-403 ( 2006 ) [公元26年] 贝内代托·因特里吉拉 , 理查德·斯塔特曼 :
Barendregt问题在Sensible lambda-Theories上的求解。 日志。 方法计算。 科学。 2 ( 4 ) ( 2006 ) [公元25年] 朱塞佩·德拉·彭纳 , 贝内代托·因特里吉拉 , 伊戈尔·梅拉蒂 , 恩里科·特隆西 , 玛丽莎·文丘里尼·齐利 :
利用Murphi验证器对马尔可夫链进行有限时域分析。 国际期刊软件。 技术工具。 Transf公司。 8 ( 4-5 ) : 397-409 ( 2006 ) [公元24年] 弗拉维奥·达莱桑德罗 , 贝内代托·因特里吉拉 , 斯特凡诺·瓦里奇奥 :
稀疏无上下文语言计数函数的结构。 理论。 计算。 科学。 356 ( 1-2个 ) : 104-117 ( 2006 ) [第16条] 朱塞佩·德尔拉·佩纳 , 阿尔贝托·托法尼 , 马塞洛·佩科拉里 , 奥拉齐奥·拉帕雷利 , 贝内代托·因特里吉拉 , 伊戈尔·梅拉蒂 , 恩里科·特隆西 :
集成测试自动生成的案例研究。 FDL公司 2006 : 278-284 [第15条] 朱塞佩·德尔拉·佩纳 , 丹尼尔·马加泽尼 , 阿尔贝托·托法尼 , 贝内代托·因特里吉拉 , 伊戈尔·梅拉蒂 , 恩里科·特隆西 :
通过模型检查技术自动生成最优控制器。 ICINCO-ICSO公司 2006 : 26-33 [i1] 贝内代托·因特里吉拉 , 理查德·斯塔特曼 :
Barendregt问题在Sensible lambda-Theories上的求解。 CoRR公司 abs/cs/0609080 ( 2006 ) 2005 [公元23年] 贝内代托·因特里吉拉 , 理查德·斯塔特曼 :
关于lambda演算中可拓性的一些结果。 Ann.纯粹应用。 日志。 132 ( 2-3 ) : 109-125年 ( 2005 ) [第14条] 朱塞佩·德尔拉·佩纳 , 伊戈尔·梅拉蒂 , 贝内代托·因特里吉拉 , 恩里科·特朗西 :
在自动验证中利用集线器状态。 ATVA公司 2005 : 54-68 [第13条] 贝内代托·因特里吉拉 , 丹尼尔·马加泽尼 , 伊戈尔·梅拉蒂 , 恩里科·特隆西 :
用于验证模糊控制系统的模型检查技术。 CIMCA/IAWTIC公司 2005 : 536-542 2004 [公元22年] 朱塞佩·德尔拉·佩纳 , 贝内代托·因特里吉拉 , 伊戈尔·梅拉蒂 , 恩里科·特隆西 , 玛丽莎·文丘里尼·齐利 :
在有限状态并发系统的自动验证中利用转换局部性。 国际期刊软件。 技术工具。 Transf公司。 6 ( 4 ) : 320-341 ( 2004 ) [公元21年] 朱塞佩·德尔拉·佩纳 , 贝内代托·因特里吉拉 , 塞尔吉奥·奥利菲塞 :
用于设计和实现可视化应用程序的环境。 视觉杂志。 语言计算。 15 ( 6 ) : 439-461 ( 2004 ) [第12条] 朱塞佩·德尔拉·佩纳 , 贝内代托·因特里吉拉 , 伊戈尔·梅拉蒂 , 恩里科·特隆西 , 玛丽莎·文丘里尼·齐利 :
用Mur检验有界概率模型 阿尔法 验证人。 FMCAD公司 2004 : 214-229 [第11条] 贝内代托·因特里吉拉 , 理查德·斯塔特曼 :
Omega规则在lambda beta-Calculus中是II_2^0-Hard。 低收入国家 2004 : 202-210 [第10条] 朱塞佩·德尔拉·佩纳 , 贝内代托·因特里吉拉 , 安娜·丽塔·劳伦兹 , Sergio Orefice公司 :
场景开发方法。 瑞典克朗 2004 : 7-12 2003 [公元20年] 朱塞佩·德尔拉·佩纳 , 贝内代托·因特里吉拉 , 恩里科·特隆西 , 玛丽莎·文丘里尼·齐利 :
同步正则表达式。 信息学报 39 ( 1 ) : 31-70 ( 2003 ) [公元19年] 朱塞佩·德尔拉·佩纳 , 贝内代托·因特里吉拉 , 安娜·丽塔·劳伦兹 , Sergio Orefice公司 :
支持基于场景的需求工程的XML定义语言。 国际期刊软件。 工程知识。 工程师。 13 ( 3 ) : 237-256年 ( 2003 ) [公元18年] 贝内代托·因特里吉拉 , 莫妮卡·内西 :
关于eta-恒等式展开的结构性质。 Inf.流程。 莱特。 87 ( 6 ) : 327-333 ( 2003 ) 【c9】 朱塞佩·德尔拉·佩纳 , 贝内代托·因特里吉拉 , 伊戈尔·梅拉蒂 , 恩里科·特隆西 , 玛丽莎·文丘里尼·齐利 :
在Mur-phi验证程序中集成RAM和基于磁盘的验证。 CHARME公司 2003 : 277-282 【c8】 朱塞佩·德尔拉·佩纳 , 贝内代托·因特里吉拉 , 伊戈尔·梅拉蒂 , 恩里科·特隆西 , 玛丽莎·文丘里尼·齐利 :
用Mur-phi检验器对马尔可夫链进行有限域分析。 CHARME公司 2003 : 394-409年 【c7】 朱塞佩·德尔拉·佩纳 , 安蒂尼斯卡·迪马尔科 , 贝内代托·因特里吉拉 , 伊戈尔·梅拉蒂 , 阿方索·皮兰托尼奥 :
Xere:实现XML和ER图之间的自然互操作性。 FASE公司 2003 : 356-371 【c6】 朱塞佩·德尔拉·佩纳 , 贝内代托·因特里吉拉 , 伊戈尔·梅拉蒂 , 米歇尔·米尼奇诺 , 埃斯特·西安卡梅拉 , 安德烈亚·帕里斯 , 恩里科·特隆西 , 玛丽莎·文丘里尼·齐利 :
用Mur-varphi校验仪对涡轮燃气控制系统进行自动校验。 高速列车控制中心 2003 : 141-155 [c5] 朱塞佩·德尔拉·佩纳 , 贝内代托·因特里吉拉 , 伊戈尔·梅拉蒂 , 恩里科·特隆西 , 玛丽莎·文图里尼·齐利 :
用Mur-varphi验证器对随机系统进行有限时域分析。 信息通信与通信系统 2003 : 58-71 2002 【c4】 朱塞佩·德尔拉·佩纳 , 贝内代托·因特里吉拉 , 恩里科·特隆西 , 玛丽莎·文丘里尼·齐利 :
利用基于磁盘的Mur-phi验证程序中的转换位置。 FMCAD公司 2002 : 202-219 2001 [公元17年] 贝内代托·因特里吉拉 , 伊万诺·萨尔沃 , 斯特凡诺·索尔吉 :
非Church-Rosser的弱Church-Rosser抽象约简系统的特征。 Inf.计算。 171 ( 2 ) : 137-155 ( 2001 ) [公元16年] 朱塞佩·德尔拉·佩纳 , 贝内代托·因特里吉拉 , Sergio Orefice公司 :
从状态转换可视化规范生成图形应用程序。 国际期刊休谟计算。 螺柱。 55 ( 6 ) : 861-880 ( 2001 ) 【c3】 恩里科·特隆西 , 朱塞佩·德尔拉·佩纳 , 贝内代托·因特里吉拉 , 玛丽莎·文丘里尼·齐利 :
并发系统自动验证的概率方法。 亚太经合组织 2001 : 317-324 【c2】 恩里科·特隆西 , 朱塞佩·德尔拉·佩纳 , 贝内代托·因特里吉拉 , 玛丽莎·文丘里尼·齐利 :
在自动验证中利用转换位置。 使着迷 2001 : 259-274年 【c1】 朱塞佩·德尔拉·佩纳 , 贝内代托·因特里吉拉 , 恩里科·特朗西 , 玛丽莎·文丘里尼·齐利 :
同步正则表达式。 TOSCA公司 2001 : 195-210 2000 [公元15年] 贝内代托·因特里吉拉 , 斯特凡诺·瓦里奇奥 :
关于Higman和Kruskal定理在正则语言和有理树中的推广。 信息学报 36 ( 9/10 ) : 817-835 ( 2000 ) [公元14年] 贝内代托·因特里吉拉 , 安娜·丽塔·劳伦兹 :
关于Lambda演算中约化图的两个问题。 芬丹。 信息学 44 ( 1-2个 ) : 133-144 ( 2000 ) [j13] 贝内代托·因特里吉拉 , E.比亚松 :
关于lambda演算中组合子的不动点数。 数学。 结构。 计算。 科学。 10 ( 5 ) : 595-615 ( 2000 )
1990 – 1999
1999 [公元12年] 贝内代托·因特里吉拉 , 保拉·因弗拉迪 , 玛丽莎·文丘里尼·齐利 :
迭代项匹配和统一的综合设置。 芬丹。 信息学 39 ( 3 ) : 273-304 ( 1999 ) [公元11年] 贝内代托·因特里吉拉 , 玛丽莎·文丘里尼·齐利 :
阶数、约简图和谱。 理论。 计算。 科学。 212 ( 1-2个 ) : 211-231 ( 1999 ) 1997 [公元10年] 贝内代托·因特里吉拉 :
实际上,不存在Statman的双固定点组合器并不存在。 Inf.计算。 137 ( 1 ) : 35-40 ( 1997 ) 1996 [公元9年] 贝内代托·因特里吉拉 , 玛丽莎·文图里尼·齐利 :
关于无限匹配与无限统一的注记。 J.塞姆。 计算。 21 ( 3 ) : 289-292 ( 1996 ) 1994 [j8] 科拉多·伯姆 , 贝内代托·因特里吉拉 :
强规范化的蚂蚁-狮子范式。 Inf.计算。 114 ( 1 ) : 30-49 ( 1994 ) [j7] 贝内代托·因特里吉拉 :
关于lambda-Calculus中数值系统的一些结果。 圣母院J.正式日志。 35 ( 4 ) : 523-541 ( 1994 ) 1993 [j6] 贝内代托·因特里吉拉 :
λ演算中的基本决策问题。 数学。 日志。 问:。 39 : 178-180 ( 1993 ) [j5] 亚历山德罗·贝拉杜奇 , 贝内代托·因特里吉拉 :
关于简易lambda项的一些新结果。 理论。 计算。 科学。 121 ( 1&2 ) : 71-88 ( 1993 ) 1991 【j4】 亚历山德罗·贝拉杜奇 , 贝内代托·因特里吉拉 :
初等数论中的组合原理。 Ann.纯粹应用。 日志。 55 ( 1 ) : 35-50 ( 1991 ) [j3] 贝内代托·因特里吉拉 :
微积分中关于简单项的问题。 芬丹。 信息学 15 ( 1 ) : 99-106 ( 1991 )
1980 – 1989
1988 [注2] 贝内代托·因特里吉拉 :
关于递归方案的约简的否定结果。 数学。 日志。 问:。 34 ( 4 ) : 297-300 ( 1988 ) 1983 [j1] C.醇类 , 贝内代托·因特里吉拉 :
红雀的拜尔分类。 数学。 日志。 问:。 29 ( 4 ) : 245-252 ( 1983 )