安娜·齐安波里尼
人员信息
附属: 意大利博洛尼亚大学
优化列表
![笔记](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
2020年–今天
2024 [公元14年] 丹妮拉·洛雷蒂 , 马塞洛·阿蒂奥利 , 安娜·齐安波里尼 :
减少内存占用的高性能密集线性规划求解器的无回滚恢复。 IEEE传输。 并行分布式系统。 35 ( 7 ) : 1307-1319 ( 2024 ) 2023 [公元29年] 索菲亚·蒙特布戈诺利 , 安娜·齐安波里尼 :
HPC基础设施上并行线性系统求解算法的能耗比较。 SC研讨会 2023 : 1839-1848 2020 [j13] 丹妮拉·洛雷蒂 , 费德里科·切萨尼 , 安娜·西安波里尼 , 保拉·梅洛 :
通过诱拐生成合成的积极和消极业务流程跟踪。 知识。 信息系统。 62 ( 2 ) : 813-839 ( 2020 ) [公元28年] 丹妮拉·洛雷蒂 , 马塞洛·阿蒂奥利 , 安娜·齐安波里尼 :
在具有多个硬故障恢复能力的高性能硬件上求解线性系统。 SRDS公司 2020 : 266-275
2010 – 2019
2019 [公元27年] 马塞洛·阿蒂奥利 , 丹妮拉·洛雷蒂 , 安娜·齐安波里尼 :
线性方程组的容错高性能求解器。 SRDS公司 2019 : 113-122年 2018 [公元12年] 丹妮拉·洛雷蒂 , 费德里科·切萨尼 , 安娜·齐安波里尼 , 保拉·梅洛 :
对业务流程事件流进行合规性监控的分布式方法。 未来一代。 计算。 系统。 82 : 104-118 ( 2018 ) 2017 [公元26年] 费德里科·切萨尼 , 安娜·西安波里尼 , 丹妮拉·洛雷蒂 , 保拉·梅洛 :
诱拐以生成合成痕迹。 业务流程管理研讨会 2017 : 151-159 [公元25年] 丹妮拉·洛雷蒂 , 费德里科·切萨尼 , 安娜·齐安波里尼 , 保拉·梅洛 :
通过MapReduce体系结构对业务流程进行分布式法规遵从性监控。 ICPE指南 2017 : 79-84 2016 [公元24年] 费德里科·切萨尼 , 安娜·齐安波里尼 , 丹妮拉·洛雷蒂 , 保拉·梅洛 :
云中Map-Reduce应用程序的流程挖掘监控。 闭合器(1) 2016 : 95-105 【c23】 费德里科·切萨尼 , 安娜·西安波里尼 , 丹妮拉·洛雷蒂 , 保拉·梅洛 :
使用流程挖掘监控映射减少云上的自动缩放。 CLOSER(精选论文) 2016 : 109-130 2015 [公元22年] 丹妮拉·洛雷蒂 , 安娜·齐安波里尼 :
SHYAM:混合云中虚拟集群的自主管理系统。 ESOCC研讨会 2015 : 363-373 【c21】 丹妮拉·洛雷蒂 , 安娜·齐安波里尼 :
用于大数据应用程序的混合云基础设施。 HPCC/CSS/ICESS公司 2015 : 1713-1718 [公元20年] 丹妮拉·洛雷蒂 , 安娜·西安波里尼 :
混合云上的MapReduce:一种新的基础设施管理策略。 UCC公司 2015 : 174-178 2014 [第19条] 丹妮拉·洛雷蒂 , 安娜·齐安波里尼 :
云数据中心中用于虚拟机管理的分布式自平衡策略。 高性能计算机系统 2014 : 391-398 2010 [第18条] 斯特凡诺·布拉加格里亚 , 费德里科·切萨尼 , 安娜·齐安波里尼 , 保拉·梅洛 , 马可·蒙塔利 , 戴维德·索塔拉 :
一种融合正向规则和模糊本体推理的混合体系结构。 海地(1) 2010 : 438-445
2000 – 2009
2008 [第17条] 安娜·齐安波里尼 , 保拉·梅洛 , 塞尔吉奥·斯托拉里 :
用于医疗服务协调的诱拐式多代理系统。 IFIP人工智能 2008 : 421-425 [第16条] 塞尔吉奥·斯托拉里 , 安娜·齐安波里尼 , 保拉·梅洛 :
一种用于紧急情况下分布式服务协调和推理的诱拐式多代理框架。 普遍健康 2008 : 93-96 [第15条] 费德里科·切萨尼 , 安娜·齐安波里尼 , 保拉·梅洛 :
使用计算逻辑进行电子学习。 网络学习环境下的知识建构 2008 2005 [第14条] 安娜·齐安波里尼 , 保拉·梅洛 , 马可·蒙塔利 , 塞尔吉奥·斯托拉里 :
使用社会诚信约束对医疗协议进行现场合规性验证。 CBMS公司 2005 : 503-505 [c13] 费德里科·切萨尼 , 安娜·齐安波里尼 , 保拉·梅洛 , 马可·蒙塔利 , 保罗·托罗尼 , 马可·阿尔贝蒂 , 塞尔吉奥·斯托拉里 :
使用计算逻辑进行协议规范和验证。 WOA公司 2005 : 184-192 2004 [公元11年] 安娜·齐安波里尼 , 保罗·托罗尼 :
使用诱拐逻辑代理模拟刑事证据的司法评估。 申请。 Artif公司。 智力。 18 ( 3-4 ) : 251-275 ( 2004 ) 2003 [公元10年] 安娜·齐安波里尼 , Evelina Lamma公司 , 保拉·梅洛 , 弗朗西丝卡·托尼 , 保罗·托罗尼 :
ALIAS中的合作与竞争:协商代理的逻辑框架。 安。数学。 Artif公司。 智力。 37 ( 1-2 ) : 65-91 ( 2003 ) [第12条] 马可·阿尔贝蒂 , 安娜·齐安波里尼 , 马可·加瓦内利 , 伊芙琳娜·拉姆 , 保拉·梅洛 , 保罗·托罗尼 :
道义约束的社会ACL语义。 CEEMAS公司 2003 : 204-213年 2002 [第11条] 安娜·齐安波里尼 , 保拉·梅洛 , 保罗·托罗尼 , Evelina Lamma公司 :
协调受限多智能体系统中任务的安全执行。 美国原子能机构 2002 : 940-941 [第10条] 安娜·齐安波里尼 , 伊芙琳娜·拉姆 , 保拉·梅洛 , 保罗·托罗尼 :
多代理系统中任务安全执行的证明系统。 杰莉亚 2002 : 14-26 2001 [公元9年] 安娜·西安波里尼 , 伊芙琳娜·拉姆 , 保拉·梅洛 , 保罗·托罗尼 :
LAILA:一种用于协调逻辑代理之间的溯因推理的语言。 计算。 语言。 27 ( 4 ) : 137-161 ( 2001 ) 2000 【c9】 安娜·齐安波里尼 , Evelina Lamma公司 , 保拉·梅洛 , 保罗·托罗尼 :
表示绑架者之间的合作和竞争协调。 CL-2000多代理系统计算逻辑研讨会 2000 : 35-43 【c8】 安娜·齐安波里尼 , 伊芙琳娜·拉姆 , 保拉·梅洛 , 保罗·托罗尼 :
表达诱拐逻辑代理之间的合作和竞争。 WOA公司 2000 : 64-69
1990 – 1999
1999 【c7】 安娜·齐安波里尼 , 伊芙琳娜·拉姆 , 保拉·梅洛 , 塞萨尔·斯特凡内利 , 保罗·托罗尼 :
派生逻辑代理的一种实现。 AI*IA公司 1999 : 61-71 【c6】 安娜·齐安波里尼 , 伊芙琳娜·拉姆 , 保拉·梅洛 , 塞萨尔·斯特凡内利 :
逻辑代理的诱拐协调。 囊 1999 : 134-140 1998 [j8] 米歇尔·布列西 , 安娜·齐安波里尼 , 伊芙琳娜·拉姆 , 保拉·梅洛 :
优化模块化逻辑语言。 ACM计算。 Surv公司。 30 ( 3个 ) : 10 ( 1998 ) 1997 [j7] 安娜·齐安波里尼 , 伊芙琳娜·拉姆 , 塞萨尔·斯特凡内利 , 保拉·梅洛 :
通过多标题子句的黑板和基于对象的系统。 计算。 Artif公司。 智力。 16 ( 4 ) : 401-423 ( 1997 ) 1996 [j6] 安娜·齐安波里尼 , 伊芙琳娜·拉姆 , 塞萨尔·斯特凡内利 , 保拉·梅洛 :
分布式逻辑对象。 计算。 语言。 22 ( 4 ) : 237-258 ( 1996 ) [j5] 安娜·齐安波里尼 , 塞萨尔·斯特凡内利 :
将PVM扩展到大规模并行体系结构。 未来一代。 计算。 系统。 12 ( 1 ) : 13-23 ( 1996 ) 【j4】 安娜·齐安波里尼 , 伊芙琳娜·拉姆 , 保拉·梅洛 :
优化动态模块化逻辑语言的抽象解释框架。 Inf.流程。 莱特。 58 ( 4 ) : 163-170 ( 1996 ) [j3] 安娜·齐安波里尼 , 伊芙琳娜·拉姆 , 保拉·梅洛 :
动态模块化逻辑语言的优化实现。 柔和。 概念工具 17 ( 4 ) : 148-162 ( 1996 ) 【c5】 安娜·齐安波里尼 , 伊芙琳娜·拉姆 , 保拉·梅洛 , 塞萨尔·斯特凡内利 :
分布式逻辑对象:重写逻辑及其实现的片段。 WRLA公司 1996 : 110-125 1995 【c4】 安娜·齐安波里尼 , 伊芙琳娜·拉姆 , 保拉·梅洛 :
提高动态模块化逻辑语言的效率。 活塞销 1995 : 347-358 1994 【c3】 安娜·西安波里尼 , 安东尼奥·科拉迪 , 莱蒂齐亚·莱昂纳迪 , 弗朗科·赞博内利 :
并行对象编程环境中迁移的好处。 产品开发计划 1994 : 291-298 【c2】 安娜·齐安波里尼 , 伊芙琳娜·拉姆 , 保拉·梅洛 , 塞萨尔·斯特凡内利 :
多级复制以实现并行体系结构中的统一。 产品开发计划 1994 : 518-525 1993 【c1】 安娜·齐安波里尼 , 伊芙琳娜·拉姆 , 保拉·梅洛 , 塞萨尔·斯特凡内利 :
在Transputer体系结构上实现带有多头子句的逻辑语言的一些实验结果。 ELP公司 1993 : 62至76 1992 [注2] 安东尼奥·布罗吉 , 安娜·西安波里尼 , 伊芙琳娜·拉姆 , 保拉·梅洛 :
基于多标题子句的分布式逻辑编程模型的实现。 Inf.流程。 莱特。 42 ( 6 ) : 331-338 ( 1992 )
1980 – 1989
1989 [j1] 安娜·齐安波里尼 , 安东尼奥·科拉迪 , 莱蒂齐亚·莱昂纳迪 :
基于transputer架构的并行对象系统支持。 微处理和微编程 27 ( 1-5 ) : 339-345 ( 1989 )
合著者索引
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)