×

找到125份文件（结果1-100）

最新的 引文 关联
亚西尔·马哈茂德；乔尼·维特玛

命题包含和独立逻辑的参数化复杂性。 （英语） Zbl 07810570号

Hansen，Helle Hvid（编辑）等人，《逻辑、语言、信息和计算》。2023年7月11日至14日，第29届国际研讨会，WoLLIC 2023，加拿大NS哈利法克斯。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13923274-291（2023年）。
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{Y.Mahmood}和\textit{J.Virtema}，莱克特。票据计算。科学。13923274--291（2023；Zbl 07810570）
全文： 内政部 arXiv公司
阿米尔·卡夫什达尔·戈哈沙迪；艾哈迈德·哈利德·扎赫尔

使用树宽度和树宽度进行有效的过程间数据流分析。 （英语） Zbl 1529.68158号

Dragoi，Cezara（编辑）等人，《验证、模型检查和抽象解释》。第24届国际会议，VMCAI 2023，美国马萨诸塞州波士顿，2023年1月16-17日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13881, 177-202 (2023).
MSC公司：60年第68季度 68号30 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{A.K.Goharshady}和\textit{A.K.Zaher}，莱克特。票据计算。科学。13881177-202（2023年；Zbl 1529.68158）
全文： 内政部 哈尔
桑卡拉纳拉亚南·克里希纳；阿德瓦伊·戈博莱；罗兰·梅耶；查克拉博蒂，索姆

发布获取下的参数化验证是PSPACE完成的。 （英语） Zbl 07824301号

Milani，Alessia（ed.）等人，《第41届ACM分布式计算原理研讨会论文集》，PODC’22，意大利萨勒诺，2022年7月25日至29日。纽约州纽约市：计算机协会（ACM）。482-492 (2022).
MSC公司：64岁以下 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{S.Krishna}等人，in：第41届ACM分布式计算原理研讨会论文集，PODC’22，意大利萨勒诺，2022年7月25-29日。纽约州纽约市：计算机协会（ACM）。482-492（2022年；兹bl 07824301）
全文： 内政部
朱哈·科廷宁；阿恩·迈尔；亚西尔·马哈茂德

关于依赖逻辑复杂性的参数化视图。 （英语） Zbl 07551715号

Artemov，Sergei（编辑）等人，《计算机科学的逻辑基础》。2022年1月10日至13日，美国佛罗里达州迪尔菲尔德海滩，LFCS 2022国际研讨会。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。13137, 125-142 (2022).
MSC公司：03B70号
PDF格式BibTeX公司 XML格式引用
\textit{J.Kontinen}等人，Lect。票据计算。科学。13137125-142（2022；Zbl 07551715）
全文： 内政部 arXiv公司 链接
爱德华·博内；金恩贞（Kim，Eun Jung）；圣埃芬托马斯；雷米·瓦特里甘特

双胞胎宽度。一： 牵引式FO型号检查。 （英语） Zbl 1523.68039号

美国临床医学杂志 69，第1号，第3条，46页（2022年）.
MSC公司：60年第68季度 03C13号机组 06A07年 68年第27季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{埃里·博内特}等人，J.ACM 69，第1号，第3条，46页（2022年；Zbl 1523.68039）
全文： 内政部 arXiv公司
贾库布·巴拉巴；HlinŞný，佩特

双胞胎宽度与偏序集宽度呈线性关系。 （英语） Zbl 07803584号

Golovach，Petr A.（编辑）等人，第16届参数化和精确计算国际研讨会，IPEC 2021，葡萄牙里斯本，2021年9月8日至10日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。214，第6条，第13页（2021年）。
MSC公司：65年第68季度 68年第27季度 68瓦xx
PDF格式BibTeX公司 XML格式引用
\textit{J.Balabán}和\textit{P.Hliněn଑}，LIPIcs——莱布尼茨国际程序。通知。214，第6条，第13页（2021；Zbl 07803584）
全文： 内政部 arXiv公司
G.库尔蒂斯。；狄克逊，C。；M·费希尔。；利西萨，A。

通过一阶时序逻辑对先导/跟随系统进行参数化验证。 （英语） Zbl 1492.68087号

形式方法系统。设计。 58，第3号，440-468（2021）; 更正同上，第60号，第325-326（2022）。
MSC公司：60年第68季度 03B44号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{G.Kourtis}等人，《形式方法系统》。设计。58，第3号，440-468（2021；Zbl 1492.68087）
全文： 内政部
Nathalie Bertrand；玛丽亚娜·拉齐奇；约瑟夫·威德

弱对手下随机分布式算法的约简定理。 （英语） Zbl 1472.68083号

Henglein，Fritz（编辑）等人，《验证、模型检验和抽象解释》。第22届国际会议，VMCAI 2021，丹麦哥本哈根，2021年1月17日至19日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12597, 219-239 (2021).
MSC公司：60年第68季度 68宽15 68瓦20
PDF格式BibTeX公司 XML格式引用
\textit{N.Bertrand}等人，Lect。票据计算。科学。12597219-239（2021年；兹比尔1472.68083）
全文： 内政部 哈尔
Balasubramanian，A.R。；哈维尔·埃斯帕尔扎；玛丽亚娜·拉齐奇

门限自动机验证和合成的复杂性。 （英语） Zbl 1517.68221号

Hung，Dang Van（编辑）等人，《用于验证和分析的自动化技术》。第18届国际研讨会，2020年10月19日至23日，越南河内，ATVA 2020。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12302, 144-160 (2020).
MSC公司：60年第68季度 03B70号 65年第68季度 65年第68季度 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{A.R.Balasubramanian}等人，Lect。票据计算。科学。12302144-160（2020年；Zbl 1517.68221）
全文： 内政部 arXiv公司
托马斯·博兰德；阿尔诺·莱肯

动态信念更新的参数化复杂性。 （英语） Zbl 07437017号

