理查德·巴纳赫;朱慧彪 模态和连续抽象状态机。 （英文） Zbl 07495052号 亚历山大·拉施克（编辑）等人，《逻辑、计算和严格方法》。在伊贡·博格尔75岁生日之际，为他撰写的论文。查姆：斯普林格。勒克特。注释计算。科学。12750, 29-62 (2021).MSC公司：68倍 03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{R.Banach}和\textit{H.Zhu}，Lect。注释计算。科学。12750，29-62（2021；Zbl 07495052） 全文： 内政部
理查德·巴纳赫 验证导向的智能合约。 （英文） Zbl 1520.91440号 Braccali，Andrea（编辑）等人，《金融加密和数据安全》。2019年2月18日至22日在圣基茨和尼维斯举行的2019年FC国际研讨会、投票和WTSC，修订了部分论文。查姆：斯普林格。勒克特。注释计算。科学。11599, 106-121 (2020).MSC公司：91G99型 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{R.Banach}，莱克特。注释计算。科学。11599，106-121（2020；Zbl 1520.91440） 全文： 内政部
理查德·巴纳赫;杰斯克，Czesław 精简与精化相互作用：塔式定理。 （英文） Zbl 1361.68056号 数学。结构。计算。科学。 25，第1期，135-202（2015）.MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.Banach}和\textit{C.Jeske}，数学。结构。计算。科学。25，编号1，135--202（2015；Zbl 1361.68056） 全文： 内政部
理查德·巴纳赫;朱慧彪;苏文;黄润磊 连续/离散建模界面上的连续KAOS、ASM和正式控制系统设计：简单的列车停车应用程序。 （英文） Zbl 1342.93065号 正式Asp。计算。 26，第2期，319-366（2014）.MSC公司：93立方厘米 93A30型 PDF格式BibTeX公司 XML格式引用 \textit{R.Banach}等人，《形式Asp》。计算。26，第2号，319--366（2014；Zbl 1342.93065） 全文： 内政部
理查德·巴纳赫;马可·波扎诺 通过缩减来机械生成反应系统的故障树。二、。时钟和反馈电路。 （英文） Zbl 1298.68051号 正式Asp。计算。 25，第4期，609-657（2013）.MSC公司：68米15 68号30 94立方厘米 94C12号机组 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Banach}和\textit{M.Bozzano}，正式Asp。计算。25，第4号，609--657（2013；Zbl 1298.68051） 全文： 内政部
理查德·巴纳赫;马可·波扎诺 通过缩减来机械生成反应系统的故障树。I.组合电路。 （英文） Zbl 1298.68050号 正式Asp。计算。 25，第4期，573-607（2013）.MSC公司：68米15 68号30 94立方厘米 94C12号机组 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Banach}和\textit{M.Bozzano}，正式Asp。计算。25，第4号，573--607（2013；Zbl 1298.68050） 全文： 内政部
巴纳赫，R。;杰斯克，C。 通过简洁的默认精简实现简单的功能工程。 （英文） Zbl 1231.68106号 J.日志。阿尔盖布。程序。 80，第8期，453-480（2011）.MSC公司：68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.Banach}和\textit{C.Jeske}，J.Log。阿尔盖布。程序。80，第8号，453--480（2011；Zbl 1231.68106） 全文： 内政部
理查德·巴纳赫 事件B的缩减：使用案例开发和罗丹集成。 （英文） Zbl 1214.68129号 正式Asp。计算。 第113-131号第23页（2011年）.MSC公司：68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Banach}，正式Asp。计算。23，第1号，113--131（2011；Zbl 1214.68129） 全文： 内政部
理查德·巴纳赫;格哈德·谢尔霍恩 原子操作及其对独立协议的改进。 （英文） Zbl 1183.68362号 正式Asp。计算。 22，第1号，33-61（2010）.MSC公司：60年第68季度 68N99型 PDF格式BibTeX公司 XML格式引用 \textit｛R.Banach｝和\textit｛G.Schellhorn｝，正式Asp。计算。22，第1号，33--61（2010；Zbl 1183.68362） 全文： 内政部 哈尔
巴纳赫，R。;杰斯克，C。;波普尔顿，M。 紧缩的组成机制。 （英文） 兹伯利1137.68037 J.日志。阿尔盖布。程序。 75，第2期，209-229（2008）.MSC公司：60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Banach}等人，J.Log。阿尔盖布。程序。75，第2号，209--229（2008；Zbl 1137.68037） 全文： 内政部 链接