×

找到129个文档（结果1-100）

最新 引文 关联
多哥卡里莫夫;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公司
弗洛里安·卢卡;约尔·瓦克宁;詹姆斯·沃雷尔

离散线性动力系统的代数模型检验。 （英语） Zbl 07643425号

Bogomolov，Sergiy（编辑）等，时间系统的形式化建模和分析。第20届国际会议，FORMATS 2022，波兰华沙，2022年9月13日至15日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13465, 3-15 (2022).
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{F.Luca}等人，Lect。注释计算。科学。13465，3-15（2022；Zbl 07643425）
全文： 内政部
克里斯特尔·拜尔;弗洛里安·芬克;西蒙·扬奇;多哥卡里莫夫;恩格尔·勒福丘;弗洛里安·卢卡;约尔·瓦克宁;乘务长，大卫;马库斯·怀特兰。;詹姆斯·沃雷尔

参数线性动力系统的轨道问题。 （英语） Zbl 07730630号

Haddad，Serge（编辑）等人，第32届并发理论国际会议，CONCUR 20212021年8月24日至27日，虚拟会议。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际会议记录。通知。203，第28条，第17页（2021年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{C.Baier}等人，LIPIcs——莱布尼茨国际程序。通知。203，第28条，第17页（2021；Zbl 07730630）
全文： 内政部 arXiv公司
乔治·凯尼森;奥列克西·克鲁曼;恩格尔·勒福丘;弗洛里安·卢卡;彼得·莫雷;约尔·瓦克宁;马库斯·怀特兰。;詹姆斯·沃雷尔

二阶完整序列的正性和极小性。 （英语） Zbl 07724240号

Filippo Bonchi等人，第46届计算机科学数学基础国际研讨会，MFCS 2021，2021年8月23日至27日，爱沙尼亚塔林。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际会议记录。通知。202，第67条，第15页（2021）。
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{G.Kenison}等人，LIPIcs——莱布尼茨国际程序。通知。202，第67条，第15页（2021；兹bl 07724240）
全文： 内政部 arXiv公司
朱利安·德·科斯塔;多哥卡里莫夫;鲁帕克马久姆达尔;约尔·瓦克宁;马哈茂德·萨拉马蒂;萨代赫·苏贾尼;詹姆斯·沃雷尔

伪斯科莱姆问题是可以判定的。 （英语） Zbl 07724207号

