莫里斯·比克。;吉尔勒米纳·克莱杜;罗尔夫·亨尼克;何塞·普伦萨 我们能交流吗？使用动态逻辑验证团队自动机。 （英语） Zbl 1529.68165号 Chechik，Marsha（编辑）等人，《形式方法》。第25届国际研讨会，FM 2023，德国吕贝克，2023年3月6日至10日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。14000, 122-141 (2023).MSC公司：60年第68季度 03B70号 2010年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.H.ter Beek}等人，Lect。注释计算。科学。14000、122--141（2023年；Zbl 1529.68165） 全文： 内政部
罗尔夫·亨尼克;亚历山大·纳普;亚历山大·马德拉 基于事件/数据的系统的混合动态逻辑机构。 （英语） Zbl 1522.68322号 正式Asp。计算。 33，第6期，1209-1248（2021）.MSC公司：60年第68季度 03B70号 03G30型 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Hennicker}等人，《正式Asp》。计算。33，第6号，1209--1248（2021；Zbl 1522.68322） 全文： 内政部 arXiv公司
罗尔夫·亨尼克;亚历山大·纳普;亚历山大·马德拉 具有绑定和静默转换的混合动态逻辑的观察解释。 （英语） Zbl 1528.68224号 J.日志。阿尔盖布。方法计划。 122，文章ID 100698，19 p.（2021）.MSC公司：60年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{R.Hennicker}等人，J.Log。阿尔盖布。方法计划。122，文章ID 100698，19 p.（2021；Zbl 1528.68224） 全文： 内政部
亚历山大·马德拉;路易斯·巴博萨。;罗尔夫·亨尼克;马丁斯（Manuel A.Martins）。 反应系统逐步发展的逻辑。 （英语） 兹比尔1400.68125 西奥。计算。科学。 744, 78-96 (2018).MSC公司：60年第68季度 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Madeira}等人，Theor。计算。科学。744，78-96（2018；Zbl 1400.68125） 全文： 内政部 链接
亚历山大·马德拉;路易斯·巴博萨。;罗尔夫·亨尼克;马丁斯（Manuel A.Martins）。 带粘合剂的动态逻辑及其在反应系统开发中的应用。 （英语） Zbl 1482.68143号 Sampaio，Augusto（编辑）等人，《计算的理论方面——ICTAC 2016》。第十三届国际学术讨论会，中华民国台湾台北，2016年10月24日至31日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。9965, 422-440 (2016).MSC公司：60年第68季度 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Madeira}等人，Lect。注释计算。科学。99656422-440（2016年；兹比尔1482.68143） 全文： 内政部 链接
米歇尔·比多特;罗尔夫·亨尼克 基于构造函数的观测逻辑。 （英语） Zbl 1088.68112号 J.日志。阿尔盖布。程序。 67，第1-2、3-51号（2006）.MSC公司：68问题65 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Bidoit}和\textit{R.Hennicker}，J.Log。阿尔盖布。程序。67，编号1--2，3--51（2006；Zbl 1088.68112） 全文： 内政部