杰罗姆·勒鲁;格雷戈伊尔·萨特雷 具有状态的二维向量加法系统的可达性：一个测试是免费的。 （英语） Zbl 07559493号 Konnov，Igor（ed.）等人，第31届并发理论国际会议。CONCUR 2020，2020年9月1日至4日，奥地利维也纳，虚拟会议。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。171，第37条，第17页（2020年）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Leroux}和\textit{G.Sutre}，LIPIcs——莱布尼茨国际程序。通知。171，第37条，第17页（2020；Zbl 07559493） 全文： 内政部 arXiv公司
文森特·佩内尔;西尔万·萨尔瓦蒂;格雷戈伊尔·萨特雷 关于高阶下推向量加法系统的有界性问题。 （英语） Zbl 1528.68256号 Ganguly，Sumit（编辑）等人，第38届IARCS软件技术和理论计算机科学基础年会，2018年12月11-13日，印度艾哈迈达巴德，FSTTCS 2018。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。122，第44条，第20页（2018年）。MSC公司：68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Penelle}等人，LIPIcs——莱布尼茨国际程序。通知。122，第44条，第20页（2018；Zbl 1528.68256） 全文： 内政部
阿兰·芬克尔;杰罗姆·勒鲁;格雷戈伊尔·萨特雷 具有一次测试和一次重置功能的两台计数器的可达性。 （英语） Zbl 1528.68219号 Ganguly，Sumit（编辑）等人，第38届IARCS软件技术和理论计算机科学基础年会，2018年12月11-13日，印度艾哈迈达巴德，FSTTCS 2018。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。122，第31条，第14页（2018年）。MSC公司：60年第68季度 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Finkel}等人，LIPIcs——莱布尼茨国际程序。通知。122，第31条，第14页（2018；Zbl 1528.68219） 全文： 内政部
杰罗姆·勒鲁;格雷戈伊尔·萨特雷;帕特里克·托茨克 下推向量加法系统的有界性问题。 （英语） Zbl 1471.68170号 Bojañczyk，Mikołaj（编辑）等人，《可达性问题》。2015年9月21日至23日在波兰华沙举行的RP 2015第九届国际研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9328, 101-113 (2015).MSC公司：68问题85 2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Leroux}等人，Lect。注释计算。科学。9328，101-113（2015；Zbl 1471.68170） 全文： 内政部 arXiv公司
杰罗姆·勒鲁;格雷戈伊尔·萨特雷;帕特里克·托茨克 关于一维下推向量加法系统的覆盖性问题。 （英语） Zbl 1440.68177号 Halldórsson，Magnüs M.（编辑）等人，《自动化、语言和编程》。第42届国际学术讨论会，ICALP 2015，日本京都，2015年7月6日至10日。诉讼程序。第二部分。柏林：斯普林格。莱克特。注释计算。科学。9135, 324-336 (2015).MSC公司：68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Leroux}等人，Lect。注释计算。科学。9135，324--336（2015；Zbl 1440.68177） 全文： 内政部 arXiv公司
杰罗姆·勒鲁;M·普拉文。;格雷戈伊尔·萨特雷 下推向量加法系统的超阿克曼界。 （英语） Zbl 1392.68307号 2014年7月14日至18日在奥地利维也纳举行的第二十三届EACSL计算机科学逻辑年会和2014年第二十九届ACM/IEEE计算机科学逻辑研讨会联席会议记录。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-1-4503-2886-9）。第63号文件，第10页（2014年）。MSC公司：68问题85 65年第68季度 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Leroux}等人，in：第二十三届EACSL计算机科学逻辑年会联席会议记录，CSL，2014年第29届ACM/IEEE计算机科学逻辑研讨会，LICS 2014，奥地利维也纳，2014年7月14-18日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。第63号论文，10页（2014；Zbl 1392.68307） 全文： 内政部 哈尔
洛伦佐·克莱门特;弗雷德里克·赫布雷托;格雷戈伊尔·萨特雷 自动机与FIFO和行李通道通信的可决定拓扑。 （英语） 兹比尔1417.68125 Baldan，Paolo（编辑）等人，CONCUR 2014——并发理论。第25届国际会议，CONCUR 2014，罗马，意大利，2014年9月2-5日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8704, 281-296 (2014).MSC公司：68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛L.Clemente｝等人，Lect。注释计算。科学。8704281-296（2014年；兹比尔1417.68125） 全文： 内政部 哈尔
杰罗姆·勒鲁;文森特·佩内尔;格雷戈伊尔·萨特雷 关于向量加法系统的上下文无关性问题。 （英语） Zbl 1366.68210号 2013年6月25日至28日，美国路易斯安那州新奥尔良市杜兰大学2013年第28届ACM/IEEE计算机科学逻辑研讨会论文集。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-0-7695-5020-6）。43-52 (2013).MSC公司：68问题85 2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Leroux}等人，in：2013年6月25日至28日，美国路易斯安那州新奥尔良市杜兰大学，2013年第28届ACM/IEEE计算机科学逻辑研讨会论文集，2013年LICS。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。43-52（2013年；Zbl 1366.68210） 全文： 内政部
洛伦佐·克莱门特;弗雷德里克·赫布雷托;阿梅莉·施泰纳;格雷戈伊尔·萨特雷 通信定时进程的可达性。 （英语） Zbl 1260.68262号 Pfenning，Frank（编辑），《软件科学和计算结构基础》。2013年3月16日至24日在意大利罗马举行的第16届国际会议FOSSACS 2013，是欧洲软件理论与实践联合会议ETAPS 2013的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-37074-8/pbk）。计算机科学课堂讲稿7794，81-96（2013）。MSC公司：68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Clemente}等人，Lect。注释计算。科学。7794、81-96（2013年；Zbl 1260.68262） 全文： 内政部 arXiv公司
杰罗姆·勒鲁;格雷戈伊尔·萨特雷 几乎到处都是平面计数器自动机！ （英语） Zbl 1170.68519号 Peled，Doron A.（编辑）等人，《验证和分析自动化技术》。2005年10月4日至7日，第三届国际研讨会，ATVA 2005，台湾台北。诉讼程序。柏林：施普林格出版社（ISBN 3-540-29209-8/pbk）。计算机科学课堂讲稿3707489-503（2005）。MSC公司：60年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Leroux}和\textit{G.Sutre}，Lect。注释计算。科学。3707489--503（2005年；Zbl 1170.68519） 全文： 内政部
阿兰·芬克尔;S.Purushothaman，Iyer;格雷戈伊尔·萨特雷 良好抽象转换系统：应用于FIFO自动机。 （英语） Zbl 1054.68092号 Inf.计算。 181，第1期，第1-31页（2003年）。MSC公司：68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Finkel}等人，《信息计算》。181，第1号，1--31（2003；Zbl 1054.68092） 全文： 内政部