Filippo Bonchi等人，第46届计算机科学数学基础国际研讨会，MFCS 2021，2021年8月23日至27日，爱沙尼亚塔林。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际会议记录。通知。202，第34条，第21页（2021）。
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{J.D'Costa}等人，LIPIcs——莱布尼茨国际程序。通知。202，第34条，第21页（2021；Zbl 07724207）
全文： 内政部
朱利安·德·科斯塔;恩格尔·勒福丘;艾克·诺依曼;约尔·瓦克宁;詹姆斯·沃雷尔

紧半代数集上线性动力系统逃逸问题的复杂性。 （英语） 兹伯利07724206

Filippo Bonchi等人，第46届计算机科学数学基础国际研讨会，MFCS 2021，2021年8月23日至27日，爱沙尼亚塔林。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际会议记录。通知。202，第33条，第21页（2021）。
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{J.D'costa}等人，LIPIcs——莱布尼茨国际程序。通知。202，第33条，第21页（2021；Zbl 07724206）
全文： 内政部 arXiv公司
尼基尔·班萨尔（编辑）;伊曼纽拉·梅雷利（编辑）;詹姆斯·沃雷尔（编辑）

2021年7月12日至16日，在苏格兰格拉斯哥举行的第48届国际自动化、语言和编程学术讨论会，ICALP 2021，虚拟会议。 （英语） Zbl 1465.68009号

LIPIcs–莱布尼茨国际信息学会议录198.Wadern：达格斯图尔宫-莱布尼兹·泽特鲁姆·福尔·Informatik（ISBN 978-3-95977-195-5）。xxxviii，143篇文章，非连续页面，仅电子版，开放存取（2021年）。
MSC公司：68-06 68新元 68季度xx 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{N.Bansal}（ed.）等人，第48届国际自动机、语言和编程学术讨论会，ICALP 2021，苏格兰格拉斯哥，虚拟会议，2021年7月12-16日。Wadern：达格斯图尔宫——莱布尼兹·泽特鲁姆·福尔·Informatik（2021；Zbl 1465.68009）
全文： 内政部 链接
朱利安·德·科斯塔;恩格尔·勒福丘;约尔·瓦克宁;詹姆斯·沃雷尔

你能以多快的速度逃离紧凑的多胞体？ （英语） Zbl 07650934号

Paul，Christophe（ed.）等人，第37届计算机科学理论方面国际研讨会，STACS 2020，法国蒙彼利埃，2020年3月10日至13日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际会议记录。通知。154，第49条，第11页（2020年）。
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{J.D'costa}等人，LIPIcs——莱布尼茨国际程序。通知。154，第49条，第11页（2020；Zbl 07650934）
全文： 内政部 arXiv公司
沙乌尔·阿尔马戈;内森·科恩;吉列尔莫·A·佩雷斯。;马赫萨·希尔穆罕默德;詹姆斯·沃雷尔

1-VASS中的覆盖性和不合格测试。 （英语） Zbl 07559494号

Konnov，Igor（编辑）等人，第31届并发理论国际会议。CONCUR 2020，2020年9月1日至4日，奥地利维也纳，虚拟会议。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际会议记录。通知。171，第38条，第20页（2020年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{S.Almagor}等人，LIPIcs——莱布尼茨国际程序。通知。171，第38条，20 p.（2020；Zbl 07559494）
全文： 内政部 arXiv公司
鲁帕克·马朱姆达尔;约尔·瓦克宁;阿默里·波利;詹姆斯·沃雷尔

线性混合自动机的代数不变量。 （英语） 兹伯利07559488

Konnov，Igor（编辑）等人，第31届并发理论国际会议。CONCUR 2020，2020年9月1日至4日，奥地利维也纳，虚拟会议。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际会议记录。通知。171，第32条，第17页（2020年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.Majumdar}等人，LIPIcs--Leibniz Int.Proc。通知。171，第32条，第17页（2020；Zbl 07559488）
全文： 内政部 arXiv公司
艾克·诺依曼;约尔·瓦克宁;詹姆斯·沃雷尔

多项式程序的排序函数综合与终止。 （英语） Zbl 07559471号

Konnov，Igor（编辑）等人，第31届并发理论国际会议。CONCUR 2020，2020年9月1日至4日，奥地利维也纳，虚拟会议。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际会议记录。通知。171，第15条，第15页（2020年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{E.Neumann}等人，LIPIcs——莱布尼茨国际程序。通知。171，第15条，第15页（2020；Zbl 07559471）
全文： 内政部
多哥卡里莫夫;约尔·瓦克宁;詹姆斯·沃雷尔

低维离散线性动力系统的LTL模型检验。 （英语） Zbl 07559425号

Esparza，Javier（ed.）等人，第45届计算机科学数学基础国际研讨会，MFCS 2020，2020年8月25日至26日，捷克共和国布拉格。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际会议记录。通知。170，第54条，第14页（2020年）。
MSC公司：68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{T.Karimov}等人，LIPIcs——莱布尼茨国际程序。通知。170，第54条，第14页（2020；Zbl 07559425）
全文： 内政部 arXiv公司
梅兰·侯赛尼;约尔·瓦克宁;詹姆斯·沃雷尔

整数上线性循环的终止。 （英语） 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公司
托马斯·科尔科姆贝特;约尔·瓦克宁;帕维尔·塞穆金;詹姆斯·沃雷尔

关于低维矩阵半群的可达性问题。 （英语） 兹伯利07561537

Baier，Christel（ed.）等人，第46届自动化、语言和编程国际学术讨论会，2019年ICALP 2019年7月9日至12日，希腊帕特拉斯。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际会议记录。通知。132，第44条，第15页（2019年）。
MSC公司：68新元 68季度xx
PDF格式BibTeX公司 XML格式引用
\textit{T.Colcombet}等人，LIPIcs——莱布尼茨国际程序。通知。132，第44条，第15页（2019年；Zbl 07561537）
全文： 内政部 arXiv公司
纳塔娜·菲亚尔科夫;约尔·瓦克宁;阿默里·波利;乔昂·苏萨·平托;詹姆斯·沃雷尔

关于线性时不变系统可达性的判定性。 （英语） Zbl 07120143号

2019年4月16日至18日，加拿大魁北克蒙特利尔，HSCC 2019，第22届ACM混合系统：计算和控制国际会议记录。纽约州纽约市：计算机协会（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年；兹bl 07120143）
全文： 内政部 arXiv公司 链接
沙乌尔·阿尔马戈;布莱莫·查普曼;梅兰·侯赛尼;约尔·瓦克宁;詹姆斯·沃雷尔

线性递归序列的有效发散分析。 （英语） Zbl 1530.68128号

Schewe，Sven（编辑）等人，第29届并发理论国际会议。CONCUR 2018，中国北京，2018年9月4-7日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际会议记录。通知。118，第42条，第15页（2018年）。
MSC公司：65年第68季度 03B25号 11层37
PDF格式BibTeX公司 XML格式引用
\textit{S.Almagor}等人，LIPIcs——莱布尼茨国际程序。通知。118，第42条，第15页（2018；Zbl 1530.68128）
全文： 内政部 arXiv公司
马丁·范策尔;马赫萨·希尔穆罕默德;马尼省斯瓦米纳坦;詹姆斯·沃雷尔

定价时间自动机的成本和回报。 （英语） Zbl 1483.68167号

Chatzigiannakis，Ioannis（编辑）等人，第45届自动化、语言和编程国际研讨会。2018年7月9日至13日，捷克共和国布拉格，ICALP 2018。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际会议记录。通知。107，第125条，第14页（2018年）。
MSC公司：65年第68季度 03B25号 11日72 2005年11月 91B02型
PDF格式BibTeX公司 XML格式引用
\textit{M.Fränzle}等人，LIPIcs——莱布尼茨国际程序。通知。107，第125条，第14页（2018；Zbl 1483.68167）
全文： 内政部
劳雷·达沃;马尔钦·尤尔季安斯基;兰科·拉齐奇;菲利普·马佐维耶基;吉列尔莫·A·佩雷斯。;詹姆斯·沃雷尔

概率自动机何时可以判定包含？ （英语） Zbl 1499.68171号

Chatzigiannakis，Ioannis（编辑）等人，第45届自动化、语言和编程国际研讨会。2018年7月9日至13日，捷克共和国布拉格，ICALP 2018。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际会议记录。通知。107，第121条，第14页（2018年）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Daviaud}等人，LIPIcs——莱布尼茨国际程序。通知。107，第121条，第14页（2018；Zbl 1499.68171）
全文： 内政部
沙乌尔·阿尔马戈;德米特里·奇斯蒂科夫;约尔·瓦克宁;詹姆斯·沃雷尔

\线性循环的（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公司
安东尼娅·莱奇纳;理查德·迈尔;约尔·瓦克宁;阿默里·波利;詹姆斯·沃雷尔

模型检查平面冻结单计数器自动机上的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公司
伊戈尔·波塔波夫（编辑）;保罗·斯皮拉基斯（编辑）;詹姆斯·沃雷尔（编辑）

第43届计算机科学数学基础国际研讨会。2018年8月27日至31日，英国利物浦，MFCS 2018。诉讼程序。 （英语） Zbl 1402.68023号

LIPIcs–莱布尼茨国际信息学会议录117.韦德恩：达格斯图尔宫-莱布尼茨天顶宫（ISBN 978-3-95977-086-6）。xvii，84篇文章，非连续页面，仅电子版，开放存取（2018年）。
MSC公司：68-06 68季度xx 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{I.Potapov}（ed.）等人，第43届计算机科学数学基础国际研讨会。2018年8月27日至31日，英国利物浦，MFCS 2018。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik（2018；Zbl 1402.68023）
全文： 内政部 链接
Forejt，Vojtěch公司;彼得·扬查尔;斯特凡·基弗;詹姆斯·沃雷尔

概率双相似度的博弈特征及其在下推自动机中的应用。 （英语） Zbl 1407.68252号

日志。方法计算。科学。 14，第4号，第13号论文，25页（2018年）.
MSC公司：65年第68季度 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{V.Forejt}等人，日志。方法计算。科学。14，第4号，第13号论文，25页（2018；Zbl 1407.68252）
全文： 内政部 arXiv公司
帕特里夏·鲍耶;乌里·法伦贝格;金·古德斯特兰·拉森;尼古拉斯·马基;约尔·瓦克宁;詹姆斯·沃雷尔

模型检查实时系统。 （英语） Zbl 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 1457.68138号

2017年第32届ACM/IEEE计算机科学逻辑研讨会论文集，2017年6月20日至23日，冰岛雷克雅未克雷克雅维克大学，LICS 2017。新泽西州皮斯卡塔韦：IEEE出版社。第41条，第12页（2017年）。
MSC公司：65年第68季度 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Benedikt}等人，摘自：2017年第32届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2017，雷克雅未克大学，冰岛雷克雅维克，2017年6月20-23日。新泽西州皮斯卡塔韦：IEEE出版社。第41条，第12页（2017；Zbl 1457.68138）
全文： 链接
卡琳·夸斯;马赫萨·希尔穆罕默德;詹姆斯·沃雷尔

