布莱斯·基内斯特;多龙·贝利德;斯文·舍韦 知识=观察+记忆+计算。 （英语） Zbl 1459.68144号 Andrew Pitts（编辑），《软件科学和计算结构基础》。第18届国际会议，FOSSACS 2015，作为欧洲软件理论与实践联合会议的一部分，ETAPS 2015，英国伦敦，2015年4月11-18日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。9034, 215-229 (2015).MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Genest}等人，Lect。注释计算。科学。9034、215--229（2015；Zbl 1459.68144） 全文： 内政部 哈尔
伊迪丝·埃尔金;布莱斯·基内斯特;多龙·贝利德;鲍拉·斯波莱蒂尼 量化不一致：消息序列图中的顺序差异。 （英语） Zbl 1200.68046号 发现的国际期刊。计算。科学。 21，第2期，211-233（2010）.MSC公司：68个M12 22E46型 53立方35 57平方米 PDF格式BibTeX公司 XML格式引用 \textit{E.Elkind}等人，国际期刊发现。计算。科学。21，第2号，211--233（2010；Zbl 1200.68046） 全文： 内政部
德拉甘博什纳奇基;伊迪丝·埃尔金;布莱斯·基内斯特;多龙·贝利德 基于交换性的边缘精益搜索。 （英语） Zbl 1185.68407号 安。数学。Artif公司。智力。 56，第2期，187-210（2009）.MSC公司：60年第68季度 68T99型 68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.Bošnački}等人，《数学年鉴》。Artif公司。智力。56，第2号，187--210（2009；Zbl 1185.68407） 全文： 内政部 链接
伊迪丝·埃尔金;布莱斯·基内斯特;多龙·贝利德;鲍拉·斯波莱蒂尼 量化不一致：消息序列图中的顺序差异。 （英语） Zbl 1141.68504号 Namjoshi，Kedar S.（编辑）等人，《验证和分析自动化技术》。2007年10月22日至25日，第五届国际研讨会，ATVA 2007，日本东京。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75595-1/pbk）。计算机科学课堂讲稿4762378-393（2007）。MSC公司：68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.Elkind}等人，Lect。注释计算。科学。4762、378--393（2007年；Zbl 1141.68504） 全文： 内政部 链接
德拉甘博什纳奇基;伊迪丝·埃尔金;布莱斯·基内斯特;多龙·贝利德 基于交换性的边缘精益搜索。 （英语） Zbl 1171.68444号 Arge，Lars（编辑）等人，《自动化，语言和编程》。2007年7月9日至13日在波兰Wrocław举行的第34届国际学术讨论会，ICALP 2007。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73419-2/pbk）。计算机科学课堂讲稿4596158-170（2007）。MSC公司：68页第10页 60年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{D.Bošnački}等人，莱克特。注释计算。科学。4596、158--170（2007年；Zbl 1171.68444） 全文： 内政部
伊迪丝·埃尔金;布莱斯·基内斯特;多龙·贝利德 检测消息序列图集合中的种族。 （英语） Zbl 1186.68319号 Grumberg，Orna（编辑）等人，《系统构建和分析的工具和算法》。2007年3月24日至4月1日在葡萄牙布拉加举行的第13届国际会议TACAS 2007，是欧洲软件理论与实践联合会议ETAPS 2007的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-71208-4/pbk）。计算机科学课堂讲稿4424420-434（2007）。MSC公司：68问题85 68号30 PDF格式BibTeX公司 XML格式引用 \textit{E.Elkind}等人，Lect。注释计算。科学。44244420-434（2007年；兹bl 1186.68319） 全文： 内政部
伊迪丝·埃尔金;布莱斯·基内斯特;多龙·贝利德;曲洪阳 灰色方框检查。 （英语） Zbl 1225.68113号 Najm，Elie（编辑）等人，网络和分布式系统的形式化技术–FORTE 2006。第26届IFIP WG 6.1国际会议，法国巴黎，2006年9月26-29日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-46219-4/pbk）。计算机科学课堂讲稿4229420-435（2006）。MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Elkind}等人，Lect。注释计算。科学。4229420-435（2006年；Zbl 1225.68113） 全文： 内政部
布莱斯·基内斯特;迪特里赫·库斯克;麝香草，安卡;多龙·贝利德 快照验证。 （英语） Zbl 1087.68055号 Halbwachs，Nicolas（编辑）等人，《系统构建和分析的工具和算法》。2005年4月4日至8日，在英国爱丁堡举行的第11届国际会议TACAS 2005，该会议是欧洲软件理论与实践联合会议ETAPS 2005的一部分。诉讼程序。柏林：施普林格出版社（ISBN 3-540-25333-5/pbk）。计算机科学课堂讲稿3440510-525（2005）。MSC公司：60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Genest}等人，Lect。注释计算。科学。3440510-525（2005；Zbl 1087.68055） 全文： 内政部
布莱斯·基内斯特;马吕斯·米娜;麝香草，安卡;多龙·贝利德 使用模板MSC指定和验证部分订单属性。 （英语） Zbl 1126.68498号 Walukiewicz，Igor（编辑），软件科学和计算结构基础。2004年3月29日至4月2日在西班牙巴塞罗那举行的第七届国际会议FOSSACS 2004，是欧洲软件理论与实践联合会议ETAPS 2004的一部分。程序。柏林：施普林格出版社（ISBN 3-540-21298-1/pbk）。计算机科学课堂讲稿2987195-210（2004）。MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Genest}等人，Lect。注释计算。科学。2987195-210（2004年；Zbl 1126.68498） 全文： 内政部
布莱斯·基内斯特;麝香草，安卡;多龙·贝利德 消息序列图。 （英语） Zbl 1088.68124号 Desel，Jörg（编辑）等人，《并发和Petri网讲座》。Petri网的进展。柏林：施普林格出版社（ISBN 3-540-22261-8/pbk）。计算机科学课堂讲稿3098537-558（2004）。MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Genest}等人，Lect。注释计算。科学。3098、537--558（2004年；Zbl 1088.68124） 全文： 内政部