默认搜索操作

组合dblp搜索
作者搜索
场地搜索
出版物搜索

问别人

艾哈迈德·伊尔凡

>主页 >珀森斯

人员信息

附属： 美国门罗公园SRI国际

其他同名人员

请参阅常见问题解答

为什么有些名字后面跟着一个四位数的数字？

SPARQL查询

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年–今天

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2024
[c18]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/JohannsenNDISTVR24
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/JohannsenNDISTVR24
克里斯·约翰森,卡提克·努卡拉,罗希特·杜雷加,艾哈迈德·伊尔凡,纳塔拉詹·尚卡尔,塞萨尔·蒂内利,莫舍·瓦尔迪,克里斯汀·伊冯·罗泽尔:
MoXI模型交换工具套件。 CAV（1） 2024:203-218
[c17]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/ijcar/HaderKIGK24会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ijcar/HaderKIGK24
托马斯·哈德,丹妮拉·考夫曼,艾哈迈德·伊尔凡,圣埃芬·格拉汉·伦格兰德,劳拉·科瓦奇:
Yices2 SMT求解器中基于MCSat的有限域推理（短文）。国际JCAR（1） 2024:386-395
[第16条]
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/smt/IrfanG24型
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/smt/IrfanG24网址
艾哈迈德·伊尔凡,圣埃芬·格拉汉·伦格兰德:
MCSat中的阵列推理。 CAV上的SMT 2024:24-35
[i7]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-2402-17927
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2402-17927
托马斯·哈德,丹妮拉·考夫曼,艾哈迈德·伊尔凡,圣埃芬·格拉汉·伦格兰德,劳拉·科瓦奇:
Yices2 SMT求解器中基于MCSat的有限域推理。 CoRR公司 abs/2402.17927(2024)
2022
[j3]
- 看法
  - 电子版@jmlr.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - 期刊/jmlr/SidraneMIK22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/jmlr/SidraneMIK22