重温时间自动机中的可达性。 （英语） Zbl 1457.68147号

2017年第32届ACM/IEEE计算机科学逻辑研讨会论文集，2017年6月20日至23日，冰岛雷克雅未克雷克雅维克大学，LICS 2017。新泽西州皮斯卡塔韦：IEEE出版社。第38条，第12页（2017年）。
MSC公司：65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Quaas}等人，摘自：2017年第32届ACM/IEEE计算机科学逻辑研讨会论文集，2017年LICS，雷克雅未克大学，冰岛雷克雅维克，2017年6月20-23日。新泽西州皮斯卡塔韦：IEEE出版社。第38条，第12页（2017；Zbl 1457.68147）
全文： arXiv公司 链接
纳塔娜·菲亚尔科夫;克里斯蒂安·里维罗斯;詹姆斯·沃雷尔

有界模糊的概率自动机。 （英语） Zbl 1442.68092号

Meyer，Roland（编辑）等人，第28届并发理论国际会议。CONCUR 2017，德国柏林，2017年9月5日至8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际会议记录。通知。85，第19条，第14页（2017）。
MSC公司：65年第68季度 87年第68季度 68瓦40 90立方厘米 90C29型
PDF格式BibTeX公司 XML格式引用
\textit{N.Fijalkow}等人，LIPIcs——莱布尼茨国际程序。通知。85，第19条，第14页（2017；Zbl 1442.68092）
全文： 内政部
沙乌尔·阿尔马戈;约尔·瓦克宁;詹姆斯·沃雷尔

多面体碰撞问题。 （英语） Zbl 1441.68083号

Chatzigianakis，Ioannis（编辑）等人，第44届自动化、语言和编程国际研讨会，2017年ICALP，波兰华沙，2017年7月10日至14日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际会议记录。通知。80，第24条，第14页（2017年）。
MSC公司：65年第68季度 03B25号 2016年11月 37B10号机组
PDF格式BibTeX公司 XML格式引用
\textit{S.Almagor}等人，LIPIcs——莱布尼茨国际程序。通知。80，第24条，第14页（2017年；Zbl 1441.68083）
全文： 内政部 arXiv公司
帕特里夏·鲍耶;拉鲁西尼，弗朗索瓦;尼古拉斯·马基;约尔·瓦克宁;詹姆斯·沃雷尔

时间时序逻辑。 （英语） 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）
全文： 内政部 哈尔
乔尔·瓦克宁;若昂·苏萨·潘特;詹姆斯·沃雷尔

关于连续线性动力系统的多面体逃逸问题。 （英语） 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公司
克里斯特尔·拜尔;斯特凡·基弗;约阿希姆·克莱因;克吕佩尔霍尔茨，萨沙;大卫·米勒;詹姆斯·沃雷尔