Manuel A.Martins（编辑）等人，《动态逻辑》。新趋势和应用。第三次国际研讨会，达利2020，捷克共和国布拉格，2020年10月9日至10日。修订了选定的论文。查姆：斯普林格。莱克特。票据计算。科学。12569, 87-102 (2020).
MSC公司：68年第27季度 03B42号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{T.Bolander}和\textit{A.Lequen}，Lect。票据计算。科学。12569，87-102（2020；Zbl 07437017）
全文： 内政部
奥利弗·马克格拉夫；Chih-Duo洪；Anthony W·林。；穆罕默德·纳吉布；丹尼尔·奈德

具有安全性能的参数化合成。 （英语） Zbl 1476.68154号

Oliveira，Bruno C.d.S.（编辑），《编程语言和系统》。2020年11月30日至12月2日，日本福冈，APLAS 2020第18届亚洲研讨会。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。12470, 273-292 (2020).
MSC公司：60年第68季度 68问题32 65年第68季度 68问题85 68T40型 91A80型
PDF格式BibTeX公司 XML格式引用
\textit｛O.Markgraf｝等人，Lect。票据计算。科学。12470273--292（2020年；Zbl 1476.68154）
全文： 内政部 arXiv公司
迈克尔·布隆丁；哈维尔·埃斯帕尔扎；马丁·海弗里奇；安东·库切拉；菲利普·迈耶。

用随机调度检验复制系统的定性生存性。 （英语） Zbl 1478.68147号

Lahiri、Shuvendu Kumar（编辑）等人，《计算机辅助验证》。第32届国际会议，CAV 2020，美国加利福尼亚州洛杉矶，2020年7月21日至24日。诉讼程序。第二部分。查姆：斯普林格。莱克特。票据计算。科学。12225372-397（2020年）。
MSC公司：60年第68季度 68问题85 87年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{M.Blondin}等人，Lect。票据计算。科学。12225、372--397（2020年；Zbl 1478.68147）
全文： 内政部 arXiv公司
哈维尔·埃斯帕尔扎；米哈伊尔·拉斯金；查纳·韦尔·肯尼迪

即时观测Petri网的参数化分析。 （英语） Zbl 07796233号

Donatelli，Susanna（编辑）等人，《Petri网和并发的应用和理论》。第40届国际会议，2019年6月23日至28日，德国亚琛，PETRI NETS 2019，会议记录。查姆：斯普林格。莱克特。票据计算。科学。11522, 365-385 (2019).
MSC公司：68问题85 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Esparza}等人，Lect。票据计算。科学。11522365-385（2019年；Zbl 07796233）
全文： 内政部 arXiv公司
彼得·奇尼；罗兰·梅耶；普拉卡什·塞瓦桑

参数化系统活性的复杂性。 （英语） Zbl 1504.68141号

Chattopadhyay，Arkadev（ed.）等人，第39届IARCS软件技术和理论计算机科学基础年会，2019年12月11-13日，印度孟买，FSTTCS 2019。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。150，第37条，第15页（2019年）。
MSC公司：68问题85 65年第68季度 68年第27季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Chini}等人，LIPIcs——莱布尼茨国际程序。通知。150，第37条，第15页（2019年；Zbl 1504.68141）
全文： 内政部 arXiv公司
简·德雷尔；彼得·罗斯马尼思

随机图上FO模型检验的困难性。 （英语） Zbl 07650219号

Jansen，Bart M.P.（编辑）等人，第14届参数化和精确计算国际研讨会，2019年IPEC，德国慕尼黑，2019月11日至13日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。148，第11条，第15页（2019年）。
MSC公司：65年第68季度 68年第27季度 68瓦xx
PDF格式BibTeX公司 XML格式引用
\textit{J.Dreier}和\textit{P.Rossmanith}，LIPIcs——莱布尼茨国际程序。通知。148，第11条，第15页（2019年；Zbl 07650219）
全文： 内政部
Nathalie Bertrand；帕特里夏·鲍耶；阿尼尔班·马朱姆达尔

参数化广播网络中的重新配置和消息丢失。 （英语） Zbl 07649940号

Fokkink，Wan（编辑）等人，第30届并发理论国际会议，CONCUR 2019，荷兰阿姆斯特丹，2019年8月27日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。140，第32条，第15页（2019年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{N.Bertrand}等人，LIPIcs——莱布尼茨国际程序。通知。140，第32条，第15页（2019年；Zbl 07649940）
全文： 内政部
鲁本·卢比奥；马丁·奥列特，纳西索；伊莎贝尔·皮塔；阿尔贝托·维尔德乔

Maude中的参数化策略规范。 （英语） Zbl 1444.68104号

JoséLuiz（编辑）Fiadeiro等人，代数开发技术的最新趋势。第24届IFIP工作组1.3国际研讨会，2018年7月2日至5日，英国埃格姆，WADT 2018。修订了选定的论文。查姆：斯普林格。莱克特。票据计算。科学。11563, 27-44 (2019).
MSC公司：60年第68季度 03B70号 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Rubio}等人，Lect。票据计算。科学。11563、27-44（2019年；Zbl 1444.68104）
全文： 内政部 哈尔
埃蒂安·安德烈；劳伦·弗里堡；Jean-Marc的Mota；罗曼·苏拉特

使用抽象和参数模型检查验证工业异步领导者选举算法。 （英语） Zbl 1522.68293号

Enea，Constantin（编辑）等人，《验证、模型检查和抽象解释》。2019年1月13日至15日在葡萄牙卡斯凯斯举行的第20届国际会议，VMCAI 2019。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。11388, 409-424 (2019).
MSC公司：60年第68季度 68M10个 64岁以下 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{埃米·安德烈}等人，莱克特。票据计算。科学。11388、409--424（2019年；Zbl 1522.68293）
全文： 内政部 arXiv公司
罗纳德·哈恩

