优素福·哈马迪
人员信息
优化列表
2020年–今天
2024 [公元54年] 优素福·哈马迪 , Gauthier Picard公司 :
无驾驶员交通管理干部合同编制问题可接受的多重社会化解决方案。 APIA公司 2024 : 83-92 [公元53年] 优素福·哈马迪 , Gauthier Picard公司 :
4D合同维修问题的社会可接受多标准解决方案。 美国原子能机构 2024 : 2297-2299 2023 [公元23年] 梅赛德斯·佩利金 , 克劳迪娅·丹布罗西奥 , 雷米·德尔马斯 , 优素福·哈马迪 :
城市空中机动:从复杂的战术冲突解决到网络设计和公平见解。 最佳方案。 方法软件。 38 ( 6 ) : 1311-1343 ( 2023 ) 2021 [公元22年] Maxime Buyse公司 , 雷米·德尔马斯 , 优素福·哈马迪 :
ALPACAS:关键架构(Architecture)安全参数评估(Assessment)语言。 Dagstuhl Artifacts爵士。 7 ( 2 ) : 14:1-14:4 ( 2021 ) [公元21年] 安娜丽莎·奥奇芬蒂 , 优素福·哈马迪 , 希勒尔·库格勒 , 克里斯托夫·温特斯泰格 , 博扬·约丹诺夫 , 克劳迪奥·安吉奥内 :
通过大规模优化发现基本的多基因效应:在人类癌症代谢中的应用。 IEEE ACM传输。 计算。 生物信息。 18 ( 6 ) : 2339-2352 ( 2021 ) [第52条] Maxime Buyse公司 , 雷米·德尔马斯 , 优素福·哈马迪 :
ALPACAS:关键架构(Architecture)安全参数评估语言。 ECOOP公司 2021 : 5:1-5:29 2020 [j20] 托马斯·杜利厄 , 优素福·哈马迪 , 马丁·蒙佩鲁斯 :
用于构建自我修复Web代理的全自动HTML和JavaScript重写。 柔和。 测试。 验证可靠性。 30 ( 2 ) ( 2020 ) [第51条] 优素福·哈马迪 :
优化城市空中交通。 狮子 2020 : 1-8
2010 – 2019
2018 [公元50年] 托马斯·杜利厄 , 优素福·哈马迪 , 中兴余 , Benoit Baudry公司 , 马丁·蒙佩鲁斯 :
对无故障计算搜索空间的详尽探索。 ICST公司 2018 : 139-149 [公元49年] 托马斯·杜利厄 , 优素福·哈马迪 , 马丁·蒙佩鲁斯 :
用于构建自我修复Web代理的全自动HTML和Javascript重写。 ISSRE公司 2018 : 1-12 [电子4] 优素福·哈马迪 , 拉赫达尔·赛斯 :
并行约束推理手册。 施普林格 2018 ,国际标准图书编号 978-3-319-63515-6 [目录] 【d1】 优素福·哈马迪 , 克劳迪奥·安吉奥内 , 希勒尔·库格勒 , 克里斯托夫·温特斯泰格 , 博扬·约丹诺夫 :
全基因组模型的大规模遗传探索:在人类癌症代谢中的应用。 IEEE数据端口 , 2018 [i8] 托马斯·杜利厄 , 优素福·哈马迪 , 马丁·蒙佩鲁斯 :
用于构建自我修复Web代理的全自动HTML和Javascript重写。 CoRR公司 腹肌/1803.08725 ( 2018 ) [i7] 托马斯·杜利厄 , 优素福·哈马迪 , 马丁·蒙佩鲁斯 :
生产驱动的补丁生成。 CoRR公司 腹肌/1812.04475 ( 2018 ) 2017 [公元19年] 基卡克武 , 克劳迪娅·丹布罗西奥 , 优素福·哈马迪 , 利奥·利伯蒂 :
基于代理的黑盒优化方法。 国际事务处理。 操作。 物件。 24 ( 三 ) : 393-424 ( 2017 ) [公元48年] 托马斯·杜利厄 , 优素福·哈马迪 , 马丁·蒙佩鲁斯 :
生产驱动的补丁生成。 ICSE-NIER公司 2017 : 23-26 [i6] 优素福·哈马迪 , 苏希拉·卡奇 :
匹配程序中的偏好推理:申请入学后学位平台。 CoRR公司 abs/1707.07298 ( 2017 ) [i5] 托马斯·杜利厄 , 优素福·哈马迪 , 中兴余 , 马丁·蒙佩鲁斯 :
穷尽式探索失效计算搜索空间。 CoRR公司 abs/1710.09722 ( 2017 ) 2016 [公元18年] 优素福·哈马迪 , 萨伊德·贾布尔 , 拉赫达尔·萨伊斯 :
我们可以从命题可满足性中的冲突中学到什么。 安·Oper。 物件。 240 ( 1 ) : 13-37 ( 2016 ) [公元17年] 尤利·沙维特 , 博扬·约丹诺夫 , 萨拉·简·邓恩 , 克里斯托夫·温特斯泰格 , Tomoki Otani先生 , 优素福·哈马迪 , 弗雷德里克·利弗西 , 希勒尔·库格勒 :
转换基因调控网络的自动合成和分析。 生物晶体。 146 : 26-34 ( 2016 ) [公元47年] 尼科拉斯·Gálvez Ramírez , 优素福·哈马迪 , 埃里克·蒙弗罗伊 , 弗雷德里克·沙特 :
满意度模理论中的自动化策略。 欧洲GP 2016 : 230-245 [公元46年] 穆昆德·拉戈塔曼 , 易伟 , 优素福·哈马迪 :
SWIM:综合我的意思:代码搜索和惯用片段合成。 ICSE公司 2016 : 357-367 [公元45年] 尼科拉斯·Gálvez Ramírez , 优素福·哈马迪 , 埃里克·蒙弗罗伊 , 弗雷德里克·沙特 :
不断发展的SMT战略。 国际通信技术协会 2016 : 247-254 [i4] 托马斯·杜利厄 , 优素福·哈马迪 , 马丁·蒙佩鲁斯 :
BanditRepair:运行时补丁的推测性探索。 CoRR公司 abs/1603.07631 ( 2016 ) [i3] 托马斯·杜利厄 , 优素福·哈马迪 , 马丁·蒙佩鲁斯 :
生产驱动的补丁生成和验证。 CoRR公司 腹肌/1609.06848 ( 2016 ) 2015 [公元44年] 安德烈亚斯·弗罗里奇 , 阿明·比尔 , 克里斯托夫·温特斯泰格 , 优素福·哈马迪 :
满意模理论的随机局部搜索。 AAAI公司 2015 : 1136-1143 [公元43年] 穆罕默德·莫奇德 , 理查德·杜福尔 , 乔治·利纳雷斯 , 优素福·哈马迪 :
基于潜在主题模型的表示用于高度不完善自动转录的稳健主题识别。 CICLing(二) 2015 : 596-605 [公元42年] 尤利·沙维特 , 博扬·约丹诺夫 , 萨拉·简·邓恩 , 克里斯托夫·温特斯泰格 , 优素福·哈马迪 , 希勒尔·库格勒 :
切换基因调控网络。 工控机 2015 : 131-144 [i2] 穆昆德·拉戈塔曼 , 易伟 , 优素福·哈马迪 :
游泳:综合我的意思。 CoRR公司 abs/1511.08497 ( 2015 ) 2014 [公元41年] 尼古拉·保莱蒂 , 博扬·约丹诺夫 , 优素福·哈马迪 , 克里斯托夫·温特斯泰格 , 希勒尔·库格勒 :
分析和合成基因组逻辑功能。 CAV汽车 2014 : 343-357 [公元40年] 迪莫·布罗克霍夫 , 优素福·哈马迪 , 苏希拉·卡奇 :
在基于超体积的交互式多目标优化中使用比较偏好语句。 狮子 2014 : 121-136 [公元39年] 马库斯·拉贝 , 克里斯托夫·温特斯泰格 , 希勒尔·库格勒 , 博扬·约丹诺夫 , 优素福·哈马迪 :
大马尔可夫链中有界可达概率的符号逼近。 QEST公司 2014 : 388-403 [电子3] 卢卡斯·波尔多 , 优素福·哈马迪 , Pushmet Kohli公司 :
可牵引性:解决难题的实用方法。 剑桥大学出版社 2014 ,国际标准图书编号 9781139177801 [目录] 2013 【b1】 优素福·哈马迪 :
组合搜索-从算法到系统。 施普林格 2013 ,国际标准图书编号 978-3-642-41481-7 ,第I-XIII页,第1-139页 [公元16年] 优素福·哈马迪 , 克里斯托夫·温特斯泰格 :
并行SAT解决的七大挑战。 人工智能杂志。 34 ( 2 ) : 99-106 ( 2013 ) [公元15年] 优素福·哈马迪 , 马克·肖纳 :
特约编辑:特刊-修订了狮6会议的精选论文。 安。数学。 Artif公司。 智力。 69 ( 2 ) : 149-150 ( 2013 ) [公元14年] 克里斯托夫·温特斯泰格 , 优素福·哈马迪 , 莱昂纳多·门登萨·德·莫拉 :
有效求解量化位向量公式。 形式方法系统。 设计。 42 ( 1 ) : 3-23 ( 2013 ) [公元38年] 纳达拉延·维拉彭 , 优素福·哈马迪 , 弗雷德里克·沙特 :
使用带自适应算子选择的局部搜索来解决进步党问题。 IEEE进化计算大会 2013 : 554-561 [公元37年] 曼纽尔·洛斯 , 米歇尔·塞巴格 , 优素福·哈马迪 , 马克·肖纳 :
基于带宽的约束编程搜索。 人物配对关系 2013 : 464-480 [公元36年] 博扬·约丹诺夫 , 克里斯托夫·温特斯泰格 , 优素福·哈马迪 , 安德鲁·菲利普斯 , 希勒尔·库格勒 :
大规模DNA链置换电路的功能分析。 DNA 2013 : 189-203 [公元35年] 曼纽尔·洛斯 , 米歇尔·塞巴格 , 优素福·哈马迪 , 马克·肖纳 , 克里斯蒂安·舒尔特 :
混合约束编程和蒙特卡罗树搜索:在Job Shop问题中的应用。 狮子 2013 : 315-320 [公元34年] 博扬·约丹诺夫 , 克里斯托夫·温特斯泰格 , 优素福·哈马迪 , 希勒尔·库格勒 :
基于SMT的生物计算分析。 NASA形式方法 2013 : 78-92 2012 [j13] 优素福·哈马迪 , 萨伊德·贾布尔 , 拉赫达尔·赛斯 :
从命题可满足性的冲突中学习。 4OR(或) 10 ( 1 ) : 15-32 ( 2012 ) [公元33年] 优素福·哈马迪 , 克里斯托夫·温特斯泰格 :
并行SAT解决的七大挑战。 AAAI公司 2012 : 2120-2125 [公元32年] 阿尔瓦罗·菲亚略 , 优素福·哈马迪 , 马克·肖纳 :
平衡建筑施工成本和能源效率的多目标方法。 ECAI公司 2012 : 961-966 [第3页] 优素福·哈马迪 , 埃里克·蒙弗罗伊 , 弗雷德里克·沙特 :
自主搜索简介。 自主搜索 2012 : 1-11 [第2页] 亚历杭德罗·阿贝莱兹 , 优素福·哈马迪 , 米歇尔·塞巴格 :
约束编程中的连续搜索。 自主搜索 2012 : 219-243 [第1页] 优素福·哈马迪 , 萨伊德·贾布尔 , 拉赫达尔·赛斯 :
并行SAT求解中基于控制的子句共享。 自主搜索 2012 : 245-267 [电子2] 优素福·哈马迪 , 埃里克·蒙弗罗伊 , 弗雷德里克·沙特 :
自主搜索。 施普林格 2012 ,国际标准图书编号 978-3-642-21433-2 [目录] [电子1] 优素福·哈马迪 , 马克·肖纳 :
学习与智能优化-第六届国际会议,LION 6,法国巴黎,2012年1月16日至20日,修订论文集。 计算机科学课堂讲稿 7219, 施普林格 2012 ,国际标准图书编号 978-3-642-34412-1 [目录] 2011 [公元12年] 优素福·哈马迪 , 乔治·林格威尔斯基 :
促进分布式约束满足。 J.启发式 17 ( 三 ) : 251-279 ( 2011 ) [公元11年] 优素福·哈马迪 , 萨伊德·贾布尔 , 塞德里克馅饼 , 拉赫达尔·赛斯 :
确定性并行DPLL。 J.满意。 布尔模型。 计算。 7 ( 4 ) : 127-132 ( 2011 ) [公元31年] 阿尔瓦罗·菲亚略 , 优素福·哈马迪 , 马克·肖纳 :
优化建筑的建筑和结构方面,以提高能源效率。 GECCO(同伴) 2011 : 727-732 [c30] 亚历杭德罗·阿贝莱兹 , 优素福·哈马迪 :
改进SAT的并行局部搜索。 狮子 2011 : 46-60 [公元29年] 优素福·哈马迪 , 乔安·马奎斯·西尔瓦 , 克里斯托夫·温特斯泰格 :
分布式决策过程的延迟分解。 PDMC公司 2011 : 43-54 2010 [公元10年] 优素福·哈马迪 , 萨伊德·贾布尔 , 拉赫达尔·赛斯 :
学习动态包容。 国际艺术杂志。 智力。 工具 19 ( 4 ) : 511-529 ( 2010 ) [公元28年] 龙国 , 优素福·哈马迪 , 萨伊德·贾布尔 , 拉赫达尔·赛斯 :
并行SAT解决的多样化和强化。 人物配对关系 2010 : 252-265 [公元27年] 克里斯托夫·温特斯泰格 , 优素福·哈马迪 , 莱昂纳多·门登萨·德·莫拉 :
有效求解量化位向量公式。 FMCAD公司 2010 : 239-246 [公元26年] 亚历杭德罗·阿贝莱兹 , 优素福·哈马迪 , 米歇尔·塞巴格 :
构建蛋白质结构预测问题的投资组合。 WCB@ICLP 2010 : 2-7 [公元25年] 亚历杭德罗·阿贝莱兹 , 优素福·哈马迪 , 米歇尔·塞巴格 :
约束编程中的连续搜索。 ICTAI(1) 2010 : 53-60 [公元24年] 杰雷米·沃塔德 , 阿诺德·拉洛伊特 , 优素福·哈马迪 :
量化约束问题的并行求解算法。 ICTAI(1) 2010 : 271-274 【c23】 优素福·哈马迪 :
从并行SAT到分布式SAT。 POS@SAT 2010 : 1 [公元22年] 文森特·维达尔 , 卢卡斯·波尔多 , 优素福·哈马迪 :
自适应K-并行最佳优先搜索:一种简单但有效的多核独立领域规划算法。 社会保险公司 2010 : 100-107
2000 – 2009
2009 [公元9年] 优素福·哈马迪 , 萨伊德·贾布尔 , 拉赫达尔·赛斯 :
ManySAT:并行SAT求解器。 J.满意。 布尔模型。 计算。 6 ( 4 ) : 245-262 ( 2009 ) [j8] 优素福·哈马迪 :
并行SAT求解特殊问题的结论。 J.满意。 布尔模型。 计算。 6 ( 4 ) : 263 ( 2009 ) [c21] 克里斯托夫·温特斯泰格 , 优素福·哈马迪 , 莱昂纳多·门登萨·德·莫拉 :
SMT解决的并发投资组合方法。 CAV汽车 2009 : 715-720 [公元20年] 塞德里克馅饼 , 优素福·哈马迪 , 拉赫达尔·赛斯 :
MUS计算决策过程的有效组合。 FroCoS公司 2009 : 335-349 [第19条] 优素福·哈马迪 , 萨伊德·贾布尔 , 拉赫达尔·赛斯 :
学习动态包容。 国际通信技术协会 2009 : 328-335 [第18条] 卢卡斯·波尔多 , 优素福·哈马迪 , 霍斯特·萨穆洛维茨 :
大规模并行约束求解实验。 国际JCAI 2009 : 443-448 [第17条] 优素福·哈马迪 , 萨伊德·贾布尔 , 拉赫达尔·赛斯 :
并行SAT求解中基于控制的子句共享。 国际JCAI 2009 : 499-504 [第16条] 亚历杭德罗·阿贝莱兹 , 优素福·哈马迪 :
在基于树的搜索中利用弱依赖关系。 囊 2009 : 1385-1391 [i1] 优素福·哈马迪 , 萨伊德·贾布尔 , 拉赫达尔·赛斯 :
学习动态包容。 CoRR公司 abs/0904.0029 ( 2009 ) 2008 [第15条] 塞德里克馅饼 , 优素福·哈马迪 , 拉赫达尔·赛斯 :
激活命题子句公式。 ECAI公司 2008 : 525-529 [第14条] 吉尔斯·奥德马尔 , 卢卡斯·波尔多 , 优素福·哈马迪 , 萨伊德·贾布尔 , 拉赫达尔·赛斯 :
冲突分析的通用框架。 坐 2008 : 21-27 2007 [j7] 优素福·哈马迪 , 卢卡斯·波尔多 :
SAT/CP集成专刊前言。 J.满意。 布尔模型。 计算。 1 ( 3-4 ) ( 2007 ) [第13条] Sathiamoorthy Subbarayan公司 , 卢卡斯·波尔多 , 优素福·哈马迪 :
BDD树的知识编译特性。 AAAI公司 2007 : 502-507 [第12条] 卢卡斯·波尔多 , 优素福·哈马迪 , 莫舍·瓦尔迪 :
区间传播中的慢收敛性分析。 人物配对关系 2007 : 790-797 2006 [j6] 卢卡斯·波尔多 , 优素福·哈马迪 , 张林涛 :
命题可满足性与约束规划:一项比较调查。 ACM计算。 Surv公司。 38 ( 4 ) : 12 ( 2006 ) [j5] 卡斯滕·罗瑟 , 卢卡斯·波尔多 , 优素福·哈马迪 , 安德鲁·布雷克 :
自动填充。 ACM事务处理。 图表。 25 ( 三 ) : 847-852 ( 2006 ) [第11条] 弗兰克·赫特 , 优素福·哈马迪 , 霍尔格·H·胡斯 , 凯文·莱顿-布朗 :
随机和参数算法的性能预测和自动调整。 人物配对关系 2006 : 213-228 [c10] 叶龙冲 , 优素福·哈马迪 :
分布式基于日志的对账。 ECAI公司 2006 : 108-112 2005 【j4】 优素福·哈马迪 , 马克·夏皮罗 :
推动基于日志的对账。 国际艺术杂志。 智力。 工具 14 ( 三 ) : 445-458 ( 2005 ) [j3] 优素福·哈马迪 :
分布式搜索中的冲突代理。 国际艺术杂志。 智力。 工具 14 ( 三 ) : 459-476 ( 2005 ) 【c9】 优素福·哈马迪 :
互联网数据中心的持续资源分配。 CCGRID公司 2005 : 566-573 【c8】 乔治·林格威尔斯基 , 优素福·哈马迪 :
促进分布式约束满足。 人物配对关系 2005 : 549-562 【c7】 马克·巴特利特 , 艾伦·M·弗里希 , 优素福·哈马迪 , 伊恩·米格尔 , 阿玛根塔里木 , 克里斯·安斯沃思 :
时间背包问题及其解决方案。 CPAIOR公司 2005 : 34-48 2002 [注2] 优素福·哈马迪 :
最佳分布式电弧一致性。 制约国际期刊。 7 ( 3-4 ) : 367-385 ( 2002 ) [j1] 优素福·哈马迪 :
分布式约束网络中的交错回溯。 国际艺术杂志。 智力。 工具 11 ( 2 ) : 167-188 ( 2002 ) 【c6】 优素福·哈马迪 :
DisCSP:用于通用和高效多代理协商的工具。 WECWIS公司 2002 : 245-248 2001 【c5】 优素福·哈马迪 :
分布式约束网络中的交错回溯。 国际通信技术协会 2001 : 33-41
1990 – 1999
1999 【c4】 优素福·哈马迪 :
最佳分布式电弧一致性。 人物配对关系 1999 : 219-233 【c3】 乔尔·昆克顿 , 优素福·哈马迪 :
沟通与涌现:白蚁的出现。 JFIADSMA公司 1999 : 225-235 1998 【c2】 优素福·哈马迪 , 克里斯蒂安·贝西埃 , 乔尔·昆克顿 :
分布式智能回溯。 ECAI公司 1998 : 219-223 1997 【c1】 优素福·哈马迪 , 大卫·默塞隆 :
可重构体系结构:优化问题的新视角。 人物配对关系 1997 : 209-221