Domagoj Babić;拜伦·库克;胡亚伦·J·。;茨沃尼米尔·拉卡马里奇 证明非线性命令序列的终止。 （英语） Zbl 1298.68164号 正式Asp。计算。 25，第3期，389-403（2013）。理学硕士：60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.Babić}等人，《形式语法》。计算。25，编号3389-403（2013；兹bl 1298.68164） 全文： 内政部
拜伦·库克;丹尼尔·克罗宁;菲利普·吕默;Christoph M.温特斯泰格。 位向量关系的排序函数综合。 （英语） Zbl 1291.68138号 形式方法系统。设计。 43，第1期，93-120（2013）。理学硕士：68号30 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{B.Cook}等人，《形式方法系统》。设计。43，第1号，93-120（2013；Zbl 1291.68138） 全文： 内政部 链接
拜伦·库克;埃里克·科斯金;摩什·瓦尔迪 作为程序分析任务的时间属性验证。 （英语） Zbl 1284.68171号 形式方法系统。设计。 41，第1期，66-82（2012）。理学硕士：68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Cook}等人，《形式方法系统》。设计。41，第1号，66--82（2012；Zbl 1284.68171） 全文： 内政部 链接
阿列克谢·戈茨曼;伯丁，乔希;拜伦·库克 并发分离逻辑中的精度和连接规则。 （英语） Zbl 1342.68085号 Mislove，Michael（ed.）等人，《第27届编程语义数学基础会议论文集》（MFPS XXVII），匹兹堡，宾夕法尼亚州，美国，2011年5月25日至28日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记276171-190（2011）。理学硕士：68号30 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Gotsman}等人，《电子》。注释Theor。计算。科学。276171-190（2011年；Zbl 1342.68085） 全文： 内政部
拜伦·库克;克里斯托夫·哈斯;约尔·瓦克宁;马修·帕金森;詹姆斯·沃雷尔 分离逻辑片段中的可追踪推理。 （英语） 兹比尔1300.03017 Katoen，Joost-Pieter（编辑）等，CONCUR 2011–并发理论。2011年9月6日至9日，第22届国际会议，CONCUR 2011，德国亚琛。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-23216-9/pbk）。计算机科学课堂讲稿6901235-249（2011）。理学硕士：03B70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Cook}等人，Lect。注释计算。科学。6901235-249（2011；Zbl 1300.03017） 全文： 内政部 链接