多项式层次结构中的参数化复杂性。将参数化复杂性理论扩展到更高层次。 （英语） Zbl 1435.68010号

计算机科学课堂讲稿11880.柏林：施普林格出版社（ISBN 978-3-662-60669-8/pbk；978-3-662-60670-4/ebook）。xi，第398页。(2019).
MSC公司：68-02 03B44号 2015年第68季度 68年第27季度 60年第68季度 68T20型 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{R.deHaan}，多项式层次结构中的参数化复杂性。将参数化复杂性理论扩展到更高层次。柏林：施普林格（2019；Zbl 1435.68010）
全文： 内政部
杜珊·克诺普；马丁·库特克；Masařík，托马什；托马斯·图法尔

MSO以外的简化算法元定理：树宽和邻域多样性。 （英语） Zbl 1427.68125号

日志。方法计算。科学。 15，第4号，第12号论文，32页（2019年）.
MSC公司：65年第68季度 03B16号 60年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{D.Knop}等人，日志。方法计算。科学。15，第4号，第12号论文，32页（2019年；Zbl 1427.68125）
全文： arXiv公司
法里德·阿布·扎伊德

有限结构的统一自动类。 （英语） Zbl 1528.68146号

Ganguly，Sumit（编辑）等人，第38届IARCS软件技术和理论计算机科学基础年会，2018年12月11-13日，印度艾哈迈达巴德，FSTTCS 2018。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。122，第10条，第21页（2018年）。
MSC公司：68年第27季度 19年第68季度 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Abu Zaid}，LIPIcs——莱布尼茨国际程序。通知。122，第10条，第21页（2018；Zbl 1528.68146）
全文： 内政部
马克斯·班纳赫；塞巴斯蒂安·伯恩特

实际访问树分解的动态编程。 （英语） Zbl 1522.68244号

Azar，Yossi（编辑）等人，第26届欧洲算法年会，2018年8月20日至22日，欧洲航天局，芬兰赫尔辛基。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。112，第6条，第13页（2018年）。
MSC公司：68年第27季度 60年第68季度 68兰特 68周05 90立方厘米
PDF格式BibTeX公司 XML格式引用
\textit{M.Bannach}和\textit{S.Berndt}，LIPIcs——莱布尼茨国际程序。通知。112，第6条，第13页（2018；Zbl 1522.68244）
全文： 内政部 arXiv公司
朱尔·库科维奇；伊戈尔·科诺夫；约瑟夫·威德

参数化系统中的可达性：各种类型的阈值自动机。 （英语） Zbl 1520.68062号

Schewe，Sven（编辑）等人，第29届并发理论国际会议。CONCUR 2018，中国北京，2018年9月4-7日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。118，第19条，第17页（2018年）。
MSC公司：65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Kukovec}等人，LIPIcs——莱布尼茨国际程序。通知。118，第19条，第17页（2018；Zbl 1520.68062）
全文： 内政部
加亚尔斯克，雅库布；丹尼尔·科拉尔

恢复稀疏图。 （英语） Zbl 1512.68152号

Potapov，Igor（编辑）等人，第43届计算机科学数学基础国际研讨会。2018年8月27日至31日，英国利物浦，MFCS 2018。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。117，第29条，第15页（2018年）。
MSC公司：60年第68季度 68年第27季度 68兰特 68周05
PDF格式BibTeX公司 XML格式引用
\textit{J.Gajarskí}和\textit{D.Král'}，LIPIcs——莱布尼茨国际程序。通知。117，第29条，第15页（2018；兹bl 1512.68152）
全文： 内政部 arXiv公司
丹尼尔·洛克斯塔诺夫；拉马努扬，M.S。；萨科特·索拉布；梅拉夫·泽哈维

将CMSO模型检查减少到高连通图。 （英语） Zbl 1499.68203号

Chatzigiannakis，Ioannis（编辑）等人，第45届自动化、语言和编程国际研讨会。2018年7月9日至13日，捷克共和国布拉格，ICALP 2018。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。107，第135条，第14页（2018年）。
MSC公司：60年第68季度 03B70号 68年第27季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{D.Lokshtanov}等人，LIPIcs——莱布尼茨国际程序。通知。107，第135条，第14页（2018；Zbl 1499.68203）
全文： 内政部 arXiv公司
迪特里赫·库斯克；尼科尔·施韦卡特

计算一阶逻辑扩展的Gaifman范式。 （英语） Zbl 1499.03028号

Chatzigiannakis，Ioannis（编辑）等人，第45届自动化、语言和编程国际研讨会。2018年7月9日至13日，捷克共和国布拉格，ICALP 2018。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。107，第133条，第14页（2018年）。
MSC公司：03C13号机组 03C07号机组 03C80号 68年第27季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Kuske}和\textit{N.Schweikardt}，LIPIcs——莱布尼茨国际程序。通知。107，第133条，第14页（2018；Zbl 1499.03028）
全文： 内政部
Micha Pilipczuk；塞巴斯蒂安·西伯茨；西门托伦奇克

稀疏结构模型检测的参数化电路复杂性。 （英语） Zbl 1497.68319号

2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集，2018年7月9日至12日，英国牛津，LICS 2018。纽约州纽约市：计算机协会（ACM）。789-798 (2018).
MSC公司：60年第68季度 03C13号机组 2006年第68季度 68年第27季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{M.Pilipczuk}等人，in：2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集，2018年LICS，英国牛津，2018年7月9日至12日。纽约州纽约市：计算机协会（ACM）。789--798（2018年；Zbl 1497.68319）
全文： 内政部 arXiv公司
迈克尔·布隆丁；哈维尔·埃斯帕尔扎；斯特凡·贾克斯；安东·库切拉

黑暗中的黑忍者：人口协议的形式分析。 （英语） Zbl 1487.68031号