切尔西Sidrane,阿米尔·马利基,艾哈迈德·伊尔凡,默克尔·J·科钦德费尔:
OVERT：非线性系统神经网络控制策略的安全验证算法。 J.马赫。学习。物件。 23:117:1-117:45(2022)
[注2]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/lmcs/MannIGPB22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/lmcs/MannIGPB22
马凯·曼,艾哈迈德·伊尔凡,阿尔贝托·格里乔,奇怪的帕顿,克拉克·W·巴雷特:
阵列理论中模型检验模的反例制导预言。日志。方法计算。科学。 18(三)(2022)
[第15条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/issta/IrfanPRRT22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/issta/IrfanPRRT22
艾哈迈德·伊尔凡,Sorawee茯苓蛋白酶,兹沃尼米尔·拉卡马利奇,内哈·隆塔,埃米娜·托拉克:
测试Dafny（经验论文）。 ISSTA公司 2022:556-567
[第14条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/vmcai/ZoharIMNNPRBT22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/vmcai/ZoharIMNNPRBT22
尤尼·佐哈尔,艾哈迈德·伊尔凡,马凯·曼,艾娜·尼梅茨,安德烈斯·诺兹利,马蒂亚斯·普雷纳,安德鲁·雷诺兹,克拉克·W·巴雷特,塞萨尔·蒂内利:
通过Int-Blasting进行位精确推理。 VMCAI公司 2022:496-518
2021
[第13条]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/MannILYZBGB20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/MannILYZBGB20
马凯·曼,艾哈迈德·伊尔凡,弗洛里安·朗辛,Yahan Yang（杨雅翰）,张洪策,克里斯托弗·布朗,阿尔蒂·古普塔,克拉克·W·巴雷特:
Pono：一个灵活且可扩展的基于SMT的模型检查器。 CAV（2） 2021:461-474
[c12]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/cav/MoverCGIT21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/MoverCGIT21
塞尔吉奥·莫弗,亚历山德罗·西马蒂,阿尔贝托·格里乔,艾哈迈德·伊尔凡,斯特凡诺·托内塔:
多项式动力系统的隐式半代数抽象。 CAV（1） 2021:529-551
[第11条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/frocos/Bigarella公司CGIJRS21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/frocos/BigarellaCGIJRS21
菲利波·比加雷拉,亚历山德罗·西马蒂,阿尔贝托·格里乔,艾哈迈德·伊尔凡,马丁·乔纳斯,马可·罗维里,罗伯托·塞巴斯蒂亚尼,帕特里克·特伦丁:
通过增量线性化的优化模非线性算法。 FroCoS公司 2021:213-231
[第10条]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/MannWZSIBDGTB21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/MannWZSIBDGTB21网站
马凯·曼,阿玛莉·威尔逊,尤尼·佐哈尔,林赛·斯坦茨,艾哈迈德·伊尔凡,克里斯托弗·布朗,卡勒布·多诺维克,艾利森·古曼,塞萨尔·蒂内利,克拉克·W·巴雷特:
Smt-Switch：用于Smt解决的解算器不可知C++API。坐 2021:377-386
【c9】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/MannIGPB21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/MannIGPB21
马凯·曼,艾哈迈德·伊尔凡,阿尔贝托·格里乔,奇怪的帕顿,克拉克·W·巴雷特:
阵列理论中模型检验模的反例制导预言。 TACAS（1） 2021:113-132
[i6]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2101-06825
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2101-06825
马凯·曼,艾哈迈德·伊尔凡,阿尔贝托·格里乔,奇怪的帕顿,克拉克·W·巴雷特:
阵列理论中模型检验模的反例制导预言。 CoRR公司 abs/2101.06825(2021)
[i5]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2105-09743
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2105-09743
尤尼·佐哈尔,艾哈迈德·伊尔凡,马凯·曼,安德烈斯·诺兹利,安德鲁·雷诺兹,克拉克·W·巴雷特:
lazybvtoint参加2020年SMT竞赛。 CoRR公司 abs/2105.09743(2021)
[i4]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2108-01220
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2108-01220
切尔西Sidrane,阿米尔·马利基,艾哈迈德·伊尔凡,默克尔·J·科钦德费尔:
OVERT：非线性系统神经网络控制策略的安全验证算法。 CoRR公司 abs/2108.01220(2021)
2020
【c8】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/fmcad/WuOZJIGFKPB20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/fmcad/WuOZJIGFKPB20
吴浩泽,亚历克斯·奥兹德米尔,Aleksandar Zeljic先生,凯尔·朱利安,艾哈迈德·伊尔凡,迪维亚·戈皮纳特,萨贾德·福拉迪,盖伊·卡茨,科琳娜·帕萨雷努,克拉克·W·巴雷特:
用于验证神经网络的并行化技术。 FMCAD公司 2020:128-137
[i3]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2004-08440
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2004-08440
吴浩泽,亚历克斯·奥兹德米尔,Aleksandar Zeljic先生,艾哈迈德·伊尔凡,凯尔·朱利安,迪维亚·戈皮纳特,萨贾德·福拉迪,盖伊·卡茨,科琳娜·帕萨雷努,克拉克·W·巴雷特:
用于验证神经网络的并行化技术。 CoRR公司 abs/2004.08440(2020)

2010 – 2019

请参阅常见问题解答

出版物列表中颜色的含义是什么？

2019
【c7】
- 看法
  - 电子版@ceur-ws.org（开放访问）
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/scsquare/IrfanCGRS19
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/scsquare/IrfanCGRS19
艾哈迈德·伊尔凡,亚历山德罗·西马蒂,阿尔贝托·格里乔,马可·罗维里,罗伯托·塞巴斯蒂亚尼:
通过增量线性化的可满足模超越函数的引理。 SC正方形@SIAMAG公司 2019
2018
【b1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 博士/基础搜索/Irfan18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/phd/basesearch/Irfan18
艾哈迈德·伊尔凡:
可满足性和验证的增量线性化模非线性算法和超越函数。意大利特伦托大学，2018
[j1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/tocl/CimattiGIRS18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tocl/CimattiGIRS18
亚历山德罗·西马蒂,阿尔贝托·格里乔,艾哈迈德·伊尔凡,马可·罗维里,罗伯托·塞巴斯蒂亚尼:
非线性算术和超越函数可满足性和验证模的增量线性化。 ACM事务处理。计算。日志。 19(三):19:1-19:52(2018)
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/CimattiGIRS18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/CimattiGIRS18
亚历山德罗·西马蒂,阿尔贝托·格里乔,艾哈迈德·伊尔凡,马可·罗维里,罗伯托·塞巴斯蒂亚尼:
增量线性化求解非线性整数算法的实验。坐 2018:383-398
【c5】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/synasc/CimattiGIRS18
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/synasc/CimattiGIRS18
亚历山德罗·西马蒂,阿尔贝托·格里乔,艾哈迈德·伊尔凡,马可·罗维里,罗伯托·塞巴斯蒂亚尼:
增量线性化：模非线性算术和超越函数可满足性的实用方法。 SYNASC公司 2018:19-26
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1801-08718
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1801-08718
亚历山德罗·西马蒂,阿尔贝托·格里乔,艾哈迈德·伊尔凡,马可·罗维里,罗伯托·塞巴斯蒂亚尼:
通过使用EUF增量还原为LRA，对NRA过渡系统进行不变量检查。 CoRR公司腹肌/1801.08718(2018)
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1801-08723
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1801-08723
亚历山德罗·西马蒂,阿尔贝托·格里乔,艾哈迈德·伊尔凡,马可·罗维里,罗伯托·塞巴斯蒂亚尼:
通过增量线性化实现超越函数的可满足模。 CoRR公司 abs/1801.08723(2018)
2017
【c4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/CimattiGIRS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/CimattiGIRS17
亚历山德罗·西马蒂,阿尔贝托·格里乔,艾哈迈德·伊尔凡,马可·罗维里,罗伯托·塞巴斯蒂亚尼:
通过增量线性化实现超越函数的可满足模。 CADE公司 2017:95-113
【c3】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/tacas/CimattiGIRS17
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacas/CimattiGIRS17
亚历山德罗·西马蒂,阿尔贝托·格里乔,艾哈迈德·伊尔凡,马可·罗维里,罗伯托·塞巴斯蒂亚尼:
通过使用EUF增量还原为LRA，对NRA过渡系统进行不变量检查。 TACAS（1） 2017:58-75
2016
【c2】
- 看法
  - 电子版@ieee.org
  - 没有参考文献和引文
- 出口记录
  dblp键：
  - conf/date/IrfanCGRS16
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/date/IrfanCGRS16
艾哈迈德·伊尔凡,亚历山德罗·西马蒂,阿尔贝托·格里乔,马可·罗维里,罗伯托·塞巴斯蒂亚尼:
Verilog2SMV：用于文字级验证的工具。日期 2016:1156-1159
2013
【c1】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/sat/MantheyLI13
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/MantheyLI13
诺伯特·曼泰,大卫·兰蒂,艾哈迈德·伊尔凡:
现代合作并行SAT求解。 POS@SAT 2013:41-54

合著者索引

请参阅常见问题解答

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。