托马斯·福斯特
人员信息
附属: 英国剑桥大学
其他同名人员
托马斯·弗斯特 0001 -Ingenieurhochschule Mittweida,德国 托马斯·弗斯特 0002 -德国卡尔斯鲁厄理工学院
优化列表
2020年–今天
2023 [i1] 托马斯·福斯特 , 乔纳森·乌韦克斯 , Shak Ragoler公司 :
自动化议会:解决语言模型中的决策不确定性和失调问题。 CoRR公司 abs/2311.10098 ( 2023 )
2010 – 2019
2017 [公元24年] 阿努杰·达瓦尔 , 托马斯·福斯特 , 扎奇里·麦肯齐 :
具有无穷大和NF的简单类型理论的可判定片段。 圣母院J.正式日志。 58 ( 三 ) : 433-451 ( 2017 ) 2013 [公元23年] J.C.比尔 , 托马斯·福斯特 , 杰里米·塞利格曼 :
《悖论逻辑中的脱离自由》一文。 圣母院J.正式日志。 54 ( 1 ) : 15-20 ( 2013 ) [公元22年] 托马斯·福斯特 , 托尔斯滕·凯勒 , 延斯·诺德尔 :
从静态源代码恢复软件系统的运行时结构。 软件技术——趋势 33 ( 2 ) ( 2013 ) 【c7】 托马斯·福斯特 , 托尔斯滕·凯勒 , 延斯·诺德尔 , 迈克尔·克里斯蒂安·贝克尔 :
恢复框架隐藏的组件依赖关系-分析OSGi和Qt的经验。 CSMR公司 2013 : 295-304 【c6】 库恩 , 托马斯·福斯特 , 托比亚斯·布劳恩 , 莱因哈德·戈哲因 :
FERAL-需求和架构(architecture)级模拟器耦合框架。 记忆码 2013 : 11-22 2012 【r1】 M.兰德尔·霍姆斯 , 托马斯·福斯特 , 蒂埃里·利伯特 :
另类集合理论。 二十世纪的集合与扩展 2012 : 559-632 2011 [公元21年] 托马斯·福斯特 , 蒂埃里·利伯特 :
一些集合理论悖论的秩序理论解释。 圣母院J.正式日志。 52 ( 1 ) : 1-19 ( 2011 )
2000 – 2009
2009 [公元20年] 内森·J·鲍勒 , 托马斯·福斯特 :
无穷对称群的正规子群,及其在分层集理论中的应用。 J.塞姆。 日志。 74 ( 1 ) : 17-26 ( 2009 ) 2008 [公元19年] 托马斯·福斯特 :
集合的迭代概念。 版本符号。 日志。 1 ( 1 ) : 97-110 ( 2008 ) [公元18年] 托马斯·福斯特 :
莎维的露西和本杰明拼图。 Stud Logica公司 90 ( 2 ) : 249-256 ( 2008 ) 【c5】 吉村肯塔罗 , 托马斯·福斯特 , 德克·穆提格 , 丹尼尔·佩奇 :
汽车领域中基于模型的产品线组件设计。 苏丹人民解放军 2008 : 170-179 【c4】 托马斯·福斯特 , 德克·穆提格 , 丹尼尔·佩奇 :
理解决策模型-软件可变性的可视化和复杂性降低。 VaMoS公司 2008 : 111-119 2007 [公元17年] 托马斯·福斯特 , 约翰·肯尼斯·特鲁斯 :
拉姆齐定理和科尼引理。 架构(architecture)。 数学。 日志。 46 ( 1 ) : 37-42 ( 2007 ) [公元16年] 托马斯·福斯特 :
Erdos-Rado别无选择。 J.塞姆。 日志。 72 ( 三 ) : 897-900 ( 2007 ) 2006 [公元15年] 托马斯·福斯特 :
排列和良好基础:奎因NF奇异算法的真正含义。 J.塞姆。 日志。 71 ( 1 ) : 227-240 ( 2006 ) 2005 【c3】 延斯·诺德尔 , 托马斯·福斯特 , Jean-Francois吉拉德 :
比较现场测试系统与支持产品线体系结构设计的设计备选方案。 CSMR公司 2005 : 344-353 2004 【c2】 延斯·诺德尔 , Michalis Anastasopolous公司 , 托马斯·福斯特 , 德克·穆提格 :
高效迁移到模型驱动开发(MDD)。 ateM公司 2004 : 17-27 2003 【b2】 托马斯·福斯特 :
逻辑、归纳和集合。 伦敦数学学会学生课文 56, 剑桥大学出版社 2003 ,国际标准图书编号 978-0-521-53361-4 第I-X页,第1-234页 【b1】 托马斯·福斯特 :
关于理论实体的推理。 逻辑的进展 三, 世界科学 2003 ,国际标准图书编号 978-981-238-567-3 ,第1-100页 [公元14年] 托马斯·福斯特 :
ZF+“每个集合都与一个基础良好的集合大小相同”。 J.塞姆。 日志。 68 ( 1 ) : 1-4 ( 2003 ) [j13] 托马斯·福斯特 , 约翰·肯尼斯·特鲁斯 :
有序发电机组的非well-foundness。 J.塞姆。 日志。 68 ( 三 ) : 879-884 ( 2003 ) [公元12年] 托马斯·福斯特 :
有限到一地图。 J.塞姆。 日志。 68 ( 4 ) : 1251-1253 ( 2003 ) [公元11年] 托马斯·福斯特 :
更好的准序和共聚。 西奥。 计算。 科学。 309 ( 1-3 ) : 111-123 ( 2003 )
1990 – 1999
1996 [公元10年] 托马斯·E·福斯特 , C.M.Rood公司 :
情境与情境。 计算。 语言学 22 ( 三 ) : 405-408 ( 1996 ) 1994 [公元9年] 托马斯·福斯特 :
信:为什么没有基础就建立理论? J.日志。 计算。 4 ( 4 ) : 333-335 ( 1994 ) 【c1】 托马斯·福斯特 :
与HOL相关的弱集合论系统。 TPHOL公司 1994 : 193-204 1993 [j8] 托马斯·福斯特 :
伽马演算良好类型公式的语义特征。 西奥。 计算。 科学。 110 ( 2 ) : 405-418 ( 1993 ) 1991 [j7] 托马斯·福斯特 , 理查德·凯 :
端部延伸保持动力装置。 J.塞姆。 日志。 56 ( 1 ) : 323-328 ( 1991 ) 1990 [j6] 托马斯·福斯特 :
置换和分层公式是一个守恒定理。 数学。 日志。 问。 36 ( 5 ) : 385-388 ( 1990 )
1980 – 1989
1989 [j5] 托马斯·福斯特 :
无(高阶)模型的一致高阶理论。 数学。 日志。 问。 35 ( 5 ) : 385-386 ( 1989 ) 1987 【j4】 托马斯·福斯特 :
具有泛集的弱集理论的项模型。 J.塞姆。 日志。 52 ( 2 ) : 374-387 ( 1987 ) [j3] 托马斯·福斯特 :
Rieger-Bernays意义下的置换模型。 数学。 日志。 问。 33 ( 三 ) : 201-210 ( 1987 ) 1985 [注2] 托马斯·福斯特 :
选择公理在具有普适集的集合论中的地位。 J.塞姆。 日志。 50 ( 三 ) : 701-707 ( 1985 ) 1983 [j1] 托马斯·福斯特 :
进一步的一致性和独立性导致通过置换方法获得NF。 J.塞姆。 日志。 48 ( 2 ) : 236-238 ( 1983 )