2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集，2018年7月9日至12日，英国牛津，LICS 2018。纽约州纽约市：计算机协会（ACM）。1-10 (2018).
MSC公司：64岁以下 68个M12 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Blondin}等人，in：2018年第33届ACM/IEEE计算机科学逻辑研讨会论文集，2018年LICS，英国牛津，2018年7月9日至12日。纽约州纽约市：计算机协会（ACM）。1-10（2018；Zbl 1487.68031）
全文： 内政部
玛丽亚娜·拉齐奇；伊戈尔·科诺夫；约瑟夫·威德；布洛克，罗德里克

具有参数化阈值保护的分布式算法的综合。 （英语） Zbl 1487.68252号

Aspnes，James（编辑）等人，第21届分布式系统原理国际会议，OPODIS 2017，葡萄牙里斯本，2017年12月18-20日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。95，第32条，第20页（2018年）。
MSC公司：68宽15 64岁以下 68米15 第68页第19页 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Lazić}等人，LIPIcs——莱布尼茨国际程序。通知。95，第32条，第20页（2018；Zbl 1487.68252）
全文： 内政部
HlinŞný，佩特；菲利普·波克·维卡；罗伊，博德扬

几何图形的FO模型检查。 （英语） Zbl 1443.68105号

Lokshtanov，Daniel（编辑）等人，第十二届参数化和精确计算国际研讨会，2017年国际物理工程委员会，奥地利维也纳，2017年9月6日至8日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。89，第19条，第12页（2018年）。
MSC公司：60年第68季度 03B10号机组 05C62号 68年第27季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{P.Hliněn଑}等人，LIPIcs——莱布尼茨国际程序。通知。89，第19条，第12页（2018；Zbl 1443.68105）
全文： 内政部
Sylvain Conchon公司；戴维·德克勒克；法提哈扎伊迪

隔间-\（\mathcal{W}\）：弱内存上的参数化模型检查。 （英语） Zbl 1468.68122号

Galmiche，Didier（编辑）等人，《自动推理》。2018年7月14日至17日在英国牛津举行的第九届国际联合会议IJCAR 2018，作为联邦逻辑会议的一部分。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。10900, 152-160 (2018).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Conchon}等人，Lect。票据计算。科学。10900，152-160（2018年；Zbl 1468.68122）
全文： 内政部
帕罗什·阿齐兹·阿卜杜拉；穆罕默德·法乌齐（Mohamed Faouzi Atig）；艾哈迈德·博阿贾尼；Ngo、Tuan Phong

用于总存储顺序的加载缓冲语义。 （英语） Zbl 1459.68038号

日志。方法计算。科学。 14，第1号，第9号论文，46页（2018年）.
MSC公司：68号30 第68页第19页 68问题55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.A.Abdulla}等人，日志。方法计算。科学。14，第1号，第9号论文，46页（2018；Zbl 1459.68038）
全文： 内政部 arXiv公司
玛丽·福廷；安卡·穆斯科尔；伊戈尔·瓦卢基维奇

参数化异步共享内存下推系统的模型检查线性时间属性。 （英语） Zbl 1495.68134号

Majumdar，Rupak（编辑）等人，《计算机辅助验证》。2017年7月24日至28日在德国海德堡举行的2017年CAV第29届国际会议。诉讼程序。第二部分。查姆：斯普林格。莱克特。票据计算。科学。10427155-175（2017年）。
MSC公司：60年第68季度 03B44号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Fortin}等人，Lect。票据计算。科学。10427，155--175（2017；Zbl 1495.68134）
全文： 内政部 哈尔
van den Heuvel，简；斯蒂芬·克鲁泽；Micha Pilipczuk；丹尼尔·A·奎罗兹。；罗马人拉比诺维奇；塞巴斯蒂安·西伯茨

有界展开图类上连续不变一阶公式的模型检验。 （英语） Zbl 1460.68066号

2017年第32届ACM/IEEE计算机科学逻辑研讨会论文集，2017年6月20日至23日，冰岛雷克雅未克雷克雅维克大学，LICS 2017。新泽西州皮斯卡塔韦：IEEE出版社。第55条，第11页（2017年）。
MSC公司：60年第68季度 03B10号机组 03C13号机组 68年第27季度
PDF格式BibTeX公司 XML格式引用
\textit{J.van den Heuvel}等人，摘自：2017年第32届ACM/IEEE计算机科学逻辑研讨会论文集，2017年LICS，雷克雅未克大学，冰岛雷克雅维克，2017年6月20-23日。新泽西州皮斯卡塔韦：IEEE出版社。第55条，第11页（2017年；兹bl 1460.68066）
全文： arXiv公司 链接
彼得·奇尼；乔纳森·科尔伯格；安德烈亚斯·克雷布斯；罗兰·梅耶；普拉卡什·塞瓦桑

关于有界上下文切换的复杂性。 （英语） Zbl 1442.68073号

Pruhs，Kirk（编辑）等人，第25届欧洲算法研讨会，2017年ESA，奥地利维也纳，2017年9月4-6日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。87，第27条，第15页（2017年）。
MSC公司：68年第27季度 2017年第68季度 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{P.Chini}等人，LIPIcs——莱布尼茨国际程序。通知。87，第27条，第15页（2017；Zbl 1442.68073）
全文： 内政部 arXiv公司
斯蒂芬·克鲁泽

一阶模型检查的当前趋势和新观点（受邀演讲）。 （英语） Zbl 1434.68300号

Goranko，Valentin（编辑）等人，第26届EACSL计算机科学逻辑年会，CSL 2017，瑞典斯德哥尔摩，2017年8月20日至24日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。82，第4条，第5页（2017年）。
MSC公司：60年第68季度 03B10号机组 03B70号 03C13号机组 05C42号 65年第68季度 68年第27季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Kreutzer}，LIPIcs——莱布尼茨国际程序。通知。82，第4条，第5页（2017年；Zbl 1434.68300）
全文： 内政部
陈，胡比；莫里茨·米勒

