编辑配置文件（在新选项卡中打开） 拉尔斯·比克达尔 合著者距离 作者ID： birkedal.lars公司 发布日期： 拉尔斯·比克达尔；伯克达尔，L。 已编制索引的文档： 104出版物自1997年以来，包括1本书 5名编辑的贡献 合著者： 82位合著者具有101份联合出版物 830名合作作者 全部的 前5名合著者 8 单作者的 14 阿列舍·比兹亚克 12 莫格尔贝里，拉斯穆斯·埃杰勒斯 11 杨红seok 10 施温哈默，Jan 10 雅各布·塔姆斯堡 9 德里克·德雷尔（Derek R.Dreyer）。 8 克里斯蒂安·斯特夫林 8 卡斯珀·斯文森 7 菲利普·西奇科夫斯基 6 拉纳德·A·克鲁斯顿。 6 罗伯特·克雷伯斯 6 阿列克桑达尔·纳内夫斯基 6 罗伊斯，伯恩哈德 6 达娜·斯图尔特·斯科特 5 汉斯·布格·格雷斯沃尔 5 格雷格·莫里塞特 5 Rasmus Lerchedahl彼得森 4 拉尔夫·荣格 4 朱塞佩·罗索里尼 三 史蒂夫·阿沃迪 三 特洛伊尔斯·克里斯托弗·丹加德 三 瑟伦·德博伊斯 三 丹尼尔·格拉泽 三 托马斯·希尔德布兰特。 三 Jonas Braband Jensen 三 卡夫沃斯，G.A。 三 乔治·奈斯 三 溅出物，Bas 三 诺亚·托普·史密斯 三 亚伦·约瑟夫·图伦 三 雅普·范·奥斯汀 2 阿马尔·艾哈迈德 2 安德烈·鲍尔 2 杰斯珀·本特森 2 多米尼克·德夫里塞 2 托马斯·丁斯代尔·扬 2 丹·弗鲁明 2 阿恩·约翰·格伦斯特鲁普 2 罗伯特·哈珀 2 雅克·亨利·乔尔丹 2 莫滕·克罗格·杰斯佩森 2 罗宾·米尔纳 2 安德烈亚斯·努伊茨 2 马修·帕金森。 2 弗朗索瓦·波蒂埃 2 Lau Skorstengaard 2 阿明·蒂曼尼 2 托夫特，疯子 2 安德烈亚·维佐西 1 亚历杭德罗·阿吉雷 1 安徒生、克里斯托弗·贾斯特·阿恩达尔 1 阿斯兰·阿斯卡洛夫 1 吉尔·巴特 1 比林，博迪尔 1 波尔，尼娜 1 亚历山大·布伊斯 1 奥雷里奥·卡博尼 1 埃文·卡瓦洛 1 佩德罗·达罗查·平托 1 E.埃尔斯堡。 1 马丁·埃尔斯曼 1 马可·加博阿迪 1 菲利普·安·加德纳 1 迪帕克·加格 1 保罗·戈维罗 1 西蒙·奥德谢德·格雷格森 1 阿德里安·瓜托 1 尼尔斯·哈伦伯格 1 吉勒姆·贾伯 1 阿列克桑德·卡比雪夫 1 巴赛尔·曼纳 1 马里诺·米库兰 1 Niss，H。 1 玛丽特·埃德娜·奥伦布施 1 马尔科·帕维奥蒂 1 Jean Pichon-Pharabod 1 安德鲁·皮特斯（Andrew M.Pitts）。 1 约翰·查尔斯·雷诺兹 1 安德烈亚斯·罗斯伯格 1 阿夫拉罕·辛纳 1 大卫·斯瓦西 1 卡斯滕·瓦明 全部的 前5名系列 10 计算机科学中的逻辑方法 6 MSCS公司。计算机科学中的数学结构 5 理论计算机科学 4 函数编程杂志 4 理论计算机科学电子笔记 2 纯逻辑与应用逻辑年鉴 2 信息与计算 1 纯粹与应用代数杂志 1 自动推理杂志 1 计算的形式方面 1 北欧计算机杂志 1 符号逻辑公报 1 范畴的理论与应用 1 高阶和符号计算 1 逻辑与代数程序设计杂志 1 ACM计算逻辑事务 1 计算机科学课堂讲稿 全部的 前5名领域 96 计算机科学（68至XX） 71 数理逻辑与基础（03-XX） 19 范畴理论；同调代数（18-XX） 5 总体主题；集合（00-XX） 2 组合数学（05-XX） 2 代数拓扑（55-XX） 1 阶、格、有序代数结构（06-XX） 1 一般拓扑结构（54至XX） 1 概率论与随机过程（60-XX） 按年份列出的出版物 所有引用的出版物 前5名被引用出版物 zbMATH Open中包含的引文 92出版物有被引用741中的次339文件 引用人▼ 年份▼ 合成保护域理论的第一步：树拓扑的阶跃诱导。 Zbl 1269.03035号 拉尔斯·比克达尔；莫格尔贝里，拉斯穆斯·埃杰勒斯；施温哈默，Jan；克里斯蒂安·斯特夫林 37 2012 可靠的并发抽象谓词。 Zbl 1405.68092号 卡斯珀·斯文森；拉尔斯·比克达尔 31 2014 从头开始的Iris：高阶并发分离逻辑的模块化基础。 Zbl 1476.68062号 拉尔夫·荣格；罗伯特·克雷伯斯；雅克·亨利·乔尔丹；阿列舍·比兹亚克；拉尔斯·比克达尔；德雷克·德雷尔 30 2018 等价空间。 兹比尔1059.18004 安德烈·鲍尔；拉尔斯·比克达尔；Dana S.斯科特。 28 2004 并发程序的视图、合成推理。 Zbl 1301.68099号 托马斯·丁斯代尔·扬；拉尔斯·比克达尔；菲利普·加德纳；马修·帕金森；杨红seok 24 2013 在高阶并发逻辑中统一求精和Hoare-style推理。 Zbl 1323.68386号 亚伦·图伦；德雷克·德雷尔；拉尔斯·比克达尔 23 2013 虹膜：作为并行推理的正交基础的幺半群和不变量。 Zbl 1346.68135号 拉尔夫·荣格；大卫·斯瓦西；菲利普·西奇科夫斯基；卡斯珀·斯文森；亚伦·图伦；拉尔斯·比克达尔；德雷克·德雷尔 23 2015 通过精确分类的类型理论。（扩展摘要）。 Zbl 0945.03542号 伯克达尔，L。；卡博尼，A。；罗索里尼，G。；D.S.斯科特。 21 1998 BI超学说和高阶分离逻辑。 兹比尔1109.03021 比林，身体；拉尔斯·比克达尔；诺亚·托普·史密斯 19 2005 Ynot：命令式程序的依赖类型。 Zbl 1323.68142号 阿列克桑达尔·纳内夫斯基；格雷格·莫里塞特；阿夫拉罕·辛纳；保罗·戈维罗；拉尔斯·比克达尔 18 2008 霍尔类型理论、多态性和分离。 Zbl 1155.68354号 阿列克桑达尔·纳内夫斯基；格雷格·莫里塞特；拉尔斯·比克达尔 17 2008 具有共导类型的保护依赖类型理论。 Zbl 1475.68060号 阿列舍·比兹亚克；汉斯·布格·格雷斯沃尔；拉纳德·克鲁斯顿；莫盖尔伯格，拉斯穆斯·E。；拉尔斯·比克达尔 17 2016 高阶重影状态。 兹比尔1361.68066 拉尔夫·荣格；罗伯特·克雷伯斯；拉尔斯·比克达尔；德雷克·德雷尔 13 2016 Abadi和Plotkin的参数化逻辑的范畴模型。 Zbl 1082.03012号 拉尔斯·比克达尔；莫盖尔伯格，拉斯穆斯·E。 12 2005 高阶并发分离逻辑中的交互式证明。 Zbl 1380.68341号 罗伯特·克雷伯斯；阿明·蒂曼尼；拉尔斯·比克达尔 12 2017 为共导类型使用保护递归进行编程和推理。 Zbl 1459.68034号 拉纳德·克鲁斯顿；阿列舍·比兹亚克；汉斯·布格·格雷斯沃尔；拉尔斯·比克达尔 12 2015 以保护递归类型作为宇宙不动点的内涵型理论。 Zbl 1367.68060号 拉尔斯·比克达尔；莫格尔贝里，拉斯穆斯·埃杰勒斯 12 2013 递归世界上的阶跃Kripke模型。 Zbl 1284.68102号 拉尔斯·比克达尔；罗伊斯，伯恩哈德；施温哈默，Jan；克里斯蒂安·斯特夫林；雅各布·塔姆斯堡；杨红seok 11 2011 通过可实现性发展类型和可计算性理论。 Zbl 0947.68049号 拉尔斯·比克达尔 11 2000 模态从属类型理论和从属右伴随词。 Zbl 1479.03011号 拉尔斯·比克达尔；拉纳德·克鲁斯顿；巴赛尔·曼纳；拉斯穆斯·埃杰勒斯·莫格伯格；安德鲁·皮特斯（Andrew M.Pitts）。；溅出物，Bas 11 2020 高阶状态和控制效果对局部关系推理的影响。 Zbl 1252.68187号 德雷克·德雷尔；乔治·奈斯；拉尔斯·比克达尔 10 2012 高阶状态和控制效果对局部关系推理的影响。 Zbl 1323.68203号 德雷克·德雷尔；乔治·奈斯；拉尔斯·比克达尔 10 2010 高阶有状态ADT的关系模式逻辑。 Zbl 1312.68142号 德雷克·德雷尔；乔治·奈斯；安德烈亚斯·罗斯伯格；拉尔斯·比克达尔 10 2010 高阶并发分离逻辑的本质。 Zbl 1485.68069号 罗伯特·克雷伯斯；拉尔夫·荣格；阿列舍·比兹亚克；雅克·亨利·乔尔丹；德雷克·德雷尔；拉尔斯·比克达尔 10 2017 类Algol语言的分离逻辑类型语义和高阶框架规则。 Zbl 1127.68019号 拉尔斯·比克达尔；诺亚·托普·史密斯；杨红seok 10 2006 相对和修改后的相对可实现性。 Zbl 1012.03066号 拉尔斯·比克达尔；雅普·范·奥斯汀 9 2002 递归度量空间方程的分类理论解。 Zbl 1205.68216号 拉尔斯·比克达尔；克里斯蒂安·斯特夫林；雅各布·塔姆斯堡 9 2010 细粒度并发的逻辑关系。 Zbl 1301.68181号 亚伦·J·图伦。；雅各布·塔姆斯堡；阿马尔·艾哈迈德；拉尔斯·比克达尔；德雷克·德雷尔 9 2013 霍尔类型理论中的多态性和分离。 Zbl 1321.68351号 阿列克桑达尔·纳内夫斯基；格雷格·莫里塞特；拉尔斯·比克达尔 9 2006 参数多态性、通用引用和递归类型的可实现性语义。 Zbl 1209.68122号 拉尔斯·比克达尔；克里斯蒂安·斯特夫林；雅各布·塔姆斯堡 9 2010 关于复制垃圾收集器的本地推理。 Zbl 1325.68041号 拉尔斯·比克达尔；诺亚·托普·史密斯；约翰·雷诺兹（John C.Reynolds）。 9 2004 虚构的分离逻辑。 兹比尔1352.68062 詹森、乔纳斯·布拉班德；拉尔斯·比克达尔 8 2012 防护型理论中的可数不确定性模型。 Zbl 1416.68033号 阿列舍·比兹亚克；拉尔斯·比克达尔；马里诺·米库兰 8 2014 高阶存储的嵌套Hoare三元组和框架规则。 Zbl 1257.03056号 施温哈默，Jan；拉尔斯·比克达尔；罗伊斯，伯恩哈德；杨红seok 8 2009 递归类型和引用的关系推理。 Zbl 1168.68350号 尼娜·玻尔；拉尔斯·比克达尔 8 2006 参数多态性、通用引用和递归类型的可实现语义。 Zbl 1234.68052号 拉尔斯·比克达尔；克里斯蒂安·斯特夫林；雅各布·塔姆斯堡 8 2009 保护lambda-calculus：使用保护递归为共导类型进行编程和推理。 Zbl 1445.03012号 拉纳德·克鲁斯顿；阿列舍·比兹亚克；汉斯·布格·格雷斯沃尔；拉尔斯·比克达尔 8 2016 基于区域的内存管理回顾。 Zbl 1075.68563号 托夫特，疯子；拉尔斯·比克达尔；马丁·埃尔斯曼；尼尔斯·哈伦伯格 7 2004 冲锋！Coq中高阶分离逻辑的框架。 Zbl 1360.68741号 杰斯珀·本特森；Jonas Braband Jensen；拉尔斯·比克达尔 7 2012 概率的阶跃逻辑关系。 Zbl 1459.68031号 阿列舍·比兹亚克；拉尔斯·比克达尔 7 2015 多模依赖型理论。 Zbl 1498.03030号 丹尼尔·格拉泽；卡夫沃斯，G.A。；安德烈亚斯·努伊茨；拉尔斯·比克达尔 6 2021 公理化绑定二元图。 Zbl 1119.68132号 Troels C.Damgaard。；拉尔斯·比克达尔 6 2006 局部可实现拓扑和用于可计算性的模态逻辑。 Zbl 1007.03057号 史蒂文·阿沃迪；拉尔斯·比克达尔；Dana S.斯科特。 6 2002 并发逻辑关系。 Zbl 1252.68074号 拉尔斯·比克达尔；菲利普·西奇科夫斯基；雅各布·塔姆斯堡 6 2012 保护立方类型理论：保护递归的路径相等。 Zbl 1370.68052号 拉尔斯·比克达尔；阿列舍·比兹亚克；拉纳德·克鲁斯顿；汉斯·布格·格雷斯沃尔；溅出物，Bas；安德烈亚·维佐西 6 2016 ReLoC：用于细粒度并发的机械化关系逻辑。 Zbl 1497.68337号 丹·弗鲁明；罗伯特·克雷伯斯；拉尔斯·比克达尔 6 2018 守卫立方体理论。 Zbl 1477.03034号 拉尔斯·比克达尔；阿列舍·比兹亚克；拉纳德·克鲁斯顿；汉斯·布格·格雷斯沃尔；溅出物，Bas；安德烈亚·维佐西 6 2019 Hoare类型理论中的抽象谓词和可变ADT。 Zbl 1187.68158号 阿列克桑达尔·纳内夫斯基；阿马尔·艾哈迈德；格雷格·莫里塞特；拉尔斯·比克达尔 5 2007 操作环境中递归类型的关系解释。 Zbl 1045.68504号 拉尔斯·比克达尔；罗伯特·哈珀 5 1999 局部地形图的基本公理。 Zbl 1011.18002号 史蒂文·阿沃迪；拉尔斯·比克达尔 5 2003 一种基于约束的区域推理算法。 Zbl 0974.68078号 伯克达尔，L。；托夫特，M。 5 2001 配图。 兹比尔1278.05184 拉尔斯·比克达尔；Damgaard，Troels Christoffer；阿恩·约翰·格伦斯特鲁普；罗宾·米尔纳 5 2007 在Coq中验证具有高阶分离逻辑的面向对象程序。 Zbl 1342.68203号 杰斯珀·本特森；Jonas Braband Jensen；菲利普·西奇科夫斯基；拉尔斯·比克达尔 5 2011 关于并发数据结构分离的模块化推理。 Zbl 1381.68062号 卡斯珀·斯文森；拉尔斯·比克达尔；马修·帕金森 5 2013 高阶并发分离逻辑中类型与效果的关系模型。 Zbl 1380.68126号 莫滕·克罗格·杰斯佩森；卡斯珀·斯文森；拉尔斯·比克达尔 5 2017 跳跃–自动验证细粒度并发。 Zbl 1485.68060号 托马斯·丁斯代尔·扬；佩德罗·达罗查·平托；安徒生，克里斯托弗只是；拉尔斯·比克达尔 5 2017 非独立Hoare类型理论的可实现性模型。 Zbl 1133.68311号 Rasmus Lerchedahl彼得森；拉尔斯·比克达尔；阿列克桑达尔·纳内夫斯基；格雷格·莫里塞特 5 2008 ModuRes：一个Coq库，用于对并发高阶命令式编程语言进行模块化推理。 Zbl 1465.68038号 菲利普·西奇科夫斯基；阿列舍·比兹亚克；拉尔斯·比克达尔 5 2015 上下文软件系统的双图形模型。 Zbl 1180.68187号 伯克达尔，L。；德博伊斯，S。；E.埃尔斯堡。；希尔德布兰特，T。；Niss，H。 4 2006 关系参数和分离逻辑。 Zbl 1195.68030号 拉尔斯·比克达尔；杨红seok 4 2007 Isabelle/HOLCF中的高阶分离逻辑。 Zbl 1286.68404号 卡斯滕·瓦明；拉尔斯·比克达尔 4 2008 可数不确定性的逐步诱导关系推理。 Zbl 1274.68047号 拉尔斯·比克达尔；阿列舍·比兹亚克；施温哈默，Jan 4 2013 局部可实现拓扑和用于可计算性的模态逻辑。（扩展摘要）。 Zbl 0959.03504号 史蒂文·阿沃迪；拉尔斯·比克达尔；Dana S.斯科特。 4 1999 推理具有本地功能的机器。安全可靠的堆栈和返回指针管理。 兹比尔1418.68067 Lau Skorstengaard；多米尼克·德夫里塞；拉尔斯·比克达尔 4 2018 用于基于效果的程序转换的Kripke逻辑关系。 兹比尔1323.68230 雅各布·塔姆斯堡；拉尔斯·比克达尔 4 2011 隐藏状态的语义基础。 Zbl 1284.68376号 施温哈默，Jan；杨红seok；拉尔斯·比克达尔；弗朗索瓦·波蒂埃；罗伊斯，伯恩哈德 4 2010 多模依赖型理论。 Zbl 1498.03029号 丹尼尔·格拉泽；卡夫沃斯，G.A。；安德烈亚斯·努伊茨；拉尔斯·比克达尔 4 2020 模态和参数伴随。 Zbl 1505.03030号 丹尼尔·格拉泽；埃文·卡瓦洛；卡夫沃斯，G.A。；阿德里安·瓜托；拉尔斯·比克达尔 三 2022 反应系统的分类。 Zbl 1151.68506号 拉尔斯·比克达尔；瑟伦·德博伊斯；托马斯·希尔德布兰特 三 2006 依赖型和平衡空间的连续泛函。 Zbl 0973.03036号 安德烈·鲍尔；拉尔斯·比克达尔 三 2000 绑定双图中匹配的归纳特征。 Zbl 1259.68157号 Troels C.Damgaard。；阿恩·格伦斯特鲁普。；拉尔斯·比克达尔；罗宾·米尔纳 三 2013 参数域-多态直觉/线性lambda演算的理论模型。 Zbl 1273.03099号 拉尔斯·比克达尔；莫盖尔伯格，拉斯穆斯·E。；拉斯姆斯·彼得森。 三 2006 线性Abadi和Plotkin逻辑的范畴理论模型。 Zbl 1140.03012号 拉尔斯·比克达尔；莫盖尔伯格，拉斯穆斯·E。；拉斯姆斯·彼得森。 三 2008 操作环境中递归类型的关系解释。 Zbl 0888.03016号 拉尔斯·比克达尔；罗伯特·哈珀 三 1997 超有限阶跃诱导：解耦具体步骤和逻辑步骤。 Zbl 1335.68071号 卡斯珀·斯文森；菲利普·西奇科夫斯基；拉尔斯·比克达尔 三 2016 线性Abadi&Plotkin逻辑。 Zbl 1127.03022号 拉尔斯·比克达尔；莫盖尔伯格，拉斯穆斯·E。；Rasmus Lerchedahl彼得森 三 2006 防护型理论中的PCF模型。 Zbl 1351.68063号 马尔科·帕维奥蒂；莫格尔贝里，拉斯穆斯·埃杰勒斯；拉尔斯·比克达尔 三 2015 Aneris：分布式系统模块化推理的机械化逻辑。 兹比尔1508.68246 莫滕·克罗格·杰斯佩森；阿明·蒂曼尼；玛丽特·埃德娜·奥伦布施；西蒙·奥德谢德·格雷格森；拉尔斯·比克达尔 2 2020 高阶存储的嵌套Hoare三元组和框架规则。 Zbl 1237.68066号 施温哈默，Jan；拉尔斯·比克达尔；罗伊斯，伯恩哈德；杨红seok 2 2011 软件科学和计算结构基础。2012年3月24日至4月1日在爱沙尼亚塔林举行的第15届国际会议FOSSACS 2012，该会议是欧洲软件理论与实践联合会议ETAPS 2012的一部分。诉讼程序。 兹比尔1238.68011 2 2012 关系参数化和分离逻辑。 兹比尔1153.68355 拉尔斯·比克达尔；杨红seok 2 2008 一个简单的高阶存储分离逻辑模型。 Zbl 1155.68361号 拉尔斯·比克达尔；罗伊斯，伯恩哈德；施温哈默，Jan；杨红seok 2 2008 虚构序列一致性的分离逻辑。 Zbl 1335.68068号 菲利普·西奇科夫斯基；卡斯珀·斯文森；拉尔斯·比克达尔；Jean Pichon-Pharabod 2 2015 可存储锁分离逻辑的阶跃Kripke模型。 Zbl 1342.68075号 亚历山大·布伊斯；拉尔斯·比克达尔 2 2011 StkTokens：使用线性功能强制执行包围良好的控制流和堆栈封装。 Zbl 1522.68164号 Lau Skorstengaard；多米尼克·德夫里塞；拉尔斯·比克达尔 2 2021 关于高阶分离逻辑模型。 Zbl 1525.03093号 阿列舍·比兹亚克；拉尔斯·比克达尔 1 2018 偏好、状态和依赖类型。 Zbl 1331.03020号 卡斯珀·斯文森；拉尔斯·比克达尔；阿列克桑达尔·纳内夫斯基 1 2011 线性Abadi&Plotkin逻辑的综合域理论和模型。 Zbl 1153.03007号 莫格尔贝里，拉斯穆斯·埃杰勒斯；拉尔斯·比克达尔；朱塞佩·罗索里尼 1 2008 概率保护lambda演算中Markov链的关系推理。 Zbl 1418.68048号 亚历杭德罗·阿吉雷；吉尔·巴特；拉尔斯·比克达尔；阿列舍·比兹亚克；马可·加博阿迪；迪帕克·加格 1 2018 通过广义平衡空间的保护递归模型。 Zbl 1388.68023号 阿列舍·比兹亚克；拉尔斯·比克达尔 1 2018 基于效果的程序转换的Kripke逻辑关系。 Zbl 1345.68095号 拉尔斯·比克达尔；吉勒姆·贾伯；菲利普·西奇科夫斯基；雅各布·塔姆斯堡 1 2016 参数多态性的领域理论模型。 Zbl 1138.03027号 伯克达尔，L。；莫格伯格，R.E。；彼得森，R.L。 1 2007 模态和参数伴随。 Zbl 1505.03030号 丹尼尔·格拉泽；埃文·卡瓦洛；卡夫沃斯，G.A。；阿德里安·瓜托；拉尔斯·比克达尔 三 2022 多模依赖型理论。 Zbl 1498.03030号 丹尼尔·格拉泽；卡夫沃斯，G.A。；安德烈亚斯·努伊茨；拉尔斯·比克达尔 6 2021 StkTokens：使用线性功能强制执行包围良好的控制流和堆栈封装。 Zbl 1522.68164号 Lau Skorstengaard；多米尼克·德夫里塞；拉尔斯·比克达尔 2 2021 模态从属类型理论和从属右伴随词。 Zbl 1479.03011号 拉尔斯·比克达尔；拉纳德·克鲁斯顿；巴赛尔·曼纳；拉斯穆斯·埃杰勒斯·莫格伯格；安德鲁·皮特斯（Andrew M.Pitts）。；溅出物，Bas 11 2020 多模依赖型理论。 Zbl 1498.03029号 丹尼尔·格拉泽；卡夫沃斯，G.A。；安德烈亚斯·努伊茨；拉尔斯·比克达尔 4 2020 Aneris：分布式系统模块化推理的机械化逻辑。 兹比尔1508.68246 Krogh Jespersen，莫顿；阿明·蒂曼尼；Marit Edna，奥伦布什；西蒙·奥德谢德·格雷格森；拉尔斯·比克达尔 2 2020 守卫立方体理论。 Zbl 1477.03034号 拉尔斯·比克达尔；阿列舍·比兹亚克；拉纳德·克鲁斯顿；汉斯·布格·格雷斯沃尔；溅出物，Bas；安德烈亚·维佐西 6 2019 从头开始的Iris：高阶并发分离逻辑的模块化基础。 Zbl 1476.68062号 拉尔夫·荣格；罗伯特·克雷伯斯；雅克·亨利·乔尔丹；阿列舍·比兹亚克；拉尔斯·比克达尔；德雷克·德雷尔 30 2018 ReLoC：用于细粒度并发的机械化关系逻辑。 Zbl 1497.68337号 丹·弗鲁明；罗伯特·克雷伯斯；拉尔斯·比克达尔 6 2018 推理具有本地功能的机器。安全可靠的堆栈和返回指针管理。 Zbl 1418.68067号 Lau Skorstengaard；多米尼克·德夫里塞；拉尔斯·比克达尔 4 2018 关于高阶分离逻辑模型。 Zbl 1525.03093号 阿列舍·比兹亚克；拉尔斯·比克达尔 1 2018 概率保护lambda演算中Markov链的关系推理。 Zbl 1418.68048号 亚历杭德罗·阿吉雷；吉尔·巴特；拉尔斯·比克达尔；阿列舍·比兹亚克；马可·加博阿迪；迪帕克·加格 1 2018 通过广义平衡空间的保护递归模型。 Zbl 1388.68023号 阿列舍·比兹亚克；拉尔斯·比克达尔 1 2018 高阶并发分离逻辑中的交互式证明。 Zbl 1380.68341号 罗伯特·克雷伯斯；阿明·蒂曼尼；拉尔斯·比克达尔 12 2017 高阶并发分离逻辑的本质。 Zbl 1485.68069号 罗伯特·克雷伯斯；拉尔夫·荣格；阿列舍·比兹亚克；雅克·亨利·乔尔丹；德雷克·德雷尔；拉尔斯·比克达尔 10 2017 高阶并发分离逻辑中类型与效果的关系模型。 Zbl 1380.68126号 莫滕·克罗格·杰斯佩森；卡斯珀·斯文森；拉尔斯·比克达尔 5 2017 跳跃–自动验证细粒度并发。 Zbl 1485.68060号 托马斯·丁斯代尔·扬；佩德罗·达罗查·平托；安徒生，克里斯托弗只是；拉尔斯·比克达尔 5 2017 具有共导类型的保护依赖类型理论。 Zbl 1475.68060号 阿列舍·比兹亚克；汉斯·布格·格雷斯沃尔；拉纳德·克鲁斯顿；莫盖尔伯格，拉斯穆斯·E。；拉尔斯·比克达尔 17 2016 高阶幻影状态。 Zbl 1361.68066号 拉尔夫·荣格；罗伯特·克雷伯斯；拉尔斯·比克达尔；德雷克·德雷尔 13 2016 保护lambda-calculus：使用保护递归为共导类型进行编程和推理。 Zbl 1445.03012号 拉纳德·克鲁斯顿；阿列舍·比兹亚克；汉斯·布格·格雷斯沃尔；拉尔斯·比克达尔 8 2016 保护立方类型理论：保护递归的路径相等。 Zbl 1370.68052号 拉尔斯·比克达尔；阿列舍·比兹亚克；拉纳德·克鲁斯顿；汉斯·布格·格雷斯沃尔；溅出物，Bas；安德烈亚·维佐西 6 2016 超有限阶跃诱导：解耦具体步骤和逻辑步骤。 兹比尔1335.68071 卡斯珀·斯文森；菲利普·西奇科夫斯基；拉尔斯·比克达尔 三 2016 用于基于效果的程序转换的Kripke逻辑关系。 Zbl 1345.68095号 拉尔斯·比克达尔；吉勒姆·贾伯；菲利普·西奇科夫斯基；雅各布·塔姆斯堡 1 2016 虹膜：作为并行推理的正交基础的幺半群和不变量。 Zbl 1346.68135号 拉尔夫·荣格；大卫·斯瓦西；菲利普·西奇科夫斯基；卡斯珀·斯文森；亚伦·图伦；拉尔斯·比克达尔；德雷克·德雷尔 23 2015 为共导类型使用保护递归进行编程和推理。 Zbl 1459.68034号 拉纳德·克鲁斯顿；阿列舍·比兹亚克；汉斯·布格·格雷斯沃尔；拉尔斯·比克达尔 12 2015 概率的阶跃逻辑关系。 Zbl 1459.68031号 阿列舍·比兹亚克；拉尔斯·比克达尔 7 2015 ModuRes：一个Coq库，用于对并发高阶命令式编程语言进行模块化推理。 Zbl 1465.68038号 菲利普·西奇科夫斯基；阿列舍·比兹亚克；拉尔斯·比克达尔 5 2015 防护型理论中的PCF模型。 Zbl 1351.68063号 马尔科·帕维奥蒂；莫格尔贝里，拉斯穆斯·埃杰勒斯；拉尔斯·比克达尔 三 2015 虚构序列一致性的分离逻辑。 Zbl 1335.68068号 菲利普·西奇科夫斯基；卡斯珀·斯文森；拉尔斯·比克达尔；Jean Pichon-Pharabod 2 2015 可靠的并发抽象谓词。 Zbl 1405.68092号 卡斯珀·斯文森；拉尔斯·比克达尔 31 2014 防护型理论中的可数不确定性模型。 Zbl 1416.68033号 阿列舍·比兹亚克；拉尔斯·比克达尔；马里诺·米库兰 8 2014 并发程序的视图、合成推理。 Zbl 1301.68099号 托马斯·丁斯代尔·扬；拉尔斯·比克达尔；菲利普·加德纳；马修·帕金森；杨红seok 24 2013 在高阶并发逻辑中统一求精和Hoare-style推理。 Zbl 1323.68386号 亚伦·图伦；德雷克·德雷尔；拉尔斯·比克达尔 23 2013 以保护递归类型作为宇宙不动点的内涵型理论。 Zbl 1367.68060号 拉尔斯·比克达尔；莫格尔贝里，拉斯穆斯·埃杰勒斯 12 2013 细粒度并发的逻辑关系。 Zbl 1301.68181号 亚伦·J·图伦。；雅各布·塔姆斯堡；阿马尔·艾哈迈德；拉尔斯·比克达尔；德雷克·德雷尔 9 2013 关于并发数据结构分离的模块化推理。 Zbl 1381.68062号 卡斯珀·斯文森；拉尔斯·比克达尔；马修·帕金森 5 2013 可数不确定性的步进索引关系推理。 兹比尔1274.68047 拉尔斯·比克达尔；阿列舍·比兹亚克；施温哈默，Jan 4 2013 绑定双图中匹配的归纳特征。 Zbl 1259.68157号 Troels C.Damgaard。；阿恩·格伦斯特鲁普。；拉尔斯·比克达尔；罗宾·米尔纳 三 2013 合成保护域理论的第一步：树拓扑的阶跃诱导。 Zbl 1269.03035号 拉尔斯·比克达尔；莫格尔贝里，拉斯穆斯·埃杰勒斯；施温哈默，Jan；克里斯蒂安·斯特夫林 37 2012 高阶状态和控制效果对局部关系推理的影响。 Zbl 1252.68187号 德雷克·德雷尔；乔治·奈斯；拉尔斯·比克达尔 10 2012 虚构的分离逻辑。 Zbl 1352.68062号 Jonas Braband Jensen；拉尔斯·比克达尔 8 2012 冲锋！Coq中高阶分离逻辑的框架。 Zbl 1360.68741号 杰斯珀·本特森；Jonas Braband Jensen；拉尔斯·比克达尔 7 2012 并发逻辑关系。 Zbl 1252.68074号 拉尔斯·比克达尔；菲利普·西奇科夫斯基；雅各布·塔姆斯堡 6 2012 软件科学和计算结构基础。2012年3月24日至4月1日在爱沙尼亚塔林举行的第15届国际会议FOSSACS 2012，该会议是欧洲软件理论与实践联合会议ETAPS 2012的一部分。诉讼程序。 Zbl 1238.68011号 2 2012 递归世界上的阶跃Kripke模型。 Zbl 1284.68102号 拉尔斯·比克达尔；罗伊斯，伯恩哈德；施温哈默，Jan；克里斯蒂安·斯特夫林；雅各布·塔姆斯堡；杨红seok 11 2011 在Coq中验证具有高阶分离逻辑的面向对象程序。 Zbl 1342.68203号 杰斯珀·本特森；Jonas Braband Jensen；菲利普·西奇科夫斯基；拉尔斯·比克达尔 5 2011 基于效果的程序转换的Kripke逻辑关系。 Zbl 1323.68230号 雅各布·塔姆斯堡；拉尔斯·比克达尔 4 2011 高阶存储的嵌套Hoare三元组和框架规则。 Zbl 1237.68066号 施温哈默，Jan；拉尔斯·比克达尔；罗伊斯，伯恩哈德；杨红seok 2 2011 可存储锁分离逻辑的阶跃Kripke模型。 Zbl 1342.68075号 亚历山大·布伊斯；拉尔斯·比克达尔 2 2011 偏好、状态和依赖类型。 Zbl 1331.03020号 卡斯珀·斯文森；拉尔斯·比克达尔；阿列克桑达尔·纳内夫斯基 1 2011 高阶状态和控制效果对局部关系推理的影响。 Zbl 1323.68203号 德雷克·德雷尔；乔治·奈斯；拉尔斯·比克达尔 10 2010 高阶有状态ADT的关系模式逻辑。 Zbl 1312.68142号 德雷克·德雷尔；乔治·奈斯；安德烈亚斯·罗斯伯格；拉尔斯·比克达尔 10 2010 递归度量空间方程的分类理论解。 Zbl 1205.68216号 拉尔斯·比克达尔；克里斯蒂安·斯特夫林；雅各布·塔姆斯堡 9 2010 参数多态性、通用引用和递归类型的可实现性语义。 Zbl 1209.68122号 拉尔斯·比克达尔；克里斯蒂安·斯特夫林；雅各布·塔姆斯堡 9 2010 隐藏状态的语义基础。 Zbl 1284.68376号 施温哈默，Jan；杨红seok；拉尔斯·比克达尔；弗朗索瓦·波蒂埃；罗伊斯，伯恩哈德 4 2010 高阶存储的嵌套Hoare三元组和框架规则。 Zbl 1257.03056号 施温哈默，Jan；拉尔斯·比克达尔；罗伊斯，伯恩哈德；杨红seok 8 2009 参数多态性、通用引用和递归类型的可实现语义。 兹比尔12346.8052 拉尔斯·比克达尔；克里斯蒂安·斯特夫林；雅各布·塔姆斯堡 8 2009 Ynot：命令式程序的依赖类型。 Zbl 1323.68142号 阿列克桑达尔·纳内夫斯基；格雷格·莫里塞特；阿夫拉罕·辛纳；保罗·戈维罗；拉尔斯·比克达尔 18 2008 霍尔类型理论、多态性和分离。 Zbl 1155.68354号 阿列克桑达尔·纳内夫斯基；格雷格·莫里塞特；拉尔斯·比克达尔 17 2008 非独立Hoare类型理论的可实现性模型。 Zbl 1133.68311号 Rasmus Lerchedahl彼得森；拉尔斯·比克达尔；阿列克桑达尔·纳内夫斯基；格雷格·莫里塞特 5 2008 Isabelle/HOLCF中的高阶分离逻辑。 Zbl 1286.68404号 卡斯滕·瓦明；拉尔斯·比克达尔 4 2008 线性Abadi和Plotkin逻辑的范畴理论模型。 Zbl 1140.03012号 拉尔斯·比克达尔；莫盖尔伯格，拉斯穆斯·E。；拉斯姆斯·彼得森。 三 2008 关系参数和分离逻辑。 Zbl 1153.68355号 拉尔斯·比克达尔；杨红seok 2 2008 一个简单的高阶存储分离逻辑模型。 Zbl 1155.68361号 拉尔斯·比克达尔；罗伊斯，伯恩哈德；施温哈默，Jan；杨红seok 2 2008 线性Abadi&Plotkin逻辑的综合域理论和模型。 Zbl 1153.03007号 莫格尔贝里，拉斯穆斯·埃杰勒斯；拉尔斯·比克达尔；朱塞佩·罗索里尼 1 2008 Hoare类型理论中的抽象谓词和可变ADT。 Zbl 1187.68158号 阿列克桑达尔·纳内夫斯基；阿马尔·艾哈迈德；格雷格·莫里塞特；拉尔斯·比克达尔 5 2007 二元图的匹配。 Zbl 1278.05184号 拉尔斯·比克达尔；特洛伊尔斯·克里斯托弗·丹加德；阿恩·约翰·格伦斯特鲁普；罗宾·米尔纳 5 2007 关系参数和分离逻辑。 Zbl 1195.68030号 拉尔斯·比克达尔；杨红seok 4 2007 参数多态性的领域理论模型。 Zbl 1138.03027号 伯克达尔，L。；莫格伯格，R.E。；彼得森，R.L。 1 2007 类Algol语言的分离逻辑类型语义和高阶框架规则。 Zbl 1127.68019号 拉尔斯·比克达尔；诺亚·托普·史密斯；杨红seok 10 2006 霍尔类型理论中的多态性和分离。 Zbl 1321.68351号 阿列克桑达尔·纳内夫斯基；格雷格·莫里塞特；拉尔斯·比克达尔 9 2006 递归类型和引用的关系推理。 Zbl 1168.68350号 波尔，尼娜；拉尔斯·比克达尔 8 2006 公理化绑定bigraph。 兹比尔1119.68132 Troels C.Damgaard。；拉尔斯·比克达尔 6 2006 上下文软件系统的双图形模型。 Zbl 1180.68187号 伯克达尔，L。；德博伊斯，S。；E.埃尔斯堡。；希尔德布兰特，T。；Niss，H。 4 2006 反应系统的分类。 Zbl 1151.68506号 拉尔斯·比克达尔；瑟伦·德博伊斯；托马斯·希尔德布兰特 三 2006 参数域-多态直觉/线性lambda演算的理论模型。 Zbl 1273.03099号 拉尔斯·比克达尔；莫盖尔伯格，拉斯穆斯·E。；拉斯姆斯·彼得森。 三 2006 线性Abadi&Plotkin逻辑。 Zbl 1127.03022号 拉尔斯·比克达尔；莫盖尔伯格，拉斯穆斯·E。；Rasmus Lerchedahl彼得森 三 2006 BI超学说和高阶分离逻辑。 兹比尔1109.03021 比林，身体；拉尔斯·比克达尔；诺亚·托普·史密斯 19 2005 Abadi和Plotkin参数逻辑的分类模型。 Zbl 1082.03012号 拉尔斯·比克达尔；莫盖尔伯格，拉斯穆斯·E。 12 2005 等价空间。 兹比尔1059.18004 安德烈·鲍尔；拉尔斯·比克达尔；Dana S.斯科特。 28 2004 关于复制垃圾收集器的本地推理。 Zbl 1325.68041号 拉尔斯·比克达尔；诺亚·托普·史密斯；约翰·雷诺兹（John C.Reynolds）。 9 2004 基于区域的内存管理回顾。 Zbl 1075.68563号 托夫特，疯子；拉尔斯·比克达尔；马丁·埃尔斯曼；尼尔斯·哈伦伯格 7 2004 局部地形图的基本公理。 Zbl 1011.18002号 史蒂文·阿沃迪；拉尔斯·比克达尔 5 2003 相对和修改后的相对可实现性。 Zbl 1012.03066号 拉尔斯·比克达尔；雅普·范·奥斯汀 9 2002 局部可实现拓扑和用于可计算性的模态逻辑。 Zbl 1007.03057号 史蒂文·阿沃迪；拉尔斯·比克达尔；Dana S.斯科特。 6 2002 一种基于约束的区域推理算法。 Zbl 0974.68078号 伯克达尔，L。；托夫特，M。 5 2001 通过可实现性发展类型和可计算性理论。 Zbl 0947.68049号 拉尔斯·比克达尔 11 2000 依赖型和平衡空间的连续泛函。 Zbl 0973.03036号 安德烈·鲍尔；拉尔斯·比克达尔 三 2000 操作环境中递归类型的关系解释。 兹比尔1045.68504 拉尔斯·比克达尔；罗伯特·哈珀 5 1999 局部可实现拓扑和用于可计算性的模态逻辑。（扩展摘要）。 Zbl 0959.03504号 史蒂文·阿沃迪；拉尔斯·比克达尔；Dana S.斯科特。 4 1999 通过精确分类的类型理论。（扩展摘要）。 Zbl 0945.03542号 伯克达尔，L。；卡博尼，A。；罗索里尼，G。；D.S.斯科特。 21 1998 操作环境中递归类型的关系解释。 兹伯利0888.03016 拉尔斯·比克达尔；罗伯特·哈珀 三 1997 所有引用的出版物 前5名被引用出版物 全部的 前5名497位作者引用 34 拉尔斯·比克达尔 13 莫格尔贝里，拉斯穆斯·埃杰勒斯 9 阿列舍·比兹亚克 8 朱塞佩·罗索里尼 7 菲利普·安·加德纳 7 Andrzej S.穆拉夫斯基。 6 弗朗索瓦·波蒂埃 6 罗伊斯，伯恩哈德 5 安德鲁·W·阿佩尔。 5 伦纳特·贝林格 5 佩德罗·达罗查·平托 5 尼尔·加尼 5 罗伯特·克雷伯斯 5 罗宾·米尔纳 5 戴维·诺曼（David A.Naumann）。 5 亚历克斯·K·辛普森。 5 克里斯蒂安·斯特夫林 5 雅各布·塔姆斯堡 5 Tzevelekos，尼科斯 5 杨红seok 4 安德烈·鲍尔 4 杰斯珀·本特森 4 纳撒尼尔·查尔顿 4 拉纳德·A·克鲁斯顿。 4 乌戈·达尔拉戈 4 托马斯·丁斯代尔·扬 4 德里克·德雷尔（Derek R.Dreyer）。 4 马克·格兰迪斯 4 罗伯特·哈珀 4 帕特里夏·约翰 4 塔德乌什·利塔克 4 马里诺·米库兰 4 弗雷德里克·诺德瓦尔·福斯伯格 4 乔治·斯特鲁斯 4 尼科洛·维尔特里 三 詹斯·布兰克 三 曹勤祥 三 亚瑟·夏盖罗 三 科科特，J.罗宾B。 三 多米尼克·德夫里塞 三 西蒙·多尔蒂 三 弗朗西斯科·加瓦佐 三 汉斯·布格·格雷斯沃尔 三 Hötzel Escardó，马汀 三 侯哲 三 吉勒姆·贾伯 三 苏雷什·贾甘纳森 三 雅克·亨利·乔尔丹 三 拉尔夫·荣格 三 卡夫沃斯，G.A。 三 保罗·布莱恩·利维 三 约翰·朗利。 三 玛丽亚·艾米莉亚·梅埃蒂 三 巴赛尔·曼纳 三 马蒂亚斯·梅尼 三 格雷格·莫里塞特 三 阿列克桑达尔·纳内夫斯基 三 费德里科·奥尔萨尼戈 三 马尔科·帕维奥蒂 三 碧姬·品特卡 三 安德鲁·皮特斯（Andrew M.Pitts）。 三 大卫·J·派姆。 三 马蒂亚斯·施罗德 三 菲利普·西奇科夫斯基 三 埃希罗·苏米 三 阿文·费尔南托 三 维克托·瓦菲亚迪斯 三 安德烈亚·维佐西 2 达内尔·阿赫曼 2 安徒生、克里斯托弗·贾斯特·阿恩达尔 2 史蒂夫·阿沃迪 2 乔治·巴奇 2 吉尔·巴特 2 尼克·本顿 2 Dariusz Biernacki 2 杰拉德·布多尔 2 曹永志 2 皮埃尔·奇夫利埃 2 罗伯特·J·科尔文。 2 拉斐尔·克鲁比莱 2 特洛伊尔斯·克里斯托弗·丹加德 2 布里杰什·多戈尔 2 康斯坦丁·埃纳 2 朱利娅·弗罗索尼 2 马可·加博阿迪 2 迪帕克·加格 2 恩里科·吉奥尔齐 2 阿恩·约翰·格伦斯特鲁普 2 维克多·戈麦斯。 2 贡查罗夫，谢尔盖·萨沃斯特·亚诺维奇 2 丹尼尔·格拉泽 2 戴维·格罗曼 2 阿德里安·瓜托 2 伊恩·海耶斯。 2 克劳迪奥·赫米达 2 纪尧姆·希特 2 Ho，翁金 2 阿奎那·霍伯 2 马丁·霍夫曼 2 彼得·霍夫斯特拉（Pieter J.W.Hofstra）。 …还有397位作者 全部的 前5名39篇连载文章中引用 27 理论计算机科学 22 MSCS公司。计算机科学中的数学结构 21 计算机科学中的逻辑方法 16 函数编程杂志 11 纯逻辑与应用逻辑年鉴 10 程序设计中的逻辑和代数方法杂志 8 自动推理杂志 8 计算的形式方面 7 纯粹与应用代数杂志 6 信息与计算 5 系统设计中的形式化方法 4 高阶和符号计算 4 逻辑与代数程序设计杂志 4 ACM计算逻辑事务 三 拓扑及其应用 三 第比利斯数学杂志 2 符号逻辑杂志 2 应用的分类结构 2 符号逻辑公报 2 Cahiers de Topologie et Géométrie Différentiele Cate goriques公司 2 泛逻辑 1 代数通讯 1 离散应用数学 1 Annali di Matematica Pura ed Applicata公司。四分之一系列 1 计算机与系统科学杂志 1 合成 1 伊朗数学学会公报 1 订单 1 符号计算杂志 1 计算机科学与技术杂志 1 新一代计算 1 美国数学学会公报。新系列 1 数学逻辑档案 1 Indagationes Mathematicae公司。新系列 1 工程、通信和计算中的应用代数 1 逻辑程序设计理论与实践 1 计算机语言、系统和结构 1 同伦及相关结构杂志 1 逻辑与分析杂志 全部的 前5名16个领域引用 273 计算机科学（68至XX） 165 数理逻辑与基础（03-XX） 72 范畴理论；同调代数（18-XX） 17 阶、格、有序代数结构（06-XX） 11 代数拓扑（55-XX） 8 一般拓扑结构（54至XX） 5 组合数学（05-XX） 2 一般代数系统（08-XX） 2 群论与推广（20-XX） 2 概率论与随机过程（60-XX） 2 博弈论、经济学、金融学以及其他社会和行为科学（91-XX） 1 代数几何（14-XX） 1 功能分析（46倍X倍） 1 整体分析，流形分析（58至XX） 1 运筹学、数学规划（90-XX） 1 生物学和其他自然科学（92-XX） 按年份列出的引文