×
编辑配置文件（在新选项卡中打开）

胡安·比卡雷奎。

合著者距离
作者ID： bicarregui.juan-c最近由“Bicarregui，Juan C.”撰写的zbMATH文章
发布日期： 胡安·比卡雷奎;胡安·比卡雷奎。;比卡雷奎，J.C。;比卡雷奎，J。
已编制索引的文档： 10出版物自1994年以来，包括1本书
1名编辑贡献
合著者： 20位合著者具有8联合出版物
424位合作作者
全部的 前5名

合著者

三 单作者的
2 迪米特拉科斯，西奥
2 托马斯·斯蒂芬·爱德华·迈鲍姆
2 布莱恩·里奇
1 斯滕·阿格霍姆
1 Nazareno M.阿吉雷。
1 阿尔瓦罗·E·阿里纳斯。
1 约翰·V·阿什比。
1 本杰明·阿齐兹
1 大卫·博伊德。
1 约翰·菲茨杰拉德。
1 Dov M.加巴伊。
1 C.A.R.Tony Hoare
1 西蒙·兰伯特（Simon C.Lambert）。
1 凯文·拉诺
1 彼得·亚历山大·林赛
1 菲利普·马索内特
1 布莱恩·马修斯
1 克里斯托夫·蓬萨德
1 克尔斯汀·克莱斯（Kerstin Kleese），范·达姆（van Dam）
1 詹姆斯·C·P·伍德科克。

系列

2 计算的形式方面
1 IGPL逻辑杂志

领域

11 计算机科学（68至XX）
1 数学逻辑和基础（03-XX）

按年份列出的出版物

所有引用出版物 前5名被引用出版物

zbMATH Open中包含的引文

5出版物有被引用20次20文件 引用人▼ 年份▼
实际正式开发中的插值。 Zbl 0981.03035号
胡安·比卡雷奎;提奥·迪米特拉科斯;Dov Gabbay公司;蒂姆·迈鲍姆
9
2001
VDM证明：从业者指南。 Zbl 0809.68023号
胡安·比卡雷奎。;约翰·菲茨杰拉德。;彼得·林赛（Peter A.Lindsay）。;理查德·摩尔;布莱恩·里奇
6
1994
Event-B中的建模义务。 兹比尔1156.68342
胡安·比卡雷奎;阿尔瓦罗·阿里纳斯;本杰明·阿齐兹;菲利普·马索内特;克里斯托夫·蓬萨德
2
2008
验证的软件库：向验证编译器迈进的一步。 Zbl 1103.68452号
Bicarregui，J.C。;C.A.R.霍尔。;伍德科克，J.C.P。
2
2006
在结构化时态理论中对UML进行形式化。 Zbl 0991.68039号
拉诺，K。;比卡雷奎，J。
1
1998
Event-B中的建模义务。 Zbl 1156.68342号
胡安·比卡雷奎;阿尔瓦罗·阿里纳斯;本杰明·阿齐兹;菲利普·马索内特;克里斯托夫·蓬萨德
2
2008
验证的软件库：向验证编译器迈进的一步。 Zbl 1103.68452号
比卡雷奎，J.C。;C.A.R.霍尔。;伍德科克，J.C.P。
2
2006
实际正式开发中的插值。 Zbl 0981.03035号
胡安·比卡雷奎;提奥·迪米特拉科斯;Dov Gabbay公司;蒂姆·迈鲍姆
9
2001
在结构化时态理论中对UML进行形式化。 Zbl 0991.68039号
拉诺，K。;比卡雷奎，J。
1
1998
VDM证明：从业者指南。 Zbl 0809.68023号
胡安·比卡雷奎。;约翰·菲茨杰拉德。;林赛，彼得·A。;理查德·摩尔;布莱恩·里奇
6
1994
所有引用出版物 前5名被引用出版物
全部的 前5名

36位作者引用

2 拉兹万·迪亚科内斯库
2 利奥·弗雷塔斯
2 安德烈·波佩斯库
2 乔安·拉斯加
2 阿米尔卡·塞尔纳达斯。
2 克里斯蒂娜·塞尔纳达斯。
2 詹姆斯·C·P·伍德科克。
1 阿尼尔班·巴塔查里亚
1 保罗·博尔巴
1 伯恩德·菲舍尔
1 约翰·菲茨杰拉德。
1 丹尼尔·加恩
1 弗雷德里克·热尔维斯
1 罗希特·盖伊
1 博·斯蒂格·汉森
1 Hoang，泰国儿子
1 克利夫·琼斯。
1 雷吉尼·拉劳
1 彼得·戈姆·拉森
1 Larisa L'vovna，马克西莫娃
1 蒂亚戈·马索尼
1 阿卜杜拉赫曼·马图西
1 Middelburg，Cornelis A。
1 Ken G.皮尔斯。
1 格里高·罗什乌
1 雷娜特·施密特（Renate A.Schmidt）。
1 施耐德（Steve A.Schneider）。
1 Schumann，Johann M.博士。
1 ☑特拉安·弗洛林（Traian Florin）
1 马丁·西蒙斯
1 托马斯·施图德
1 海伦·特里哈恩
1 马蒂亚斯·韦伯
1 大卫·M·威廉姆斯。
1 张艺奇
1 赵仪征
全部的 前5名

10篇连载文章中引用

5 计算的形式方面
2 信息处理信件
2 Studia Logica公司
1 信息学报
1 理论计算机科学
1 计算机程序设计科学
1 国际近似推理杂志
1 MSCS公司。计算机科学中的数学结构
1 应用逻辑杂志
1 泛逻辑

在2个字段中引用

17 计算机科学（68至XX）
9 数学逻辑和基础（03-XX）

按年份列出的引文