马尔可夫链和明确的Büchi自动机。 （英语） Zbl 1411.68051号

Chaudhuri，Swarat（编辑）等人，《计算机辅助验证》。第28届国际会议，CAV 2016，加拿大安大略省多伦多，2016年7月17日至23日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。9779，23-42（2016）。
MSC公司：65年第68季度 60J10型 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛C.Baier｝等人，Lect。注释计算。科学。9779，23-42（2016年；兹bl 1411.68051）
全文： 内政部 链接
约尔·瓦克宁;阿默里·波利;乔昂·苏萨·平托;詹姆斯·沃雷尔

矩阵指数方程的可解性。 （英语） Zbl 1395.15012号

2016年7月5日至8日，美国纽约州纽约市，2016年第31届ACM/IEEE计算机科学逻辑研讨会论文集，2016年LICS。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4391-6）。798-806 (2016).
MSC公司：15A24号 2005年11月 15甲16 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Ouaknine}等人，摘自：2016年第31届ACM/IEEE年度计算机科学逻辑研讨会论文集，2016年LICS，美国纽约市，2016年7月5-8日。纽约州纽约市：计算机协会（ACM）。798--806（2016；Zbl 1395.15012）
全文： 内政部 arXiv公司 链接
文西斯拉夫·乔涅夫;约尔·瓦克宁;詹姆斯·沃雷尔

连续线性动力系统的递归可达性。 （英语） Zbl 1388.68044号

2016年7月5日至8日，美国纽约州纽约市，2016年第31届ACM/IEEE计算机科学逻辑研讨会论文集，2016年LICS。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4391-6）。515-524 (2016).
MSC公司：2005年第68季度 2005年11月 34A30型
PDF格式BibTeX公司 XML格式引用
\textit{V.Chonev}等人，摘自：2016年第31届ACM/IEEE计算机科学逻辑研讨会论文集，2016年LICS，美国纽约市，2016年7月5-8日。纽约州纽约市：计算机协会（ACM）。515--524（2016；Zbl 1388.68044）
全文： 内政部 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）
全文： 内政部
玛丽亚·布鲁纳;拉杜·格里戈尔;斯特凡·基弗;约尔·瓦克宁;詹姆斯·沃雷尔

证明Herman-protocol猜想。 （英语） Zbl 1388.68060号

Chatzigiannakis，Ioannis（编辑）等人，第43届自动化、语言和编程国际学术讨论会，2016年ICALP，意大利罗马，2016年7月12-15日。诉讼程序。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社（ISBN 978-3-95977-013-2）。LIPIcs–莱布尼茨国际信息学论文集55，第104条，第12页（2016年）。
MSC公司：2010年第68季度 68宽15 68瓦20
PDF格式BibTeX公司 XML格式引用
\textit{M.Bruna}等人，LIPIcs——莱布尼茨国际程序。通知。55，第104条，第12页（2016年；Zbl 1388.68060）
全文： 内政部 arXiv公司
德米特里·奇斯蒂科夫;斯特凡·基弗;伊内斯·马鲁西奇;马赫萨·希尔穆罕默德;詹姆斯·沃雷尔

关于限制非负矩阵分解。 （英语） Zbl 1388.15010号

Chatzigiannakis，Ioannis（编辑）等人，第43届自动化、语言和编程国际学术讨论会，2016年ICALP，意大利罗马，2016年7月12-15日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-013-2）。LIPIcs–莱布尼茨国际信息学论文集55，第103条，第14页（2016）。
MSC公司：15A23型 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Chistikov}等人，LIPIcs——莱布尼茨国际程序。通知。55，第103条，第14页（2016年；Zbl 1388.15010）
全文： 内政部 arXiv公司
文西斯拉夫·乔涅夫;约尔·瓦克宁;詹姆斯·沃雷尔

关于连续线性动力系统的Skolem问题。 （英语） Zbl 1388.68043号

Chatzigiannakis，Ioannis（编辑）等人，第43届自动化、语言和编程国际学术讨论会，2016年ICALP，意大利罗马，2016年7月12-15日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-013-2）。LIPIcs–Leibniz International Proceedings in Informatics 55，Article 100，13 p.（2016）。
MSC公司：2005年第68季度 2005年11月 第14页 34A30型
PDF格式BibTeX公司 XML格式引用
\textit{V.Chonev}等人，LIPIcs——莱布尼茨国际程序。通知。55，第100条，第13页（2016年；Zbl 1388.68043）
全文： 内政部 arXiv公司
萨古·本奈姆;迈克尔·本尼迪克特;维托尔德·查拉托尼克;伊曼纽尔·基伦斯基;拉斯蒂斯拉夫·伦哈特;菲利普·马佐维耶基;詹姆斯·沃雷尔

有限树上二元逻辑的复杂性。 （英语） 兹比尔1367.03062

ACM事务处理。计算。日志。 17号第4条第32条第38页（2016年）.
MSC公司：03B70号 03C13号机组 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Benaim}等人，ACM Trans。计算。日志。17，第4号，第32条，第38页（2016年；Zbl 1367.03062）
全文： 内政部 链接
兰科·拉齐奇;约尔·瓦克宁;詹姆斯·沃雷尔

芝诺、大力神和九头蛇：安全度量时间逻辑是阿克曼完成的。 （英语） 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 1401.03070号

