刘艾；刘少英；孙孟 概率调解人：联合大脑的观点。 （英语） Zbl 07595227号 J.日志。阿尔盖布。方法计划。 129，文章ID 100808，16 p.（2022）.MSC公司：68倍 PDF格式BibTeX公司 XML格式引用 \textit{A.Liu}等人，J.Log。阿尔盖布。方法计划。129，文章ID 100808，16 p.（2022；Zbl 07595227） 全文： 内政部
德克·霍夫曼；内维斯、雷纳托；佩德罗·诺拉 越南煤炭类别的限制。 （英语） Zbl 1417.68108号 数学。结构。计算。科学。 29，第4号，552-587（2019）.MSC公司：68问题65 18A30型 PDF格式BibTeX公司 XML格式引用 \textit{D.Hofmann}等人，《数学》。结构。计算。科学。29，编号4，552–587（2019；兹bl 1417.68108） 全文： 内政部 arXiv公司
谢尔盖·冈查洛夫；朱利安·雅各布；内维斯、雷纳托 混合迭代的语义。 （英语） Zbl 1520.68028号 Schewe，Sven（编辑）等人，第29届并发理论国际会议。CONCUR 2018，中国北京，2018年9月4-7日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。118，第22条，第17页（2018年）。MSC公司：68号30 18立方厘米 18 C50 PDF格式BibTeX公司 XML格式引用 \textit{S.Goncharov}等人，LIPIcs——莱布尼茨国际程序。通知。118，第22条，第17页（2018；Zbl 1520.68028） 全文： 内政部 arXiv公司
内维斯、雷纳托；路易斯·巴博萨。 混合自动机的语言和模型：联合大脑的观点。 （英语） Zbl 1400.68112号 西奥。计算。科学。 744, 113-142 (2018).MSC公司：65年第68季度 18B20型 70年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Neves}和\textit{L.S.Barbosa}，Theor。计算。科学。744113--142（2018年；Zbl 1400.68112） 全文： 内政部 链接
内维斯、雷纳托；路易斯·巴博萨。 混合自动机作为余代数。 （英语） Zbl 1400.68111号 Sampaio，Augusto（编辑）等人，《计算的理论方面——ICTAC 2016》。第十三届国际学术讨论会，中华民国台湾台北，2016年10月24日至31日。诉讼程序。查姆：施普林格（ISBN 978-3-319-46749-8/pbk；978-3-3169-46750-4/电子书）。计算机科学讲座笔记9965385-402（2016）。MSC公司：65年第68季度 18B20型 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Neves}和\textit{L.S.Barbosa}，莱克特。注释计算。科学。9965，385--402（2016；Zbl 1400.68111） 全文： 内政部 链接