托尼·曼奇尼
人员信息
附属: 意大利罗马萨皮恩扎大学
优化列表
2020年–今天
2024 [公元34年] 马尔科·埃斯波西托 , 托尼·曼奇尼 , 恩里科·特隆西 :
通过计算几何优化无人机关键区域定位的容错质量保证传感器部署。 IEEE传输。 系统。 人类网络。 系统。 54 ( 三 ) : 1515-1526 ( 2024 ) 2023 [公元33年] 乔治·布塔佐 , 丹妮拉·德文努托 , 尤金尼奥·迪·西亚西奥 , 托尼·曼奇尼 :
嵌入式实时应用程序特刊。 实时系统。 59 ( 4 ) : 531-533 ( 2023 ) [公元32年] 托尼·曼奇尼 , 伊戈尔·梅拉蒂 , 恩里科·特隆西 :
优化基于高并行仿真的网络物理系统验证。 IEEE传输。 软件工程。 49 ( 9 ) : 4443-4455 ( 2023 ) [i12] 托尼·曼奇尼 , 伊戈尔·梅拉蒂 , 恩里科·特隆西 :
优化基于高并行仿真的网络物理系统验证。 CoRR公司 abs/2307.15383 ( 2023 ) [i11] 马尔科·埃斯波西托 , 托尼·曼奇尼 , 恩里科·特隆西 :
通过计算几何优化关键区域无人机定位的容错质量保证传感器部署。 CoRR公司 abs/2312.06667 ( 2023 ) 2022 [公元31年] 伊戈尔·梅拉蒂 , 费德里科·马里 , 托尼·曼奇尼 , 米兰·普罗达诺维奇 , 恩里科·特隆西 :
通过家庭电池实现变电站约束管理的两层近最优策略。 IEEE传输。 Ind.Electron公司。 69 ( 8 ) : 8566-8578 ( 2022 ) 【j30】 托尼·曼奇尼 , 伊戈尔·梅拉蒂 , 恩里科·特隆西 :
基于仿真的形式验证中约束场景的任意水平均匀随机抽样和枚举。 IEEE传输。 软件工程。 48 ( 10 ) : 4002-4013 ( 2022 ) 2021 [公元29年] 斯特凡诺·西尼西 , 瓦迪姆·阿利姆古津 , 托尼·曼奇尼 , 恩里科·特隆西 , 布里吉特·利纳斯 :
用于计算机临床试验的虚拟患者的完整群体。 生物信息。 36 ( 22-23 ) : 5465-5472 ( 2021 ) [公元28年] 托尼·曼奇尼 , 费德里科·马里 , 安娜丽莎·马西尼 , 伊戈尔·梅拉蒂 , 恩里科·特隆西 :
关于检查模拟脚本的等效性。 J.日志。 代数方法课程。 120 : 100640 ( 2021 ) [公元27年] 斯特凡诺·西尼西 , 瓦迪姆·阿利姆古津 , 托尼·曼奇尼 , 恩里科·特隆西 :
在开源仿真环境中协调互操作性与有效的验证与确认。 模拟。 模型。 实际。 理论 109 : 102277 ( 2021 ) [i10] 斯特凡诺·西尼西 , 瓦迪姆·阿利姆古津 , 托尼·曼奇尼 , 恩里科·特隆西 :
在开源仿真环境中协调互操作性与有效的验证与确认。 CoRR公司 abs/2106.01343 ( 2021 ) [第九章] 菲利波·马吉奥利 , 托尼·曼奇尼 , 恩里科·特隆西 :
SBML2模型:在开放标准模拟生态系统中集成生化模型。 CoRR公司 abs/2106.02609 ( 2021 ) [i8] 斯特凡诺·西尼西 , 瓦迪姆·阿利姆古津 , 托尼·曼奇尼 , 恩里科·特隆西 , 费德里科·马里 , 布里吉特·利纳斯 :
通过对患者数字双胞胎进行电子临床试验,优化个性化治疗计算。 CoRR公司 abs/2106.10684 ( 2021 ) [i7] 钱·马泰奥·陈 , 阿尔贝托·芬奇 , 托尼·曼奇尼 , 伊戈尔·梅拉蒂 , 恩里科·特隆西 :
MILP、伪布尔和OMT求解器,用于任务关键型无线网络中中继节点的最佳容错放置。 CoRR公司 abs/2106.10685 ( 2021 ) [i6] 托尼·曼奇尼 , 费德里科·马里 , 伊戈尔·梅拉蒂 , 伊万诺·萨尔沃 , 恩里科·特隆西 , 乔恩·克拉斯·格鲁伯 , 巴里·海耶斯 , 米兰·普罗达诺维奇 , 拉尔斯·埃尔梅加德 :
智能电网安全验证的并行统计模型检查。 CoRR公司 腹肌/2106.10692 ( 2021 ) [i5] 伊戈尔·梅拉蒂 , 费德里科·马里 , 托尼·曼奇尼 , 米兰·普罗达诺维奇 , 恩里科·特隆西 :
通过家庭电池实现变电站约束管理的两层近最优策略。 CoRR公司 abs/2108.06735 ( 2021 ) [i4] 托尼·曼奇尼 , 伊戈尔·梅拉蒂 , 恩里科·特隆西 :
用于基于仿真的形式验证的受限场景的任意统一随机抽样和枚举。 CoRR公司 abs/2109.03330 ( 2021 ) 2020 [公元26年] 菲利波·马吉奥利 , 托尼·曼奇尼 , 恩里科·特隆西 :
SBML2模型:在开放标准模拟生态系统中集成生化模型。 生物信息。 36 ( 7 ) : 2165-2172 ( 2020 ) [公元25年] 钱·马泰奥·陈 , 阿尔贝托·芬奇 , 托尼·曼奇尼 , 伊戈尔·梅拉蒂 , 恩里科·特隆西 :
任务关键型无线网络中中继节点最佳容错位置的MILP、伪布尔和OMT求解器。 芬丹。 信息学 174 ( 3-4 ) : 229-258 ( 2020 ) [公元24年] 斯特凡诺·西尼西 , 瓦迪姆·阿利姆古津 , 托尼·曼奇尼 , 恩里科·特隆西 , 费德里科·马里 , 布里吉特·利纳斯 :
通过患者数字双胞胎的电子临床试验优化个性化治疗计算。 芬丹。 信息学 174 ( 3-4 ) : 283-310 ( 2020 ) [公元39年] 钱·马泰奥·陈 , 托尼·曼奇尼 , 伊戈尔·梅拉蒂 , 恩里科·特隆西 , 阿尔贝托·芬奇 :
关键无线网络中基于人工智能的最佳容错中继节点定位。 覆盖层 2020 : 41-46 [c38] 斯特凡诺·西尼西 , 瓦迪姆·阿利姆古津 , 托尼·曼奇尼 , 恩里科·特隆西 , 费德里科·马里 , 布里吉特·利纳斯 :
AI-通过硅内临床试验指导个性化药物治疗的合成。 覆盖层 2020 : 59-64
2010 – 2019
2019 [公元37年] 瓦迪姆·阿利姆古津 , 托尼·曼奇尼 , 安娜丽莎·马西尼 , 斯特凡诺·西尼西 , 恩里科·特隆西 :
通过人工智能和统计模型检查进行硅临床试验。 AI覆盖层 *IA公司 2019 : 17-22 [公元36年] 阿戈斯蒂娜·卡拉布雷斯 , 托尼·曼奇尼 , 安娜丽莎·马西尼 , 斯特凡诺·西尼西 , 恩里科·特隆西 :
通过AI指导的统计模型检查生成用于硅临床试验的T1DM虚拟患者。 RCRA公司/ AI的RiCeRcA *IA公司 2019 2018 [公元35年] 托尼·曼奇尼 , 费德里科·马里 , 伊戈尔·梅拉蒂 , 伊万诺·萨尔沃 , 恩里科·特隆西 :
恶意攻击下网络脆弱性分析的有效算法。 ISMIS系统 2018 : 302-312 [公元34年] 托尼·曼奇尼 , 费德里科·马里 , 安娜丽莎·马西尼 , 伊戈尔·梅拉蒂 , 伊万诺·萨尔沃 , 斯特凡诺·西尼西 , 恩里科·特隆西 , 雷纳德·埃里格 , 苏珊娜·罗布利茨 , 布里吉特·利纳斯 :
通过硅胶临床试验计算个性化治疗。 FLoC下的RCRA 2018 [公元33年] 托尼·曼奇尼 , 恩里科·特隆西 , 阿戈斯蒂诺·西亚兰卡 , 菲利贝托·兰奇奥蒂 , 阿尔贝托·芬奇 , 里卡多·瓜内里 , 西尔维娅·迪·蓬佩奥 :
关键任务无线网络中中继节点的最优容错布局。 FLoC下的RCRA 2018 [公元32年] 托尼·曼奇尼 , 费德里科·马里 , 伊戈尔·梅拉蒂 , 伊万诺·萨尔沃 , 恩里科·特隆西 , 乔恩·克拉斯·格鲁伯 , 巴里·海耶斯 , 米兰·普罗达诺维奇 , 拉尔斯·埃尔梅加德 :
智能电网安全验证的并行统计模型检查。 智能电网通信 2018 : 1-6 2017 [公元23年] 托尼·曼奇尼 , 费德里科·马里 , 安娜丽莎·马西尼 , 伊戈尔·梅拉蒂 , 伊万诺·萨尔沃 , 恩里科·特隆西 :
最小化最大预期验证时间。 信息处理。 莱特。 122 : 8-16 ( 2017 ) [公元22年] 托尼·曼奇尼 , 安娜丽莎·马西尼 , 恩里科·特隆西 :
基于循环的逻辑仿真的并行化。 并行过程。 莱特。 27 ( 2 ) : 1750003:1-1750003:16 ( 2017 ) [公元21年] 巴里·帕特里克·海斯 , 伊戈尔·梅拉蒂 , 托尼·曼奇尼 , 米兰·普罗达诺维奇 , 恩里科·特隆西 :
使用个性化需求感知价格政策的住宅需求管理。 IEEE传输。 智能电网 8 ( 三 ) : 1284-1294 ( 2017 ) 2016 [公元20年] 托尼·曼奇尼 , 马可·马拉特 , 弗朗西斯科·里卡 :
组合爆炸问题求解算法的实验评估。 AI通讯。 29 ( 2 ) : 245-247 ( 2016 ) [公元19年] 托尼·曼奇尼 :
现在或永远:与未知或不受信任的对手进行有效谈判。 芬丹。 信息学 149 ( 1-2 ) : 61-100 ( 2016 ) [公元18年] 托尼·曼奇尼 , 费德里科·马里 , 安娜丽莎·马西尼 , 伊戈尔·梅拉蒂 , 恩里科·特隆西 :
SyLVaaS:作为服务的系统级正式验证。 芬丹。 信息学 149 ( 1-2 ) : 101-132 ( 2016 ) [公元17年] 托尼·曼奇尼 , 费德里科·马里 , 安娜丽莎·马西尼 , 伊戈尔·梅拉蒂 , 恩里科·特隆西 :
通过并行随机穷举硬件在环仿真进行任何时间的系统级验证。 微加工。 微系统 41 : 12-28 ( 2016 ) 2015 [公元16年] 托尼·曼奇尼 , 安吉洛·奥迪 :
组合爆炸问题求解算法的实验评估。 AI通讯。 28 ( 2 ) : 159-160 ( 2015 ) [公元15年] 托尼·曼奇尼 , 马可·马拉特 , 弗朗西斯科·里卡 :
第20届RCRA国际研讨会,主题为“组合爆炸问题求解算法的实验评估”。 J.实验理论。 Artif公司。 智力。 27 ( 5 ) : 501-502 ( 2015 ) [c31] 托尼·曼奇尼 :
现在或永远:与未知对手进行有效谈判。 人工智能下的RCRA *IA公司 2015 : 47-61 [公元30年] 托尼·曼奇尼 , 费德里科·马里 , 伊戈尔·梅拉蒂 , 伊万诺·萨尔沃 , 恩里科·特隆西 , 乔恩·克拉斯·格鲁伯 , 巴里·帕特里克·海斯 , 米兰·普罗达诺维奇 , 拉尔斯·埃尔梅加德 :
智能电网用户灵活性感知价格政策综合。 DSD公司 2015 : 478-485 [公元29年] 托尼·曼奇尼 , 恩里科·特隆西 , 伊万诺·萨尔沃 , 费德里科·马里 , 安娜丽莎·马西尼 , 伊戈尔·梅拉蒂 :
通过并行统计模型检查计算生物模型参数。 IWBBIO(2) 2015 : 542-554 [公元28年] 托尼·曼奇尼 , 费德里科·马里 , 安娜丽莎·马西尼 , 伊戈尔·梅拉蒂 , 恩里科·特隆西 :
SyLVaaS:作为服务的系统级正式验证。 产品开发计划 2015 : 476-483 [公元27年] 托尼·曼奇尼 , 费德里科·马里 , 安娜丽莎·马西尼 , 伊戈尔·梅拉蒂 , 恩里科·特隆西 :
系统级形式验证的模拟器语义。 甘道夫 2015 : 86-99 2014 [公元26年] 托尼·曼奇尼 , 费德里科·马里 , 安娜丽莎·马西尼 , 伊戈尔·梅拉蒂 , 恩里科·特隆西 :
通过随机穷尽硬件在环仿真进行任何时间的系统级验证。 DSD公司 2014 : 236-245 [公元25年] 恩里科·特隆西 , 托尼·曼奇尼 , 伊万诺·萨尔沃 , 斯特凡诺·西尼西 , 费德里科·马里 , 伊戈尔·梅拉蒂 , 安娜丽莎·马西尼 , 弗朗西斯科·达维 , 托马斯·迪尔克斯 , 雷纳德·埃里格 , 苏珊娜·罗布利茨 , 布里吉特·利纳斯 , 蒂尔曼·H·C·克鲁格 , 马塞尔·埃格利 , 费比安·伊利 :
来自患者间生物模型和临床记录的患者特定模型。 FMCAD公司 2014 : 207-214 [公元24年] 托尼·曼奇尼 , 费德里科·马里 , 安娜丽莎·马西尼 , 伊戈尔·梅拉蒂 , 恩里科·特隆西 :
通过分布式多核硬件在环仿真进行系统级形式验证。 产品开发计划 2014 : 734-742 【c23】 托尼·曼奇尼 , 费德里科·马里 , 伊戈尔·梅拉蒂 , 伊万诺·萨尔沃 , 恩里科·特隆西 , 乔恩·克拉斯·格鲁伯 , 巴里·海耶斯 , 米兰·普罗达诺维奇 , 拉尔斯·埃尔梅加德 :
智能电网的需求软件价格政策综合和验证服务。 智能电网通信 2014 : 794-799 [i3] 卢卡斯·波尔多 , 马可·卡多利 , 托尼·曼奇尼 :
CSP结构特性的统一框架:定义、复杂性、可牵引性。 CoRR公司 abs/1401.3430 ( 2014 ) 2013 [公元14年] 马可·卡多利 , 迭戈·卡尔瓦内斯 , 朱塞佩·德贾科莫 , 托尼·曼奇尼 :
通过约束编程在UML类图上进行有限模型推理。 智能人工 7 ( 1 ) : 57-65 ( 2013 ) [j13] 马可·加瓦内利 , 托尼·曼奇尼 :
自动推理。 人工智能 7 ( 2 ) : 113-124 ( 2013 ) [公元22年] 托尼·曼奇尼 , 费德里科·马里 , 安娜丽莎·马西尼 , 伊戈尔·梅拉蒂 , 法比奥·梅利 , 恩里科·特隆西 :
通过模型检查驱动仿真进行系统级形式验证。 CAV汽车 2013 : 296-312 2012 [公元12年] 马可·加瓦内利 , 托尼·曼奇尼 :
第18届RCRA国际研讨会,主题为“组合爆炸问题求解算法的实验评估”。 AI通讯。 25 ( 2 ) : 73-74 ( 2012 ) 【c21】 托尼·曼奇尼 , 皮埃尔·弗莱纳 , 贾斯汀·皮尔逊 :
关系数据库上的组合问题解决:通过基于约束的局部搜索进行视图合成。 囊 2012 : 80-87 2011 [公元11年] 马尔科·加瓦内利 , 托尼·曼奇尼 :
第17届RCRA国际研讨会“组合爆炸问题求解算法的实验评估”。 安。数学。 Artif公司。 智力。 62 ( 3-4 ) : 159-160 ( 2011 ) [公元10年] 马可·加瓦内利 , 托尼·曼奇尼 , 阿尔贝托·佩托罗西 :
RCRA 2009组合爆炸问题解决算法的实验评估。 芬丹。 信息学 107 ( 2-3 ) ( 2011 ) 2010 [公元9年] 马可·加瓦内利 , 托尼·曼奇尼 :
前言。 芬丹。 信息学 102 ( 3-4 ) ( 2010 ) [电子3] 马尔科·加瓦内利 , 托尼·曼奇尼 :
第16届RCRA组合爆炸问题求解算法实验评估研讨会会议记录, RCRA@人工智能 *2009年12月11日至12日,意大利雷吉奥·艾米利亚国际机场,2009年。 CEUR研讨会记录 589, CEUR-WS.org公司 2010 [目录] [电子2] 马可·加瓦内利 , 托尼·曼奇尼 :
第17届RCRA关于解决组合爆炸问题的算法的实验评估研讨会论文集, CPAIOR的RCRA 2010年6月10日至11日,意大利博洛尼亚。 CEUR研讨会记录 616, CEUR-WS.org公司 2010 [目录]
2000 – 2009
2009 [j8] 卢卡斯·波尔多 , 马可·卡多利 , 托尼·曼奇尼 :
将一致性和其他约束属性推广到量化约束。 ACM事务处理。 计算。 日志。 10 ( 三 ) : 17:1-17:25 ( 2009 ) [公元20年] 托尼·曼奇尼 , 皮埃尔·弗莱纳 , 阿米尔·侯赛因·蒙西 , 贾斯汀·皮尔逊 :
大规模数据库上的约束优化。 人工智能下的RCRA *IA公司 2009 [第19条] 托尼·曼奇尼 :
谈判利用预测推理。 PAAMS公司 2009 : 329-338 2008 [j7] 托尼·曼奇尼 , 大卫·米卡莱托 , 法比奥·帕特里齐 , 马可·卡多利 :
在CSPLib上评估ASP和商业解决方案。 制约国际期刊。 13 ( 4 ) : 407-436 ( 2008 ) [j6] 卢卡斯·波尔多 , 马可·卡多利 , 托尼·曼奇尼 :
CSP结构特性的统一框架:定义、复杂性、可牵引性。 J.阿蒂夫。 因特尔。 物件。 32 : 607-629 ( 2008 ) [j5] 马可·加瓦内利 , 托尼·曼奇尼 :
RCRA 2007:组合爆炸问题求解算法的实验评估。 J.算法 63 ( 1-3 ) : 1-2 ( 2008 ) [电子1] 马可·加瓦内利 , 托尼·曼奇尼 :
2008年12月12日至13日,意大利乌迪内,第15届RCRA组合爆炸问题求解算法实验评估研讨会论文集。 CEUR研讨会记录 451, CEUR-WS.org公司 2008 [目录] 2007 【j4】 马可·卡多利 , 托尼·曼奇尼 :
使用定理证明器对约束问题进行推理。 申请。 Artif公司。 智力。 21 ( 4&5 ) : 383-404 ( 2007 ) [j3] 托尼·曼奇尼 , 马可·卡多利 :
利用声明性问题规范中的函数依赖关系。 Artif公司。 智力。 171 ( 16-17 ) : 985-1010 ( 2007 ) [注2] 马可·卡多利 , 托尼·曼奇尼 :
结合关系代数、SQL、约束建模和本地搜索。 理论与实践。 日志。 程序。 7 ( 1-2 ) : 37-65 ( 2007 ) [第18条] 马可·卡多利 , 迭戈·卡尔瓦内斯 , 朱塞佩·德贾科莫 , 托尼·曼奇尼 :
通过约束编程在UML类图上进行有限模型推理。 AI*IA公司 2007 : 36-47 [第17条] 乔治·戈特洛布 , 吉安路易吉·格雷科 , 托尼·曼奇尼 :
条件约束满足:逻辑基础和复杂性。 国际JCAI 2007 : 88-93 [第16条] 乔治·戈特洛布 , 吉安路易吉·格雷科 , 托尼·曼奇尼 :
贝叶斯博弈中纯均衡的复杂性。 国际JCAI 2007 : 1294-1299 [i2] 卢卡斯·波尔多 , 马可·卡多利 , 托尼·曼奇尼 :
将一致性和其他约束属性泛化为量化约束。 CoRR公司 abs/0705.3561 ( 2007 ) 2006 [j1] 马可·卡多利 , 托尼·曼奇尼 :
通过安全延迟约束自动重新制定规范。 Artif公司。 智力。 170 ( 8-9 ) : 779-801 ( 2006 ) [第15条] 马可·卡多利 , 托尼·曼奇尼 , 大卫·米卡莱托 , 法比奥·帕特里齐 :
在CSPLib上评估ASP和商业解决方案。 ECAI公司 2006 : 68-72 [第14条] 马可·卡多利 , 托尼·曼奇尼 , 法比奥·帕特里齐 :
SAT是一种有效的约束问题求解技术。 ISMIS系统 2006 : 540-549 [第13条] 马可·卡多利 , 托尼·曼奇尼 , 大卫·米卡莱托 , 法比奥·帕特里齐 :
在CSPLib上评估ASP和商业解决方案(前期工作)。 WLP(WLP) 2006 : 54-63 [i1] 马可·卡多利 , 托尼·曼奇尼 :
结合关系代数、SQL、约束建模和局部搜索。 CoRR公司 abs/cs/0601043 ( 2006 ) 2005 [第12条] 卢卡斯·波尔多 , 马可·卡多利 , 托尼·曼奇尼 :
量化约束的CSP属性:定义和复杂性。 AAAI公司 2005 : 360-365 [第11条] 马可·卡多利 , 托尼·曼奇尼 :
使用定理证明对约束问题进行推理。 AI*IA公司 2005 : 38-49 [第10条] 托尼·曼奇尼 , 马可·卡多利 :
通过对问题规范的推理来检测和打破对称。 萨拉 2005 : 165-181 2004 【c9】 朱塞佩·德贾科莫 , 托尼·曼奇尼 :
使用关系数据库技术扩展动作推理。 AAAI公司 2004 : 245-256 【c8】 托尼·曼奇尼 :
通过约束编程实现UML类图的有限可满足性。 描述逻辑 2004 【c7】 马可·卡多利 , 托尼·曼奇尼 :
利用声明性问题规范中的功能依赖。 杰莉亚 2004 : 628-640 【c6】 马可·卡多利 , 托尼·曼奇尼 :
通过安全延迟约束自动重新制定规范。 韩国 2004 : 388-398 【c5】 卢卡斯·波尔多 , 马可·卡多利 , 托尼·曼奇尼 :
利用约束满足问题中的固定值、可移除值和隐含值。 LPAR公司 2004 : 270-284 2003 【c4】 马可·卡多利 , 托尼·曼奇尼 :
走向规范的自动重新制定。 APPIA-GULP-PRODE公司 2003 : 398-409 【c3】 托尼·曼奇尼 :
一类置换问题的重构技术。 人物配对关系 2003 : 984 2002 【c2】 马可·卡多利 , 托尼·曼奇尼 :
结合关系代数、SQL和约束编程。 FroCoS公司 2002 : 147-161 【c1】 马可·卡多利 , 托尼·曼奇尼 :
知识编译=查询重写+视图合成。 豆荚 2002 : 199-208