编辑配置文件（在新选项卡中打开） Tjark韦伯 合著者距离 作者ID： 韦伯.tjark 发布日期： Tjark韦伯 已编制索引的文档： 34出版物自1984年以来，包括3个附加arXiv预打印 合著者： 26位合著者具有20联合出版物 346位合作作者 全部的 前5名合著者 6 单作者的 5 约阿希姆·帕罗 三 约翰·博格斯特罗姆 三 埃里克森，拉尔斯·亨里克 三 乔治·斯特鲁斯 2 阿拉斯代尔·阿姆斯特朗 2 Böhme，萨沙 2 丽塔·菲奥西 2 阿夫·根格尔巴赫 1 哈桑·阿姆贾德 1 亚历山德罗·阿尔迪佐尼 1 保罗·阿斯切里 1 马克·巴蒂 1 法比奥·贝纳蒂 1 杰斯珀·本特森 1 卢克雷齐亚·博特戈尼 1 冈瑟·布伦纳 1 大卫·R·科克。 1 弗兰茨·杜斯特 1 埃里萨·埃尔科利西 1 拉姆纳斯·福斯伯格·古特科瓦斯 1 西蒙·福斯特 1 Anthony C.J.福克斯。 1 拉姆纳斯·古特科瓦斯 1 B.哈梅特纳。 1 简·朱尔延斯 1 J·克罗夫。 1 拉马纳·库马尔 1 伊曼纽尔·拉蒂尼 1 Annabelle K.McIver。 1 彼得·米登多夫 1 斯科特·欧文斯 1 萨卡，苏斯米特 1 彼得·休厄尔 1 托马斯·D·休厄尔。 1 阿伦·斯塔姆 1 亨德里克·图斯 1 奥尔勒·托尔斯滕森 1 马库斯·沃尔普 1 Wassertheurer，S.公司。 1 周，徐 全部的 前5名系列 三 自动推理杂志 2 计算机科学中的逻辑方法 1 国际传热传质杂志 1 Zeitschrift für Angewandte Mathematik und Mechanik（ZAMM） 1 Regelungstechnik公司 1 动力系统的数学和计算机建模 1 应用逻辑杂志 1 国际代数杂志 1 物理学报A：数学与理论 1 程序设计中的逻辑和代数方法杂志 全部的 前5名领域 26 计算机科学（68至XX） 10 数理逻辑与基础（03-XX） 2 流体力学（76-XX） 2 生物学和其他自然科学（92-XX） 2 系统论；控制（93-XX） 1 结合环与代数（16-XX） 1 范畴理论；同调代数（18-XX） 1 群论与推广（20-XX） 1 概率论与随机过程（60-XX） 1 统计学（62-XX） 1 可变形固体力学（74-XX） 1 经典热力学，传热（80-XX） 1 量子理论（81-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 21出版物有被引用160次136文件 引用人▼ 年份▼ Z3的快速LCF式证明重建。 Zbl 1291.68328号 Böhme，萨沙;Tjark韦伯 34 2010 对C++并发进行数学化。 Zbl 1284.68165号 马克·巴蒂;斯科特·欧文斯;萨卡，苏斯米特;彼得·休厄尔;Tjark韦伯 18 2011 有效地检查HOL定理证明器中的命题反驳。 Zbl 1171.68041号 Tjark韦伯;哈桑·阿姆贾德 15 2009 Isabelle/HOL中关系和代数方法的自动化工程（特邀教程）。 Zbl 1329.68230号 西蒙·福斯特;乔治·斯特鲁斯;Tjark韦伯 15 2011 使用分离逻辑进行机械化程序验证。 Zbl 1095.68058号 Tjark韦伯 11 2004 标称过渡系统的模态逻辑。 Zbl 1374.68339号 约阿希姆·帕罗;约翰·博格斯特罗姆;埃里克森，拉尔斯·亨里克;拉莫纳斯·古特科瓦斯;Tjark韦伯 10 2015 Isabelle的Psi-calculi。 Zbl 1356.68175号 杰斯珀·本特森;约阿希姆·帕罗;Tjark韦伯 8 2016 最大的尊重功能。 Zbl 1448.68349号 约阿希姆·帕罗;Tjark韦伯 6 2016 Tarski-Kleene层次结构中的数学编程和自动化。 Zbl 1434.68637号 阿拉斯代尔·阿姆斯特朗;乔治·斯特鲁斯;Tjark韦伯 6 2014 在HOL4和Isabelle/HOL中重建Z3的位向量证明。 兹比尔1350.68225 Böhme，萨沙;Anthony C.J.福克斯。;托马斯·苏厄尔;Tjark韦伯 6 2011 将SAT解算器与LCF型定理证明器集成。 Zbl 1272.68366号 Tjark韦伯 6 2006 面向概率分布式系统的自动证明支持。 Zbl 1143.68458号 Annabelle K.McIver。;Tjark韦伯 5 2005 基于Isabelle/HOL中Kleene代数的程序分析和验证。 Zbl 1317.68201号 阿拉斯代尔·阿姆斯特朗;乔治·斯特鲁斯;Tjark韦伯 5 2013 二维喷射预混甲烷空气火焰模拟中的有限速率化学。 Zbl 0954.76531号 X·周。;G.布伦纳。;T·韦伯。;杜斯特，F。 三 1999 用于验证低级操作系统代码的形式化内存模型。 Zbl 1191.68178号 亨德里克·图斯;马库斯·沃尔普;Tjark韦伯 三 2009 标称过渡系统的模态逻辑。 Zbl 1509.68188号 约阿希姆·帕罗;约翰·博格斯特罗姆;埃里克森，拉尔斯·亨里克;拉姆纳斯·福斯伯格·古特科瓦斯;Tjark韦伯 三 2021 2013年对SMT-COMP和SMT-LIB的评估。 Zbl 1356.68185号 大卫·R·科克。;阿伦·斯塔姆;Tjark韦伯 2 2015 弱标称模态逻辑。 Zbl 1489.68167号 约阿希姆·帕罗;Tjark韦伯;约翰·博格斯特罗姆;埃里克森，拉尔斯·亨里克 2 2017 验证HOL4中的QBF无效。 Zbl 1291.68375号 Tjark韦伯 2 2010 基于FOL的密码协议验证中的有限模型。 兹比尔1252.94078 简·朱尔延斯;Tjark韦伯 2 2009 Isabelle/HOL的有界模型生成。 Zbl 1272.68365号 Tjark韦伯 1 2005 标称过渡系统的模态逻辑。 Zbl 1509.68188号 约阿希姆·帕罗;约翰·博格斯特罗姆;埃里克森，拉尔斯·亨里克;拉姆纳斯·福斯伯格·古特科瓦斯;Tjark韦伯 三 2021 弱标称模态逻辑。 Zbl 1489.68167号 约阿希姆·帕罗;Tjark韦伯;约翰·博格斯特罗姆;埃里克森，拉尔斯·亨里克 2 2017 Isabelle的Psi-calculi。 Zbl 1356.68175号 杰斯珀·本特森;约阿希姆·帕罗;Tjark韦伯 8 2016 最大的尊重功能。 Zbl 1448.68349号 约阿希姆·帕罗;Tjark韦伯 6 2016 标称过渡系统的模态逻辑。 Zbl 1374.68339号 约阿希姆·帕罗;约翰·博格斯特罗姆;埃里克森，拉尔斯·亨里克;拉穆纳斯Gutkovas;Tjark韦伯 10 2015 2013年对SMT-COMP和SMT-LIB的评估。 Zbl 1356.68185号 大卫·R·科克。;阿伦·斯塔姆;Tjark韦伯 2 2015 Tarski-Kleene层次结构中的数学编程和自动化。 兹比尔1434.68637 阿拉斯代尔·阿姆斯特朗;乔治·斯特鲁斯;Tjark韦伯 6 2014 基于Isabelle/HOL中Kleene代数的程序分析和验证。 Zbl 1317.68201号 阿拉斯代尔·阿姆斯特朗;乔治·斯特鲁斯;Tjark韦伯 5 2013 对C++并发进行数学化。 Zbl 1284.68165号 马克·巴蒂;斯科特·欧文斯;萨卡，苏斯米特;彼得·休厄尔;Tjark韦伯 18 2011 Isabelle/HOL中关系和代数方法的自动化工程（特邀教程）。 Zbl 1329.68230号 西蒙·福斯特;乔治·斯特鲁斯;Tjark韦伯 15 2011 在HOL4和Isabelle/HOL中重建Z3的位向量证明。 Zbl 1350.68225号 Böhme，萨沙;Anthony C.J.福克斯。;托马斯·苏厄尔;Tjark韦伯 6 2011 Z3的快速LCF式证明重建。 Zbl 1291.68328号 Böhme，萨沙;Tjark韦伯 34 2010 验证HOL4中的QBF无效。 Zbl 1291.68375号 Tjark韦伯 2 2010 有效地检查HOL定理证明器中的命题反驳。 Zbl 1171.68041号 Tjark韦伯;哈桑·阿姆贾德 15 2009 用于验证低级操作系统代码的形式化内存模型。 Zbl 1191.68178号 亨德里克·图斯;马库斯·沃尔普;Tjark韦伯 三 2009 基于FOL的密码协议验证中的有限模型。 Zbl 1252.94078号 于尔詹斯，Jan;Tjark韦伯 2 2009 将SAT解算器与LCF型定理证明器集成。 Zbl 1272.68366号 Tjark韦伯 6 2006 面向概率分布式系统的自动证明支持。 Zbl 1143.68458号 Annabelle K.McIver。;Tjark韦伯 5 2005 Isabelle/HOL的有界模型生成。 Zbl 1272.68365号 Tjark韦伯 1 2005 使用分离逻辑进行机械化程序验证。 Zbl 1095.68058号 Tjark韦伯 11 2004 二维射流预混CH（_4/\）空气火焰建模中的有限速率化学。 Zbl 0954.76531号 X·周。;G.布伦纳。;T·韦伯。;杜斯特，F。 三 1999 所有引用出版物 排名前五的出版物 全部的 前5名271位作者引用 10 乔治·斯特鲁斯 9 布兰切特，贾斯敏·克里斯蒂安 6 Tjark韦伯 5 布里杰什·多戈尔 5 马蒂亚斯·弗勒里 4 鲁道夫·伯格哈默 4 Böhme，萨沙 4 西蒙，多尔蒂 4 Damien Pous 4 海克·卫尔海姆 三 卢卡·埃特罗 三 哈桑·阿姆贾德 三 阿拉斯代尔·阿姆斯特朗 三 伊格纳西奥·法布雷加斯 三 阿尔瓦罗·加西亚·佩雷斯 三 沃尔特·古特曼 三 罗斯·霍恩 三 Anna Ingólfsdóttir 三 菲利普·马里奇 三 阿尔贝托·莫米利亚诺 三 塞萨尔·蒂内利 2 奥曼·波霍拉，约翰内斯 2 哈尼尔·巴博萨 2 克拉克·W·巴雷特。 2 亚历山大·本特坎普 2 斯蒂芬·布鲁克斯。 2 卢卡斯·布尔瓦恩 2 萨迪·达尔瓦迪 2 西蒙·福斯特 2 Anthony C.J.福克斯。 2 洛伦佐·盖里 2 维克多·戈麦斯。 2 C.A.R.Tony Hoare 2 彼得·霍夫纳 2 贾尼契奇，普雷德拉格 2 塞萨里·卡利西克 2 瑞安·卡瓦纳 2 迪特里赫·克拉科夫 2 瓦西里欧斯·库塔瓦斯 2 克雷伯斯，罗伯特 2 吕毅 2 Annabelle K.McIver。 2 拉里萨·梅尼基。 2 玛格努斯·奥·米林。 2 亚当·纳莫维奇 2 尤兰达奥尔特加购物中心 2 斯科特·欧文斯 2 鲍尔森、劳伦斯·查尔斯 2 碧姬·品特卡 2 安德鲁·雷诺兹 2 朱里安·罗特 2 史蒂文·施费尔 2 娜塔莎·莎莉吉娜 2 Stucke，Insa公司 2 维克托·瓦菲亚迪斯 2 范·斯塔登（Stephan van Staden） 2 克里斯托夫·韦登巴赫 2 温特，迈克尔 2 詹姆斯·C·P·伍德科克。 2 泽达，弗兰克 1 安德烈亚斯·阿贝尔（Andreas M.Abel）。 1 安基永 1 穆罕默德·费萨尔 1 穆罕默德·阿拉巴德 1 杰西·阿拉玛 1 弗朗切斯科·阿尔贝蒂 1 纪尧姆·阿拉伊斯 1 泽维尔·阿拉米吉恩 1 米歇尔·阿尔芒 1 大卫·阿斯皮纳尔 1 克莱门·奥伯特 1 M.H.班杜卡拉。 1 班科维奇，米兰 1 劳拉·巴格曼 1 吉尔·巴特 1 马克·巴蒂 1 伦纳特·贝林格 1 弗雷德里克·贝松 1 古斯塔沃·贝塔特 1 Dariusz Biernacki 1 拉尔斯·比克达尔 1 丹尼·鲍尔森（Danny Bougsted Poulsen） 1 彼得·博姆 1 玛丽亚·保拉（Maria Paola Bonacina） 1 菲律宾邦奇 1 约翰·博格斯特罗姆 1 布朗，查德·爱德华 1 罗伯特·布鲁托梅索 1 安德鲁·巴特菲尔德 1 弗朗西斯科·卡利默里 1 克里斯蒂安·卡鲁德。 1 胡安·迭戈·坎波 1 弗朗西斯科·考特鲁西奥 1 陈、陶璐 1 史蒂文·程 1 秦伟彦 1 马蒂奥·奇米尼 1 卢卡·西内利 1 罗伯特·科尔文。 1 Sylvain Conchon公司 …还有171位作者 全部的 前5名22篇连载文章中引用 22 自动推理杂志 7 程序设计中的逻辑和代数方法杂志 6 计算机科学中的逻辑方法 5 计算的形式方面 4 理论计算机科学 三 MSCS公司。计算机科学中的数学结构 三 系统设计中的形式化方法 2 信息学报 2 信息与计算 2 逻辑与代数程序设计杂志 1 人工智能 1 离散数学 1 编程和计算机软件 1 计算机程序设计科学 1 分布式计算 1 工程、通信和计算中的应用代数 1 应用非经典逻辑杂志 1 函数编程杂志 1 逻辑程序设计理论与实践 1 量子信息处理 1 ACM计算逻辑事务 1 应用逻辑杂志 全部的 前5名17个字段中引用 132 计算机科学（68至XX） 42 数理逻辑与基础（03-XX） 三 阶、格、有序代数结构（06-XX） 三 范畴理论；同调代数（18-XX） 2 组合数学（05-XX） 2 凸和离散几何（52至XX） 2 信息与通信理论、电路（94-XX） 1 一般代数系统（08-XX） 1 群论与推广（20-XX） 1 常微分方程（34-XX） 1 一般拓扑结构（54至XX） 1 经典热力学，传热（80-XX） 1 量子理论（81-XX） 1 运筹学、数学规划（90-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 生物学和其他自然科学（92-XX） 1 系统论；控制（93-XX） 按年份列出的引文