停止战争！

Остановите войну!

对于科学家：

默认搜索操作

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

问别人

亚西尔·马哈茂德0002

>主页 >珀森斯

人员信息

附属： 德国帕德博恩大学
隶属关系（前）： 德国汉诺威莱布尼茨大学

其他同名人员

请参阅常见问题解答

其他同名人员

请参阅常见问题解答

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

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

2020年–今天

请参阅常见问题解答

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

2024
【c9】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/foiks/MahmoodVBN24公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/foiks/MahmoodVBN24网址
亚西尔·马哈茂德,乔尼·维特马,蒂蒙·巴拉格,阿克塞尔·库里尔·恩贡加·恩戈莫:
通过参数在函数依赖和包含依赖下计算修复。 FoIKS公司 2024:23-42
2023
【j4】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 日记账/tocl/0002M023
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/tocl/0002M023
亚西尔·马哈茂德,阿恩·梅尔,约翰尼斯·史密特:
谢弗框架中基于逻辑的论证的参数化复杂性。 ACM事务处理。计算。日志。 24(三):26:1-26:25(2023)
【c8】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/ijcai/FichteH0M23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ijcai/FichteH0M23
约翰内斯·克劳斯·费希特,马库斯·赫彻,亚西尔·马哈茂德,阿恩·梅尔:
索赔中心论证的定量推理和结构复杂性。国际JCAI 2023:3212-3220
【c7】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/jelia/HannulaHKMMV23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/jelia/HannulaHKMMV23
米卡·汉努拉,米娜·赫沃宁,朱哈·孔蒂宁,亚西尔·马哈茂德,阿恩·梅尔,乔尼·维特马:
逻辑与概率团队语义和布尔否定。杰莉亚 2023:665-680
【c6】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/wollic/MahmoodV23
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wollic/MahmoodV23
亚西尔·马哈茂德,乔尼·维特马:
命题包含和独立逻辑的参数化复杂性。沃尔利克 2023:274-291
[i8]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-2302-00541
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2302-00541
朱哈·孔廷宁,亚西尔·马哈茂德,阿恩·梅尔,赫里贝特·沃尔默:
加权团队定义的参数化复杂性。 CoRR公司 abs/2302.00541(2023)
[i7]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 日记账/corr/abs-2306-00420
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2306-00420
米伊卡·汉努拉,米娜·赫沃宁,朱哈·孔廷宁,亚西尔·马哈茂德,阿恩·梅尔,乔尼·维特马:
具有概率团队语义和布尔否定的逻辑。 CoRR公司 abs/2306.00420(2023)
[i6]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/corr/abs-2312-01973
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2312-01973
亚西尔·马哈茂德,乔尼·维特马,蒂蒙·巴拉格,阿克塞尔·库里尔·恩贡加·恩戈莫:
通过参数在函数依赖和包含依赖下计算修复。 CoRR公司 abs/2312.01973(2023)
2022
【b1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 博士/基础搜索/Mahmood22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/phd/basesearch/Mahmood22
亚西尔·马哈茂德:
基于团队的形式和逻辑推理的参数化方面。德国汉诺威大学，2022
[j3]
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - 期刊/amai/MahmoodM22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/amai/MahmoodM22
亚西尔·马哈茂德,阿恩·梅尔:
命题依赖逻辑中模型检查和可满足性的参数化复杂性。安。数学。Artif公司。智力。 90(2-3):271-296(2022)
[注2]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/KontineMM22
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log/KontinenMM22
朱哈·孔廷宁,阿恩·梅尔,亚西尔·马哈茂德:
关于依赖和独立逻辑复杂性的参数化视图。 J.日志。计算。 32(8):1624-1644(2022)
【c5】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lfcs/KontinenMM22文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lfcs/KontineMM22
朱哈·孔廷宁,阿恩·梅尔,亚西尔·马哈茂德:
依赖逻辑复杂性的参数化视图。 LFCS公司 2022:125-142
2021
[j1]
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 期刊/logcom/MahmoodMS21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/log.com/MahmoodMS21
亚西尔·马哈茂德,阿恩·梅尔,约翰尼斯·史密特:
谢弗框架中绑架的参数化复杂性。 J.日志。计算。 31(1):266-296(2021)
【c4】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/aaai/0002M021
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/aaai/0002M021
亚西尔·马哈茂德,阿恩·梅尔,约翰尼斯·史密特:
谢弗框架中基于逻辑的论证的参数化复杂性。 AAAI公司 2021:6426-6434
【c3】
- 看法
  - 通过DOI的电子版（开放存取）
  - 参考文献和引文
  权限控制：
- 出口记录
  dblp键：
  - conf/ijcai/FichteH0M21
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ijcai/FichtH0M21
约翰·克劳斯·费希特,马库斯·赫彻,亚西尔·马哈茂德,阿恩·梅尔:
参数和树宽的分解引导约简。国际JCAI 2021:1880-1886
[i5]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-2102-11782
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2102-11782
亚西尔·马哈茂德,阿恩·梅尔,约翰尼斯·史密特:
谢弗框架中基于逻辑的论证的参数化复杂性。 CoRR公司 abs/2102.11782(2021)
[i4]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/cor/abs-2105-14887
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2105-14887
亚西尔·马哈茂德,乔尼·维特马:
团队语义中命题逻辑的参数化复杂性。 CoRR公司 abs/2105.14887(2021)
[i3]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-2109-09342
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-2109-09342
朱哈·孔廷宁,阿恩·梅尔,亚西尔·马哈茂德:
依赖逻辑复杂性的参数化视图。 CoRR公司 abs/2109.09342(2021)
2020
【c2】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 联系人/联系人/0002M20
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/foiks/0002M20
亚西尔·马哈茂德,阿恩·梅尔:
命题依赖逻辑中模型检查的参数化复杂性和可满足性。 FoIKS公司 2020:157-174
【c1】
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/lfcs/0002M020文件
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lfcs/0002M020
亚西尔·马哈茂德,阿恩·梅尔,约翰尼斯·史密特:
谢弗框架中绑架的参数化复杂性。 LFCS公司 2020:195-213

2010 – 2019

请参阅常见问题解答

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

2019
[i2]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 期刊/corr/abs-1904-06107
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1904-06107
亚西尔·马哈茂德,阿恩·梅尔:
命题依赖逻辑中模型检查的参数化复杂性和可满足性。 CoRR公司 abs/1904.06107(2019)
[i1]
- 看法
  - 电子版@arxiv.org（开放访问）
  - 参考文献和引文
- 出口记录
  dblp键：
  - 日记账/corr/abs-1906-00703
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/journals/corr/abs-1906-00703
亚西尔·马哈茂德,阿恩·梅尔,约翰尼斯·史密特:
绑架的参数化复杂性。 CoRR公司 abs/1906.00703(2019)

服务

管理网站设置

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