×
作者ID: 本特森·杰斯珀“Bengtson,Jesper”最近发表的zbMATH文章
发布日期: 杰斯珀·本特森
已编制索引的文档: 13出版物自2004年起
合著者: 14合著者具有13联合出版物
221合著者

按年份列出的出版物

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名

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位作者

按年份列出的引文