阿米特·帕尔蒂
人员信息
优化列表
2020年–今天
2021 【c4】 阿米特·帕尔蒂 , 里纳特·罗森伯格-基马 :
用于编程基础教学的微学习在线框架。 SIGCSE公司 2021 : 1369
2000 – 2009
2007 【c3】 罗伯托·布鲁托梅索 , 亚历山德罗·西马蒂 , 安德斯·弗兰泽 , 阿尔贝托·格里乔 , 齐亚德·汉纳 , 亚历山大·纳达尔 , 阿米特·帕尔蒂 , 罗伯托·塞巴斯蒂亚尼 :
用于硬工业验证问题的惰性分层SMT($\mathcal{BV}$)解算器。 腔静脉 2007 : 547-560 2005 【c2】 苏拉布·卡西达什维利 , 亚历山大·纳达尔 , 阿米特·帕尔蒂 , 齐亚德·汉纳 :
基于SAT的安全属性同步模型检查。 海法核查会议 2005 : 56-75 【c1】 马可·波扎诺 , 罗伯托·布鲁托梅索 , 亚历山德罗·西马蒂 , 安德斯·弗兰泽 , 齐亚德·汉纳 , 苏拉布·卡西达什维利 , 阿米特·帕尔蒂 , 罗伯托·塞巴斯蒂亚尼 :
MathSAT的RTL结构编码:初步报告。 CAV的PDPAR 2005 : 3-14