约尔·瓦克宁;阿默里·波利;乔昂·苏萨·平托;詹姆斯·沃雷尔 关于矩阵指数半群成员的可判定性。 （英语） 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） 全文： 内政部
纳塔娜·菲亚尔科夫;约尔·瓦克宁;阿默里·波利;乔昂·苏萨·平托;詹姆斯·沃雷尔 关于线性时不变系统可达性的判定性。 （英语） 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年；兹bl 07120143） 全文： 内政部 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） 全文： 内政部 arXiv公司 链接