帕罗什·阿齐兹·阿卜杜拉；穆罕默德·法乌齐（Mohamed Faouzi Atig）；陈玉芳；比菲省迪普；卢卡什·霍利克；胡登庚；蔡伟伦；吴志林；甄子丹 用平面抽象解决非子串约束。 （英语） Zbl 1520.68068号 哦，Hakjoo（编辑），编程语言和系统。第19届亚洲研讨会，APLAS 2021，芝加哥，伊利诺伊州，美国，2021年10月17日至18日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13008, 305-320 (2021).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人，Lect。注释计算。科学。13008305-320（2021；Zbl 1520.68068） 全文： DOI程序
帕罗什·阿齐兹·阿卜杜拉；穆罕默德·法乌齐（Mohamed Faouzi Atig）；桑卡拉·纳拉亚南·克里希纳；Shaan Vaidya女士 定时异步程序的验证。 （英语） Zbl 1528.68075号 Ganguly，Sumit（编辑）等人，第38届IARCS软件技术和理论计算机科学基础年会，2018年12月11-13日，印度艾哈迈达巴德，FSTTCS 2018。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。122，第8条，第16页（2018年）。MSC公司：68号30 2017年第68季度 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人，LIPIcs——莱布尼茨国际程序。通知。122，第8条，第16页（2018；Zbl 1528.68075） 全文： DOI程序
帕罗什·阿齐兹·阿卜杜拉；艾斯瓦里亚，C。；穆罕默德·法乌齐（Mohamed Faouzi Atig） 数据多下推自动机。 （英语） Zbl 1442.68076号 Meyer，Roland（编辑）等人，第28届并发理论国际会议。2017年CONCUR，德国柏林，2017年9月5-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。第85条，第38条，第17页（2017年）。MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人，LIPIcs——莱布尼茨国际程序。通知。85，第38条，第17页（2017；Zbl 1442.68076） 全文： DOI程序
帕罗什·阿齐兹·阿卜杜拉；卢卡什·霍利克；本特·琼森；Ondřej Lengál；聪奎·特里恩；汤姆·沃纳 通过扩展森林自动机验证具有有序数据的堆操作程序。 （英语） Zbl 1344.68136号 学报信息。 53，第4期，357-385（2016）.MSC公司：60年第68季度 68第05页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛P.A.Abdulla｝等人，《情报法》第53卷，第4期，357-385页（2016年；兹bl 1344.68136） 全文： DOI程序 链接
帕罗什·阿齐兹·阿卜杜拉；乔治·德尔扎诺；奥思曼·雷津；阿诺德·桑尼尔；里卡多·特拉维索 adhoc网络协议的时间敏感模型的参数化验证。 （英语） Zbl 1332.68137号 西奥。计算。科学。 612, 1-22 (2016).MSC公司：60年第68季度 68个M12 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人，Theor。计算。科学。612，1--22（2016；Zbl 1332.68137） 全文： DOI程序
帕罗什·阿齐兹·阿卜杜拉；穆罕默德·法乌齐（Mohamed Faouzi Atig）；艾哈迈特·卡拉；奥思曼·雷津 动态寄存器自动机的验证。 （英语） Zbl 1360.68575号 Raman，Venkatesh（ed.）等人，第34届软件技术和理论计算机科学基础国际会议，FSTTCS 2014，印度新德里，2014年12月15日至17日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-77-4）。LIPIcs–莱布尼茨国际信息学论文集29，653-665（2014）。MSC公司：60年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人，LIPIcs——莱布尼茨国际程序。通知。29653--665（2014年；Zbl 1360.68575） 全文： DOI程序
帕罗什·阿齐兹·阿卜杜拉；穆罕默德·法乌齐（Mohamed Faouzi Atig）；奥思曼·雷津；贾里·斯坦曼 基于预算的模型检查下推系统。 （英语） Zbl 1317.68106号 形式方法系统。设计。 45，第2期，273-301（2014）.MSC公司：60年第68季度 68问题85 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人，《形式方法系统》。设计。45，第2号，273--301（2014；Zbl 1317.68106） 全文： DOI程序
帕罗什·阿齐兹·阿卜杜拉；卢卡什·霍利克；本特·琼森；Ondřej Lengál；聪奎·特里恩；汤姆·沃纳 通过扩展森林自动机验证具有有序数据的堆操作程序。 （英语） Zbl 1344.68135号 Hung，Dang Van（编辑）等人，《用于验证和分析的自动化技术》。2013年10月15日至18日，第11届国际研讨会，2013年ATVA，越南河内。诉讼程序。柏林：施普林格出版社（ISBN 978-3-319-02443-1/pbk）。计算机科学课堂讲稿8172224-239（2013）。MSC公司：60年第68季度 68第05页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人，Lect。注释计算。科学。8172224--239（2013；Zbl 1344.68135） 全文： DOI程序 链接
理查德·梅尔（Richard M.Mayr）。；帕罗什·阿齐兹·阿卜杜拉 定价定时Petri网。 （英语） Zbl 1314.68199号 日志。方法计算。科学。 9，第4号，第10号论文，51页（2013）.MSC公司：68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.M.Mayr}和\textit{P.A.Abdulla}，Log。方法计算。科学。9，第4号，第10号论文，51页（2013；Zbl 1314.68199） 全文： DOI程序 arXiv公司
帕罗什·阿齐兹·阿卜杜拉；弗雷德里克·哈齐扎；卢卡什·霍利克；本特·琼森；艾哈迈德·雷兹 一种用于高度并发数据结构的集成规范和验证技术。 （英语） Zbl 1381.68141号 Piterman，Nir（编辑）等人，《系统构建和分析的工具和算法》。2013年3月16日至24日，第19届国际会议（TACAS 2013）在意大利罗马举行，作为欧洲软件理论与实践联合会议（ETAPS 2013）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-36741-0/pbk）。计算机科学课堂讲稿7795，324-338（2013）。MSC公司：60年第68季度 68第05页 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人，Lect。注释计算。科学。7795，324--338（2013；Zbl 1381.68141） 全文： DOI程序 链接
帕罗什·阿齐兹·阿卜杜拉；穆罕默德·法乌齐（Mohamed Faouzi Atig）；贾里·斯坦曼 密集时间下推自动机。 （英语） Zbl 1360.68535号 2012年6月25日至28日，克罗地亚杜布罗夫尼克，2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2012。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-0-7695-4769-5）。35-44 (2012).MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人，摘自：2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集，2012年LICS，克罗地亚杜布罗夫尼克，2012年6月25日至28日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。35-44（2012年；Zbl 1360.68535） 全文： DOI程序
帕罗什·阿齐兹·阿卜杜拉；穆罕默德·法乌齐（Mohamed Faouzi Atig）；乔纳森·塞德伯格 定时有损信道系统。 （英语） 兹比尔1354.68163 D’Souza，Deepak（编辑）等人，IARCS软件技术和理论计算机科学基础年会（FSTTCS 2012）。根据2012年12月15日至17日在印度海得拉巴举行的第三十二届会议上的发言选出的论文。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-47-7）。LIPIcs–莱布尼茨国际信息学论文集18374-386（2012）。MSC公司：60年第68季度 68个M12 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人，LIPIcs——莱布尼茨国际程序。通知。18、374--386（2012年；Zbl 1354.68163） 全文： DOI程序
帕罗什·阿齐兹·阿卜杜拉；乔治·德尔扎诺；奥思曼·雷津；阿诺德·桑尼尔；里卡多·特拉维索 关于定时自组网的验证。 （英语） Zbl 1348.68115号 Fahrenberg，Uli（编辑）等人，《时间系统的形式化建模和分析》。2011年9月21日至23日，第九届国际会议，FORMATS 2011，丹麦奥尔堡。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-24309-7/pbk）。计算机科学课堂讲稿6919，256-270（2011）。MSC公司：60年第68季度 68个M12 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人，Lect。注释计算。科学。6919、256-270（2011年；Zbl 1348.68115） 全文： DOI程序
帕罗什·阿齐兹·阿卜杜拉 好的（更好的）准序跃迁系统。 （英语） Zbl 1207.68219号 牛市。符号。日志。 16，第4期，457-515（2010）.MSC公司：68问题85 2012年第68季度 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}，公牛。符号。日志。16，第4号，457--515（2010；Zbl 1207.68219） 全文： DOI程序
帕罗什·阿齐兹·阿卜杜拉；帕维尔·科卡尔；易、王 具有值复制的R自动机的普遍性。 （英语） Zbl 1347.68203号 Habermehl，P.（ed.）等人，第八、第九和第十届无限状态系统验证国际研讨会会议记录（INFINITY 2006、2007、2008），德国波恩，2006年8月26日，葡萄牙里斯本，2007年9月8日，加拿大多伦多，2008年8月23日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记239131-141（2009）。MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人，电子。注释Theor。计算。科学。239131--141（2009年；Zbl 1347.68203） 全文： DOI程序
阿卜杜拉，帕罗什A。；艾哈迈德·博阿贾尼；卢卡什·霍利克；丽莎·卡蒂；汤姆·沃纳 在树自动机上计算模拟。减少树自动机的有效技术。 （英语） Zbl 1134.68391号 Ramakrishnan，C.R.（编辑）等人，《系统构建和分析的工具和算法》。2008年3月29日至4月6日在匈牙利布达佩斯举行的第14届国际会议TACAS 2008，是欧洲软件理论与实践联合会议ETAPS 2008的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-78799-0/pbk）。计算机科学课堂讲稿4963，93-108（2008）。MSC公司：60年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人，Lect。注释计算。科学。4963，93——108（2008年；兹bl 1134.68391） 全文： DOI程序
帕罗什·阿齐兹·阿卜杜拉；约翰·德奈克斯；普里塔·马哈塔；阿莱塔·奈伦 使用前向可达性分析验证定时Petri网。 （英语） Zbl 1168.68434号 Nord.J.计算。 14，编号1-2，1-42（2007）.MSC公司：68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人，Nord.J.Compute。14，编号1--2，1--42（2007；Zbl 1168.68434）
帕罗什·阿齐兹·阿卜杜拉 参数化定时系统的验证。 （英语） Zbl 1175.68254号 Pettersson，Paul（编辑）等，时间系统的形式化建模和分析。第三届国际会议，FORMATS 2005，乌普萨拉，瑞典，2005年9月26-28日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-30946-2/pbk）。计算机科学课堂讲稿382995-97（2005）。MSC公司：60年第68季度 68个M12 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}，莱克特。注释计算。科学。3829，95-97（2005；Zbl 1175.68254） 全文： DOI程序
帕罗什·阿齐兹·阿卜杜拉；约翰·德奈克斯；约尔·瓦克宁；詹姆斯·沃雷尔 时间自动机通过通道机器的可决定性和复杂性结果。 （英语） Zbl 1085.68078号 Caires，Luís（编辑）等人，《自动化，语言和编程》。2005年7月11日至15日，葡萄牙里斯本，第32届国际学术讨论会，ICALP 2005。诉讼程序。柏林：施普林格出版社（ISBN 3-540-27580-0/pbk）。计算机科学课堂讲稿35801089-1101（2005）。MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人，Lect。注释计算。科学。35801089--1101（2005；Zbl 1085.68078） 全文： DOI程序
帕罗什·阿齐兹·阿卜杜拉；Legay、Axel；德奥索，朱利安；艾哈迈德·雷兹 树型传感器的基于仿真的迭代。 （英语） Zbl 1087.68052号 Halbwachs，Nicolas（ed.）等人，《系统构建和分析的工具和算法》。2005年4月4日至8日在英国爱丁堡举行的第11届国际会议，TACAS 2005，是欧洲软件理论与实践联合会议（ETAPS 2005）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-25333-5/pbk）。计算机科学课堂讲稿3440，30-44（2005）。MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人，Lect。注释计算。科学。3440，30--44（2005；Zbl 1087.68052） 全文： DOI程序
帕罗什·阿齐兹·阿卜杜拉；奥罗雷·科伦·安尼奇尼；艾哈迈德·博阿贾尼；本特·琼森 使用前向可达性分析来验证有损信道系统。 （英语） Zbl 1073.68675号 形式方法系统。设计。 25，第1号，39-65（2004）.MSC公司：60年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人，《形式方法系统》。设计。25，第1号，39--65（2004；Zbl 1073.68675） 全文： DOI程序
帕罗什·阿齐兹·阿卜杜拉；本特·琼森；马库斯·尼尔森；德奥索，朱利安 常规模型检查的算法改进。 （英语） Zbl 1278.68150号 Hunt，Warren A.jun.（编辑）等人，《计算机辅助验证》。第15届国际会议，2003年CAV，美国科罗拉多州博尔德，2003年7月8-12日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40524-0/pbk）。莱克特。注释计算。科学。2725, 236-248 (2003).MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人，Lect。注释计算。科学。2725236--248（2003年；Zbl 1278.68150） 全文： DOI程序
帕罗什阿齐兹·阿卜杜拉；本特·琼森；普里塔·马哈塔；德奥索，朱利安 定期树模型检查。 （英语） Zbl 1010.68087号 Brinksma，Ed（编辑）等人，《计算机辅助验证》。2002年7月27日至31日，丹麦哥本哈根，第14届国际会议，CAV 2002。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2404, 555-568 (2002).MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛P.Aziz Abdulla｝等人，Lect。注释计算。科学。2404、555--568（2002年；Zbl 1010.68087） 全文： 链接
帕罗什·阿齐兹·阿卜杜拉；采拉人、库尔利斯人；本特·琼森；Tsay，Yih-Kuen先生 具有良好拟序域的程序的算法分析。 （英语） Zbl 1046.68567号 Inf.计算。 160，编号1-2，109-127（2000）.MSC公司：65年第68季度 60年第68季度 03B25号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人，《信息计算》。160，编号1--2，109-127（2000；Zbl 1046.68567） 全文： DOI程序
帕罗什·阿卜杜拉；克里斯特尔·拜尔；伊耶，普鲁索塔曼；本特·琼森 概率有损信道系统的推理。 （英语） Zbl 0999.68145号 Palamidessi，Catuscia（编辑），CONCUR 2000-并发理论。2000年8月22日至25日，第11届国际会议，美国宾夕法尼亚州大学公园。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1877, 320-333 (2000).MSC公司：68问题85 60年第68季度 65年第68季度 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{P.Abdulla}等人，Lect。注释计算。科学。1877320--333（2000年；Zbl 0999.68145）