杰弗里·汉密尔顿。（编辑）；Temesghen Kahsai（编辑）；毛里齐奥·普罗埃蒂（编辑） 2022年4月3日，德国慕尼黑，HCVS/VPT 2022，第九届验证与合成Horn条款研讨会和第十届验证与程序转换国际研讨会会议记录。 （英语） Zbl 1522.68032号 理论计算机科学电子论文集（EPTCS）373.滑铁卢：开放出版协会（OPA）。第62页。，仅电子化、开放存取（2022年）。MSC公司：68-06 68号30 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{G.W.Hamilton}（ed.）等人，《验证与合成用Horn条款第九次研讨会和验证与程序转换第十次国际研讨会会议记录》，HCVS/VPT 2022，德国慕尼黑，2022年4月3日。滑铁卢：开放出版协会（OPA）（2022；Zbl 1522.68032） 全文： 内政部 arXiv公司 链接
皮埃尔·甘蒂（编辑）；黛拉·莫妮卡，达里奥（编辑） 第13届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2022，西班牙马德里，2022年9月21-23日。 （英语） Zbl 1522.68028号 理论计算机科学电子论文集（EPTCS）370.滑铁卢：开放出版协会（OPA）。第228页。，仅电子化、开放存取（2022年）。MSC公司：68-06 65年第68季度 60年第68季度 91A80型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit｛P.Ganty｝（编辑）和\textit｛D.Della Monica｝（编辑），第13届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2022，西班牙马德里，2022年9月21-23日。滑铁卢：开放出版协会（OPA）（2022；Zbl 1522.68028） 全文： 内政部 arXiv公司 链接
皮埃尔·甘蒂（编辑）；大卫·布雷索林（编辑） 2021年9月20日至22日，在意大利帕多瓦举行的第十二届游戏、自动机、逻辑和形式验证国际研讨会论文集。 （英语） 兹比尔1489.68014 理论计算机科学电子论文集（EPTCS）346.滑铁卢：开放出版协会（OPA）。第307页。，仅电子化、开放存取（2021年）。MSC公司：68-06 65年第68季度 60年第68季度 91A80型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{P.Ganty}（编辑）和\textit{D.Bresolin}（主编），第十二届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF，意大利帕多瓦，2021年9月20-22日。滑铁卢：开放出版协会（OPA）（2021；Zbl 1489.68014） 全文： 内政部 链接
侯赛因·霍贾特（编辑）；比肖克桑·卡夫（编辑） 2021年3月28日，第八届验证和合成Horn条款研讨会论文集，HCVS，虚拟版。 （英语） Zbl 1489.68020号 理论计算机科学电子论文集（EPTCS）344.滑铁卢：开放出版协会（OPA）。108页。，仅电子化、开放存取（2021年）。MSC公司：68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{H.Hojjat}（ed.）和\textit{B.Kafle}（edi.），《验证和合成Horn子句第八次研讨会论文集》，HCVS，虚拟，2021年3月28日。滑铁卢：开放出版协会（OPA）（2021；Zbl 1489.68020） 全文： 内政部 链接
阿列克谢·利西萨（编辑）；安德烈·奈米提克（Andrei P.Nemytykh）。（编辑） 2021年3月27日至28日，卢森堡，VPT，第九届核查和项目转换国际研讨会会议记录。 （英语） Zbl 1489.68026号 理论计算机科学电子论文集（EPTCS）341.滑铁卢：开放出版协会。第94页。，仅电子化、开放存取（2021年）。MSC公司：68-06 68号30 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Lisitsa}（编辑）和\textit{A.P.Nemytykh}（主编），第九届验证和程序转换国际研讨会会议记录，卢森堡VPT，卢森堡，2021年3月27日至28日。滑铁卢：开放出版协会（OPA）（2021；Zbl 1489.68026） 全文： 内政部 链接
Jean-Francois拉斯金（编辑）；大卫·布雷索林（编辑） 第十一届游戏、自动机、逻辑和形式验证国际研讨会会议记录，2020年9月21日至22日，比利时布鲁塞尔，GandALF 2020。 （英语） Zbl 1466.68026号 理论计算机科学电子论文集（EPTCS）326.滑铁卢：开放出版协会（OPA）。第233页。，仅电子化、开放存取（2020年）。MSC公司：68-06 65年第68季度 60年第68季度 91A80型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.-F.Raskin}（编辑）和\textit{D.Bresolin}（主编），第十一届游戏、自动机、逻辑和形式验证国际研讨会论文集，《甘道夫2020》，比利时布鲁塞尔，2020年9月21日至22日。滑铁卢：开放出版协会（OPA）（2020；Zbl 1466.68026） 全文： 内政部 arXiv公司 链接
劳伦·弗里堡（编辑）；马蒂亚斯·海兹曼（编辑） 2020年4月25日至26日，爱尔兰都柏林，《2020年VPT/HCVS》，第八届核查与程序转换国际研讨会和第七届霍恩条款核查与合成研讨会会议记录。 （英语） Zbl 1466.68013号 理论计算机科学电子论文集（EPTCS）320.滑铁卢：开放出版协会（OPA）。127页。，仅电子化、开放存取（2020年）。MSC公司：68-06 68号30 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{L.Fribourg}（ed.）和textit{M.Heizmann}（edi.），第八届验证和程序转换国际研讨会和第七届验证和合成Horn条款研讨会会议记录，VPT/HCVS 2020，爱尔兰都柏林，2020年4月25日至26日。滑铁卢：开放出版协会（OPA）（2020；Zbl 1466.68013） 全文： 内政部 arXiv公司 链接
伊曼纽尔·德·安吉利斯（编辑）；格里戈里·费迪尤科维奇（编辑）；尼科斯·齐夫列科斯（编辑）；马蒂亚斯·乌尔布里奇（编辑） 第六次霍恩条款验证与合成研讨会会议记录，2019年HCVS，第三次研讨会《程序等价性和关系推理》，PERR 2019，捷克共和国布拉格，2019年4月6日至7日。 （英语） Zbl 1441.68008号 理论计算机科学电子论文集（EPTCS）296.滑铁卢：开放出版协会。75页。，仅电子、开放存取（2019年）。MSC公司：68-06 03B70号 68号30 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{E.De Angelis}（ed.）等人，第六次霍恩条款验证与合成研讨会会议记录，2019年HCVS，以及第三次研讨会《程序等价性和关系推理》，PERR 2019，捷克共和国布拉格，2019年4月6-7日。滑铁卢：开放出版协会（OPA）（2019；Zbl 1441.68008） 全文： 内政部 arXiv公司 链接
杰罗姆·勒鲁（编辑）；Jean-Francois拉斯金（编辑） 第十届游戏、自动机、逻辑和形式验证国际研讨会会议记录，2019年9月2日至3日，法国波尔多，GandALF 2019。 （英语） Zbl 1436.68031号 理论计算机科学电子论文集（EPTCS）305.滑铁卢：开放出版协会（OPA）。182页。，仅电子、开放存取（2019年）。MSC公司：68-06 65年第68季度 60年第68季度 91A80型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.Leroux}（编辑）和\textit{J.-F.Raskin}（主编），第十届游戏、自动机、逻辑和形式验证国际研讨会论文集，2019年甘道夫，法国波尔多，2019月2-3日。滑铁卢：开放出版协会（OPA）（2019；Zbl 1436.68031） 全文： 内政部 arXiv公司 链接
Temesghen Kahsai（编辑）；维达尔，德语（编辑） 2018年7月13日，英国牛津大学，2018年HCVS，第五届霍恩条款验证与合成研讨会会议记录。 （英语） Zbl 1441.68010号 理论计算机科学电子论文集（EPTCS）278.滑铁卢：开放出版协会（OPA）。第48页。，仅电子版，开放存取（2018年）。MSC公司：68-06 03B70号 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{T.Kahsai}（ed.）和\textit{G.Vidal}（edi.），《验证和合成Horn子句第五次研讨会论文集》，HCVS 2018，英国牛津，2018年7月13日。滑铁卢：开放出版协会（OPA）（2018；Zbl 1441.68010） 全文： 内政部 arXiv公司 链接
安德烈亚·奥兰迪尼（编辑）；马丁·齐默尔曼（编辑） 第九届游戏、自动机、逻辑和形式验证国际研讨会会议记录，2018年9月26日至28日，德国萨尔布吕肯，GandALF 2018。 （英语） Zbl 1436.68032号 理论计算机科学电子论文集（EPTCS）277.滑铁卢：开放出版协会（OPA）。第279页。，仅电子版，开放存取（2018年）。MSC公司：68-06 65年第68季度 60年第68季度 91A80型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Orlandini}（编辑）和\textit{M.Zimmermann}（编者），第九届游戏、自动机、逻辑和形式验证国际研讨会会议记录，《2018年甘道夫》，德国萨尔布吕肯，2018年9月26日至28日。滑铁卢：开放出版协会（OPA）（2018；Zbl 1436.68032） 全文： 内政部 arXiv公司 链接
帕特里夏·鲍耶（编辑）；安德烈亚·奥兰迪尼（编辑）；圣彼得罗，皮耶路易吉（编辑） 第八届游戏、自动机、逻辑和形式验证国际研讨会会议记录，2017年9月20日至22日，意大利罗马，GandALF 2017。 （英语） 兹比尔1436.68017 理论计算机科学电子论文集（EPTCS）256.滑铁卢：开放出版协会（OPA）。第296页。，仅电子版，开放访问（2017年）。MSC公司：68-06 65年第68季度 60年第68季度 91A80型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}（ed.）等人，第八届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2017，意大利罗马，2017年9月20-22日。滑铁卢：开放出版协会（OPA）（2017；Zbl 1436.68017） 全文： 内政部 arXiv公司 链接
约翰·加拉赫（John P.Gallagher）。（编辑）；菲利普·吕默（编辑） 2016年4月3日，荷兰埃因霍温举行的2016年HCVS第三次霍恩条款验证与合成研讨会会议记录。 （英语） Zbl 1441.68009号 理论计算机科学电子论文集（EPTCS）219.滑铁卢：开放出版协会（OPA）。第68页。，仅电子版，开放存取（2016年）。MSC公司：68-06 03B70号 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Gallagher}（编辑）和\textit{P.Rümmer}。滑铁卢：开放出版协会（OPA）（2016；Zbl 1441.68009） 全文： 内政部 arXiv公司 链接
坎通纳，多梅尼科（编辑）；乔治·德尔扎诺（编辑） 2016年9月14日至16日，在意大利卡塔尼亚举行的第七届游戏、自动机、逻辑和形式验证国际研讨会会议记录。 （英语） 兹比尔1436.68019 理论计算机科学电子论文集（EPTCS）226.滑铁卢：开放出版协会（OPA）。315页。，仅电子版，开放存取（2016年）。MSC公司：68-06 65年第68季度 60年第68季度 91A80型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{D.Cantone}（编辑）和\textit{G.Delzanno}（编），第七届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2016，意大利卡塔尼亚，2016年9月14-16日。滑铁卢：开放出版协会（OPA）（2016；Zbl 1436.68019） 全文： 内政部 arXiv公司 链接
哈维尔·埃斯帕尔扎（编辑）；恩里科·特隆西（编辑） 第六届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2015，热那亚，意大利，2015年9月21日至22日。 （英语） Zbl 1435.68028号 理论计算机科学电子论文集（EPTCS）193.滑铁卢：开放出版协会（OPA）。185页。，仅电子版，开放存取（2015年）。MSC公司：68-06 65年第68季度 60年第68季度 91A80型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.Esparza}（ed.）和textit{E.Tronci}（edi.），第六届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2015，意大利热那亚，2015年9月21日至22日。滑铁卢：开放出版协会（OPA）（2015；Zbl 1435.68028） 全文： 内政部 arXiv公司 链接
尼古拉·比约纳（编辑）；法比奥·菲奥拉万蒂（编辑）；安德烈·里巴尔琴科（编辑）；瓦莱里奥·塞尼（编辑） 2014年7月17日，奥地利维也纳，2014年HCVS，关于验证和合成Horn条款的第一次研讨会会议记录。 （英语） 兹比尔1441.68007 理论计算机科学电子论文集（EPTCS）169.滑铁卢：开放出版协会（OPA）。第81页。，仅电子版，开放存取（2014年）。MSC公司：68-06 03B70号 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{N.Björner}（ed.）等人，《验证和合成Horn条款第一次研讨会会议记录》，HCVS 2014，奥地利维也纳，2014年7月17日。滑铁卢：开放出版协会（OPA）（2014；Zbl 1441.68007） 全文： 内政部 arXiv公司 链接
阿德里亚诺·佩隆（编辑）；卡拉广场（编辑） 第五届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2014，意大利维罗纳，2014年9月10-12日。 （英语） Zbl 1435.68038号 理论计算机科学电子论文集（EPTCS）161.滑铁卢：开放出版协会（OPA）。第274页。，仅电子版，开放存取（2014年）。MSC公司：68-06 65年第68季度 60年第68季度 91A80型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{A.Peron}（编辑）和\textit{C.Piazza}（编），第五届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2014，意大利维罗纳，2014年9月10-12日。滑铁卢：开放出版协会（OPA）（2014；Zbl 1435.68038） 全文： 内政部 arXiv公司 链接
法比奥·莫加维罗（编辑）；阿尼埃洛·穆拉诺（编辑）；莫舍·瓦尔迪。（编辑） 2014年4月5日至6日，法国格勒诺布尔，第二届战略推理国际研讨会论文集，SR'14。 （英语） Zbl 1433.68028号 理论计算机科学电子论文集（EPTCS）146.滑铁卢：开放出版协会（OPA）。111页。，仅电子版，开放存取（2014年）。MSC公司：68-06 60年第68季度 91A80型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{F.Mogavero}（ed.）等人，《第二届战略推理国际研讨会论文集》，SR'14，法国格勒诺布尔，2014年4月5-6日。滑铁卢：开放出版协会（OPA）（2014；Zbl 1433.68028） 全文： 内政部 arXiv公司 链接
埃蒂安·安德烈（编辑）；戈兰·弗雷斯（编辑） 2014年4月6日，法国格勒诺布尔，SynCoP’14，第一届连续参数合成国际研讨会论文集。 （英语） Zbl 1433.68005号 理论计算机科学电子论文集（EPTCS）145.滑铁卢：开放出版协会（OPA）。第79页。，仅电子版（2014年）。MSC公司：68-06 60年第68季度 68问题85 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{埃米·安德烈}（ed.）和\textit{G.Frehse}（edi.），连续参数合成第一届国际研讨会论文集，SynCoP'14，法国格勒诺布尔，2014年4月6日。滑铁卢：开放出版协会（OPA）（2014；Zbl 1433.68005） 全文： 内政部 arXiv公司 链接
卢卡斯·霍利克（编辑）；洛伦佐·克莱门特（编辑） 2013年10月14日，越南河内，第15届无限状态系统验证国际研讨会论文集，INFINITY’13。 （英语） Zbl 1433.68019号 理论计算机科学电子论文集（EPTCS）140.滑铁卢：开放出版协会（OPA）。第87页。，仅电子版，开放存取（2014年）。MSC公司：68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{L.Holik}（编辑）和textit{L.Clemente}（编），第15届无限状态系统验证国际研讨会会议记录，INFINITY’13，越南河内，2013年10月14日。滑铁卢：开放出版协会（OPA）（2014；Zbl 1433.68019） 全文： 内政部 arXiv公司 链接
加布里埃尔，小狗（编辑）；蒂齐亚诺别墅（编辑） 2013年8月29日至31日，意大利多洛米特斯Borca di Cadore，GandALF 2013，第四届游戏、自动机、逻辑和形式验证国际研讨会论文集。 （英语） Zbl 1415.68045号 理论计算机科学电子论文集（EPTCS）119.滑铁卢：开放出版协会（OPA）。255页。，仅电子版，开放存取（2013年）。MSC公司：68-06 65年第68季度 60年第68季度 91A80型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{G.Puppis}（编辑）和\textit{T.Villa}（编），第四届游戏、自动机、逻辑和形式验证国际研讨会论文集，GandALF 2013，Borca di Cadore，Dolomites，意大利，2013年8月29日至31日。滑铁卢：开放出版协会（OPA）（2013；Zbl 1415.68045） 全文： 内政部 arXiv公司 链接
法比奥·莫加维罗（编辑）；阿尼埃洛·穆拉诺（编辑）；莫舍·瓦尔迪。（编辑） 2013年3月16日至17日，意大利罗马，第一届战略推理国际研讨会会议记录。 （英语） Zbl 1415.68040号 理论计算机科学电子论文集（EPTCS）112.滑铁卢：开放出版协会（OPA）。122页。，仅电子版，开放存取（2013年）。MSC公司：68-06 60年第68季度 68T42型 91A80型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{F.Mogavero}（ed.）等人，《第一届战略推理国际研讨会论文集》，意大利罗马，2013年3月16-17日。滑铁卢：开放出版协会（OPA）（2013；Zbl 1415.68040） 全文： 内政部 arXiv公司 链接
穆罕默德·法乌齐（Mohamed Faouzi Atig）（编辑）；艾哈迈德·雷兹（编辑） 第十四届国际研讨会会议记录无限状态系统验证，法国巴黎，2012年8月27日。 （英语） Zbl 1415.68012号 理论计算机科学电子论文集（EPTCS）107.滑铁卢：开放出版协会（OPA）。75页。，仅电子版，开放存取（2013年）。MSC公司：68-06 60年第68季度 68问题85 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.F.Atig}（编辑）和textit{A.Rezine}（编），第14届国际研讨会会议记录无限状态系统的验证，法国巴黎，2012年8月27日。滑铁卢：开放出版协会（OPA）（2013；Zbl 1415.68012） 全文： 内政部 arXiv公司 链接
马可·费拉（编辑）；阿尼埃洛·穆拉诺（编辑） 2012年9月6日至8日，意大利那不勒斯，第三届游戏、自动机、逻辑和形式验证国际研讨会。诉讼程序。 （英语） Zbl 1392.68016号 理论计算机科学电子论文集（EPTCS）96.滑铁卢：开放出版协会（OPA）。260页。（2012年）。MSC公司：68-06 65年第68季度 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Faella}（编辑）和\textit{A.Murano}（主编），第三届游戏、自动机、逻辑和形式验证国际研讨会，意大利那不勒斯，2012年9月6-8日。诉讼程序。滑铁卢：开放出版协会（OPA）（2012；Zbl 1392.68016） 全文： 内政部 arXiv公司 链接
于、方（编辑）；王超（编辑） 2011年10月10日，第十三届无限状态系统验证国际研讨会，台湾台北。诉讼程序。 （英语） Zbl 1392.68037号 理论计算机科学电子论文集（EPTCS）73.滑铁卢：开放出版协会（OPA）。93页。，开放存取（2011）。MSC公司：68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{F.Yu}（编辑）和\textit{C.Wang}（主编），第十三届无限状态系统验证国际研讨会，台湾台北，2011年10月10日。诉讼程序。滑铁卢：开放出版协会（OPA）（2011；Zbl 1392.68037） 全文： 内政部 arXiv公司 链接
乔瓦娜·达戈斯蒂诺（编辑）；萨尔瓦多拉托雷（编辑） 2011年6月15日至17日在意大利米诺里举行的第二届游戏、自动机、逻辑和形式验证国际研讨会。诉讼程序。 （英语） Zbl 1392.68014号 理论计算机科学电子论文集（EPTCS）54.滑铁卢：开放出版协会（OPA）。第277页。，开放存取（2011）。MSC公司：68-06 65年第68季度 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{G.D'Agostino}（编辑）和\textit{S.La Torre}（编），第二届游戏、自动机、逻辑和形式验证国际研讨会，意大利米诺里，2011年6月15-17日。诉讼程序。滑铁卢：开放出版协会（OPA）（2011；Zbl 1392.68014） 全文： 内政部 arXiv公司 链接