2015年第30届ACM/IEEE计算机科学逻辑研讨会论文集，2015年7月6日至10日，日本京都，LICS 2015。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-1-4799-8875-4）。667-676（2015年）。
MSC公司：2015年3月1日 03B25号 30楼03号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛A.Lechner｝等人，2015年7月6日至10日在日本京都举行的2015年第30届ACM/IEEE计算机科学逻辑年度研讨会论文集。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。667--676（2015；Zbl 1401.03070）
全文： 内政部
文西斯拉夫·乔涅夫;约尔·瓦克宁;詹姆斯·沃雷尔

多面体碰撞问题。 （英语） Zbl 1372.68260号

Indyk，Piotr（编辑），第26届ACM-SIAM离散算法年度研讨会论文集，SODA 2015，加州圣地亚哥波特兰，2015年1月4-6日。宾夕法尼亚州费城：工业和应用数学学会（SIAM）；纽约州纽约市：计算机协会（ACM）（ISBN 978-1-61197-374-7；978-1-611197-373-0/电子书）。940-956 (2015).
MSC公司：68单位05 2005年11月 2016年11月 52号B11 2017年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{V.Chonev}等人，in：第26届年度ACM-SIAM离散算法研讨会论文集，2015年SODA，加利福尼亚州圣地亚哥波特兰，2015年1月4-6日。宾夕法尼亚州费城：工业和应用数学学会（SIAM）；纽约州纽约市：计算机协会（ACM）。940--956（2015年；Zbl 1372.68260）
全文： 内政部 arXiv公司
埃斯特·加尔比;约尔·瓦克宁;詹姆斯·沃雷尔

低维矩阵供电。 （英语） Zbl 1355.68117号

Mayr，Ernst W.（编辑）等人，第32届计算机科学理论方面国际研讨会，STACS’15，德国加兴，2015年3月4日至7日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社（ISBN 978-3-939897-78-1）。LIPIcs–莱布尼茨国际信息学论文集30，329-340（2015）。
MSC公司：65年第68季度 15B36型 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{E.Galby}等人，LIPIcs——莱布尼茨国际程序。通知。30329-340（2015年；Zbl 1355.68117）
全文： 内政部
斯特凡·基弗;伊内斯·马鲁西奇;詹姆斯·沃雷尔

多重树自动机的最小化。 （英语） Zbl 1459.68103号

Andrew Pitts（编辑），《软件科学和计算结构基础》。第18届国际会议，FOSSACS 2015，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2015，英国伦敦，2015年4月11-18日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。9034, 297-311 (2015).
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Kiefer}等人，Lect。注释计算。科学。9034，297--311（2015；Zbl 1459.68103）
全文： 内政部 arXiv公司
约尔·瓦克宁;詹姆斯·沃雷尔

低阶线性递归序列的正性问题。 （英语） Zbl 1423.11209号

Chekuri，Chandra（编辑），第25届ACM-SIAM离散算法年度研讨会论文集，SODA 2014，波特兰，俄勒冈州，美国，2014年1月5-7日。宾夕法尼亚州费城：工业和应用数学学会（SIAM）；纽约州纽约市：计算机协会（ACM）。366-379 (2014).
MSC公司：2016年11月 11层37 2005年11月 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Ouaknine}和\textit{J.Worrell}，in：第25届年度ACM-SIAM离散算法研讨会论文集，SODA 2014，俄勒冈州波特兰，美国，2014年1月5-7日。宾夕法尼亚州费城：工业和应用数学学会（SIAM）；纽约州纽约市：计算机协会（ACM）。366--379（2014年；Zbl 1423.11209）
全文： 内政部 arXiv公司
伊内斯·马鲁西奇;詹姆斯·沃雷尔

多重树自动机等价和学习的复杂性。 （英语） 兹比尔1425.68219

Csuhaj-Varjü，Erzébet（编辑）等人，2014年计算机科学数学基础。2014年8月25-29日在匈牙利布达佩斯举行的2014年MFCS第39届国际研讨会。会议记录，第一部分，柏林：施普林格。莱克特。注释计算。科学。8634114-425（2014年）。
MSC公司：65年第68季度 65年第68季度 68问题32
PDF格式BibTeX公司 XML格式引用
\textit{I.Marusic}和\textit{J.Worrell}，莱克特。注释计算。科学。8634、414--425（2014；Zbl 1425.68219）
全文： 内政部 arXiv公司
约尔·瓦克宁（编辑）;伊戈尔·波塔波夫（编辑）;詹姆斯·沃雷尔（编辑）

可达性问题。2014年9月22日至24日，英国牛津，RP 2014，第八届国际研讨会。诉讼程序。 （英语） Zbl 1317.68013号

计算机科学课堂讲稿8762.柏林：施普林格出版社（ISBN 978-3-319-11438-5/pbk）。第xx页，第245页。(2014).
MSC公司：68-06 68季度xx 00B25型
PDF格式BibTeX公司 XML格式引用
\textit{J.Ouaknine}（编辑）等人，《可达性问题》。第八届国际研讨会，RP 2014，英国牛津，2014年9月22日至24日。诉讼程序。柏林：施普林格（2014；Zbl 1317.68013）
全文： 内政部
约尔·瓦克宁;詹姆斯·沃雷尔

对于简单线性递归序列，最终正性是可判定的。 （英语） Zbl 1410.11135号

