纳塔娜·菲亚尔科夫；约尔·瓦克宁；阿默里·波利；乔昂·苏萨·平托；詹姆斯·沃雷尔 线性时不变系统可达性的可判定性。 （英语） 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公司 链接
安东尼娅·莱切纳；理查德·迈尔；约尔·瓦克宁；阿默里·波利；詹姆斯·沃雷尔 模型检查平面冻结单计数器自动机上的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） 全文： 内政部 哈尔
安东尼娅·莱切纳；理查德·迈尔；约尔·瓦克宁；阿默里·波利；詹姆斯·沃雷尔 单计数器自动机上的模型检查平冻结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） 全文： 内政部
阿克沙伊，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 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） 全文： 内政部
斯特凡·格勒；克里斯托夫·哈斯；约尔·瓦克宁；詹姆斯·沃雷尔 参数单计数器自动机的分支时间模型检验。 （英语） 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） 全文： 内政部
马克·詹金斯；约尔·瓦克宁；亚历山大·拉比诺维奇；詹姆斯·沃雷尔 度量的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） 全文： 内政部
乔尔·欧·瓦克宁。；詹姆斯·沃雷尔。 关于有限词上度量时态逻辑的可判定性和复杂性。 （英语） 邮编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） 全文： 内政部
帕罗什·阿齐兹·阿卜杜拉；约翰·德奈克斯；约尔·瓦克宁；詹姆斯·沃雷尔 时间自动机通过通道机器的可决定性和复杂性结果。 （英语） 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） 全文： 内政部
约尔·瓦克宁；詹姆斯·沃雷尔 定时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） 全文： 内政部