一个层次衍生出另一个层次，即图解构和联合查询的复杂性分类。 （英语） Zbl 1407.68211号

ACM事务处理。计算。日志。 第18条第4款第29条第37页（2017年）.
MSC公司：65年第68季度 05C60型 05C75号 第68页，共15页 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Chen}和\textit{M.Muller}，ACM Trans。计算。日志。18，第4号，第29条，第37页（2017；Zbl 1407.68211）
全文： 内政部
伊戈尔·科诺夫；玛丽亚娜·拉齐奇；赫尔穆特·维思；约瑟夫·威德

\（\text{Para}^2）：参数化路径缩减、加速和SMT，用于阈值保护分布式算法中的可达性。 （英语） Zbl 1380.68279号

形式方法系统。设计。 51，第2期，270-307（2017）.
MSC公司：60年第68季度 64岁以下 68米15 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{I.Konnov}等人，《形式方法系统》。设计。51，第2号，270--307（2017；Zbl 1380.68279）
全文： 内政部
科德·艾克迈耶；川崎敬一

地图图上的FO模型检查。 （英语） Zbl 1495.68132号

Klasing，Ralf（编辑）等人，《计算理论基础》。2017年9月11-13日在法国波尔多举行的2017年FCT第21届国际研讨会。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。10472, 204-216 (2017).
MSC公司：60年第68季度 03B10号机组 05C42号 05C62号 05C85号 68年第27季度
PDF格式BibTeX公司 XML格式引用
\textit{K.Eickmeyer}和\textit{K.-i.Kawarabayashi}，莱克特。票据计算。科学。10472、204--216（2017；Zbl 1495.68132）
全文： 内政部
伊戈尔·科诺夫；玛丽亚娜·拉齐奇；赫尔穆特·维思；约瑟夫·威德

容错分布式算法安全性和活性验证的简短反例属性。 （英语） Zbl 1380.68278号

Castagna，Giuseppe（编辑）等人，第44届ACM SIGPLAN编程语言原则年度研讨会论文集，POPL’17，法国巴黎，2017年1月15日至21日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4660-3）。719-734 (2017).
MSC公司：60年第68季度 68宽15
PDF格式BibTeX公司 XML格式引用
\textit{I.Konnov}等人，in：第44届ACM SIGPLAN编程语言原理年度研讨会论文集，POPL’17，法国巴黎，2017年1月15-21日。纽约州纽约市：计算机协会（ACM）。719--734（2017；Zbl 1380.68278）
全文： 内政部 arXiv公司
Jochen Hoenicke公司；鲁帕克·马朱姆达尔；安德烈亚斯·波德尔斯基

多层次的线程模块化：组成验证中的一颗明珠。 （英语） Zbl 1380.68274号

Castagna，Giuseppe（编辑）等人，第44届ACM SIGPLAN编程语言原则年度研讨会论文集，POPL’17，法国巴黎，2017年1月15日至21日。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4660-3）。473-485 (2017).
MSC公司：60年第68季度 68号30 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.Hoenicke}等人，in：第44届ACM SIGPLAN编程语言原理年度研讨会论文集，POPL’17，法国巴黎，2017年1月15-21日。纽约州纽约市：计算机协会（ACM）。473--485（2017；Zbl 1380.68274）
全文： 内政部
艾丽斯·范德波尔；艾丽斯·范·罗伊；贾库布·西曼尼克

基于动态认知逻辑的心智理论模型的参数化复杂性结果。 （英语） Zbl 1483.68387号

Ramanujam，R.（编辑），《第十五届理性与知识理论方面会议论文集》，TARK 2015，卡内基梅隆大学，美国匹兹堡，2015年6月4-6日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）215246-263（2016）。
MSC公司：68T27型 03B42号 68年第27季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{I.van de Pol}等人，《电子》。程序。西奥。计算。科学。（EPTCS）215246-263（2016；Zbl 1483.68387）
全文： arXiv公司 链接
Gajarský，J。；林恩，P。；Obdržálek，J。；洛克斯塔诺夫，D。；拉马努扬，M.S。

关于稠密图类的FO模型检查的一个新观点。 （英语） Zbl 1401.68196号

2016年7月5日至8日，美国纽约州纽约市，2016年第31届ACM/IEEE计算机科学逻辑研讨会论文集，2016年LICS。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-4391-6）。176-184 (2016).
MSC公司：60年第68季度 03B70号 05C75号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Gajarskí}等人，摘自：2016年第31届ACM/IEEE计算机科学逻辑研讨会论文集，2016年LICS，美国纽约市，2016年7月5-8日。纽约州纽约市：计算机协会（ACM）。176-184（2016；Zbl 1401.68196）
全文： 内政部 arXiv公司
哈维尔·埃斯帕尔扎；皮埃尔·甘蒂；杰罗姆·勒鲁；鲁帕克·马朱姆达尔

模型检查填充协议。 （英语） Zbl 1391.68078号

Lal，Akash（ed.）等人，第36届IARCS软件技术和理论计算机科学基础年会（FSTTCS 2016），印度钦奈，2016年12月13-15日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-027-9）。LIPIcs–莱布尼茨国际信息学论文集65，第27条，第14页。(2016).
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{J.Esparza}等人，LIPIcs——莱布尼茨国际程序。通知。65，第27条，14~p.（2016；Zbl 1391.68078）
全文： 内政部
伊戈尔·科诺夫；托默·科特克；王强；赫尔穆特·维思；西蒙·布利兹；约瑟夫·西法基斯

BIP中的参数化系统：设计和模型检查。 （英语） Zbl 1392.68254号

