沃伊切赫,切尔文斯基;Sławomir拉索塔;兰科·拉齐奇;杰罗姆·勒鲁;菲利普·马佐维耶基 Petri网的可达性问题不是基本的。 (英语) Zbl 1433.68245号 Charikar,Moses(ed.)等人,第51届ACM SIGACT计算理论研讨会论文集,STOC’19,美国亚利桑那州凤凰城,2019年6月23日至26日。纽约州纽约市:计算机协会(ACM)。24-33 (2019).MSC公司:68问题85 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Czerwinn ski}等人,in:第51届ACM SIGACT计算理论年度研讨会论文集,STOC’19,美国亚利桑那州凤凰城,2019年6月23日至26日。纽约州纽约市:计算机协会(ACM)。24-33(2019年;Zbl 1433.68245) 全文: 内政部 arXiv公司 链接
杰罗姆·勒鲁 具有状态的多项式向量加法系统。 (英语) Zbl 1499.68229号 Chatzigiannakis,Ioannis(编辑)等人,第45届自动化、语言和编程国际研讨会。2018年7月9日至13日,捷克共和国布拉格,ICALP 2018。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。107,第134条,第13页(2018年)。MSC公司:68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Leroux},LIPIcs——莱布尼茨国际程序。通知。107,第134条,第13页(2018;Zbl 1499.68229) 全文: 内政部
杰罗姆·勒鲁;西尔万·施密茨 向量加法系统可达性的解密。 (英语) 兹比尔1392.68308 2015年第30届ACM/IEEE计算机科学逻辑年度研讨会论文集,LICS 2015,日本京都,2015年7月6日至10日。加利福尼亚州洛斯·阿拉米托斯:IEEE计算机学会(ISBN 978-1-4799-8875-4)。56-67 (2015).MSC公司:68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Leroux}和\textit{S.Schmitz},摘自:2015年第30届ACM/IEEE计算机科学逻辑研讨会论文集,2015年LICS,日本京都,2015年7月6日至10日。加利福尼亚州洛斯·阿拉米托斯:IEEE计算机协会。56-67(2015;Zbl 1392.68308) 全文: 内政部 arXiv公司
亚历山大·休纳;杰罗姆·勒鲁;安卡·穆斯科尔;格雷戈伊尔·萨特雷 通信下推系统的可达性分析。 (英语) Zbl 1248.68330号 日志。方法计算。科学。 8,第3号,第23号文件,第20页(2012年).MSC公司:60年第68季度 68号30 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Heußner}等人,Log。方法计算。科学。8,第3号,第23号论文,20页(2012;Zbl 1248.68330) 全文: 内政部