弗兰蒂舍克·布拉胡德克;陈玉芳;乔利亚特，大卫;沃伊特·哈夫勒纳;卢卡什·霍利克;Ondřej Lengál;尤拉吉·西奇 单词等式与规则约束协同作用。 （英语） Zbl 1529.68331号 Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14000, 403-423 (2023).MSC公司：68瓦32 65年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{F.Blahoudek}等人，Lect。注释计算。科学。14000，403--423（2023；Zbl 1529.68331） 全文： 内政部 arXiv公司
王钦石;安德鲁·W·阿佩尔。 具有串联的数组的解算器。 （英语） Zbl 07695707号 J.汽车。推理 67，第1号，第4号论文，第31页（2023年）.MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{Q.Wang}和\textit{A.W.Appel}，J.Autom。推理67，第1号，第4号论文，第31页（2023；Zbl 07695707） 全文： 内政部
文森佐·阿塞里;马蒂娜·奥利亚罗;阿戈斯蒂诺·科尔特斯;皮埃特罗·费拉拉 关系字符串抽象域。 （英语） Zbl 1498.68070号 Finkbeiner，Bernd（编辑）等人，《验证、模型检查和抽象解释》。第23届国际会议，VMCAI 2022，费城，宾夕法尼亚州，美国，2022年1月16日至18日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13182, 20-42 (2022).MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{V.Arceri}等人，Lect。注释计算。科学。13182，20--42（2022；Zbl 1498.68070） 全文： 内政部
帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;陈玉芳;比菲省迪普;卢卡什·霍利克;胡登庚;蔡伟伦;吴志林;甄子丹 用平面抽象解决非子串约束。 （英语） 兹比尔1520.68068 哦，Hakjoo（编辑），编程语言和系统。第19届亚洲研讨会，APLAS 2021，芝加哥，伊利诺伊州，美国，2021年10月17日至18日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13008，305-320（2021）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人，Lect。注释计算。科学。13008305-320（2021；Zbl 1520.68068） 全文： 内政部
卢卡·内格里尼;文森佐·阿塞里;皮埃特罗·费拉拉;阿戈斯蒂诺·科尔特斯 字符串静态分析的孪生自动机和正则表达式。 （英语） Zbl 1472.68039号 Henglein，Fritz（编辑）等人，《验证、模型检验和抽象解释》。第22届国际会议，VMCAI 2021，丹麦哥本哈根，2021年1月17日至19日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12597, 267-290 (2021).MSC公司：68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Negrini}等人，Lect。注释计算。科学。12597，267--290（2021；Zbl 1472.68039） 全文： 内政部 arXiv公司
安德鲁·雷诺兹;安德烈斯·诺兹利;克拉克·巴雷特;塞萨尔·蒂内利 字符串到代码点转换的决策过程。 （英语） Zbl 07614515号 佩尔蒂埃、尼古拉斯（编辑）等人，《自动推理》。第十届国际联合会议，2020年7月1日至4日，法国巴黎，IJCAR 2020。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。12166, 218-237 (2020).MSC公司：68伏15 PDF格式BibTeX公司 XML格式引用 \textit{A.Reynolds}等人，Lect。注释计算。科学。12166，218--237（2020；Zbl 07614515） 全文： 内政部
帕罗什·阿齐兹·阿卜杜拉;穆罕默德·法乌齐（Mohamed Faouzi Atig）;大卫，弗伦达;克里希纳，Shankara Narayanan 关于字符串约束的可分性问题。 （英语） Zbl 07559472号 Konnov，Igor（编辑）等人，第31届并发理论国际会议。CONCUR 2020，2020年9月1日至4日，奥地利维也纳，虚拟会议。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。171，第16条，第19页（2020）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人，LIPIcs——莱布尼茨国际程序。通知。171，第16条，第19页（2020；Zbl 07559472） 全文： 内政部 arXiv公司