Desharnais，Josée（编辑）等人，第27届并发理论国际会议，CONCUR 2016，加拿大魁北克市，2016年8月23日至26日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-95977-017-0）。LIPIcs–Leibniz International Proceedings in Informatics莱布尼茨国际信息学会议59，Article 30，16 p.（2016）。
MSC公司：60年第68季度 03B70号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{I.Konnov}等人，LIPIcs——莱布尼茨国际程序。通知。59，第30条，第16页（2016；Zbl 1392.68254）
全文： 内政部
玛丽·福廷；保罗·加斯丁

通过分裂宽度验证参数化通信自动机。 （英语） Zbl 1475.68182号

Jacobs，Bart（编辑）等人，《软件科学和计算结构基础》。2016年4月2日至8日在荷兰埃因霍温举行的第19届国际会议FOSSACS 2016，作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。9634, 197-213 (2016).
MSC公司：60年第68季度 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{M.Fortin}和\textit{P.Gastin}，莱克特。票据计算。科学。9634，197--213（2016；Zbl 1475.68182）
全文： 内政部 哈尔
帕罗什·A·阿卜杜拉。；弗雷德里克·哈齐扎；卢卡·霍利克

视图抽象–教程（特邀论文）。 （英语） Zbl 1429.68137号

André，Etienne（编辑）等人，第二届复杂参数合成国际研讨会，SynCoP’15，2015年4月11日，英国伦敦。Wadern：Schloss Dagstuhl–Leibniz Zentrum für Informatik。OASIcs–OpenAccess服务器。通知。44, 1-15 (2015).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.A.Abdulla}等人，OASIcs--OpenAccess Ser。通知。44、1-15（2015年；Zbl 1429.68137）
全文： 内政部
罗伯特·加尼安；彼得·赫林尼；丹尼尔·科拉尔；Obdržálek，简；贾雷特·施瓦茨；雅库布·特斯卡

区间图的FO模型检查。 （英语） Zbl 1448.68299号

日志。方法计算。科学。 11，第4号，第11号论文，20页（2015）.
MSC公司：60年第68季度 68年第27季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{R.Ganian}等人，日志。方法计算。科学。11，第4号，第11号论文，20页（2015；Zbl 1448.68299）
全文： 内政部
加亚尔斯克，雅库布；HlinŞný，佩特；Obdržálek，简；塞巴斯蒂安·奥德尼亚克

更快的偏序集存在FO模型检查。 （英语） Zbl 1448.68298号

日志。方法计算。科学。 11，第4号，第8号论文，13页（2015）.
MSC公司：60年第68季度 03B70号 2006年6月 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Gajarskí}等人，日志。方法计算。科学。11，第4号，第8号论文，13页（2015；Zbl 1448.68298）
全文： 内政部
阿默尔·塔哈特；阿里·埃布纳西尔

一种用于参数化自稳定协议的验证和综合的混合方法。 （英语） Zbl 1457.68170号

Proietti，Maurizio（编辑）等，基于逻辑的程序合成和转换。2014年9月9日至11日在英国坎特伯雷举行的2014年LOPSTR第24届国际研讨会。修订了选定的论文。查姆：斯普林格。莱克特。票据计算。科学。8981, 201-218 (2015).
MSC公司：60年第68季度 68号30
PDF格式BibTeX公司 XML格式引用
\textit{A.Tahat}和\textit{A.Ebnenasir}，莱克特。票据计算。科学。8981，201--218（2015；Zbl 1457.68170）
全文： 内政部
甘杰，泽纳布；艾哈迈德·雷兹；佩特鲁·埃利斯；彭泽波

同步过程的抽象和计数。 （英语） Zbl 1432.68305号

D’Souza，Deepak（编辑）等人，《验证、模型检查和抽象解释》。2015年1月12日至14日在印度孟买举行的第16届国际会议，VMCAI 2015。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。8931227-244（2015年）。
MSC公司：68问题85 03B70号 68号30 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{Z.Ganjei}等人，Lect。票据计算。科学。8931227--244（2015；Zbl 1432.68305）
全文： 内政部 链接
拜克斯，彼得；简·雷内克

通过聚类抽象分析无限状态图变换系统。 （英语） Zbl 1432.68299号

D’Souza，Deepak（编辑）等人，《验证、模型检查和抽象解释》。2015年1月12日至14日在印度孟买举行的第16届国际会议，VMCAI 2015。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。8931, 135-152 (2015).
MSC公司：68问题85 2012年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.Backes}和\textit{J.Reineke}，莱克特。票据计算。科学。8931、135——152（2015年；Zbl 1432.68299）
全文： 内政部
陈，胡比；莫里茨·米勒

一个层次产生另一个层次：图解构和联合查询的复杂性分类。 （英语） Zbl 1394.68172号

2014年7月14日至18日在奥地利维也纳举行的第二十三届EACSL计算机科学逻辑年会和2014年第二十九届ACM/IEEE计算机科学逻辑研讨会联席会议记录。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-1-4503-2886-9）。第32号论文，第10页（2014年）。
MSC公司：65年第68季度 05C60型 05C75号 第68页，共15页 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Chen}和\textit{M.üller}，in：第二十三届EACSL计算机科学逻辑年会联席会议记录，CSL，2014年第29届ACM/IEEE计算机科学逻辑研讨会，LICS 2014，奥地利维也纳，2014年7月14-18日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。第32号论文，第10页（2014；Zbl 1394.68172）
全文： 内政部 arXiv公司
陈，胡比

图形化一阶查询集的可处理边界。 （英语） Zbl 1394.68171号

2014年7月14日至18日在奥地利维也纳举行的第二十三届EACSL计算机科学逻辑年会和2014年第二十九届ACM/IEEE计算机科学逻辑研讨会联席会议记录。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-1-4503-2886-9）。第31号论文，第9页（2014年）。
MSC公司：65年第68季度 03C13号机组 第68页，共15页 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{H.Chen}，in：第二十三届EACSL计算机科学逻辑年会联席会议记录，CSL，2014年第29届ACM/IEEE计算机科学逻辑研讨会，LICS 2014，奥地利维也纳，2014年7月14-18日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。第31号论文，第9页（2014；Zbl 1394.68171）
全文： 内政部 arXiv公司 链接
西蒙·波娃；罗伯特·加尼安；斯泽德，斯特凡

