基尔西·阿达巴拉；吕迪格·埃勒斯 通用极弱自动机的线性时序逻辑片段。 （英语） Zbl 1517.68219号 Lahiri，Shuvendu K.（编辑）等人，《验证和分析自动化技术》。第16届国际研讨会，2018年10月7日至10日，美国加利福尼亚州洛杉矶，ATVA 2018。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11138, 335-351 (2018).MSC公司：60年第68季度 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Adabala}和\textit{R.Ehlers}，莱克特。注释计算。科学。11138335--351（2018；Zbl 1517.68219） 全文： DOI程序
罗德里克·布洛姆；吕迪格·埃勒斯；罗伯特·Könighfer 协同反应合成。 （英语） Zbl 1471.68131号 Finkbeiner，Bernd（编辑）等人，《验证和分析自动化技术》。第十三届国际研讨会，2015年10月12日至15日，中国上海，ATVA。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9364, 394-410 (2015).MSC公司：60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{R.Bloem}等人，Lect。注释计算。科学。9364，394--410（2015；Zbl 1471.68131） 全文： DOI程序 arXiv公司
吕迪格·埃勒斯；马丁·兰格 在全区间时序逻辑中增量逼近有限可满足性的工具。 （英语） 兹比尔1423.68414 Demri，Stéphane（编辑）等人，《自动推理》。2014年7月19日至22日，第七届国际联合会议（IJCAR 2014）在奥地利维也纳举行，作为维也纳逻辑之夏的一部分，VSL 2014。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8562, 360-366 (2014).MSC公司：68吨15 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Ehlers}和\textit{M.Lange}，莱克特。注释计算。科学。8562，360-366（2014；Zbl 1423.68414） 全文： DOI程序
吕迪格·埃勒斯 符号有界合成。 （英语） Zbl 1247.68163号 形式方法系统。设计。 40，第2期，232-262（2012）.MSC公司：60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{R.Ehlers}，形式方法系统。设计。40，第2号，232--262（2012；Zbl 1247.68163） 全文： DOI程序