鲁帕克·马朱姆达尔；约尔·瓦克宁；阿默里·波利；詹姆斯·沃雷尔 线性混合自动机的代数不变量。 （英语） Zbl 07559488号 Konnov，Igor（编辑）等人，第31届并发理论国际会议。CONCUR 2020，2020年9月1日至4日，奥地利维也纳，虚拟会议。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。171，第32条，第17页（2020年）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Majumdar}等人，LIPIcs--Leibniz Int.Proc。通知。171，第32条，第17页（2020；Zbl 07559488） 全文： DOI程序 arXiv公司
约尔·瓦克宁；阿默里·波利；乔昂·苏萨·平托；詹姆斯·沃雷尔 关于矩阵指数半群成员的可判定性。 （英语） Zbl 1481.20197号 美国临床医学杂志 66，第3号，第15条，第24页（2019）.MSC公司：2005年5月20日 20平方米 03天35分 15甲16 PDF格式BibTeX公司 XML格式引用 \textit{J.Ouaknine}等人，J.ACM 66，第3号，第15条，第24页（2019年；Zbl 1481.20197） 全文： DOI程序
纳塔娜·菲亚尔科夫；约尔·瓦克宁；阿默里·波利；乔昂·苏萨·平托；詹姆斯·沃雷尔 线性时不变系统可达性的可判定性。 （英语） Zbl 07120143号 2019年4月16日至18日，加拿大魁北克蒙特利尔，HSCC 2019，第22届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（ACM）。77-86（2019年）。MSC公司：65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{N.Fijalkow}等人，in：第22届ACM混合系统国际会议论文集：计算与控制，HSCC 2019，蒙特利尔，魁北克，加拿大，2019年4月16-18日。纽约州纽约市：计算机协会（ACM）。77-86（2019年；Zbl 07120143） 全文： DOI程序 arXiv公司 链接
约尔·瓦克宁；阿默里·波利；乔昂·苏萨·平托；詹姆斯·沃雷尔 矩阵指数方程的可解性。 （英语） Zbl 1395.15012号 2016年7月5日至8日，美国纽约州纽约市，2016年第31届ACM/IEEE计算机科学逻辑研讨会论文集，2016年LICS。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4391-6）。798-806 (2016).MSC公司：15A24号 2005年11月 15甲16 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Ouaknine}等人，摘自：2016年第31届ACM/IEEE年度计算机科学逻辑研讨会论文集，2016年LICS，美国纽约市，2016年7月5-8日。纽约州纽约市：计算机协会（ACM）。798--806（2016；Zbl 1395.15012） 全文： DOI程序 arXiv公司 链接