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

范·兰斯维德（Axel van Lamsweerde）

合著者距离
作者ID： van-lamsweerde.axel公司“van Lamsweerde，Axel”最近发表的zbMATH文章
发布日期： 范·兰斯维德（Axel van Lamsweerde）;范·兰斯维德（Axel Van Lamsweerde）;van Lamsweerde，A。
已编制索引的文档： 10出版物自1972年起
2作为编辑的贡献
合著者： 6位合著者具有5联合出版物
19位合作作者
全部的 前5名

合著者

6 单作者的
1 安妮·达登
1 皮埃尔·杜福尔
1 斯蒂芬·菲克斯
1 阿方索·福格塔
1 菲利普·马索内特
1 J.F.莫尔德雷兹。
1 克里斯托弗·庞萨德
1 A.里福。
1 辛佐夫，米歇尔
1 Tran Van，H。
1 亨德里克·范蒂尔堡
全部的 前5名

系列

2 计算机程序设计科学
1 信息学报
1 信息处理信件
1 计算的形式方面
1 系统设计中的形式化方法
1 计算机科学课堂讲稿

领域

10 计算机科学（68至XX）
2 历史和传记（01-XX）
1 总体主题；集合（00-XX）

按年份列出的出版物

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

zbMATH Open中包含的引文

4出版物有被引用22中的次21文件 引用人▼ 年份▼
目标导向的需求获取。 兹比尔0792.68024
安妮·达登;范·兰斯维德（Axel van Lamsweerde）;斯蒂芬·菲克斯
8
1993
强正确并发程序的形式化推导。 Zbl 0389.68012号
范·兰斯维德（Axel van Lamsweerde）;辛佐夫，米歇尔
7
1979
关于Dijkstra信号量原语的扩展。 Zbl 0244.68002号
范蒂堡，H。;van Lamsweerde，A。
6
1972
从验证终止到保证终止：案例研究。 Zbl 0373.68027号
范·兰斯维德（Axel van Lamsweerde）
1
1978
目标导向的需求获取。 Zbl 0792.68024号
安妮·达登;范·兰斯维德（Axel van Lamsweerde）;斯蒂芬·菲克斯
8
1993
强正确并发程序的形式化推导。 Zbl 0389.68012号
范·兰斯维德（Axel van Lamsweerde）;辛佐夫，米歇尔
7
1979
从验证终止到保证终止：案例研究。 Zbl 0373.68027号
范·兰斯维德（Axel van Lamsweerde）
1
1978
关于Dijkstra信号量原语的扩展。 Zbl 0244.68002号
范蒂堡，H。;van Lamsweerde，A。
6
1972
所有引用出版物 前5名被引用出版物
全部的 前5名

54位作者引用

2 Jonker，天主教M。
2 简·特雷尔
1 达拉·阿拉杰
1 玛丽亚·艾米利亚·坎布罗内罗
1 曹淳
1 玛格丽特·巴里，科泽斯
1 保罗·罗伯托·弗雷尔·库尼亚
1 戴维·德·拉·富恩特
1 卡洛斯·何塞·佩雷拉·德·卢塞纳
1 格雷戈里奥·迪亚兹
1 丹尼·多列夫
1 塞拉·埃尔拉德
1 安东尼·芬克尔斯坦
1 尼西姆·弗朗西兹
1 克莱尔·格雷斯
1 约翰·勒罗伊轩尼诗
1 黄，于
1 理查德·基伯茨。
1 杰夫·克莱默
1 Kwong、Yat-sang
1 罗谢尔·莱博维茨
1 乔·刘易斯·伯恩
1 杰苏斯·洛扎诺
1 陆健
1 马晓星
1 赫梅内吉尔达梅西
1 马莫鲁·梅卡瓦
1 托马斯·斯蒂芬·爱德华·迈鲍姆
1 菲利普·马索内特
1 J.F.莫尔德雷兹。
1 内佩？沃达，尼古拉？尼古拉埃维奇
1 大卫·R·奥哈拉龙。
1 克里斯托夫·蓬萨德
1 博尔贾·蓬特
1 简·赖特曼
1 雷诺兹（Paul F.jun Reynolds）。
1 A.里福。
1 Vojtech公司Rodl
1 亚历山德拉·拉索。
1 恩里克·塞拉
1 约瑟夫·西法基斯
1 什伊·阿霍娃，伊迪塔
1 辛佐夫，米歇尔
1 杰基·斯诺普。
1 陶贤平
1 莫里斯·楚恩特
1 Tran Van，H。
1 Tůma，米罗斯拉夫
1 塞巴斯蒂安·乌奇特尔
1 瓦伦蒂安·瓦莱罗
1 范·兰斯维德（Axel van Lamsweerde）
1 汉斯·维斯特霍夫。
1 Wouter C.A.Wijngaards。
1 于平
全部的 前5名

16篇连载文章中引用

三 理论计算机科学
2 信息学报
2 国际计算机与信息科学杂志
1 离散数学
1 信息处理信件
1 苏联数学杂志
1 RAIRO，Informatique Théorique公司
1 SIAM代数和离散方法杂志
1 计算机与运筹学
1 计算的形式方面
1 应用智能
1 国际计算机数学杂志
1 系统设计中的形式化方法
1 逻辑与代数程序设计杂志
1 中国科学。F系列
1 理论生物学杂志
全部的 前5名

在6个字段中引用

18 计算机科学（68至XX）
2 组合数学（05-XX）
2 运筹学、数学规划（90-XX）
2 生物学和其他自然科学（92-XX）
1 数学逻辑和基础（03-XX）
1 博弈论、经济学、金融和其他社会和行为科学（91-XX）

按年份列出的引文