哈维尔·埃斯帕尔扎；斯特凡·贾克斯；米哈伊尔·拉斯金；查纳·韦尔·肯尼迪 验证总体协议的复杂性。 （英语） Zbl 1522.68065号 分布计算。 34，第2期，133-177（2021）.MSC公司：64岁以下 2010年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Esparza}等人，《分布计算》。34、编号2、133--177（2021；Zbl 1522.68065） 全文： 内政部 arXiv公司
米哈伊尔·拉斯金；查纳·韦尔·肯尼迪；哈维尔·埃斯帕尔扎 即时观察Petri网的平坦性和复杂性。 （英语） Zbl 07559501号 Konnov，Igor（编辑）等人，第31届并发理论国际会议。CONCUR 2020，2020年9月1日至4日，奥地利维也纳，虚拟会议。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。171，第45条，第19页（2020年）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit｛M.Raskin｝等人，LIPIcs——莱布尼茨国际期刊。通知。171，第45条，第19页（2020；Zbl 07559501） 全文： 内政部 arXiv公司
哈维尔·埃斯帕尔扎；米哈伊尔·拉斯金；查纳·韦尔·肯尼迪 即时观测Petri网的参数化分析。 （英语） Zbl 07796233号 Donatelli，Susanna（编辑）等人，《Petri网和并发的应用和理论》。第40届国际会议，2019年6月23日至28日，德国亚琛，PETRI NETS 2019，会议记录。查姆：斯普林格。莱克特。注释计算。科学。11522, 365-385 (2019).MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{J.Esparza}等人，Lect。注释计算。科学。11522365-385（2019年；兹bl 07796233） 全文： 内政部 arXiv公司
德塞尔，约格；哈维尔·埃斯帕尔扎 可逆自由选择系统中的可达性。 （英语） Zbl 0773.68056号 计算机科学的理论方面。第8年。交响乐团。，德国汉堡STACS’91。1991年，法律。注释计算。科学。480, 384-397 (1991).MSC公司：68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Desel}和\textit{J.Esparza}，莱克特。注释计算。科学。480、384--397（1991年；Zbl 0773.68056）