莫里斯·比克。；吉尔勒米纳·克莱杜；罗尔夫·亨尼克；何塞·普伦萨 我们能交流吗？使用动态逻辑验证团队自动机。 （英语） 兹比尔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）。 反应系统逐步发展的逻辑。 （英语） Zbl 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日。诉讼程序。查姆：斯普林格。莱克特。票据计算。科学。9965422-440（2016年）。MSC公司：60年第68季度 03B70号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Madeira}等人，Lect。票据计算。科学。9965，422--440（2016；Zbl 1482.68143） 全文： 内政部 链接
洛科·德尼古拉；罗尔夫·亨尼克 向马丁·威辛致敬。 （英语） Zbl 1437.01027号 De Nicola，Rocco（编辑）等人，《软件、服务和系统》。马丁·威辛（Martin Wirsing）于2015年从德国慕尼黑的编程和软件工程主席退休之际发表的论文。论文。查姆：斯普林格。莱克特。票据计算。科学。8950, 1-12 (2015).MSC公司：01A70号 68-03 PDF格式BibTeX公司 XML格式引用 \textit{R.De Nicola}和\textit{R.Hennicker}，莱克特。票据计算。科学。8950，1-12（2015；Zbl 1437.01027） 全文： 内政部
罗尔夫·亨尼克；亚历山大·纳普 从界面理论转向组装理论。 （英语） Zbl 1309.68047号 学报信息。 52，编号2-3，235-268（2015）.MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.Hennicker}和\textit{A.Knapp}，《学报》第52期，第2--3235-268号（2015年；Zbl 1309.68047） 全文： 内政部 链接
塞巴斯蒂安·鲍尔。；罗尔夫·亨尼克；马丁·威尔辛 为并发和数据构建模态接口理论。 （英语） Zbl 1312.68149号 Mossakowski，Till（编辑）等人，代数开发技术的最新趋势。2010年7月1日至4日，第20届WADT国际研讨会，德国埃特森。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-28411-3/pbk）。计算机科学讲义7137，1-12（2012）。MSC公司：68问题85 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{S.S.Bauer}等人，Lect。票据计算。科学。7137，1-12（2012；Zbl 1312.68149） 全文： 内政部
塞巴斯蒂安·鲍尔。；罗尔夫·亨尼克；马丁·威尔辛 并发和数据的接口理论。 （英语） Zbl 1216.68187号 西奥。计算。科学。 412，第28号，3101-3121（2011）.MSC公司：68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.S.Bauer}等人，Theor。计算。科学。412，第28号，3101--3121（2011；Zbl 1216.68187） 全文： 内政部
塞巴斯蒂安·鲍尔。；罗尔夫·亨尼克 对行为协议及其语义基础的看法。 （英语） Zbl 1239.68023号 亚历山大·库兹（编辑）等人，《计算机科学中的代数和余代数》。第三届国际会议，2009年CALCO，意大利乌迪内，2009年9月7日至10日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-03740-5/pbk）。计算机科学课堂讲稿5728367-382（2009）。MSC公司：68号30 68个M12 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{S.S.Bauer}和\textit{R.Hennicker}，莱克特。票据计算。科学。5728367--382（2009年；Zbl 1239.68023） 全文： 内政部
米歇尔·比多特；罗尔夫·亨尼克 基于构造函数的观测逻辑。 （英语） 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） 全文： 内政部
米歇尔·比多特；罗尔夫·亨尼克；亚历山大·库兹 观察逻辑、基于构造的逻辑及其二重性。 （英语） Zbl 1038.68079号 西奥。计算。科学。 298，第3期，471-510（2003）.MSC公司：68问题65 PDF格式BibTeX公司 XML格式引用 \textit{M.Bidoit}等人，Theor。计算。科学。298，第3号，471--510（2003；Zbl 1038.68079） 全文： 内政部
罗尔夫·亨尼克；马丁·威尔辛；米歇尔·比多特 具有可观测性算子的结构化规范的证明系统。 （英语） Zbl 0901.68116号 西奥。计算。科学。 173，第2期，393-443（1997）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Hennicker}等人，Theor。计算。科学。173，编号2，393--443（1997；Zbl 0901.68116） 全文： 内政部
米歇尔·比多特；罗尔夫·亨尼克 行为理论和行为特性的证明。 （英语） Zbl 0872.68167号 西奥。计算。科学。 165，第1期，第3-55页（1996年）.MSC公司：68吨15 PDF格式BibTeX公司 XML格式引用 \textit{M.Bidoit}和\textit{R.Hennicker}，Theor。计算。科学。165，编号1，3-55（1996年；Zbl 0872.68167） 全文： 内政部
米歇尔·比多特；罗尔夫·亨尼克 证明行为实施的正确性。 （英语） Zbl 1496.68199号 Alagar，V.S.（编辑）等人，《代数方法论和软件技术》。1995年7月3日至7日在加拿大蒙特利尔举行的1995年AMAST第四届国际会议。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。936, 152-168 (1995).MSC公司：68问题65 PDF格式BibTeX公司 XML格式引用 \textit{M.Bidoit}和\textit{R.Hennicker}，莱克特。票据计算。科学。936152--168（1995年；Zbl 1496.68199） 全文： 内政部
罗尔夫·亨尼克 代数实现证明的半算法。 （英语） Zbl 0758.68048号 西奥。计算。科学。 104，第1期，53-87（1992）. 审核人：R.亨尼克 MSC公司：68问题65 PDF格式BibTeX公司 XML格式引用 \文本{R.Hennicker}，Theor。计算。科学。104，编号1，53-87（1992；兹bl 0758.68048） 全文： 内政部
罗尔夫·亨尼克 代数规范的观测实现。 （英语） Zbl 0696.68026号 学报信息。 28，第3期，187-230（1991）. 审核人：R.亨尼克 MSC公司：68问题65 68号01 PDF格式BibTeX公司 XML格式引用 \textit{R.Hennicker}，Acta Inf.28，No.3，187--230（1991；Zbl 0696.68026） 全文： 内政部
罗尔夫·亨尼克 上下文归纳法：行为抽象和代数实现的证明原则。 （英语） Zbl 0739.68060号 正式Asp。计算。 3，第4期，326-345（1991）. 审核人：G.格里加斯（维尔纽斯） MSC公司：60年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit｛R.Hennicker｝，正式Asp。计算。3，编号4，326--345（1991；Zbl 0739.68060） 全文： 内政部