编辑配置文件（在新选项卡中打开） 托马斯·施耐德 合著者距离 作者ID： 施耐德·托马斯 发布日期： 托马斯·施耐德 主页： www.informatik.uni-bremen.de/~ts/ 外部链接： MGP公司 已编制索引的文档： 31出版物自1998年以来，包括2个附加arXiv预打印 2作为编辑的贡献 合著者： 13合著者具有14份联合出版物 271联合作者 全部的 前5名合著者 2 单作者的 9 马丁·蒙德亨克 6 阿恩·迈尔 5 赫里贝特·沃尔默 4 迈克尔·鲍兰德 4 鲁珀特·克莱因 4 海宁·施诺尔 4 伊尔卡·施诺尔 三 让·克里斯托夫·荣格 三 卡斯滕·卢茨 三 毛里西奥·马特尔 三 沃尔克·韦伯 三 费利克斯·维斯 2 尼古拉·博塔 2 克劳斯·迪特·蒙兹 2 斯文·舍韦 2 帕斯卡·施韦策 2 杰夫·威森 1 奥拉夫·拜尔斯多夫 1 奥莱·卡普拉尼 1 基亚拉·德尔维斯科沃 1 罗兰·福滕巴赫 1 杰拉茨，K.J。 1 斯特凡·格勒 1 艾琳·海因里希 1 马修·霍里奇 1 赫维迪加德，拉尔斯 1 马克·卡明斯基 1 斯特凡·科赫 1 Küter，W。 1 安德烈亚斯·梅斯特 1 莱因哈德·莫拉茨 1 米克尔·莫滕森 1 雷恩·尼米宁 1 比扬·帕西娅 1 滚筒，Sabine 1 Leif Sabellek 1 乌利·萨特勒 1 托马斯·施温蒂克 1 格特·斯莫尔卡 1 托马斯·声纳 1 菲利普·斯特拉汉。 1 弗兰克·沃尔特 1 赵浩如 全部的 前5名系列 2 理论计算机科学 2 人工智能研究杂志 2 应用逻辑杂志 2 计算机科学中的逻辑方法 1 计算物理杂志 1 工程数学杂志 1 密码学杂志 1 非牛顿力学流体机械 1 逻辑、语言与信息杂志 1 可靠的计算 1 ACM计算逻辑事务 1 财务审查 1 LIPIcs–莱布尼茨国际信息学会议录 全部的 前5名领域 19 计算机科学（68至XX） 17 数学逻辑和基础（03-XX） 5 流体力学（76-XX） 2 总体主题；集合（00-XX） 1 组合数学（05-XX） 1 偏微分方程（35-XX） 1 数值分析（65-XX） 1 经典热力学，传热（80-XX） 1 统计力学，物质结构（82-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 20出版物有被引用62次38文件 引用人▼ 年份▼ 流体力学多尺度问题的渐近自适应方法。 Zbl 1015.76071号 R·克莱因。;北卡罗来纳州博塔。;施耐德，T。;C.D.蒙兹。;滚轮，S。;梅斯特，A。;霍夫曼，L。;声纳，T。 77 2001 将有限体积可压缩流动解算器扩展到多维变密度零马赫数流动。 Zbl 0968.76054号 施耐德，T。;北卡罗来纳州博塔。;杰拉茨，K.J。;R·克莱因。 38 1999 线性时序逻辑广义可满足性的复杂性。 Zbl 1183.03017号 迈克尔·鲍兰德;托马斯·施耐德;海宁·施诺尔;伊尔卡·施诺尔;赫里贝特·沃尔默 10 2009 混合逻辑片段可满足性的复杂性。一、。 Zbl 1215.03034号 阿恩·迈尔;马丁·蒙德亨克;托马斯·施耐德;托马斯，迈克尔;沃尔克·韦伯;费利克斯·维斯 7 2010 模态和混合逻辑的Pratt型决策程序的正确性和最坏情况优化。 Zbl 1333.03008号 马克·卡明斯基;托马斯·施耐德;格特·斯莫尔卡 7 2011 线性时序逻辑广义可满足性的复杂性。 兹比尔1183.03016 迈克尔·鲍兰德;托马斯·施耐德;海宁·施诺尔;伊尔卡·施诺尔;赫里贝特·沃尔默 7 2007 传递框架上混合逻辑的复杂性。 Zbl 1215.03035号 马丁·蒙德亨克;托马斯·施耐德;托马斯·施温蒂克;沃尔克·韦伯 6 2010 模型检查CTL几乎总是固有的顺序性。 Zbl 1220.68068号 奥拉夫·拜尔斯多夫;阿恩·迈尔;马丁·蒙德亨克;托马斯·施耐德;托马斯，迈克尔;赫里贝特·沃尔默 6 2011 LTL模型检查的可处理性：好的、坏的和丑陋的片段。 Zbl 1347.68217号 迈克尔·鲍兰德;马丁·蒙德亨克;托马斯·施耐德;海宁·施诺尔;伊尔卡·施诺尔;赫里贝特·沃尔默 6 2009 克服基于水平集的接口跟踪方案中的质量损失。 Zbl 1052.76559号 施耐德，Th。;R·克莱因。 4 1999 多模混合逻辑的不确定性。 Zbl 1278.03047号 马丁·蒙德亨克;托马斯·施耐德 4 2007 描述逻辑的广义可满足性。 Zbl 1301.68222号 阿恩·迈尔;托马斯·施耐德 三 2013 使用正则路径表达式查询一元否定片段。 Zbl 1489.68077号 让·克里斯托夫·荣格;卡斯滕·卢茨;毛里西奥·马特尔;托马斯·施耐德 三 2018 隐式曲面的稳健高效光线相交。 Zbl 0965.65042号 奥莱·卡普拉尼;赫维迪加德，拉尔斯;米克尔·莫滕森;托马斯·施耐德 2 2000 混合逻辑片段可满足性的复杂性。一、。 兹比尔1250.03036 阿恩·迈尔;马丁·蒙德亨克;托马斯·施耐德;托马斯，迈克尔;沃尔克·韦伯;费利克斯·维斯 2 2009 LTL模型检查的可处理性：好的、坏的和丑陋的片段。 Zbl 1351.68151号 迈克尔·鲍兰德;马丁·蒙德亨克;托马斯·施耐德;海宁·施诺尔;伊尔卡·施诺尔;赫里贝特·沃尔默 2 2011 等价关系上混合逻辑的复杂性。 Zbl 1193.03054号 马丁·蒙德亨克;托马斯·施耐德 2 2009 保护碎片和双变量碎片中的保守扩展。 Zbl 1442.03006号 让·克里斯托夫·荣格;卡斯滕·卢茨;毛里西奥·马特尔;托马斯·施耐德;弗兰克·沃尔特 2 2017 库特粘度计中稀释阳离子表面活性剂溶液的速度场。 Zbl 0973.76512号 斯特凡·科赫;施耐德，T。;西昆特。 1 1998 本体中的模块结构和原子分解。 Zbl 1496.68330号 基亚拉·德尔维斯科沃;马修·霍里奇;比扬·帕西娅;乌利·萨特勒;托马斯·施耐德;赵浩若 1 2020 本体中的模块结构和原子分解。 Zbl 1496.68330号 基亚拉·德尔维斯科沃;马修·霍里奇;比扬·帕西娅;乌利·萨特勒;托马斯·施耐德;赵浩如 1 2020 使用正则路径表达式查询一元否定片段。 Zbl 1489.68077号 让·克里斯托夫·荣格;卡斯滕·卢茨;毛里西奥·马特尔;托马斯·施耐德 三 2018 保护碎片和双变量碎片中的保守扩展。 Zbl 1442.03006号 让·克里斯托夫·荣格;卡斯滕·卢茨;毛里西奥·马特尔;托马斯·施耐德;弗兰克·沃尔特 2 2017 描述逻辑的广义可满足性。 Zbl 1301.68222号 阿恩·迈尔;托马斯·施耐德 三 2013 模态和混合逻辑的Pratt型决策程序的正确性和最坏情况优化。 Zbl 1333.03008号 马克·卡明斯基;托马斯·施耐德;格特·斯莫尔卡 7 2011 模型检查CTL几乎总是固有的顺序性。 Zbl 1220.68068号 奥拉夫·拜尔斯多夫;阿恩·迈尔;马丁·蒙德亨克;托马斯·施耐德;托马斯，迈克尔;赫里贝特·沃尔默 6 2011 LTL模型检查的可处理性：好的、坏的和丑陋的片段。 Zbl 1351.68151号 迈克尔·鲍兰德;马丁·蒙德亨克;托马斯·施耐德;海宁·施诺尔;伊尔卡·施诺尔;赫里贝特·沃尔默 2 2011 混合逻辑片段可满足性的复杂性。一、。 Zbl 1215.03034号 阿恩·迈尔;马丁·蒙德亨克;托马斯·施耐德;托马斯，迈克尔;沃尔克·韦伯;费利克斯·维斯 7 2010 传递框架上混合逻辑的复杂性。 Zbl 1215.03035号 马丁·蒙德亨克;托马斯·施耐德;托马斯·施温蒂克;沃尔克·韦伯 6 2010 线性时序逻辑广义可满足性的复杂性。 兹比尔1183.03017 迈克尔·鲍兰德;托马斯·施耐德;海宁·施诺尔;伊尔卡·施诺尔;赫里贝特·沃尔默 10 2009 LTL模型检查的可处理性：好的、坏的和丑陋的片段。 Zbl 1347.68217号 迈克尔·鲍兰德;马丁·蒙德亨克;托马斯·施耐德;海宁·施诺尔;伊尔卡·施诺尔;赫里贝特·沃尔默 6 2009 混合逻辑片段可满足性的复杂性。一、。 Zbl 1250.03036号 阿恩·迈尔;马丁·蒙德亨克;托马斯·施耐德;托马斯，迈克尔;沃尔克·韦伯;费利克斯·维斯 2 2009 等价关系上混合逻辑的复杂性。 Zbl 1193.03054号 马丁·蒙德亨克;托马斯·施耐德 2 2009 线性时序逻辑广义可满足性的复杂性。 Zbl 1183.03016号 迈克尔·鲍兰德;托马斯·施耐德;海宁·施诺尔;伊尔卡·施诺尔;赫里贝特·沃尔默 7 2007 多模混合逻辑的不确定性。 Zbl 1278.03047号 马丁·蒙德亨克;托马斯·施耐德 4 2007 流体力学多尺度问题的渐近自适应方法。 Zbl 1015.76071号 R·克莱因。;北卡罗来纳州博塔。;施耐德，T。;C.D.蒙兹。;滚轮，S。;梅斯特，A。;霍夫曼，L。;声纳，T。 77 2001 隐式曲面的稳健高效光线相交。 Zbl 0965.65042号 奥莱·卡普拉尼;拉尔斯·赫维德加德;米克尔·莫滕森;托马斯·施耐德 2 2000 将有限体积可压缩流动解算器扩展到多维变密度零马赫数流动。 Zbl 0968.76054号 施耐德，T。;北卡罗来纳州博塔。;杰拉茨，K.J。;R·克莱因。 38 1999 克服基于水平集的接口跟踪方案中的质量损失。 Zbl 1052.76559号 施耐德，Th。;R·克莱因。 4 1999 库特粘度计中稀释阳离子表面活性剂溶液的速度场。 Zbl 0973.76512号 斯特凡·科赫;施耐德，T。;西昆特。 1 1998 所有引用出版物 前5名被引用出版物 全部的 前5名56位作者引用 9 阿恩·迈尔 8 托马斯·施耐德 7 马丁·蒙德亨克 4 格特·斯莫尔卡 4 沃尔克·韦伯 三 赫里贝特·沃尔默 2 克里斯蒂安·多兹卡尔 2 马克·卡明斯基 2 马丁·吕克 2 艾伦娜·辛德勒 2 海宁·施诺尔 2 伊尔卡·施诺尔 2 费利克斯·维斯 1 阿尔夫·罗查，蒂亚戈 1 亚历山德罗·阿塔尔 1 克里斯特尔·拜尔 1 迈克尔·鲍兰德 1 奥拉夫·拜尔斯多夫 1 尼科尔·比多特 1 贝内迪克特·博利格 1 西蒙·波娃 1 布罗吉，科西莫·佩里尼 1 玛尔塔·恰尔迪亚·梅耶 1 达里奥·科拉佐 1 约翰内斯·埃宾 1 伯恩德·芬克贝纳 1 卡洛·阿尔贝托·福里亚 1 詹姆斯·盖特 1 拉杰夫·普拉巴卡尔·戈尔 1 赫马斯潘德拉，伊迪丝 1 西蒙·扬奇 1 埃米尔·杰瓦贝克 1 丹尼尔·克恩伯格 1 约阿希姆·克莱因 1 罗马人孔查科夫 1 安德烈亚斯·克雷布斯 1 拉尔斯·库茨 1 马丁·兰格 1 李国强 1 彼得·洛曼 1 马可·马格西 1 阿娜·特蕾莎·马丁斯 1 布鲁诺·梅内泽斯 1 米勒（David I。 1 塞巴斯蒂安·奥德尼亚克 1 拉马努扬，M.S。 1 弗拉迪斯拉夫·里日科夫 1 阿诺德·桑尼尔 1 维克多·舒潘 1 托马斯·施文蒂克 1 鲍拉·斯波莱蒂尼 1 伊恩·斯图尔特（Iain A.Stewart）。 1 奥利维尔·斯蒂特尔 1 陶秀婷 1 吴敏超 1 迈克尔·维克托洛维奇（Michael Viktorovich） 全部的 前5名16篇连载文章中引用 4 自动推理杂志 三 应用逻辑杂志 2 信息处理信件 2 计算系统理论 2 ACM计算逻辑事务 1 信息学报 1 计算机与系统科学杂志 1 Studia Logica公司 1 理论计算机科学 1 计算机程序设计科学 1 算法学 1 国际计算机科学基础杂志 1 系统设计中的形式化方法 1 逻辑、语言与信息杂志 1 数学与人工智能年鉴 1 程序设计中的逻辑和代数方法杂志 全部的 前5名在6个字段中引用 33 数学逻辑和基础（03-XX） 33 计算机科学（68至XX） 1 组合数学（05-XX） 1 有序，格，有序代数结构（06-XX） 1 一般代数系统（08-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文