卡里莫夫，托格鲁；Edon Kelmendi；约尔·瓦克宁；詹姆斯·沃雷尔 离散线性动力系统的决定因素是什么？ （英语） Zbl 1528.68228号 Raskin，Jean-François（编辑）等人，《系统设计原则》。在托马斯·亨辛格60岁生日之际为他撰写的论文。查姆：斯普林格。莱克特。票据计算。科学。13660, 21-38 (2022).MSC公司：60年第68季度 03B25号 11层37 37B10号机组 93个B03 PDF格式BibTeX公司 XML格式引用 \textit{T.Karimov}等人，Lect。票据计算。科学。13660，21-38（2022；Zbl 1528.68228） 全文： 内政部 arXiv公司
沙乌尔·阿尔马戈；德米特里·奇斯蒂科夫；约尔·瓦克宁；詹姆斯·沃雷尔 离散动力系统的o极小不变量。 （英语） Zbl 1502.68177号 ACM事务处理。计算。日志。 23，第2条，第9条，第20页（2022年）.MSC公司：60年第68季度 03C64号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Almagor}等人，美国医学会Trans。计算。日志。23，第2号，第9条，20页（2022年；Zbl 1502.68177） 全文： 内政部 arXiv公司
恩格尔·勒福丘；约尔·瓦克宁；乘务长，大卫；詹姆斯·沃雷尔 多孔不变量。 （英语） 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公司
约尔·瓦克宁 程序不变量（受邀演讲）。 （英语） Zbl 07649911号 Fokkink，Wan（编辑）等人，第30届并发理论国际会议，CONCUR 2019，荷兰阿姆斯特丹，2019年8月27日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。140，第3条，第1页（2019年）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Ouaknine}，LIPIcs——莱布尼茨国际程序。通知。140，第3条，第1页（2019年；Zbl 07649911） 全文： 内政部
梅兰·侯赛尼；约尔·瓦克宁；詹姆斯·沃雷尔 整数上线性循环的终止。 （英语） Zbl 07561611号 Baier，Christel（ed.）等人，第46届自动化、语言和编程国际学术讨论会，2019年ICALP 2019年7月9日至12日，希腊帕特拉斯。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。132，第118条，第13页（2019年）。MSC公司：68牛顿 68季度xx PDF格式BibTeX公司 XML格式引用 \textit｛M.Hosseini｝等人，LIPIcs——莱布尼茨国际期刊。通知。132，第118条，第13页（2019年；Zbl 07561611） 全文： 内政部 arXiv公司
纳塔娜·菲亚尔科夫；约尔·瓦克宁；阿默里·波利；乔昂·苏萨·平托；詹姆斯·沃雷尔 线性时不变系统可达性的可判定性。 （英语） Zbl 07120143号 第22届ACM混合系统国际会议论文集：计算与控制，HSCC 2019，加拿大魁北克省蒙特利尔，2019年4月16日至18日。纽约州纽约市：计算机协会（ACM）。77-86 (2019).MSC公司：65年第68季度 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{N.Fijalkow}等人，in：第22届ACM混合系统国际会议论文集：计算与控制，HSCC 2019，蒙特利尔，魁北克，加拿大，2019年4月16-18日。纽约州纽约市：计算机协会（ACM）。77-86（2019年；Zbl 07120143） 全文： 内政部 arXiv公司 链接
纳塔娜·菲亚尔科夫；皮埃尔·奥曼；约尔·瓦克宁；阿默里·波利；詹姆斯·沃雷尔 Kannan-Lipton轨道问题的完全半代数不变综合。 （英语） Zbl 1461.37028号 理论计算。系统。 63，第5期，1027-1048（2019）.MSC公司：37C35个 37C79号 68单位05 PDF格式BibTeX公司 XML格式引用 \textit{N.Fijalkow}等人，理论计算。系统。63，第5号，1027--1048（2019；Zbl 1461.37028） 全文： 内政部 arXiv公司 哈尔
尼尔·德鲁克；何希明；约尔·瓦克宁；米查尔·佩恩；斯特里赫曼（Ofer Strichman） 无人飞行器的循环路线。 （英语） Zbl 1423.68445号 J.计算。系统。科学。 103, 18-45 (2019).MSC公司：68T20型 2017年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Drucker}等人，《计算杂志》。系统。科学。103、18-45（2019年；Zbl 1423.68445） 全文： 内政部 链接
何希明；约尔·瓦克宁；詹姆斯·沃雷尔 关于度量时态逻辑的表达和监控。 （英语） Zbl 1515.68181号 日志。方法计算。科学。 15，第2号，第13号论文，52页（2019年）.MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{H.-M.Ho}等人，日志。方法计算。科学。15，第2号，第13号论文，52页（2019年；Zbl 1515.68181） 全文： arXiv公司
沙乌尔·阿尔马戈；德米特里·奇斯蒂科夫；约尔·瓦克宁；詹姆斯·沃雷尔 \线性循环的（o）-最小不变量。 （英语） Zbl 1499.68066号 Chatzigiannakis，Ioannis（编辑）等人，第45届自动化、语言和编程国际研讨会。2018年7月9日至13日，捷克共和国布拉格，ICALP 2018。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。107，第114条，第14页（2018）。MSC公司：68号30 03B25号 03C64号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Almagor}等人，LIPIcs——莱布尼茨国际程序。通知。107，第114条，第14页（2018；Zbl 1499.68066） 全文： 内政部 arXiv公司
埃胡德·赫鲁肖夫斯基；约尔·瓦克宁；阿默里·波利；詹姆斯·沃雷尔 仿射程序的多项式不变量。 （英语） Zbl 1497.68113号 2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集，2018年7月9日至12日，英国牛津，LICS 2018。纽约州纽约市：计算机协会（ACM）。530-539 (2018).MSC公司：68号30 13页第10页 2015年第14季度 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{E.Hrushovski}等人，in：2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集，2018年LICS，英国牛津，2018年7月9日至12日。纽约州纽约市：计算机协会（ACM）。530-539（2018年；兹比尔1497.68113） 全文： 内政部 arXiv公司
安东尼娅·莱切纳；理查德·迈尔；约尔·瓦克宁；阿默里·波利；詹姆斯·沃雷尔 模型检查平面冻结单计数器自动机上的LTL。 （英语） Zbl 1405.68187号 日志。方法计算。科学。 14，第4号，第20号论文，21页（2018年）.MSC公司：60年第68季度 03B25号 03B44号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{A.Lechner}等人，日志。方法计算。科学。14，第4号，第20号论文，21页（2018；Zbl 1405.68187） 全文： 内政部 arXiv公司
帕特里夏·鲍耶；乌里·法伦贝格；金·古德斯特兰·拉森；尼古拉斯·马基；约尔·瓦克宁；詹姆斯·沃雷尔 模型检查实时系统。 （英语） 兹比尔1392.68235 Clarke，Edmund M.（编辑）等人，《模型检查手册》。查姆：施普林格（ISBN 978-3-319-10574-1/hbk；978-3-3169-10575-8/电子书）。1001-1046 (2018).MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人，in：模型检查手册。查姆：斯普林格。1001--1046（2018；Zbl 1392.68235） 全文： 内政部 哈尔
帕特里夏·鲍耶；拉鲁西尼，弗朗索瓦；尼古拉斯·马基；约尔·瓦克宁；詹姆斯·沃雷尔 定时时间逻辑。 （英语） Zbl 1431.03032号 Aceto，Luca（编辑）等人，《模型、算法、逻辑和工具》。纪念金·古德斯特兰·拉森60岁生日的文章。查姆：斯普林格。莱克特。票据计算。科学。10460, 211-230 (2017).MSC公司：03B44号 05年3月 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人，Lect。票据计算。科学。10460211-230（2017；Zbl 1431.03032） 全文： 内政部 哈尔
纳塔娜·菲亚尔科夫；皮埃尔·奥曼；约尔·瓦克宁；阿默里·波利；詹姆斯·沃雷尔 Kannan-Lipton轨道问题的半代数不变综合。 （英语） Zbl 1434.37008号 Vollmer，Heribert（编辑）等人，第34届计算机科学理论方面研讨会（STACS 2017），德国汉诺威，2017年3月8-11日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。66，第29条，第13页（2017年）。MSC公司：37B20型 03B25号 15A72号 37C35个 PDF格式BibTeX公司 XML格式引用 \textit{N.Fijalkow}等人，LIPIcs——莱布尼茨国际程序。通知。66，第29条，第13页（2017年；Zbl 1434.37008） 全文： 内政部
乔尔·瓦克宁；若昂·苏萨·潘特；詹姆斯·沃雷尔 关于连续线性动力系统的多面体逃逸问题。 （英语） Zbl 1369.93143号 2017年4月18日至20日，美国宾夕法尼亚州匹兹堡，2017年HSCC，第20届ACM混合系统国际会议论文集：计算与控制。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4590-3）。11-17 (2017).MSC公司：93B17号机组 93立方厘米 93二氧化碳 90C05（二氧化碳） 60年第68季度 65年20月 PDF格式BibTeX公司 XML格式引用 \textit{J.Ouaknine}等人，in：第20届ACM混合系统国际会议论文集：计算与控制，HSCC 2017，匹兹堡，宾夕法尼亚州，美国，2017年4月18-20日。纽约州纽约市：计算机协会（ACM）。11-17（2017；Zbl 1369.93143） 全文： 内政部 arXiv公司
安东尼娅·莱切纳；理查德·迈尔；约尔·瓦克宁；阿默里·波利；詹姆斯·沃雷尔 单计数器自动机上的模型检查平冻结LTL。 （英语） Zbl 1392.68257号 Desharnais，Josée（编辑）等人，第27届并发理论国际会议，CONCUR 2016，加拿大魁北克市，2016年8月23日至26日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-017-0）。LIPIcs–莱布尼茨国际信息学学报59，第29条，第14页（2016年）。MSC公司：60年第68季度 03B25号 03B44号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{A.Lechner}等人，LIPIcs——莱布尼茨国际程序。通知。59，第29条，第14页（2016；Zbl 1392.68257） 全文： 内政部
兰科·拉齐奇；约尔·瓦克宁；詹姆斯·沃雷尔 芝诺、大力神和九头蛇：安全度量时间逻辑是阿克曼完成的。 （英语） Zbl 1367.68109号 ACM事务处理。计算。日志。 17号第3条第16条第27页（2016年）.MSC公司：65年第68季度 03B44号 2017年第68季度 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Lazić}等人，ACM Trans。计算。日志。17，第3号，第16条，第27页（2016；Zbl 1367.68109） 全文： 内政部
约尔·瓦克宁；乔安·索萨·平托；詹姆斯·沃雷尔 整数线性循环终止时。 （英语） Zbl 1372.68065号 Indyk，Piotr（编辑），第26届ACM-SIAM离散算法年度研讨会论文集，SODA 2015，加州圣地亚哥波特兰，2015年1月4-6日。宾夕法尼亚州费城：工业与应用数学协会（SIAM）；纽约州纽约市：计算机协会（ACM）（ISBN 978-1-61197-374-7；978-1-611197-373-0/电子书）。957-969 (2015).MSC公司：68号30 2005年11月 13第25页 第14页 20号05 PDF格式BibTeX公司 XML格式引用 \textit{J.Ouaknine}等人，in：第26届年度ACM-SIAM离散算法研讨会论文集，2015年SODA，加利福尼亚州圣地亚哥波特兰，2015年1月4-6日。宾夕法尼亚州费城：工业与应用数学协会（SIAM）；纽约州纽约市：计算机协会（ACM）。957-969（2015；Zbl 1372.68065） 全文： 内政部 arXiv公司
阿克沙伊，S。；蒂莫斯·安东尼奥普洛斯；约尔·瓦克宁；詹姆斯·沃雷尔 马尔可夫链的可达性问题。 （英语） Zbl 1302.68204号 信息处理。莱特。 115，第2期，155-158（2015）.MSC公司：87年第68季度 03B25号 60J10型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Akshay}等人，《Inf.过程》。莱特。115，第2号，155--158（2015；Zbl 1302.68204） 全文： 内政部
丹尼尔·本达拉；约尔·瓦克宁 时间逻辑路径检查的复杂性。 （英语） Zbl 1410.68219号 Esparza，Javier（编辑）等人，《自动化、语言和编程》。2014年7月8日至11日，丹麦哥本哈根，第41届国际学术讨论会，ICALP 2014。诉讼，第二部分。柏林：斯普林格。莱克特。票据计算。科学。8573, 86-97 (2014).MSC公司：60年第68季度 03B25号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{D.Bundala}和\textit{J.Ouaknine}，莱克特。票据计算。科学。8573，86-97（2014；Zbl 1410.68219） 全文： 内政部 arXiv公司
约尔·瓦克宁；克里斯蒂娜·帕利卡列娃；A.W.罗斯科。；詹姆斯·沃雷尔 CSP中活锁自由的静态分析框架。 （英语） 兹比尔1274.68250 日志。方法计算。科学。 9，第3号，第24号论文，52页（2013年）.MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Ouaknine}等人，日志。方法计算。科学。9，第3号，第24号论文，52页（2013年；Zbl 1274.68250） 全文： 内政部 arXiv公司
兰科·拉齐奇；约尔·瓦克宁；詹姆斯·沃雷尔 泽诺、赫拉克勒斯和九头蛇：向下理性终止是阿克曼学派的。 （英语） Zbl 1400.03034号 Chatterjee，Krishnendu（编辑）等人，2013年计算机科学数学基础。2013年8月26日至30日，第38届国际研讨会，MFCS 2013，奥地利克洛斯特内堡。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-40312-5/pbk）。计算机科学课堂讲稿8087，643-654（2013）。MSC公司：03B44号 03D20日 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Lazić}等人，Lect。票据计算。科学。8087、643--654（2013年；Zbl 1400.03034） 全文： 内政部
丹尼尔·本达拉；约尔·瓦克宁；詹姆斯·沃雷尔 关于有界模型检查中完整性阈值的大小。 （英语） Zbl 1360.68579号 2012年6月25日至28日，克罗地亚杜布罗夫尼克，2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2012。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-0-7695-4769-5）。155-164 (2012).MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Bundala}等人，摘自：2012年第27届ACM/IEEE计算机科学逻辑研讨会论文集，2012年LICS，克罗地亚杜布罗夫尼克，2012年6月25日至28日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。155-164（2012年；Zbl 1360.68579） 全文： 内政部
克里斯蒂娜·帕利卡列娃；约尔·瓦克宁；A.W.罗斯科。 CSP跟踪细化中的SAT求解。 （英语） Zbl 1243.68216号 科学。计算。程序。 77，第10-11号，1178-1197（2012）.MSC公司：60年第68季度 68T20型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Palikareva}等人，科学。计算。程序。77，No.10--11，1178--1197（2012；Zbl 1243.68216） 全文： 内政部
斯特凡·格勒；克里斯托夫·哈斯；约尔·瓦克宁；詹姆斯·沃雷尔 参数单计数器自动机的分支时间模型检验。 （英语） Zbl 1352.68153号 Birkedal，Lars（编辑），软件科学和计算结构基础。2012年3月24日至4月1日在爱沙尼亚塔林举行的第15届国际会议FOSSACS 2012，该会议是欧洲软件理论与实践联合会议ETAPS 2012的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-28728-2/pbk）。计算机科学课堂讲稿7213，406-420（2012）。MSC公司：60年第68季度 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Göller}等人，Lect。票据计算。科学。7213406-420（2012年；兹比尔1352.68153） 全文： 内政部
Mislove，迈克尔（编辑）；约尔·瓦克宁（编辑） 2011年5月25日至28日，美国宾夕法尼亚州匹兹堡，第27届编程语义数学基础会议记录（MFPS XXVII）。 （英语） 兹比尔1281.68036 理论计算机科学电子笔记276.阿姆斯特丹：爱思唯尔。第351页。，仅电子版（2011年）。MSC公司：68-06 68号30 68问题55 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{M.Mislove}（编辑）和textit{J.Ouaknine}（编），第27届编程语义数学基础会议论文集（MFPS XXVII），美国宾夕法尼亚州匹兹堡，2011年5月25日至28日。阿姆斯特丹：Elsevier（2011；Zbl 1281.68036） 全文： 链接
马克·詹金斯；约尔·瓦克宁；亚历山大·拉比诺维奇；詹姆斯·沃雷尔 度量的Church综合问题。 （英语） Zbl 1247.68166号 Marc Bezem（编辑），《计算机科学逻辑》（CSL’11）。2011年9月12日至15日，第25届国际研讨会，EACSL第20届年会，挪威卑尔根。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-32-3）。LIPIcs–莱布尼茨国际信息学会议录12，307-321，仅电子版（2011年）。MSC公司：60年第68季度 03B25号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{M.Jenkins}等人，LIPIcs——莱布尼茨国际程序。通知。12307-321（2011年；兹bl 1247.68166） 全文： 内政部 链接
丹尼尔·克罗宁；约尔·瓦克宁；斯特里赫曼（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公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Kroening}等人，Lect。票据计算。科学。6806557--572（2011；Zbl 1360.68592） 全文： 内政部
托马斯·布里海耶；劳伦特·多恩；吉勒·杰勒茨；约尔·瓦克宁；Jean-François拉斯金；詹姆斯·沃雷尔 有界时间上混合自动机的可达性。 （英语） Zbl 1300.68033号 Aceto，Luca（编辑）等人，《自动化，语言和编程》。2011年7月4日至8日，瑞士苏黎世，第38届国际学术讨论会，ICALP 2011。诉讼，第二部分。柏林：施普林格出版社（ISBN 978-3-642-22011-1/pbk）。计算机科学课堂讲稿6756，416-427（2011）。MSC公司：60年第68季度 2017年第68季度 65年第68季度 68问题85 93个B03 PDF格式BibTeX公司 XML格式引用 \textit{T.Brihaye}等人，Lect。票据计算。科学。6756、416--427（2011；Zbl 1300.68033） 全文： 内政部 arXiv公司
斯特凡·格勒；克里斯托夫·哈斯；约尔·瓦克宁；詹姆斯·沃雷尔 模型检查简洁且参数化的单计数器自动机。 （英语） Zbl 1288.68164号 Abramsky，Samson（编辑）等人，《自动化，语言和编程》。第37届国际学术讨论会，ICALP 2010，波尔多，法国，2010年7月6日至10日。诉讼，第二部分。柏林：施普林格出版社（ISBN 978-3-642-14161-4/pbk）。计算机科学课堂讲稿6199575-586（2010）。MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Göller}等人，Lect。票据计算。科学。6199，575--586（2010；Zbl 1288.68164） 全文： 内政部 链接
约尔·瓦克宁；詹姆斯·沃雷尔 走向有时限验证的理论。 （英语） Zbl 1288.68170号 Abramsky，Samson（编辑）等人，《自动化，语言和编程》。第37届国际学术讨论会，ICALP 2010，波尔多，法国，2010年7月6日至10日。诉讼，第二部分。柏林：施普林格出版社（ISBN 978-3-642-14161-4/pbk）。计算机科学讲稿6199，22-37（2010）。MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Ouaknine}和\textit{J.Worrell}，莱克特。票据计算。科学。6199、22-37（2010年；Zbl 1288.68170） 全文： 内政部
约尔·瓦克宁；亚历山大·拉比诺维奇；詹姆斯·沃雷尔 有时限的验证。 （英语） 兹比尔1254.68151 Bravetti，Mario（编辑）等人，CONCUR 2009–并发理论。第20届国际会议，CONCUR 2009，意大利博洛尼亚，2009年9月1-4日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04080-1/pbk）。计算机科学课堂讲稿5710496-510（2009）。MSC公司：60年第68季度 03B25号 05年3月 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Ouaknine}等人，Lect。票据计算。科学。5710496-510（2009年；Zbl 1254.68151） 全文： 内政部
帕特里夏·鲍耶；尼古拉斯·马基；约尔·瓦克宁；菲利普·施诺贝伦；詹姆斯·沃雷尔 故障信道机器终止时。 （英语） Zbl 1259.68120号 Albers，Susanne（编辑）等人，STACS 2008。第25届计算机科学理论方面国际研讨会，法国波尔多，2008年2月21日至23日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社（ISBN 978-3-939897-06-4）。LIPIcs–莱布尼茨国际信息学会议录121-132，仅电子版（2008年）。MSC公司：60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人，LIPIcs——莱布尼茨国际程序。通知。121-132（2008；Zbl 1259.68120） 全文： 内政部 arXiv公司 链接
约尔·瓦克宁；詹姆斯·沃雷尔 度量时态逻辑的一些最新结果。 （英语） Zbl 1171.68553号 Cassez，Franck（编辑）等，时间系统的形式化建模和分析。2008年9月15日至17日，第六届国际会议，FORMATS 2008，法国圣马洛。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85777-8/pbk）。计算机科学课堂讲稿5215，1-13（2008）。MSC公司：60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Ouaknine}和\textit{J.Worrell}，莱克特。票据计算。科学。5215，1-13（2008；Zbl 1171.68553） 全文： 内政部
帕特里夏·鲍耶；尼古拉斯·马基；约尔·瓦克宁；詹姆斯·沃雷尔 实时模型检查中的表达性和复杂性。 （英语） Zbl 1155.68426号 Aceto，Luca（编辑）等人，《自动化，语言和编程》。2008年7月7日至11日，冰岛雷克雅未克，第35届国际学术讨论会，ICALP 2008。诉讼，第二部分。柏林：施普林格出版社（ISBN 978-3-540-70582-6/pbk）。计算机科学课堂讲稿5126124-135（2008）。MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人，Lect。票据计算。科学。5126、124--135（2008年；Zbl 1155.68426） 全文： 内政部 哈尔
乔尔·欧·瓦克宁。；詹姆斯·沃雷尔。 关于有限词上度量时态逻辑的可判定性和复杂性。 （英语） 邮编1128.03008 日志。方法计算。科学。 3，第1号，论文8，27页（2007年）.MSC公司：03B44号 03B25号 05年3月 2015年3月1日 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit｛J.O.Ouaknine｝和\textit｛J.B.Worrell｝，日志。方法计算。科学。3，第1号，论文8，27页（2007；Zbl 1128.03008） 全文： 内政部
Randal E.布莱恩特。；丹尼尔·克罗宁；约尔·瓦克宁；Sanjit A.Seshia。；斯特里赫曼（Ofer Strichman）；布雷迪，布莱恩 用抽象方法确定位向量算法。 （英语） Zbl 1186.68281号 Grumberg，Orna（编辑）等人，《系统构建和分析的工具和算法》。2007年3月24日至4月1日在葡萄牙布拉加举行的第13届国际会议TACAS 2007，是欧洲软件理论与实践联合会议ETAPS 2007的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-71208-4/pbk）。计算机科学课堂讲稿4424358-372（2007）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.E.Bryant}等人，Lect。票据计算。科学。4424358--372（2007年；Zbl 1186.68281） 全文： 内政部
莫里·斯托克利；萨加·查基；约尔·瓦克宁 软件模型检查中的并行分配。 （英语） Zbl 1273.68094号 Mukhopadhyay，Supratik（ed.）等人，《第三届软件验证与确认国际研讨会论文集》（SVV 2005），英国曼彻斯特，2005年10月31日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》157，第1期，77-94（2006）。MSC公司：68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Stokely}等人，《电子》。注释Theor。计算。科学。157，第1号，77--94（2006；Zbl 1273.68094） 全文： 链接
约尔·瓦克宁；詹姆斯·沃雷尔 关于度量时态逻辑和故障图灵机。 （英语） Zbl 1180.03021号 Aceto，Luca（编辑）等人，《软件科学和计算结构基础》。2006年3月25日至31日在奥地利维也纳举行的第九届国际会议FOSSACS 2006，是欧洲软件理论与实践联合会议ETAPS 2006的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-33045-3/pbk）。计算机科学课堂讲稿39217230（2006）。MSC公司：03B44号 03B25号 03日第10天 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Ouaknine}和\textit{J.Worrell}，莱克特。票据计算。科学。39212117-230（2006年；兹bl 1180.03021） 全文： 内政部
约尔·瓦克宁；詹姆斯·沃雷尔 安全度量时态逻辑是完全可判定的。 （英语） Zbl 1180.03020号 Hermanns，Holger（编辑）等人，《系统构建和分析的工具和算法》。2006年3月25日至4月2日在奥地利维也纳举行的第12届国际会议TACAS 2006，是欧洲软件理论与实践联合会议ETAPS 2006的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-33056-9/pbk）。计算机科学课堂讲稿3920，411-425（2006）。MSC公司：03B44号 03B25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Ouaknine}和\textit{J.Worrell}，莱克特。票据计算。科学。3920、411--425（2006年；Zbl 1180.03020） 全文： 内政部
萨加·查基；埃德蒙·克拉克；奥尔纳·格伦伯格；约尔·瓦克宁；娜塔莎·莎莉吉娜；泰瑟·图利；赫尔穆特·维思 分支时间规范的状态/事件软件验证。 （英语） Zbl 1137.68432号 Romijn，Judi（编辑）等，《综合形式方法》。2005年11月29日至12月2日在荷兰埃因霍温举行的2005年国际单项体育联合会第五届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-30492-0/pbk）。计算机科学课堂讲稿3771，53-69（2005）。MSC公司：60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit｛S.Chaki｝等人，Lect。票据计算。科学。3771、53--69（2005年；Zbl 1137.68432） 全文： 内政部
安德烈·穆拉夫斯基。；约尔·瓦克宁 关于概率程序的等价性和精化。 （英语） Zbl 1134.68351号 Abadi，Martín（编辑）等人，CONCUR 2005–并发理论。第16届国际会议，CONCUR 2005，美国加利福尼亚州旧金山，2005年8月23日至26日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-28309-9/pbk）。计算机科学课堂讲稿3653156-170（2005）。MSC公司：68号30 68瓦20 PDF格式BibTeX公司 XML格式引用 \textit｛A.S.Murawski｝和\textit｛J.Ouaknine｝，Lect。票据计算。科学。3653、156-170（2005年；Zbl 1134.68351） 全文： 内政部
萨加·查基；埃德蒙·克拉克；约尔·瓦克宁；娜塔莎·莎莉吉娜；尼尚·辛哈 使用状态、事件和死锁进行并发软件验证。 （英语） Zbl 1103.68609号 正式Asp。计算。 17，第4期，461-483（2005）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Chaki}等人，《正式Asp》。计算。17，第4号，461--483（2005；Zbl 1103.68609） 全文： 内政部
帕罗什·阿齐兹·阿卜杜拉；约翰·德奈克斯；约尔·瓦克宁；詹姆斯·沃雷尔 时间自动机通过通道机器的可决定性和复杂性结果。 （英语） Zbl 1085.68078号 Caires，Luís（编辑）等人，《自动化，语言和编程》。第32届国际学术讨论会，2005年ICALP，葡萄牙里斯本，2005年7月11日至15日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-27580-0/pbk）。计算机科学课堂讲稿35801089-1101（2005）。MSC公司：65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人，Lect。票据计算。科学。35801089--1101（2005；Zbl 1085.68078） 全文： 内政部
埃德蒙·克拉克；丹尼尔·克罗宁；约尔·瓦克宁；斯特里赫曼（Ofer Strichman） 有界模型检查的完整性和复杂性。 （英语） Zbl 1202.68244号 Steffen，Bernhard（编辑）等人，《验证、模型检查和抽象解释》。第五届国际会议，2004年VMCAI，2004年1月11日至13日，意大利威尼斯。诉讼程序。柏林：施普林格出版社（ISBN 3-540-20803-8/pbk）。莱克特。票据计算。科学。2937, 85-96 (2004).MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Clarke}等人，Lect。票据计算。科学。2937、85-96（2004年；Zbl 1202.68244） 全文： 内政部
萨加·查基；埃德蒙·克拉克（Edmund M.Clarke）。；约尔·瓦克宁；娜塔莎·莎莉吉娜；尼尚·辛哈 基于状态/事件的软件模型检查。 （英语） Zbl 1196.68129号 Boiten，Eerke A.（编辑）等，《综合形式方法》。2004年4月4日至7日在英国坎特伯雷举行的第四届国际会议，IFM 2004。诉讼程序。柏林：施普林格出版社（ISBN 3-540-21377-5/pbk）。计算机科学课堂讲稿2999128-147（2004）。MSC公司：60年第68季度 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Chaki}等人，Lect。票据计算。科学。2999128-147（2004年；Zbl 1196.68129） 全文： 内政部
丹尼尔·克罗宁；约尔·瓦克宁；Sanjit A.Seshia。；斯特里赫曼（Ofer Strichman） 基于抽象的Presburger算法的可满足性求解。 （英语） Zbl 1103.68626号 Alur，Rajeev（编辑）等人，《计算机辅助验证》。2004年7月13日至17日在美国马萨诸塞州波士顿举行的2004年CAV第16届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-22342-8/pbk）。计算机科学课堂讲稿3114308-320（2004）。MSC公司：60年第68季度 03B35型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{D.Kroening}等人，Lect。票据计算。科学。3114308-320（2004年；兹bl 1103.68626） 全文： 内政部
查基，S。；E.克拉克。；A.格罗斯。；沃克宁，J。；O·斯特里赫曼。；约拉夫，K。 顺序和并发C程序的有效验证。 （英语） Zbl 1101.68677号 形式方法系统。设计。 25，编号2-3，129-166（2004）.MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Chaki}等人，《形式方法系统》。设计。25，编号2-3-129-166（2004年；兹bl 1101.68677） 全文： 内政部
萨加·查基；约尔·瓦克宁；凯伦·约拉夫；埃德蒙·克拉克 并发C程序的自动组合抽象细化：一种两级方法。 （英语） Zbl 1271.68081号 Dawar，Anuj（编辑），SoftMC 2003。2003年6月26日至27日，加拿大渥太华，软件模型检查研讨会（2003年CAV卫星研讨会）。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》89，第3期，417-432（2003）。MSC公司：第68页第19页 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Chaki}等人，《电子》。注释Theor。计算。科学。89，No.3，417--432（2003；Zbl 1271.68081） 全文： 链接
埃德蒙·克拉克；Fehnker，Ansgar公司；韩、智；布鲁斯·克罗格；约尔·瓦克宁；奥拉夫·斯特斯伯格；迈克尔·西奥博尔德 混合系统模型检验中的抽象和反例引导精化。 （英语） Zbl 1101.68678号 发现的国际期刊。计算。科学。 14，第4期，583-604（2003）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Clarke}等人，国际法学研究所。计算。科学。14，第4号，583--604（2003；Zbl 1101.68678） 全文： 内政部
约尔·瓦克宁；詹姆斯·沃雷尔 定时CSP=关闭的定时自动机。 （英语） Zbl 1270.68219号 Nestmann，Uwe（编辑）等人，EXPRESS’02。第九届并发表现力国际研讨会论文，2002年8月19日，捷克共和国布尔诺。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》68，第2期，142-159（2002）。MSC公司：68问题85 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Ouaknine}和\textit{J.Worrell}，电子。注释Theor。计算。科学。68，第2号，142--159（2002；Zbl 1270.68219） 全文： 内政部
约尔·瓦克宁 用于密集时间模型检查的数字化和完全抽象。 （英语） Zbl 1043.68581号 Katoen，Joost-Pieter（ed.）等人，《系统构建和分析的工具和算法》。第八届国际会议，TACAS 2002。2002年4月8日至12日，作为欧洲软件理论与实践联合会议的一部分，在法国格勒诺布尔举行。柏林：施普林格出版社（ISBN 3-540-43419-4）。莱克特。票据计算。科学。2280, 37-51 (2002).MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Ouaknine}，莱克特。票据计算。科学。2280,37--51（2002年；Zbl 1043.68581） 全文： 链接