帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（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程序
帕罗什·阿齐兹·阿卜杜拉;乔治·德尔扎诺;奥思曼·雷津;阿诺德·桑尼尔;里卡多·特拉维索 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程序
理查德·梅尔（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公司
帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;乔纳森·塞德伯格 定时有损信道系统。 （英语） Zbl 1354.68163号 D’Souza，Deepak（ed.）等人，IARCS软件技术和理论计算机科学基础年会（FSTTCS 2012）。根据2012年12月15日至17日在印度海得拉巴举行的第三十二届会议上的发言选出的论文。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-47-7）。LIPIcs–莱布尼茨国际信息学论文集18，374-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 1214.68195号 日志。方法计算。科学。 6，第3号，第14号论文，37页（2010年）.MSC公司：65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Král}等人，《日志》。方法计算。科学。6，第3号，第14号论文，37页（2010年；Zbl 1214.68195） 全文： DOI程序 arXiv公司
帕罗什·阿齐兹·阿卜杜拉;约翰·德奈克斯;普里塔·马哈塔;阿莱塔·奈伦 使用前向可达性分析验证定时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｝等人，《北方计算机》。14，编号1--2，1--42（2007；Zbl 1168.68434）