部分有序集上的模型检查存在逻辑。 （英语） Zbl 1401.68187号

2014年7月14日至18日在奥地利维也纳举行的第二十三届EACSL计算机科学逻辑年会和2014年第二十九届ACM/IEEE计算机科学逻辑研讨会联席会议记录。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-1-4503-2886-9）。第21号论文，第10页（2014年）。
MSC公司：60年第68季度 03B70号 2006年6月 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Bova}等人，in：第二十三届EACSL计算机科学逻辑年会联席会议记录，CSL，2014年第29届ACM/IEEE计算机科学逻辑研讨会，LICS 2014，奥地利维也纳，2014年7月14-18日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。第21号论文，第10页（2014；Zbl 1401.68187）
全文： 内政部 arXiv公司
贝内迪克特·博利格

用参数化拓扑通信自动机的逻辑。 （英语） Zbl 1401.68223号

2014年7月14日至18日在奥地利维也纳举行的第二十三届EACSL计算机科学逻辑年会和2014年第二十九届ACM/IEEE计算机科学逻辑研讨会联席会议记录。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-1-4503-2886-9）。第18号文件，第10页（2014年）。
MSC公司：68问题85 03B70号 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{B.Bollig}，in：2014年7月14日至18日在奥地利维也纳举行的第二十三届EACSL计算机科学逻辑年会联合会议和2014年第二十九届ACM/IEEE计算机科学逻辑研讨会会议记录。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。第18号论文，第10页（2014；Zbl 1401.68223）
全文： 内政部 哈尔
贝内迪克特·博利格；保罗·加斯丁；阿克谢·库马尔

参数化通信自动机：补充和模型检查。 （英语） 兹比尔1360.68577

Raman，Venkatesh（ed.）等人，第34届软件技术和理论计算机科学基础国际会议，FSTTCS 2014，印度新德里，2014年12月15日至17日。Wadern:Schloss Dagstuhl–Leibniz Zentrum für Informatik出版社（ISBN 978-3-939897-77-4）。LIPIcs–莱布尼茨国际信息学论文集29，625-637（2014）。
MSC公司：60年第68季度 05年3月 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{B.Bollig}等人，LIPIcs——莱布尼茨国际程序。通知。29625--637（2014年；Zbl 1360.68577）
全文： 内政部
克里斯托夫·伯克霍尔茨；迈克尔·埃尔伯菲尔德

固定变量逻辑的参数化复杂性。 （英语） Zbl 1360.68491号

Raman，Venkatesh（ed.）等人，第34届软件技术和理论计算机科学基础国际会议，FSTTCS 2014，印度新德里，2014年12月15日至17日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-77-4）。LIPIcs–莱布尼茨国际信息学论文集29，109-120（2014）。
MSC公司：65年第68季度 2015年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Berkholz}和\textit{M.Elberfeld}，LIPIcs——莱布尼茨国际程序。通知。29、109-120（2014年；Zbl 1360.68491）
全文： 内政部
哈维尔·埃斯帕尔扎

确保人群安全：关于参数化验证的复杂性（受邀演讲）。 （英语） Zbl 1359.68189号

Mayr，Ernst W.（编辑）等人，第31届计算机科学理论方面国际研讨会，STACS’14，法国里昂，2014年3月5日至8日。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-65-1）。LIPIcs–莱布尼茨国际信息学论文集25，1-10（2014）。
MSC公司：60年第68季度 65年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Esparza}，LIPIcs——莱布尼茨国际程序。通知。25、1-10（2014年；Zbl 1359.68189）
全文： 内政部 arXiv公司
西蒙·波娃；罗伯特·加尼安；斯泽德，斯特凡

部分有序集上的量化联合查询。 （英语） Zbl 1456.68096号

Cygan，Marek（编辑）等人，《参数化和精确计算》。2014年9月10日至12日在波兰弗罗茨瓦夫举行的IPEC 2014第九届国际研讨会。修订了选定的论文。查姆：斯普林格。莱克特。票据计算。科学。8894, 122-134 (2014).
MSC公司：60年第68季度 2006年6月 68年第27季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Bova}等人，Lect。票据计算。科学。8894、122--134（2014；Zbl 1456.68096）
全文： 内政部 arXiv公司
加亚尔斯克，雅库布；HlinŞný，佩特；Obdržálek，简；塞巴斯蒂安·奥德尼亚克

更快的偏序集存在FO模型检查。 （英语） Zbl 1433.68216号

Ahn，Hee-Kap（编辑）等人，《算法与计算》。2014年12月15日至17日在韩国全州举行的第25届国际研讨会，ISAAC 2014。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。8889, 441-451 (2014).
MSC公司：60年第68季度 68年第27季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Gajarskí}等人，Lect。票据计算。科学。8889441--451（2014年；Zbl 1433.68216）
全文： 内政部 arXiv公司
皮埃尔·甘蒂；艾哈迈德·雷兹

有序的反抽象。用于参数化验证的可细化子字关系。 （英语） Zbl 1407.68290号

Dediu，Adrian-Horia（编辑）等人，《语言和自动机理论与应用》。2014年3月10日至14日在西班牙马德里举行的2014年拉丁美洲旅游协会第八届国际会议。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。8370, 396-408 (2014).
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.甘蒂}和\textit{A.雷兹}，莱克特。票据计算。科学。8370396--408（2014年；Zbl 1407.68290）
全文： 内政部
Nathalie Bertrand；波林·福尼尔

许多相同概率定时过程的参数化验证。 （英语） Zbl 1359.68185号

