彼得·鲍姆加特纳;雷娜特·施密特（Renate A.Schmidt）。 自底向上模型生成方法的阻塞和其他增强。 （英语） Zbl 1468.68279号 J.汽车。推理 64，第2期，197-251（2020年）.理学硕士：68伏15 03B35型 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{P.Baumgartner}和\textit{R.A.Schmidt}，J.Autom。推理64，No.2，197--251（2020；Zbl 1468.68279） 全文： 内政部 OA许可证
约翰·G·斯特尔。;雷娜特·施密特（Renate A.Schmidt）。;大卫·赖德海尔 双教学模式逻辑：基础和自动化。 （英语） Zbl 1359.03018号 J.日志。阿尔盖布。方法计划。 85，第4号，500-519（2016）. 审核人：雅罗斯拉夫·什兰科（Kryvyi Rih） 理学硕士：03B44号 03B45 03B35型 03B20型 PDF格式BibTeX公司 XML格式引用 \textit｛J.G.Stell｝等人，J.Log。阿尔盖布。方法计划。85，No.4，500--519（2016；Zbl 1359.03018） 全文： 内政部 OA许可证
雷娜特·施密特（Renate A.Schmidt）。;乌韦·沃尔德曼 具有阻塞和同余闭包的模态表系统。 （英语） Zbl 1471.03018号 De Nivelle，Hans（编辑），用分析表和相关方法进行自动推理。第24届国际会议，TABLEAUX 2015，波兰Wrocław，2015年9月21日至24日。诉讼程序。查姆：斯普林格。勒克特。注释计算。科学。9323, 38-53 (2015).理学硕士：03B35型 03年2月25日 03B45 PDF格式BibTeX公司 XML格式引用 \textit{R.A.Schmidt}和\textit{U.Waldmann}，Lect。注释计算。科学。9323，38--53（2015；Zbl 1471.03018） 全文： 内政部 链接
雷娜特·施密特（Renate A.Schmidt）。;蒂什科夫斯基，德米特里 使用tableau确定具有完全角色否定和身份的描述逻辑。 （英语） Zbl 1287.03031号 ACM事务处理。计算。日志。 第15号第1条第7条第31页（2014年）.理学硕士：03B35型 03B45 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{R.A.Schmidt}和\textit{D.Tishkovsky}，ACM Trans。计算。日志。15，第1号，第7条，第31页（2014年；Zbl 1287.03031） 全文： 内政部 arXiv公司
Schmidt，Renate A。;乌尔里希·赫斯塔特 模态逻辑的一阶分解方法。 （英语） Zbl 1383.03031号 沃伦科夫，安德烈（编辑）等人，《编程逻辑》。纪念哈拉尔德·甘辛格的文章。柏林：施普林格出版社（ISBN 978-3-642-37650-4/pbk）。计算机科学课堂讲稿7797，345-391（2013）。理学硕士：03B45 03B35型 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{R.A.Schmidt}和\textit{U.Hustadt}，Lect。注释计算。科学。7797345--391（2013年；Zbl 1383.03031） 全文： 内政部
法比奥·帕帕奇尼;雷娜特·施密特（Renate A.Schmidt）。 最小模态模型生成的表格演算。 （英语） Zbl 1347.03048号 van Ditmarsch，Hans（ed.）等人，《第七届模态方法研讨会论文集》（M4M’2011）和第四届多智能体系统逻辑方面研讨会论文集（LAMAS’2011），西班牙奥苏纳，2011年11月10日至12日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记278159-172（2011）。理学硕士：03B45 03B35型 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{F.罂粟皮}和textit{R.A.Schmidt}，电子。注释Theor。计算。科学。278159--172（2011年；Zbl 1347.03048） 全文： 内政部
雷娜特·施密特（Renate A.Schmidt）。 演绎计算的模拟与合成。 （英语） Zbl 1345.68254号 Bolander，Thomas（编辑）等人，《第六届模式方法研讨会论文集》（M4M-6 2009），丹麦哥本哈根，2009年11月12-14日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记26221-229（2010）。理学硕士：68吨15 03B35型 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{R.A.Schmidt}，电子。注释Theor。计算。科学。262、221--229（2010年；Zbl 1345.68254） 全文： 内政部
雷娜特·施密特（Renate A.Schmidt）。 开发演绎方法的新方法。 （英语） Zbl 1192.68632号 安。数学。Artif公司。智力。 55，编号1-2，155-187（2009）.理学硕士：68吨15 03年2月25日 03B35型 03B45 03B70号 03财年03 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{R.A.Schmidt}，Ann.数学。Artif公司。智力。55，编号1--2，155-187（2009；Zbl 1192.68632） 全文： 内政部
莉莉亚·乔治耶娃;乌尔里希·赫斯塔特;雷娜特·施密特（Renate A.Schmidt）。 保护公式的超分辨率。 （英语） Zbl 1020.03007号 J.塞姆。计算。 36，第1-2号，163-192（2003）.理学硕士：03年2月25日 03B45 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{L.Georgieva}等人，J.Symb。计算。36，编号1--2，163--192（2003；Zbl 1020.03007） 全文： 内政部