编辑配置文件(在新选项卡中打开) 杰斯珀·本特森 合著者距离 作者ID: 本特森·杰斯珀 发布日期: 杰斯珀·本特森 已编制索引的文档: 13出版物自2004年起 合著者: 14合著者具有13联合出版物 221合著者 全部的 前5名合著者 0 单作者的 7 约阿希姆·帕罗 2 Lars Birkedal公司 2 Jonas Braband Jensen 2 马格纳斯·M·约翰逊。 2 比约恩·维克多 1 迈克尔·巴尔达穆斯 1 吉安·路易吉,法拉利 1 乔纳斯·卡斯伯格·辛里奇森 1 罗伯特·克雷伯斯 1 格雷戈里·马莱查 1 马尔科·帕维奥蒂 1 罗伯托·拉吉 1 菲利普·西奇科夫斯基 1 Tjark韦伯 系列 三 计算机科学中的逻辑方法 1 自动推理杂志 1 程序设计中的逻辑和代数方法杂志 字段 13 计算机科学(68至XX) 4 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 11出版物有被引用96中的次79文件 引用人▼ 年份▼ Psi-calculi:具有标称数据和逻辑的移动进程框架。 Zbl 1213.68399号 杰斯珀·本特森;马格纳斯·约翰逊;约阿希姆·帕罗;比约恩·维克多 42 2011 使用标称逻辑对像素进行形式化。 Zbl 1168.68030号 杰斯珀·本特森;约阿希姆·帕罗 12 2009 使用标称逻辑将\(\pi\)-演算形式化。 Zbl 1168.68436号 杰斯珀·本特森;约阿希姆·帕罗 9 2007 Isabelle的Psi结石。 Zbl 1356.68175号 杰斯珀·本特森;约阿希姆·帕罗;Tjark韦伯 7 2016 Isabelle的Psi结石。 Zbl 1252.68247号 杰斯珀·本特森;约阿希姆·帕罗 7 2009 冲锋!Coq中高阶分离逻辑的框架。 Zbl 1360.68741号 杰斯珀·本特森;Jonas Braband Jensen;Lars Birkedal公司 7 2012 在Coq中验证具有高阶分离逻辑的面向对象程序。 Zbl 1342.68203号 杰斯珀·本特森;Jonas Braband Jensen;菲利普·西奇科夫斯基;Lars Birkedal公司 5 2011 扩展性π结石。 Zbl 1155.68473号 马格纳斯·约翰逊;约阿希姆·帕罗;比约恩·维克多;杰斯珀·本特森 2 2008 通过反思策略实现可扩展且高效的自动化。 Zbl 1335.68234号 格雷戈里·马莱查;杰斯珀·本特森 2 2016 用Isabelle证明pi-calculus中互模拟的完备性。 兹比尔1278.68212 杰斯珀·本特森;约阿希姆·帕罗 2 2007 Actris 2.0版:分离逻辑中基于异步会话类型的推理。 Zbl 07566072号 乔纳斯·卡斯伯格·辛里奇森;杰斯珀·本特森;罗伯特·克雷伯斯 1 2022 Actris 2.0版:分离逻辑中基于异步会话类型的推理。 Zbl 07566072号 乔纳斯·卡斯伯格·辛里奇森;杰斯珀·本特森;罗伯特·克雷伯斯 1 2022 Isabelle的Psi结石。 Zbl 1356.68175号 杰斯珀·本特森;约阿希姆·帕罗;Tjark韦伯 7 2016 通过反思策略实现可扩展且高效的自动化。 Zbl 1335.68234号 格雷戈里·马莱查;杰斯珀·本特森 2 2016 冲锋!Coq中高阶分离逻辑的框架。 Zbl 1360.68741号 杰斯珀·本特森;Jonas Braband Jensen;Lars Birkedal公司 7 2012 Psi-calculi:具有标称数据和逻辑的移动进程框架。 Zbl 1213.68399号 杰斯珀·本特森;马格纳斯·约翰逊;约阿希姆·帕罗;比约恩·维克多 42 2011 在Coq中验证具有高阶分离逻辑的面向对象程序。 Zbl 1342.68203号 杰斯珀·本特森;Jonas Braband Jensen;菲利普·西奇科夫斯基;Lars Birkedal公司 5 2011 使用标称逻辑对像素进行形式化。 Zbl 1168.68030号 杰斯珀·本特森;约阿希姆·帕罗 12 2009 Isabelle的Psi结石。 Zbl 1252.68247号 杰斯珀·本特森;约阿希姆·帕罗 7 2009 扩展pi-calculi。 Zbl 1155.68473号 马格纳斯·约翰逊;约阿希姆·帕罗;比约恩·维克多;杰斯珀·本特森 2 2008 使用标称逻辑将\(\pi\)-演算形式化。 兹比尔1168.68436 杰斯珀·本特森;约阿希姆·帕罗 9 2007 用Isabelle证明pi-calculus中互模拟的完备性。 Zbl 1278.68212号 杰斯珀·本特森;约阿希姆·帕罗 2 2007 所有引用出版物 前5名被引用出版物 全部的 前5名156位作者引用 8 约阿希姆·帕罗 5 杰斯珀·本特森 4 奥曼·波霍拉,约翰内斯 4 罗斯·霍恩 4 汉斯·休特尔 三 约翰·博格斯特罗姆 三 托马斯·希尔德布兰特。 三 克里斯蒂安·约翰森 三 哈贡诺曼 三 碧姬·品特卡 三 阿文·费南托(Alwen Fernanto Tiu) 三 城市,基督教 三 比约恩·维克多 2 卢卡·埃特罗 2 叶希亚·阿卜杜·阿勒拉赫曼 2 安德鲁·W·阿佩尔。 2 亨德里克·彼得·巴伦德雷格特 2 曹勤祥 2 詹姆斯·切尼 2 洛科·德尼古拉 2 伊格纳西奥·法布雷加斯 2 阿尔瓦罗·加西亚·佩雷斯 2 洛伦佐·盖里 2 托马斯·吉文·威尔森 2 Anna Ingólfsdóttir 2 马格纳斯·M·约翰逊。 2 塞萨里·卡利西克 2 Legay、Axel 2 刘、贾 2 斯迪安·利贝奇 2 格雷戈里·马莱查 2 绍克·莫 2 多里亚娜·梅迪奇 2 克劳迪奥·安塔雷斯·梅齐纳 2 阿尔贝托·莫米利亚诺 2 尤兰达奥尔特加购物中心 2 伊恩·菲利普斯。 2 卡米洛·鲁埃达 2 戴维·桑吉奥吉 2 阿兰·施密特 2 田,春 2 范格拉贝克、罗伯特·扬 2 Tjark韦伯 2 吉田、Nobuko 2 塞门·尤尔科夫 1 延斯·亚加德 1 安德烈亚斯·阿贝尔(Andreas M.Abel)。 1 安基永 1 纪尧姆·阿拉伊斯 1 纪尧姆·安巴尔 1 阿南德,阿比舍克 1 迈托·阿拉皮尼斯 1 Alex Rønning本迪森 1 伦纳特·贝林格 1 Lars Birkedal公司 1 阿列舍·比兹亚克 1 博杰森,比亚克布雷多 1 西蒙·博利埃 1 蒂莫西·布鲁克 1 安德鲁·巴特菲尔德 1 毛里西奥·卡诺 1 亚瑟·查古埃罗 1 文森佐·西安西亚 1 马蒂奥·奇米尼 1 科恩,阿尔杰·马塞尔 1 西里尔·科恩 1 伊奥娜·多姆尼纳·克里斯特斯库 1 圣地亚哥奎利亚尔 1 Pieter J.L.Cuijpers。 1 大卫·达赖 1 奥尔内拉·达达 1 德梅洛,安娜·克里斯蒂娜·维埃拉 1 斯特凡尼德劳恩 1 哈维尔·迪亚兹 1 约西亚·多兹 1 埃里克森,拉尔斯·亨里克 1 吉安·路易吉,法拉利 1 拉姆纳斯·福斯伯格·古特科瓦斯 1 扬尼克·福斯特 1 默多克·詹姆斯·加贝 1 艾娜·林·乔治斯 1 塞缪尔·格吕特 1 拉姆纳斯·古特科瓦斯 1 Aliya Hameer 1 卢多维奇·亨利奥 1 卢卡·赫斯基 1 丹尼尔·赫希科夫 1 彼得·霍夫纳 1 侯哲 1 黄、舒琴 1 雨果·伊利诺斯 1 马蒂亚斯·雅各布森。 1 沃尔夫冈·杰利奇 1 马蒂亚斯·约翰 1 钟曼,宋世堂。 1 Temesghen Kahsai 1 弗洛里安·卡姆米勒 1 Mikkel K.Kettunen。 1 哈迪姆,美国。 1 瓦西里欧斯·库塔瓦斯 …还有56位作者 全部的 前5名13篇连载文章中引用 9 自动推理杂志 9 程序设计中的逻辑和代数方法杂志 4 理论计算机科学 4 计算机科学中的逻辑方法 三 信息与计算 三 MSCS公司。计算机科学中的数学结构 2 函数编程杂志 1 信息学报 1 计算机程序设计科学 1 符号计算杂志 1 系统设计中的形式化方法 1 约束条件 1 逻辑与代数程序设计杂志 全部的 前5名在6个字段中引用 76 计算机科学(68至XX) 24 数学逻辑和基础(03-XX) 三 信息与通信理论、电路(94-XX) 1 阶、格、有序代数结构(06-XX) 1 运筹学、数学规划(90-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文