Esparza，Javier（编辑）等人，《自动化、语言和编程》。2014年7月8日至11日，丹麦哥本哈根，第41届国际学术讨论会，ICALP 2014。诉讼，第二部分。柏林：斯普林格。莱克特。注释计算。科学。第8573页，第330-341页（2014年）。
MSC公司：2005年11月 11层37 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Ouaknine}和\textit{J.Worrell}，莱克特。注释计算。科学。85733130-341（2014年；兹比尔1410.11135）
全文： 内政部 arXiv公司
约尔·瓦克宁;詹姆斯·沃雷尔

关于简单线性递归序列的正问题。 （英语） Zbl 1410.11134号

Esparza，Javier（编辑）等人，《自动化、语言和编程》。2014年7月8日至11日，丹麦哥本哈根，第41届国际学术讨论会，ICALP 2014。诉讼，第二部分。柏林：斯普林格。莱克特。注释计算。科学。8573, 318-329 (2014).
MSC公司：2005年11月 11层37 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Ouaknine}和\textit{J.Worrell}，莱克特。注释计算。科学。8573318--329（2014；Zbl 1410.11134）
全文： 内政部 arXiv公司
弗兰克·范·布鲁格尔;詹姆斯·沃雷尔

概率自动机上计算双相似伪度量的复杂性。 （英语） Zbl 1407.68267号

van Breugel，Franck（编辑）等人，《心灵的地平线》。向普拉卡什·帕南加登致敬。在普拉卡什·帕南加登60岁生日之际为他撰写的论文。柏林：斯普林格。莱克特。注释计算。科学。8464, 191-213 (2014).
MSC公司：65年第68季度 65年第68季度 91A15型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{F.van Breugel}和\textit{J.Worrell}，莱克特。注释计算。科学。8464，191--213（2014；Zbl 1407.68267）
全文： 内政部
文西斯拉夫·乔涅夫;约尔·瓦克宁;詹姆斯·沃雷尔

高维轨道问题。 （英语） Zbl 1293.68139号

第45届ACM计算理论年会论文集，STOC’13。2013年6月1日至4日，美国加利福尼亚州帕洛阿尔托。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2029-0）。941-950 (2013).
MSC公司：2017年第68季度 15A04号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{V.Chonev}等人，in：第45届ACM计算理论研讨会论文集，STOC’13。2013年6月1-4日，美国加利福尼亚州帕洛阿尔托。纽约州纽约市：计算机协会（ACM）。941-950（2013年；兹比尔1293.68139）
全文： 内政部
托马斯·布里海耶;劳伦特·多恩;吉勒·杰勒茨;乔尔·瓦克宁;Jean-Francois拉斯金;詹姆斯·沃雷尔

单调混合自动机的有时限可达性：复杂性和不动点。 （英语） Zbl 1410.68198号

Hung，Dang Van（编辑）等人，《用于验证和分析的自动化技术》。2013年10月15日至18日，第11届国际研讨会，亚洲电视协会，越南河内。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8172, 55-70 (2013).
MSC公司：65年第68季度 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Brihaye}等人，Lect。注释计算。科学。8172，55-70（2013；Zbl 1410.68198）
全文： 内政部
兰科·拉齐奇;约尔·瓦克宁;詹姆斯·沃雷尔

芝诺、大力神和九头蛇：向下理性终止是阿克曼主义。 （英语） 兹比尔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 1334.68124号

Fomin，Fedor V.（编辑）等人，《自动化、语言和编程》。2013年7月8日至12日，第40届国际学术讨论会，ICALP 2013，拉脱维亚里加，会议记录，第二部分。柏林：施普林格出版社（ISBN 978-3-642-39211-5/pbk）。计算机科学课堂讲稿7966，422-433（2013）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.沃雷尔}，莱克特。注释计算。科学。7966422--433（2013年；Zbl 1334.68124）
全文： 内政部 arXiv公司
萨古·本奈姆;迈克尔·本尼迪克特;维托尔德·查拉托尼克;伊曼纽尔·基伦斯基;拉斯蒂斯拉夫·伦哈特;菲利普·马佐维耶基;詹姆斯·沃雷尔

有限树上二元逻辑的复杂性。 （英语） Zbl 1335.68132号

Fomin，Fedor V.（编辑）等人，《自动化、语言和编程》。2013年7月8日至12日，第40届国际学术讨论会，ICALP 2013，拉脱维亚里加，会议记录，第二部分。柏林：施普林格出版社（ISBN 978-3-642-39211-5/pbk）。计算机科学课堂讲稿7966，74-88（2013）。
MSC公司：60年第68季度 03B70号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Benaim}等人，Lect。注释计算。科学。7966、74-88（2013年；Zbl 1335.68132）
全文： 内政部 链接
迈克尔·本尼迪克特;拉斯蒂斯拉夫·伦哈特;詹姆斯·沃雷尔

区间马尔可夫链的LTL模型检验。 （英语） 兹比尔1381.68147

Piterman，Nir（编辑）等人，《系统构建和分析的工具和算法》。2013年3月16日至24日，第19届国际会议（TACAS 2013）在意大利罗马举行，作为欧洲软件理论与实践联合会议（ETAPS 2013）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-36741-0/pbk）。计算机科学课堂讲稿7795，32-46（2013）。
MSC公司：60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Benedikt}等人，Lect。注释计算。科学。7795，32-46（2013；Zbl 1381.68147）
全文： 内政部
斯特凡·基弗;安德烈·穆拉夫斯基。;约尔·瓦克宁;比约恩·瓦希特;詹姆斯·沃雷尔

