沃尔夫冈·托马斯 有限自动机和无限过渡系统的分析。 （英语） Zbl 1256.68113号 D’Souza，Deepak（编辑）等人，自动机理论的现代应用。献给普里蒂·尚卡尔教授。引言：莱因哈德·威廉姆。新泽西州哈肯萨克：世界科学；班加罗尔：IISc出版社（ISBN 978-981-4271-04-2/hbk；978-981-4271-05-9/电子书）。IISc研究专著系列2，495-527（2012）。MSC公司：65年第68季度 05年3月 60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{W.Thomas}，IISc Res.Monogr.研究所。序列号。2495-527（2012年；兹比尔1256.68113） 全文： 内政部 链接
迈克尔·霍特曼;卢卡斯·凯泽;沃尔夫冈·托马斯 常规无限游戏中的前瞻性程度。 （英语） Zbl 1248.68299号 日志。方法计算。科学。 8，第3号，第24号论文，第15页（2012年）.MSC公司：65年第68季度 60年第68季度 第68季度85 91A05型 91A80型 PDF格式BibTeX公司 XML格式引用 \textit{M.Holtmann}等人，日志。方法计算。科学。8，第3号，第24号论文，第15页（2012；Zbl 1248.68299） 全文： 内政部
Ingo Felscher公司;沃尔夫冈·托马斯 结构化过渡系统中的组合故障检测。 （英语） Zbl 1297.68169号 Bouchou-Markhoff，Béatrice（编辑）等人，《自动机的实现和应用》。2011年7月13日至16日在法国布洛伊斯举行的CIAA 2011第16届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22255-9/pbk）。计算机科学课堂讲稿6807130-141（2011）。MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Felscher}和\textit{W.Thomas}，莱克特。注释计算。科学。6807130--141（2011年；Zbl 1297.68169） 全文： 内政部 链接
沃尔夫冈·托马斯 综合方面：重新审视教会的问题。 （英语） Zbl 1234.68081号 de Alfaro，Luca（编辑），《软件科学和计算结构基础》。2009年3月22日至29日在英国约克举行的第12届国际会议FOSSACS 2009，作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-00595-4/pbk）。计算机科学5504讲义，1-14（2009）。MSC公司：68号30 05年3月 60年第68季度 91A43型 PDF格式BibTeX公司 XML格式引用 \给Lect发短信。注释计算。科学。5504，1-14（2009年；Zbl 1234.68081） 全文： 内政部
沃尔夫冈·托马斯 教会问题的解决：教程。 （英语） 兹比尔1377.03027 Apt，Krzysztof R.（编辑）等人，《游戏和互动的新视角》。根据2007年2月5日至7日在荷兰阿姆斯特丹举行的学术讨论会上的发言选出的论文。阿姆斯特丹：阿姆斯特丹大学出版社（ISBN 978-90-8964-057-4/pbk；978-90-4850-642-2/电子书）。《逻辑和游戏中的文本》4，211-236（2008）。MSC公司：05年3月 60年第68季度 91A44型 PDF格式BibTeX公司 XML格式引用 \textit{W.Thomas}，文本日志。第四届奥运会，211-236（2008年；Zbl 1377.03027）
亚历山大·拉比诺维奇;沃尔夫冈·托马斯 教会问题的逻辑完善。 （英语） Zbl 1179.03038号 Duparc，Jacques（编辑）等人，《计算机科学逻辑》。2007年9月11日至15日在瑞士洛桑举行的第21届CSL国际研讨会，EACSL第16届年会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-74914-1/pbk）。计算机科学课堂讲稿4646，69-83（2007）。MSC公司：03B70号 05年3月 60年第68季度 91A43型 PDF格式BibTeX公司 XML格式引用 \textit{A.Rabinovich}和\textit{W.Thomas}，莱克特。注释计算。科学。4646，69-83（2007；Zbl 1179.03038） 全文： 内政部
尼科·沃尔迈耶;帕特里克·Hütten;沃尔夫冈·托马斯 请求响应规范的有限状态控制器的符号综合。 （英语） Zbl 1279.68221号 Ibarra，Oscar H.（编辑）等人，《自动机的实现和应用》。2003年7月16日至18日，美国加利福尼亚州圣巴巴拉市，CIAA 2003，第八届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 3-540-40561-5/pbk）。莱克特。注释计算。科学。2759, 11-22 (2003).MSC公司：60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{N.Wallmeier}等人，Lect。注释计算。科学。2759、11-22（2003年；Zbl 1279.68221） 全文： 内政部
蒂埃里·卡查特;雅克·杜帕克;沃尔夫冈·托马斯 用（Sigma_3）获胜条件解决下推游戏。 （英语） 兹比尔1020.68049 朱利安·布拉德菲尔德（编辑），《计算机科学逻辑》。第16届国际研讨会，CSL 2002，EACSL第11届年会，苏格兰爱丁堡，英国，2002年9月22日至25日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2471, 322-336 (2002).MSC公司：60年第68季度 03E15年 91A43型 91A44型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Cachat}等人，Lect。注释计算。科学。2471322--336（2002年；Zbl 1020.68049） 全文： 链接
沃尔夫冈·托马斯 在\（\omega\）-字上的无限树和自动机定义关系。 （英语） Zbl 0760.68043号 西奥。计算。科学。 103，第1期，143-159（1992）. 审核人：W.托马斯 MSC公司：65年第68季度 60年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \文本{W.托马斯}，Theor。计算。科学。103，第1号，143--159（1992；Zbl 0760.68043） 全文： 内政部
沃尔夫冈·托马斯 词上的无限树和自动机可定义关系。 （英语） Zbl 0731.03007号 计算机科学的理论方面。第7年。交响乐团。，STACS’90，鲁昂/Fr.1990，Lect。注释计算。科学。415, 263-277 (1990).MSC公司：03B25号 68兰特 05年3月 60年第68季度 PDF格式BibTeX公司 XML格式