埃尔克·博伊滕；约翰·德里克 理解、解释和衍生细化。 （英语） Zbl 1486.68008号 Adamatzky，Andrew（编辑）等人，《从天体物理学到非常规计算》。在苏珊·斯蒂芬尼60岁生日之际向她提交的论文。查姆：斯普林格。新兴复杂性。计算。35, 195-206 (2020).MSC公司：2003年8月 01A70号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{E.Boiten}和\textit{J.Derrick}，Emerg.Complex。计算。35、195--206（2020；Zbl 1486.68008） 全文： 内政部 链接
约翰·德里克；埃尔克·博伊滕 关系并发优化。III： 痕迹、部分关系和自动机。 （英语） 兹比尔1342.68227 正式Asp。计算。 第2期第26页，第407-432页（2014年）.MSC公司：68问题85 68号30 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Derrick}和\textit{E.Boiten}，正式Asp。计算。26，第2号，407--432（2014；Zbl 1342.68227） 全文： 内政部
格哈德·谢尔霍恩；约翰·德里克；海克·卫尔海姆 并发数据结构线性化能力的完善证明技术。 （英语） Zbl 1354.68066号 ACM事务处理。计算。日志。 第15号第4条第31条第37页（2014年）.MSC公司：68第05页 60年第68季度 68问题85 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{G.Schellhorn}等人，《美国医学杂志》。计算。日志。第15条第4款第31条第37页（2014年；Zbl 1354.68066） 全文： 内政部 链接
约翰·德里克；格雷姆·史密斯 Z求精下的时序逻辑属性保持。 （英语） Zbl 1259.68032号 正式Asp。计算。 24，第3号，393-416（2012）.MSC公司：68号30 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{J.Derrick}和\textit{G.Smith}，正式Asp。计算。24，第3号，393--416（2012；Zbl 1259.68032） 全文： 内政部
埃尔克·博伊滕；约翰·德里克 阻塞范式中关系模拟的不完整性。 （英语） Zbl 1209.68306号 科学。计算。程序。 75，第12期，1262-1269（2010）.MSC公司：第68季度55 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{E.Boiten}和\textit{J.Derrick}，科学。计算。程序。75，第12号，1262--1269（2010；Zbl 1209.68306） 全文： 内政部
约翰·德里克；海克·卫尔海姆 跨视图的模型转换。 （英语） Zbl 1187.68161号 科学。计算。程序。 75，第3期，192-210（2010）.MSC公司：68N99型 PDF格式BibTeX公司 XML格式引用 \textit{J.Derrick}和\textit{H.Wehrheim}，科学。计算。程序。75，编号3192-210（2010年；兹bl 1187.68161） 全文： 内政部
约翰·德里克；埃尔克·博伊滕 关系并发求精：自动机。 （英语） 兹比尔1342.68226 Boiten，Eerke（编辑）等人，第14届BCS-FACS精炼研讨会会议记录（REFINE 2009），荷兰埃因霍温，2009年11月。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记259，21-34（2009）。MSC公司：68问题85 68号30 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Derrick}和\textit{E.Boiten}，电子。注释Theor。计算。科学。259、21-34（2009年；Zbl 1342.68226） 全文： 内政部
埃尔克·博伊滕；约翰·德里克；格哈德·谢尔霍恩 关系并发优化。二： 内部操作和输出。 （英语） Zbl 1165.68412号 正式Asp。计算。 21，编号1-2，65-102（2009）.MSC公司：68问题65 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{E.Boiten}等人，正式Asp。计算。21，编号1--2，65-102（2009；Zbl 1165.68412） 全文： 内政部
埃尔克·博伊滕；约翰·德里克 关系并发求精中的分歧建模。 （英语） Zbl 1211.68265号 Leuschel，Michael（编辑）等人，《综合形式方法》。2009年2月16日至19日，德国杜塞尔多夫，第七届国际会议，IFM 2009。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00254-0/pbk）。计算机科学课堂讲稿5423183-199（2009）。MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Boiten}和\textit{J.Derrick}，莱克特。票据计算。科学。5423183-199（2009年；Zbl 1211.68265） 全文： 内政部
约翰·德里克；埃尔克·博伊滕 更多的关系并发精化：跟踪和部分关系。 （英语） Zbl 1283.68239号 Boiten，Eerke（编辑）等人，《第13届BCS-FACS精炼研讨会论文集》（REFINE 2008），芬兰图尔库，2008年5月27日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记214255-276（2008）。MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Derrick}和\textit{E.Boiten}，电子。注释Theor。计算。科学。214255-276（2008年；Zbl 1283.68239） 全文： 内政部
约翰·德里克；海克·卫尔海姆 关于使用数据抽象进行模型检查精化。 （英语） Zbl 1111.68077号 学报信息。 44，第1期，41-71（2007）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Derrick}和\textit{H.Wehrheim}，《学报》第44期，第1期，第41-71页（2007年；Zbl 1111.68077） 全文： 内政部