关于（mathbb Q）加权自动机等价和最小化的复杂性。 （英语） Zbl 1260.68207号

日志。方法计算。科学。 9，第1号，第8号文件，第22页（2013年）.
MSC公司：65年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Kiefer}等人，日志。方法计算。科学。9，第1号，第8号论文，22页（2013；Zbl 1260.68207）
全文： 内政部 arXiv公司
丹尼尔·本达拉;约尔·瓦克宁;詹姆斯·沃雷尔

关于有界模型检查中完整性阈值的大小。 （英语） 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）
全文： 内政部
Forejt，Vojtěch公司;彼得·扬查尔;斯特凡·基弗;詹姆斯·沃雷尔

概率下推自动机的双相似性。 （英语） Zbl 1354.68152号

D’Souza，Deepak（编辑）等人，IARCS软件技术和理论计算机科学基础年会（FSTTCS 2012）。根据2012年12月15日至17日在印度海得拉巴举行的第三十二届会议上的发言选出的论文。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-47-7）。LIPIcs–莱布尼茨国际信息学论文集18，448-460（2012）。
MSC公司：65年第68季度 2017年第68季度 68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{V.Forejt}等人，LIPIcs——莱布尼茨国际程序。通知。18、448--460（2012年；Zbl 1354.68152）
全文： 内政部 arXiv公司
克里斯托夫·哈斯;约尔·瓦克宁;詹姆斯·沃雷尔

关于时间自动机和反自动机中可达性问题之间的关系。 （英语） Zbl 1328.68112号

Finkel，Alain（编辑）等人，《可达性问题》。2012年9月17日至19日，法国波尔多RP 2012第六届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-33511-2/pbk）。计算机科学课堂讲稿7550，54-65（2012）。
MSC公司：65年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Haase}等人，Lect。注释计算。科学。7550，54-65（2012；Zbl 1328.68112）
全文： 内政部
斯特凡·基弗;安德烈·穆拉夫斯基。;约尔·瓦克宁;比约恩·瓦希特;詹姆斯·沃雷尔

关于概率自动机等价问题的复杂性。 （英语） Zbl 1352.68114号

Birkedal，Lars（编辑），软件科学和计算结构基础。2012年3月24日至4月1日在爱沙尼亚塔林举行的第15届国际会议FOSSACS 2012，该会议是欧洲软件理论与实践联合会议ETAPS 2012的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-28728-2/pbk）。计算机科学课堂讲稿7213，467-481（2012）。
MSC公司：65年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Kiefer}等人，Lect。注释计算。科学。7213，467--481（2012；Zbl 1352.68114）
全文： 内政部 arXiv公司
陈迪;弗兰克·范·布鲁格尔;詹姆斯·沃雷尔

关于计算概率双相似度的复杂性。 （英语） Zbl 1352.68096号

Birkedal，Lars（编辑），软件科学和计算结构基础。2012年3月24日至4月1日在爱沙尼亚塔林举行的第15届国际会议FOSSACS 2012，该会议是欧洲软件理论与实践联合会议ETAPS 2012的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-28728-2/pbk）。计算机科学课堂讲稿7213，437-451（2012）。
MSC公司：65年第68季度 60J20型 68问题85 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Chen}等人，Lect。注释计算。科学。7213、437--451（2012；Zbl 1352.68096）
全文： 内政部
斯特凡·格勒;克里斯托夫·哈斯;约尔·瓦克宁;詹姆斯·沃雷尔

参数单计数器自动机的分支时间模型检验。 （英语） 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；Zbl 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）
全文： 内政部 链接
迈克尔·本尼迪克特;拉斯蒂斯拉夫·伦哈特;詹姆斯·沃雷尔

模型检查和游戏中的双变量与线性时序逻辑。 （英语） Zbl 1343.68151号

Katoen，Joost-Pieter（编辑）等，CONCUR 2011–并发理论。2011年9月6日至9日，第22届国际会议，CONCUR 2011，德国亚琛。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-23216-9/pbk）。计算机科学讲义6901、497-511（2011）。
MSC公司：60年第68季度 03B44号 05年3月 87年第68季度 91A80型
PDF格式BibTeX公司 XML格式引用
\textit{M.Benedikt}等人，Lect。注释计算。科学。6901497--511（2011；Zbl 1343.68151）
全文： 内政部 arXiv公司
约尔·瓦克宁;克里斯蒂娜·帕利卡列娃;A.W.罗斯科。;詹姆斯·沃雷尔

CSP中的静态活锁分析。 （英语） Zbl 1300.68036号

Katoen，Joost-Pieter（编辑）等，CONCUR 2011–并发理论。2011年9月6日至9日，第22届国际会议，CONCUR 2011，德国亚琛。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-23216-9/pbk）。计算机科学课堂讲稿6901389-403（2011）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.Ouaknine}等人，Lect。注释计算。科学。6901389--403（2011；Zbl 1300.68036）
全文： 内政部 链接
拜伦·库克;克里斯托夫·哈斯;约尔·瓦克宁;马修·帕金森;詹姆斯·沃雷尔

分离逻辑片段中的可追踪推理。 （英语） Zbl 1300.03017号

