编辑配置文件(在新选项卡中打开) 大卫·巴尔德 合著者距离 作者ID: 贝尔德·大卫 发布日期: 贝尔德,大卫 已编制索引的文档: 17出版物自2007年起 3作为编辑的贡献 合著者: 21位合著者具有17联合出版物 350位合作作者 全部的 前5名合著者 三 单作者的 4 卢卡赫希 4 亚历克西斯·索林 三 斯特凡尼德劳恩 三 阿米娜·杜马内 三 戴尔·艾伦·米勒 三 戈帕兰·纳达图尔 三 西尔万·施密茨 2 Carayol,阿诺 2 安东尼·利克 1 考斯托夫·乔杜里 1 Courtieu,Pierre皮埃尔 1 艾米·费尔蒂(Amy P.Felty)。 1 安德鲁·加塞克 1 大卫·格罗斯·阿姆巴拉德 1 西蒙·卢内尔 1 拉尔夫·马修斯 1 克里斯汀·保林·莫林 1 斯诺,扎卡里 1 阿文·费南托(Alwen Fernanto Tiu) 1 伊戈尔·瓦卢基维奇 1 王玉婷 全部的 前5名系列 1 MSCS公司。计算机科学中的数学结构 1 计算机基础理论 1 ACM计算逻辑事务 1 计算机科学中的逻辑方法 1 形式化推理杂志 1 理论计算机科学电子论文集(EPTCS) 字段 14 数理逻辑与基础(03-XX) 12 计算机科学(68至XX) 三 总体主题;集合(00-XX) 三 信息与通信理论、电路(94-XX) 1 历史和传记(01-XX) 按年份列出的出版物 所有引用出版物 排名前五的出版物 zbMATH Open中包含的引文 14出版物有被引用100次中的次72文件 引用人▼ 年份▼ Abella:关于关系规范的推理系统。 Zbl 1451.68315号 大卫·巴尔德;考斯托夫·乔杜里;安德鲁·加塞克;戴尔·米勒;戈帕兰·纳达图尔;蒂乌,阿尔文;王玉婷 22 2014 线性逻辑中的最小和最大不动点。 Zbl 1352.03072号 大卫·巴尔德 20 2012 线性逻辑中的最小和最大不动点。 Zbl 1137.03323号 大卫·巴尔德;戴尔·米勒 17 2007 无穷证明理论:乘法加法情形。 Zbl 1370.03077号 大卫·巴尔德;阿米娜·杜马内;亚历克西斯·索林 13 2016 关于最小类属量化的表达性。 兹比尔1337.03038 贝尔德,大卫 6 2009 有限数据树上模态逻辑的序列演算。 Zbl 1370.03043号 大卫·巴尔德;西蒙·卢内尔;西尔万·施密茨 5 2016 关于正则不动点的证明理论。 Zbl 1260.03108号 大卫·巴尔德 三 2009 安全协议的部分降阶。 Zbl 1374.68318号 大卫·巴尔德;斯特凡尼德劳恩;卢卡赫希 三 2015 通过线性时间演算中的证明搜索走向完备性:Büchi包含的情况。 Zbl 1401.68193号 阿米娜·杜马内;大卫·巴尔德;卢卡·赫斯基;亚历克西斯·索林 三 2016 集中归纳定理证明。 Zbl 1291.68322号 大卫·巴尔德;戴尔·米勒;斯诺,扎卡里 2 2010 结合演绎模和定点定义的逻辑。 Zbl 1361.68132号 大卫·巴尔德;戈帕兰·纳达图尔 2 2012 安全协议等价物的POR。超越行动决定。 Zbl 1496.68055号 大卫·巴尔德;斯特凡尼德劳恩;卢卡·赫斯基 2 2018 用于确定跟踪等价性的简化语义。 Zbl 1448.68326号 大卫·巴尔德;斯特凡尼德劳恩;卢卡·赫斯基 1 2017 线性框架的超连续微积分。 兹伯利1418.03066 贝尔德,大卫;安东尼·利克;西尔万·施密茨 1 2018 安全协议等价物的POR。超越行动决定。 Zbl 1496.68055号 大卫·巴尔德;斯特凡尼德劳恩;卢卡·赫斯基 2 2018 线性框架的超连续微积分。 Zbl 1418.03066号 大卫·巴尔德;安东尼·利克;施密茨,西尔万 1 2018 用于确定跟踪等价性的简化语义。 Zbl 1448.68326号 大卫·巴尔德;斯特凡尼德劳恩;卢卡·赫斯基 1 2017 无穷证明理论:乘法加法情形。 Zbl 1370.03077号 大卫·巴尔德;阿米娜·杜马内;亚历克西斯·索林 13 2016 有限数据树上模态逻辑的序列演算。 Zbl 1370.03043号 大卫·巴尔德;西蒙·卢内尔;西尔万·施密茨 5 2016 通过线性时间演算中的证明搜索走向完备性:Büchi包含的情况。 Zbl 1401.68193号 阿米娜·杜马内;大卫·巴尔德;卢卡·赫斯基;亚历克西斯·索林 三 2016 安全协议的部分降阶。 Zbl 1374.68318号 大卫·巴尔德;斯特凡尼德劳恩;卢卡·赫斯基 三 2015 Abella:一个对关系规范进行推理的系统。 兹比尔1451.68315 大卫·巴尔德;考斯托夫·乔杜里;安德鲁·加塞克;戴尔·米勒;戈帕兰·纳达图尔;蒂乌,阿尔文;王玉婷 22 2014 线性逻辑中的最小和最大不动点。 Zbl 1352.03072号 大卫·巴尔德 20 2012 结合演绎模和定点定义的逻辑。 Zbl 1361.68132号 大卫·巴尔德;戈帕兰·纳达图尔 2 2012 聚焦归纳定理证明。 Zbl 1291.68322号 大卫·巴尔德;戴尔·米勒;斯诺,扎卡里 2 2010 关于最小类属量化的表达性。 Zbl 1337.03038号 大卫·巴尔德 6 2009 关于正则不动点的证明理论。 Zbl 1260.03108号 大卫·巴尔德 三 2009 线性逻辑中的最小和最大不动点。 Zbl 1137.03323号 大卫·巴尔德;戴尔·米勒 17 2007 所有引用出版物 排名前五的出版物 全部的 前5名90位作者引用 9 戴尔·艾伦·米勒 4 大卫·巴尔德 4 考斯托夫·乔杜里 4 阿尔贝托·莫米利亚诺 4 卡洛斯·奥拉特 4 碧姬·品特卡 4 伊莱恩·皮门特尔 三 达斯,阿努帕姆 三 斯特凡尼德劳恩 三 劳尔·费尔瓦里 三 罗斯·霍恩 三 弗兰克·芬宁 2 塞尔吉奥·阿布里奥拉 2 卡洛斯·阿雷塞斯 2 布洛克-南内斯塔德,陶斯 2 皮埃尔·克莱兰堡 2 科恩、利隆 2 乔尔·德斯佩鲁 2 圣地亚哥菲格拉 2 安德鲁·加塞克 2 尼古拉斯,猜猜看 2 希思,昆廷 2 卢卡·赫斯基 2 斯捷潘·勒沃维奇,库兹涅佐夫 2 戈帕兰·纳达图尔 2 吉赛尔·赖斯 2 克里斯汀·塔森 2 大卫·希伯多 2 阿文·费南托(Alwen Fernanto Tiu) 1 贝尼亚米·阿卡托利 1 阿夫沙里语、巴哈雷语 1 安基永 1 纪尧姆·安巴尔 1 罗伯特·艾奇 1 蒂鲍特·巴拉邦斯基 1 塔贾纳Ban Kirigin 1 斯特凡诺·贝拉尔迪 1 凯·布伦勒 1 路易斯·凯雷斯 1 扎卡里亚·奇哈尼 1 马蒂奥·奇米尼 1 德拉赫尚、法扎内赫 1 玛丽亚·艾米丽亚·德斯科特 1 亨利·德扬 1 艾米·费尔蒂(Amy P.Felty)。 1 迭戈·菲格拉 1 洛伦佐盖里 1 玛丽安娜·吉兰多 1 费卢西奥·圭迪 1 哈默(Russ Harmer) 1 安德烈·因德泽扎克(Andrzej Indrzejczak) 1 罗汉·雅各布·劳 1 Jonas Pilgaard凯撒 1 Max Iosifovich,卡诺维奇 1 安托万·兰科 1 格雷厄姆·埃米尔·利 1 塞尔盖·伦格利特 1 Chuck Liang先生 1 托梅尔·利巴尔 1 安东尼·利克 1 马可·曼托瓦尼 1 绍克·莫 1 纪尧姆·梅尔金德 1 吉勒莫梅内德斯·图拉塔 1 Vivek Nigam先生 1 雷米·诺列特 1 兰科·佩罗维奇 1 Damien Pous 1 费边·雷诺 1 鲁本·罗伊,N.S。 1 克劳迪奥·萨塞尔多蒂·科恩 1 亚历克西斯·索林 1 尤里·萨瓦泰耶夫 1 安德烈·斯克洛夫 1 阿兰·施密特 1 西尔万·施密茨 1 Daniyar S.Shamkanov。 1 亚历克斯·K·辛普森。 1 格特·斯莫尔卡 1 斯诺,扎卡里 1 卢茨斯特拉汉堡 1 托马斯·施图德 1 卡罗琳·塔尔科特。 1 恩里科·塔西 1 Makoto Tatsuta 1 贝尔纳多·托尼尼奥 1 莱昂内尔·沃克斯 1 亚历山大·维埃尔 1 王玉婷 1 塞门·尤尔科夫 全部的 前5名15篇连载文章中引用 7 自动推理杂志 6 MSCS公司。计算机科学中的数学结构 4 计算机科学中的逻辑方法 三 理论计算机科学 三 纯逻辑与应用逻辑年鉴 2 数学与人工智能年鉴 2 符号逻辑述评 1 计算机与系统科学杂志 1 信息与计算 1 计算的形式方面 1 逻辑程序设计理论与实践 1 应用逻辑杂志 1 SibirskieÈlektronnye Matematicheskie Izvestiya公司 1 程序设计中的逻辑和代数方法杂志 1 伦敦皇家学会哲学学报。A.数学、物理和工程科学 在5个字段中引用 53 计算机科学(68至XX) 49 数理逻辑与基础(03-XX) 三 信息与通信理论、电路(94-XX) 2 博弈论、经济学、金融和其他社会和行为科学(91-XX) 1 范畴理论;同调代数(18-XX) 按年份列出的引文