亚西尔·马哈茂德;阿恩·梅尔;约翰·施密特 Schaefer框架中基于逻辑的论证的参数化复杂性。 （英语） Zbl 07713587号 ACM事务处理。计算。日志。 24，第3号，第26号论文，第25页（2023年）.MSC公司：03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{Y.Mahmood}等人，ACM Trans。计算。日志。24，第3号，第26号论文，第25页（2023；Zbl 07713587） 全文： 内政部 arXiv公司
安塞尔姆·哈克;阿恩·梅尔;费比安·米勒;赫里贝特·沃尔默 在一阶团队逻辑中枚举团队。 （英语） Zbl 07587335号 Ann.纯粹应用。逻辑 173，第10号，文章ID 103163，17 p.（2022）.MSC公司：03B70号 2015年1月5日 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Haak}等人，Ann.Pure Appl。逻辑173，第10号，文章ID 103163，17页（2022；Zbl 07587335） 全文： 内政部 arXiv公司
朱哈·科廷宁;阿恩·梅尔;亚西尔·马哈茂德 关于依赖逻辑复杂性的参数化视图。 （英语） Zbl 07551715号 Artemov，Sergei（编辑）等人，《计算机科学的逻辑基础》。2022年1月10日至13日，美国佛罗里达州迪尔菲尔德海滩，LFCS 2022国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13137125-142（2022）中所述。MSC公司：03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.Kontinen}等人，Lect。注释计算。科学。13137125-142（2022；Zbl 07551715） 全文： 内政部 arXiv公司 链接
亚西尔·马哈茂德;阿恩·梅尔 模型检验的参数化复杂性和命题依赖逻辑中的可满足性。 （英语） Zbl 07473202号 安。数学。Artif公司。智力。 90，编号2-3，271-296（2022）.MSC公司：60年第68季度 03B70号 2017年第68季度 68年第27季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Mahmood}和\textit{A.Meier}，Ann.数学。Artif公司。智力。90，编号2--3，271--296（2022；Zbl 07473202） 全文： 内政部 arXiv公司
安德烈亚斯·克雷布斯;阿恩·梅尔;马丁·蒙德亨克 CTL操作员指纹检查模型。 （英语） Zbl 1423.68288号 学报信息。 56，第6期，487-519（2019）.MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Krebs}等人，《学报》第56期，第6期，第487--519页（2019年；Zbl 1423.68288） 全文： 内政部 arXiv公司
阿恩·梅尔;塞巴斯蒂安·奥德尼亚克;拉马努扬，M.S。;艾伦娜·辛德勒 线性时序逻辑的后门。 （英语） Zbl 1411.68050号 算法 81，第2期，476-496（2019）.MSC公司：65年第68季度 03B44号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Meier}等人，Algorithmica 81，No.2，476--496（2019；Zbl 1411.68050） 全文： 内政部
安德烈亚斯·克雷布斯;阿恩·梅尔;乔尼·维特玛;马丁·齐默尔曼 用于超属性的规范和验证的团队语义。 （英语） Zbl 1510.68043号 Potapov，Igor（编辑）等人，第43届计算机科学数学基础国际研讨会。2018年8月27日至31日，英国利物浦，MFCS 2018。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。117，第10条，第16页（2018年）。MSC公司：60年第68季度 03B44号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Krebs}等人，LIPIcs——莱布尼茨国际程序。通知。117，第10条，第16页（2018；Zbl 1510.68043） 全文： 内政部 arXiv公司
你好，劳里;安蒂·库西斯托;阿恩·梅尔;乔尼·维特玛 命题和模态包含逻辑中的模型检查和有效性。 （英语） Zbl 1441.68132号 Larsen，Kim G.（编辑）等人，第42届计算机科学数学基础国际研讨会，2017年8月21日至25日，丹麦奥尔堡，MFCS 2017。Wadern：Schloss Dagstuhl–Leibniz Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。83，第32条，第14页（2017年）。MSC公司：60年第68季度 03B45号 03B70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Hella}等人，LIPIcs——莱布尼茨国际程序。通知。83，第32条，第14页（2017年；Zbl 1441.68132） 全文： 内政部 arXiv公司
马丁·吕克;阿恩·梅尔;艾伦娜·辛德勒 时序逻辑中可满足性的参数化复杂性。 （英语） Zbl 1367.68111号 ACM事务处理。计算。日志。 18，第1号，第1条，第32页（2017年）.MSC公司：65年第68季度 03B44号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Lück}等人，《美国医学杂志》。计算。日志。18，第1号，第1条，第32页（2017年；Zbl 1367.68111） 全文： 内政部
约翰·费希特。;阿恩·梅尔;伊琳娜·辛德勒 默认逻辑的强大后门。 （英语） Zbl 1475.68366号 Creignou，Nadia（编辑）等人，《满意度测试的理论和应用——2016年SAT》。第19届国际会议，法国波尔多，2016年7月5-8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9710, 45-59 (2016).MSC公司：68T27型 65年第68季度 68年第27季度 PDF格式BibTeX公司 XML格式引用 \textit{J.K.Fichte}等人，Lect。注释计算。科学。9710，45-59（2016；Zbl 1475.68366） 全文： 内政部 arXiv公司
马丁·吕克;阿恩·梅尔;伊琳娜·辛德勒 CTL的参数化复杂性。 （英语） Zbl 1451.68138号 Dediu，Adrian-Horia（编辑）等人，《语言和自动机理论与应用》。2015年3月2日至6日在法国尼斯举行的2015年拉丁美洲旅游协会第九届国际会议。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8977, 549-560 (2015).MSC公司：68年第27季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.Lück}等人，Lect。注释计算。科学。8977，549-560（2015；Zbl 1451.68138） 全文： 内政部
阿恩·梅尔;伊琳娜·辛德勒;约翰·施密特;迈克尔·托马斯;赫里贝特·沃尔默 关于非单调逻辑的参数化复杂性。 （英语） Zbl 1361.03036号 架构（architecture）。数学。逻辑 54，编号5-6，685-710（2015）. 审核人：克里斯蒂安·卡鲁德（奥克兰） MSC公司：2015年3月1日 03B42号 03B60号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Meier}等人，Arch。数学。逻辑54，No.5--6，685--710（2015；Zbl 1361.03036） 全文： 内政部
奥拉夫·拜尔斯多夫;阿恩·梅尔;塞巴斯蒂安·米勒;迈克尔·托马斯;赫里贝特·沃尔默 命题缺省逻辑的证明复杂性。 （英语） Zbl 1308.03057号 架构（architecture）。数学。逻辑 50，编号7-8，727-742（2011）. 审核人：埃米尔·杰亚贝克（普拉哈） MSC公司：20层03 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{O.Beyersdorff}等人，Arch。数学。逻辑50，编号7--8，727--742（2011；Zbl 1308.03057） 全文： 内政部 链接
奥拉夫·拜尔斯多夫;阿恩·梅尔;托马斯，迈克尔;赫里贝特·沃尔默 默认逻辑片段推理的复杂性。 （英语） Zbl 1247.68263号 Kullmann，Oliver（编辑），可满足性测试的理论和应用——SAT 2009。2009年6月30日至7月3日在英国斯旺西举行的2009年第12届国际SAT会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-02776-5/pbk）。计算机科学课堂讲稿5584，51-64（2009）。MSC公司：68T27型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{O.Beyersdorf}等人，Lect。注释计算。科学。5584、51-64（2009年；Zbl 1247.68263） 全文： 内政部 arXiv公司