恩格尔·勒福丘;约尔·瓦克宁;乘务长，大卫;詹姆斯·沃雷尔 多孔不变量。 （英语） Zbl 1493.68117号 Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12760, 172-194 (2021).MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{E.Lefaucheux}等人，Lect。注释计算。科学。12760172-194（2021年；Zbl 1493.68117） 全文： 内政部 arXiv公司
尼尔·德鲁克;何希明;约尔·瓦克宁;米查尔·佩恩;斯特里赫曼（Ofer Strichman） 无人飞行器的循环路线。 （英语） Zbl 1423.68445号 J.计算。系统。科学。 103, 18-45 (2019).MSC公司：68T20型 2017年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Drucker}等人，《计算杂志》。系统。科学。103、18-45（2019年；Zbl 1423.68445） 全文： 内政部 链接
何希明;约尔·瓦克宁;詹姆斯·沃雷尔 关于度量时态逻辑的表达和监控。 （英语） Zbl 1515.68181号 日志。计算方法。科学。 15，第2号，第13号论文，52页（2019年）.MSC公司：第68季度第60季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{H.-M.Ho}等人，日志。计算方法。科学。15，第2号，第13号论文，52页（2019年；Zbl 1515.68181） 全文： arXiv公司
帕特里夏·鲍耶;乌里·法伦贝格;拉森，金·古尔德斯特朗;尼古拉斯·马基;约尔·瓦克宁;詹姆斯·沃雷尔 模型检查实时系统。 （英语） 兹比尔1392.68235 Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。1001-1046 (2018).MSC公司：第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人，in：模型检查手册。查姆：斯普林格。1001--1046（2018；Zbl 1392.68235） 全文： 内政部 哈尔
克里斯蒂娜·帕利卡列娃;约尔·瓦克宁;A.W.罗斯科。 CSP跟踪细化中的SAT求解。 （英语） Zbl 1243.68216号 科学。计算。程序。 77，第10-11号，1178-1197（2012）.MSC公司：第68季度第60季度 68T20型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Palikareva}等人，科学。计算。程序。77，No.10--11，1178--1197（2012；Zbl 1243.68216） 全文： 内政部
丹尼尔·克罗宁;约尔·瓦克宁;斯特里赫曼（Ofer Strichman）;托马斯·沃尔;詹姆斯·沃雷尔 有界模型检查的线性完整性阈值。 （英语） Zbl 1360.68592号 Gopalakrishnan，Ganesh（编辑）等人，《计算机辅助验证》。2011年7月14日至20日，第23届国际会议，CAV 2011，美国犹他州雪鸟。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22109-5/pbk）。计算机科学课堂讲稿6806557-572（2011）。MSC公司：第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Kroening}等人，Lect。注释计算。科学。6806557--572（2011；Zbl 1360.68592） 全文： 内政部