Katoen，Joost-Pieter（编辑）等，CONCUR 2011–并发理论。2011年9月6日至9日，第22届国际会议，CONCUR 2011，德国亚琛。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-23216-9/pbk）。计算机科学课堂讲稿6901235-249（2011）。
MSC公司：03B70号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Cook}等人，Lect。注释计算。科学。6901235-249（2011；Zbl 1300.03017）
全文： 内政部 链接
丹尼尔·克罗宁;约尔·瓦克宁;斯特里赫曼（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公司
保罗·亨特;帕特里夏·鲍耶;尼古拉斯·马基;约尔·瓦克宁;詹姆斯·沃雷尔

计算均匀（mathrm{TC}^0）中的有理根和。 （英语） Zbl 1245.68238号

Lodaya，Kamal（编辑）等人，IARCS软件技术和理论计算机科学基础年会（FSTTCS 2010），2010年12月15日至18日，印度钦奈。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-23-1）。LIPIcs–莱布尼茨国际信息学论文集8，308-316，仅电子版（2010）。
MSC公司：68单位05 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Hunter}等人，LIPIcs——莱布尼茨国际程序。通知。8308-316（2010年；Zbl 1245.68238）
全文： 内政部 链接
克里斯托夫·哈斯;约尔·瓦克宁;詹姆斯·沃雷尔

度量时态逻辑的过程代数扩展。 （英语） Zbl 1215.68150号

克利夫·琼斯（编辑）等人，《对C.A.R.霍尔作品的反思》。大多数论文基于2009年4月在英国剑桥举行的庆祝托尼·霍尔75岁生日的会议上的陈述。伦敦：施普林格出版社（ISBN 978-1-84882-911-4/hbk；978-1-848 82-912-1/电子书）。283-300 (2010).
MSC公司：68问题85 03B44号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit｛C.Haase｝等人，在：对C.A.R.Hoare工作的反思。大多数论文基于2009年4月在英国剑桥举行的庆祝托尼·霍尔75岁生日的会议上的陈述。伦敦：斯普林格。283--300（2010；Zbl 1215.68150）
全文： 内政部
斯特凡·格勒;克里斯托夫·哈斯;约尔·瓦克宁;詹姆斯·沃雷尔

模型检查简洁且参数化的单计数器自动机。 （英语） 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年；兹比尔1288.68170）
全文： 内政部
约尔·瓦克宁;亚历山大·拉比诺维奇;詹姆斯·沃雷尔

有时限的验证。 （英语） Zbl 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 1254.68134号

Bravetti，Mario（编辑）等人，CONCUR 2009–并发理论。第20届国际会议，CONCUR 2009，意大利博洛尼亚，2009年9月1-4日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-04080-1/pbk）。计算机科学课堂讲稿5710369-383（2009）。
MSC公司：65年第68季度 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Haase}等人，Lect。注释计算。科学。5710369-383（2009年；兹比尔1254.68134）
全文： 内政部
帕特里夏·鲍耶;尼古拉斯·马基;约尔·瓦克宁;菲利普·施诺贝伦;詹姆斯·沃雷尔

故障信道机器终止时。 （英语） 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年；兹比尔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。注释计算。科学。5126124-135（2008年；兹比尔1155.68426）
全文： 内政部 哈尔
Mislove，迈克尔;达斯科·巴甫洛维奇;詹姆斯·沃雷尔

将马尔可夫过程标记为广义随机关系。 （英语） Zbl 1277.68198号

Cardelli，Luca（编辑）等人，《计算、意义和逻辑》。献给戈登·普洛金的文章。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记172，459-478（2007）。
MSC公司：68问题85 18立方厘米 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Mislove}等人，《电子》。注释Theor。计算。科学。172、459--478（2007年；Zbl 1277.68198）
全文： 内政部
兰科·拉齐奇;汤姆·纽科姆;约尔·瓦克宁;A.W.罗斯科。;詹姆斯·沃雷尔

带有携带数据的标记的网络。 （英语） Zbl 1226.68062号

Kleijn，Jetty（编辑）等人，Petri网和其他并发模型——ICATPN 2007。第28届Petri网和其他并发模型应用和理论国际会议，2007年6月25日至29日，波兰Siedlce，ICATPN 2007。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73093-4/pbk）。计算机科学课堂讲稿4546301-320（2007）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.Lazić}等人，Lect。注释计算。科学。4546，301-320（2007；Zbl 1226.68062）
全文： 内政部
萨拉·亚当斯;约尔·瓦克宁;詹姆斯·沃雷尔

资源最少的时间自动机的普适性不确定。 （英语） Zbl 1141.68423号

Raskin，Jean-François（编辑）等，时间系统的形式化建模和分析。第五届国际会议，FORMATS 2007，奥地利萨尔茨堡，2007年10月3-5日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75453-4/pbk）。计算机科学课堂讲稿4763，25-37（2007）。
MSC公司：65年第68季度 03天35分
PDF格式BibTeX公司 XML格式引用
\textit{S.Adams}等人，莱克特。注释计算。科学。4763，25-37（2007；Zbl 1141.68423）
全文： 内政部 链接
帕罗什·阿齐兹·阿卜杜拉;约尔·瓦克宁;卡琳·夸斯;詹姆斯·沃雷尔

单时钟时间自动机的基于区域的通用性分析。 （英语） Zbl 1141.68422号

Arbab，Farhad（编辑）等人，软件工程基础国际研讨会。国际研讨会，FSEN 2007，伊朗德黑兰，2007年4月17日至19日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75697-2/pbk）。计算机科学课堂讲稿476798-112（2007）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.A.Abdulla}等人，Lect。注释计算。科学。4767、98-112（2007年；Zbl 1141.68422）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件