吕迪格·埃勒斯;伯恩德·芬克贝纳 对称合成。 （英语） Zbl 1491.68109号 Lokam，Satya（编辑）等人，第37届IARCS软件技术和理论计算机科学基础年会，FSTTCS 2017，印度坎普尔IIT，2017年12月12-14日。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。93，第26条，第13页（2018年）。MSC公司：60年第68季度 2007年7月68日 64岁以下 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Ehlers}和\textit{B.Finkbeiner}，LIPIcs——莱布尼茨国际程序。通知。93，第26条，第13页（2018；Zbl 1491.68109） 全文： 内政部 arXiv公司
乔纳森·德·卡斯特罗;吕迪格·埃勒斯;马蒂亚斯·伦格;阿伊萨巴尔干;Kress-Gazit，哈达斯 为高级控制自动生成基于动态的运行时证书。 （英语） Zbl 1379.93049号 离散事件动态。系统。 27，第2期，371-405（2017）.MSC公司：93亿B50 93立方厘米 93立方厘米 93C85号 PDF格式BibTeX公司 XML格式引用 \textit{J.De Castro}等人，离散事件动态。系统。27，第2号，371--405（2017；Zbl 1379.93049） 全文： 内政部
吕迪格·埃勒斯;圣菲拉福顿;斯塔夫罗斯·特里帕基斯;莫舍·瓦尔迪。 监督控制和反应合成：比较介绍。 （英语） Zbl 1379.93068号 离散事件动态。系统。 27，第2期，209-260（2017）.MSC公司：93元65角 93亿B50 93甲13 PDF格式BibTeX公司 XML格式引用 \textit{R.Ehlers}等人，《离散事件动力学》。系统。27，第2号，209--260（2017；Zbl 1379.93068） 全文： 内政部
吕迪格·埃勒斯 符号有界合成。 （英语） 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） 全文： 内政部