2023
卡钦，基督徒;大卫·莱纳;托马斯·施图德（2023年10月）。协同知识。在：什洛米·多列夫;巴鲁克·希伯（编辑）第25届分布式系统稳定、安全与保障国际研讨会。计算机科学课堂讲稿（第552-567页）。施普林格10.1007/978-3-031-44274-2_41
罗洁婷;达斯塔尼，迈赫迪;托马斯·施图德(2023).从情感中获得情感：在多智能体系统中建模情感反应（已提交）。逻辑与计算杂志牛津大学出版社
罗洁婷;达斯塔尼，迈赫迪;托马斯·施图德;辽、北水(2023).你关心什么：从情绪中推断价值观。在：第22届自治代理和多代理系统国际会议记录。
卡钦，基督徒;大卫·莱纳;托马斯·施图德(2023).多智能体系统的模态和论证逻辑（邀请谈话）。在：安德烈亚斯·赫齐格;罗洁婷;佩雷·帕尔多（编辑）2023年逻辑与论证国际会议。计算机科学课堂讲稿：第14156卷（第3-8页）。查姆：瑞士施普林格自然10.1007/978-3-031-40875-5_1
罗洁婷;托马斯·施图德;达斯塔尼，迈赫迪(2023).提供个性化解释：对话方法。在：安德烈亚斯·赫齐格;罗洁婷;佩雷·帕尔多（编辑）2023年逻辑与论证国际会议。计算机科学课堂讲稿：第14156卷（第121-137页）。查姆：瑞士施普林格自然10.1007/978-3-031-40875-5_8
费德里科·法罗尔迪。;阿特菲·罗哈尼;托马斯·施图德(2023).论证逻辑中的条件义务。在：Helle Hvid Hansen先生;安德烈·斯切德罗夫;Ruy J.G.B.de Queiroz。（编辑）第29届逻辑、语言、信息和计算国际研讨会，2023年。计算机科学课堂讲稿：第13923卷（第178-193页）。查姆：瑞士施普林格自然10.1007/978-3-031-39784-4_11
2022
大卫·莱纳;佐兰·奥格尼亚诺维奇;托马斯·施图德(2022).交互式证明的逻辑。《逻辑与计算杂志》，32（8），第1645-1658页。牛津大学出版社10.1093/log.com/exac071
奥利维尔·斯塔赫利;托马斯·奥斯特;托马斯·施图德（2022年5月）。基于人工智能的生物声学狼监测系统的开发。在：罗马人Barták;法泽尔·凯什特卡;迈克尔·富兰克林（编辑）第三十五届国际佛罗里达人工智能研究学会会议。美国佛罗里达州延森海滩哈钦森岛。2022年5月15日至18日。
道德，德拉甘;佐兰·奥格尼亚诺维奇;内纳德·萨维奇;托马斯·施图德(2022).信息和理由不完整。在：艾比克·厄兹根;尤利娅·齐诺瓦（编辑）2019年逻辑、语言和计算TbiLLC。计算机科学课堂讲稿：第13206卷（第258-278页）。施普林格10.1007/978-3-030-98479-3_13
费德里科·法罗尔迪;梅格达德·加里;伊芙琳·莱曼;托马斯·施图德(2022).道义证明逻辑的一致性和许可性。《逻辑与计算杂志》，34（4），第640-664页。牛津大学出版社10.1093/log.com/exac045
大卫·莱纳;佐兰·奥格尼亚诺维奇;托马斯·施图德(2022).互动证明的逻辑。在：谢尔盖·阿特莫夫;尼罗德，阿尼尔（编辑）计算机科学逻辑基础。LFCS 2022。计算机科学课堂讲稿：第13137卷（第143-155页）。施普林格10.1007/978-3-030-93100-1_10
2021
鲍尔，迈克尔;托马斯·施图德(2021).证据的半环。《逻辑与计算杂志》，31（8），第2084-2106页。牛津大学出版社10.1093/log/exab007
T·斯图德。(2021).无法保守秘密。马来西亚数学科学杂志，15，第91-104页。UPM公司
阿特菲·罗哈尼;托马斯·施图德（2021年10月5日）。显式非正规模态逻辑。在：亚历山德拉·席尔瓦;雷娜塔·瓦瑟曼;鲁伊·德·奎罗斯（编辑）WoLLIC 2021-第27届逻辑、语言、信息和计算研讨会。计算机科学课堂讲稿：第13038卷（第64-81页）。施普林格10.1007/978-3-030-88853-4_5
托马斯·施图德(2021).明确证据的冲突容忍逻辑。逻辑研究，27（1），第124-144页。
伊芙琳·莱曼;托马斯·施图德(2021).探索合理性逻辑的子集模型。在：配件，梅尔文（编辑）当代逻辑学精选主题。伦敦：学院出版物
2020
凯·布伦勒;弗鲁米尼、丹多洛;托马斯·施图德(2020).区块链更新的逻辑。《逻辑与计算杂志》，30（8），第1469-1485页。牛津大学出版社10.1093/log.com/exaa045
内纳德·萨维奇(2020).非经典推理和论证。（论文，伯尔尼大学，哲学-自然科学研究院Fakultät）
鲍尔，迈克尔;托马斯·施图德（2020年4月）。证据的半环。在：达斯塔尼，迈赫迪;董惠民;莱昂·范德托雷（编辑）逻辑和论证。国际会议，CLAR 2020，会议记录。计算机科学课堂讲稿：第12061卷（第42-57页）。施普林格10.1007/978-3-030-44638-3_3
伊芙琳·莱曼;托马斯·施图德（2020年1月）。子集模型中的信念扩展。在：谢尔盖·阿特莫夫;尼罗德，阿尼尔（编辑）LFCS 2020计算机科学逻辑基础。计算机科学课堂讲稿：第11972卷（第85-97页）。施普林格10.1007/978-3-030-36755-8_6
艾奥尼斯·科基尼;佐兰·奥格尼亚诺维奇;托马斯·施图德(2020).概率论证逻辑。逻辑与计算杂志，30（1），第257-280页。牛津大学出版社10.1093/log.com/exaa011
托马斯·施图德(2020).数据隐私的不允许定理。在：第七届国际密码学和信息安全会议记录。视频会议。2020年6月9日至10日。
托马斯·施图德;费德里科·法罗尔迪;梅格达德·加里;伊芙琳·莱曼(2020).正当化逻辑中的不可能和冲突义务（已提交）。在：第十五届道义逻辑和规范系统国际会议（DEON 2020）。2020年7月30日至2020年8月2日（延期至2021年）。
艾奥尼斯·科基尼;内纳德·萨维奇;托马斯·施图德(2020).用概率运算符证明逻辑。在：佐兰·奥格尼亚诺维奇（编辑）各种逻辑系统的概率扩张（第215-234页）。施普林格10.1007/978-3-030-52954-3_8
2019
博扬·马里科维奇;保拉·格拉文;佐兰·奥格尼亚诺维奇;托马斯·施图德(2019).带有非刚性代理集的时间认知逻辑，用于分析区块链协议。《逻辑与计算杂志》，29（5），第803-830页。牛津大学出版社10.1093/log.com/exz007
哈姆泽·穆罕默德;托马斯·施图德（2019年9月）。贝叶斯确认和理由。计算机科学课堂讲稿，11726，第408-418页。施普林格10.1007/978-3-030-29765-7_34
博扬·马里科维奇;保拉·格拉文;佐兰·奥格尼亚诺维奇;道德，德拉甘;托马斯·施图德（2019年9月）。区块链协议的概率共识。计算机科学课堂讲稿，11726，第469-480页。施普林格10.1007/978-3-030-29765-7_39
伊芙琳·莱曼;托马斯·施图德（2019年7月）。证明逻辑的子集模型。计算机科学课堂讲稿，11541，第433-449页。施普林格10.1007/978-3-662-59533-6_26
内纳德·萨维奇;托马斯·施图德(2019).相关论证逻辑。应用逻辑期刊，6（2），第397-412页。学院出版物
托马斯·施图德（2019年3月）。时间支配的逻辑。在：2019年RIVF。会议记录（第1-4页）。美国电气工程师协会10.1109/RIVF.2019.8713701
内纳德·萨维奇;托马斯·施图德（2019年2月5日）。认识模型和超理论的公开公告。在：马里兰州阿基尔汗;阿马尔德夫·曼努埃尔（编辑）ICLA 2019-第八届印度逻辑及其应用会议。计算机科学课堂讲稿：第11600卷（第64-75页）。印度德里：斯普林格10.1007/978-3-662-58771-3_7
徐超;王燕京;托马斯·施图德(2019).知道原因的逻辑。《综合》，198（2），第1259-1285页。施普林格荷兰2007年10月10日/11229-019-02104-0
2018
米歇尔·马蒂;托马斯·施图德(2018).常识证明理论。在：汉斯·范·迪特马斯奇;加布里埃尔·桑德（编辑）Jaakko Hintikka，关于知识和游戏理论语义学。《逻辑的杰出贡献》第12卷（第433-455页）。查姆：斯普林格国际出版公司10.1007/978-3-319-62864-6_18
凯·布伦勒;弗鲁米尼、丹多洛;托马斯·施图德(2018).区块链更新的逻辑。在：LFCS 2018：计算机科学逻辑基础。计算机科学课堂讲稿：第10703卷（第107-119页）。查姆：斯普林格国际出版公司10.1007/978-3-319-72056-2_7
米歇尔·马蒂;托马斯·施图德(2018).直觉主义证明逻辑的内在分离性质。在：古拉姆·贝扎尼什维利;乔瓦娜·达戈斯蒂诺;乔治·梅特卡夫;托马斯·施图德（编辑）模态逻辑进展12（第511-529页）。学院出版物
2017
塞缪尔·布切利;梅格达德·加里;托马斯·施图德(2017).时间合理性逻辑。理论计算机科学电子论文集，243，第59-74页。NICTA公司10.4204/EPTCS.243.5
佐兰·奥格尼亚诺维奇;内纳德·萨维奇;托马斯·施图德(2017).具有近似条件概率的证明逻辑。在：LORI 2017：逻辑、理性和互动。计算机科学讲义：第10455卷（第681-686页）。柏林，海德堡：施普林格-柏林-海德堡10.1007/978-3-662-55665-8_52
2016
艾奥尼斯·科基尼;托马斯·施图德(2016).线性时序逻辑的循环证明。在：迪特·普罗斯特;彼得·舒斯特（编辑）数学、哲学和计算机科学中的证明概念。Ontos数学逻辑：第6卷（第171-192页）。德古意特出版社10.1515/9781501502620-011
艾奥尼斯·科基尼(2016).论证逻辑中的不确定性推理。（伯尔尼大学哲学与自然科学学院计算机科学研究所论文）
艾奥尼斯·科基尼;佐兰·奥格尼亚诺维奇;托马斯·施图德(2016).概率论证逻辑。在：谢尔盖·阿特莫夫;尼罗德，阿尼尔（编辑）2016年1月4日至7日，美国佛罗里达州迪尔菲尔德海滩，2016年LFCS，计算机科学逻辑基础国际研讨会。诉讼程序。计算机科学课堂讲稿：第9537卷（174-186页）。查姆：斯普林格10.1007/978-3-319-27683-0_13
托马斯·施图德(2016).关系Datenbanken：von den theoretischen Grundlagen zu Anwendungen mit PostgreSQL[教科书].出口压力。柏林，海德堡：施普林格-柏林-海德堡10.1007/978-3-662-46571-4
莱因哈德·卡勒;托马斯·阿德里安·斯特拉姆;托马斯·施图德（编辑）(2016).证明理论的进展。计算机科学与应用逻辑进展：第28卷。查姆：斯普林格国际出版公司10.1007/978-3-319-29198-7
罗马库兹涅茨;托马斯·施图德(2016).证明逻辑的弱算术解释。《IGPL逻辑杂志》，24（3），第424-440页。牛津大学出版社10.1093/jigpal/jzw002
米歇尔·马蒂;托马斯·施图德(2016).直觉主义模态逻辑变得明确。IfCoLog《逻辑学及其应用杂志》，3（5），第877-901页。学院出版物
2015
艾奥尼斯·科基尼;彼得·马克西莫维奇;佐兰·奥格尼亚诺维奇;托马斯·施图德(2015).概率合理性逻辑的第一步。《IGPL逻辑杂志》，23（4），第662-687页。牛津大学出版社10.1093/jigpal/jzv025
2014
卢卡·阿尔贝鲁奇;于尔格Krähenbühl;托马斯·施图德(2014).论证模态μ-公式的归纳法。《IGPL逻辑杂志》，22（6），第805-817页。牛津大学出版社10.1093/jigpal/jzu001
塞缪尔·布切利;罗马库兹涅茨;托马斯·施图德(2014).通过正当理由实现公告。《计算机与系统科学杂志》，80（6），第1046-1066页。爱思维尔10.1016/j.jcss.2014.04.001
托马斯·施图德;约翰·马丁·沃纳(2014).布尔描述逻辑的检查器。《数据隐私交易》，第7（3）页，第223-252页。
2013
托马斯·施图德(2013).一些带有负面自省的证明逻辑的可决定性。《符号逻辑杂志》，78（2），第388-402页。剑桥大学出版社10.2178/jsl.7802030
塞缪尔·布切利;罗马库兹涅茨;托马斯·施图德(2013).重新审视论证逻辑的可决定性。在：逻辑、语言和计算。计算机科学课堂讲稿：第7758卷（第166-181页）。柏林，海德堡：施普林格-柏林-海德堡10.1007/978-3-642-36976-6_12
罗马库兹涅茨;托马斯·施图德(2013).更新为证据：信念扩展。在：作为证据更新：简要扩展。计算机科学课堂讲稿：第7734卷（第266-279页）。柏林，海德堡：施普林格10.1007/978-3-642-35722-0_19
托马斯·施图德(2013).保证数据隐私的通用方法。Logica universalis，第7（2）页，第195-209页。Birkhä用户2007年10月17日/11787-012-0060-y
2012
凯·布伦勒;托马斯·施图德(2012).模态μ演算的一个片段的句法切割消除。《纯粹逻辑和应用逻辑年鉴》，163（12），第1838-1853页。阿姆斯特丹：爱思唯尔2016年10月10日/j.apal.2012.04.006
罗马库兹涅茨;托马斯·施图德(2012).合理性、本体论和保守性。在：托马斯·博兰德;布尔纳，托尔本;西尔维奥·吉拉尔迪;劳伦斯·莫斯（编辑）模态逻辑进展，第9卷（第437-458页）。学院出版物
托马斯·施图德(2012).合理的术语推理。在：埃德蒙·克拉克;伊琳娜Virbitskaite;安德烈·沃伦科夫（编辑）系统信息学的观点。2011年6月27日至7月1日在俄罗斯新西伯利亚举行的第八届安德烈·埃尔肖夫国际纪念大会，邮编7162（第349-361页）。海德堡：施普林格出版社10.1007/978-3-642-29709-0_30
Mints，格里戈里;托马斯·施图德(2012).用一个变量消除微积分。在：D.米勒。;埃西克，Z。（编辑）2012年计算机科学固定点。
2011
塞缪尔·布切利;罗马库兹涅茨;托马斯·施图德(2011).常识的理由。应用非经典逻辑期刊，21（1），第35-60页。巴黎：Ed.Hermes2016年1月10日至2011年1月21日
贾格尔，格哈德;托马斯·施图德(2011).模态不动点逻辑的Buchholz规则。Logica universalis，5（1），第1-19页。巴塞尔：Birkhä用户2007年10月10日/11787-010-0022-1
托马斯·施图德(2011).证明逻辑、推理跟踪和数据隐私。逻辑与逻辑哲学，20（4），第297-306页。托伦（PL）：尼古拉斯·哥白尼大学出版社
托马斯·施图德(2011).证明逻辑在协议验证中的应用。在：2011年计算智能与安全CIS会议录。
塞缪尔·布切利;罗马库兹涅茨;托马斯·施图德(2011).动态证明逻辑的部分实现。在：列夫·贝克莱米舍夫。;鲁伊·德·奎罗斯（编辑）逻辑、语言、信息和计算，第18届国际研讨会，WoLLIC 2011，美国宾夕法尼亚州费城，5月18日至20日，会议记录。计算机科学课堂讲稿：第6642卷（第35-51页）。海德堡：施普林格出版社10.1007/978-3-642-20920-8_9
2010
塞缪尔·布切利;罗马库兹涅茨;布莱恩·雷恩;约书亚·萨克;托马斯·施图德(2010).合理的信念改变。在：哈比尔·阿拉佐拉;玛丽亚·蓬特（编辑）第二届ILCLI知识、交流和行动逻辑与哲学国际研讨会会议记录（LogKCA-10）。
塞缪尔·布切利;罗马库兹涅茨;托马斯·施图德(2010).获得常识的两种方法。在：托马斯·博兰德;托本·布吕纳（编辑）2009年11月12日至14日，丹麦哥本哈根，第六届模态方法研讨会会议记录（M4M-6，2009）。理论计算机科学电子笔记：第262卷（第83-98页）。阿姆斯特丹：爱思唯尔2016年10月10日/j.entcs.2010.04.007
托马斯·施图德(2010).本体的隐私保护模块。在：A.普努利。;维氏夕卡岩，I。;沃伦科夫，A。（编辑）《系统信息学观点汇编》PSI'09。计算机科学课堂讲稿：第5947卷（第380-387页）。海德堡：施普林格出版社
2009
托马斯·施图德(2009).常识没有贝思的属性。信息处理信件，109（12），611--614。阿姆斯特丹：爱思唯尔10.1016/j.ipl.2009.02.011
凯·布伦勒;托马斯·施图德(2009).常识的句法删减。《纯粹逻辑和应用逻辑年鉴》，160（1），第82-95页。阿姆斯特丹：爱思唯尔2016年10月10日/j.apal.2009年1月14日
普尼基·斯托帕;托马斯·施图德(2009).ALC知识库的数据隐私。在：谢尔盖·阿特莫夫;尼罗德，阿尼尔（编辑）计算机科学逻辑基础。国际研讨会，2009年LFCS，美国佛罗里达州迪尔菲尔德海滩，2009年1月3日至6日。诉讼程序。计算机科学课堂讲稿：第5407卷（第409-421页）。海德堡：施普林格出版社10.1007/978-3-540-92687-0_28
凯·布伦勒;托马斯·施图德(2009).常识的句法删减。在：阿雷塞斯，C。;德姆里，S。（编辑）第五届模态方法研讨会论文集（M4M5，2007）。理论计算机科学电子笔记：第231卷（第227-240页）。阿姆斯特丹：爱思唯尔2016年10月10日/j.entcs.2009.02.038
2008
托马斯·施图德(2008).关于模态μ演算的证明理论。《逻辑研究》，89（3），第343-363页。多德雷赫特：施普林格荷兰2007年10月17日/11225-008-9133-6
贾格尔，格哈德;克雷茨，马蒂斯;托马斯·施图德(2008).无穷μ的正则完备性。逻辑和代数编程杂志，76（2），第270-292页。纽约州纽约市：北荷兰人2016年10月10日/j.jlap.2008.02.005
凯·布伦勒;迪特·普罗斯特;托马斯·施图德(2008).关于收缩和模态片段。《数理逻辑季刊》，54（4），第345-349页。Weinheim:威利VCH10.1002/铝200710043
2007
贾格尔，格哈德;克雷茨，马蒂斯;托马斯·施图德(2007).无需刻板的常识。应用逻辑杂志，5（4），第681-689页。阿姆斯特丹：爱思唯尔2016年10月10日/j.jal.2006.02.003
诺伯特·科特曼;托马斯·施图德(2007).改进语义查询应答。在：数据库和专家系统应用程序。第18届国际会议记录，2007年DEXA。计算机科学课堂讲稿：第4653卷（第671-679页）。海德堡：施普林格出版社10.1007/978-3-540-74469-6_65
大卫·斯坦纳;托马斯·施图德(2007).公告总数。在：计算机科学逻辑基础。2007年LFCS国际研讨会论文集。计算机科学讲义：第4514卷（第498-511页）。海德堡：施普林格出版社10.1007/978-3-540-72734-7_35
普尼基·斯托帕;托马斯·施图德(2007).数据隐私的正式模型。在：伊琳娜Virbitskaite;安德烈·沃伦科夫（编辑）系统信息学的观点。2006年6月27日至30日，俄罗斯新西伯利亚，第六届安德烈·埃尔肖夫国际纪念大会，PSI 2006。修订论文。理论计算机科学与一般问题：第4378卷（第400-408页）。海德堡：施普林格出版社10.1007/978-3-540-70881-0_34
2006
克雷茨，马蒂斯;托马斯·施图德(2006).常识的演绎链。应用逻辑杂志，4（3），第331-357页。阿姆斯特丹：爱思唯尔
2001
托马斯·施图德(2001).λ的语义：一个重载和后期绑定的演算。《逻辑与计算杂志》，11（4），第527-544页。牛津大学出版社10.1093/log.com/11.4.527