Seth，Anil（编辑）等人，第33届软件技术和理论计算机科学基础国际会议，2013年FSTTCS，印度古瓦哈蒂，2013年12月12-14日。诉讼程序。瓦登：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-64-4）。LIPIcs–莱布尼茨国际信息学论文集24，501-513（2013）。
MSC公司：60年第68季度 87年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Bertrand}和\textit{P.Fournier}，LIPIcs——莱布尼茨国际程序。通知。24501-513（2013；Zbl 1359.68185）
全文： 内政部
斯特凡·格勒

模型检查并发系统的固定参数可处理性。 （英语） Zbl 1356.68143号

Ronchi della Rocca，Simona（编辑），计算机科学逻辑2013。2013年9月2日至5日，意大利都灵，第27届CSL研讨会和欧洲计算机科学逻辑协会（EACSL）第22届年会论文集。瓦登：达格斯图尔宫-莱布尼茨天顶信息馆（ISBN 978-3-939897-60-6）。LIPIcs–莱布尼茨国际信息学论文集23，332-347（2013）。
MSC公司：60年第68季度 03B44号 03B70号 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{S.Göller}，LIPIcs——莱布尼茨国际程序。通知。23332--347（2013；Zbl 1356.68143）
全文： 内政部
罗伯特·加尼安；HlinŞný，佩特；丹尼尔·科拉尔；Obdržálek，简；贾雷特·施瓦茨；雅库布·特斯卡

区间图的FO模型检查。 （英语） Zbl 1334.68132号

Fomin，Fedor V.（编辑）等人，自动机、语言和编程。2013年7月8日至12日，第40届国际学术讨论会，ICALP 2013，拉脱维亚里加，会议记录，第二部分。柏林：施普林格出版社（ISBN 978-3-642-39211-5/pbk）。计算机科学课堂讲稿7966250-262（2013）。
MSC公司：60年第68季度 65年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{R.Ganian}等人，Lect。票据计算。科学。7966250-262（2013年；Zbl 1334.68132）
全文： 内政部 arXiv公司
乔治·德尔赞诺；阿诺德·桑尼尔；里卡多·特拉维索；吉安路易吉·扎瓦塔罗

可重构广播网络中参数化可达性的复杂性。 （英语） Zbl 1354.68014号

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，289-300（2012）。
MSC公司：68M10个 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{G.Delzanno}等人，LIPIcs——莱布尼茨国际程序。通知。18、289--300（2012；Zbl 1354.68014）
全文： 内政部
罗伯特·加尼安；HlinŞný，佩特；亚历山大·兰格；Obdržálek，简；彼得·罗斯马尼思；索姆纳特·锡达尔

\（\mathrm复杂性的下限{MSO}_1\)模型检查。 （英语） Zbl 1245.68107号

Dürr，Christoph（编辑）等人，STACS 2012。第29届计算机科学理论方面国际研讨会，2012年2月29日至3月3日，法国巴黎。瓦登：达格斯图尔宫-莱布尼茨天顶信息馆（ISBN 978-3-939897-35-4）。LIPIcs–莱布尼茨国际信息学会议录14，326-337，仅电子版（2012年）。
MSC公司：65年第68季度 03B25号 60年第68季度 68兰特
PDF格式BibTeX公司 XML格式引用
\textit{R.Ganian}等人，LIPIcs——莱布尼茨国际程序。通知。14、326--337（2012；Zbl 1245.68107）
全文： 内政部
约阿希姆·奈伊斯；亚历山大·兰格

库塞尔定理的实用方法。 （英语） Zbl 1291.03077号

采什卡，米兰（编辑）等人，计算机科学中数学和工程方法国际博士研讨会论文集（MEMICS 2008），捷克共和国兹诺伊莫，2008年11月14日至16日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记251，65-81（2009）。
MSC公司：05年3月 05C85号 65年第68季度 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Kneis}和\textit{A.Langer}，电子。注释Theor。计算。科学。251、65-81（2009年；Zbl 1291.03077）
全文： 内政部
帕罗什·阿齐兹·阿卜杜拉

参数化验证中的单调抽象。 （英语） Zbl 1337.68164号

Halava，Vesa（编辑）等人，计算模型可达性问题第二次研讨会论文集（RP 2008），英国利物浦，2008年9月15日至17日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记223，3-14（2008）。
MSC公司：60年第68季度 68号30 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{P.A.Abdulla}，电子。注释Theor。计算。科学。223，3-4（2008；Zbl 1337.68164）
全文： 内政部
安蒂·西尔托拉；米查尔·瓦伦塔

验证参数化taDOM+锁管理器。 （英语） Zbl 1132.68482号

Geffert，Viliam（编辑）等人，SOFSEM 2008：计算机科学的理论与实践。2008年1月19日至25日，斯洛伐克斯莫科韦茨，第34届计算机科学理论和实践趋势会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-77565-2/pbk）。计算机科学课堂讲稿4910460-472（2008）。
MSC公司：60年第68季度 第68页，共15页
PDF格式BibTeX公司 XML格式引用
\textit{A.Siirtola}和\textit{M.Valenta}，莱克特。票据计算。科学。4910460-472（2008年；Zbl 1132.68482）
全文： 内政部
Jyotirmoy V.德斯穆赫。；艾默生·E·艾伦；普拉蒂克古普塔

参数化数据结构的自动验证。 （英语） Zbl 1180.68126号

Hermanns，Holger（编辑）等人，《系统构建和分析的工具和算法》。2006年3月25日至4月2日在奥地利维也纳举行的第12届国际会议TACAS 2006，是欧洲软件理论与实践联合会议ETAPS 2006的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-33056-9/pbk）。《计算机科学讲义》3920，27-41（2006）。
MSC公司：68第05页 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.V.Deshmukh}等人，Lect。票据计算。科学。3920、27-41（2006年；Zbl 1180.68126）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件