正在加载...
系统目前无法执行此操作,请稍后再试。
每年引用数
重复的引用
下面的文章将在学术搜索中合并。它们的
合并引用
次数只会计入第一篇文章。
合并的引用
此“引用引文的出版物数量”计数包含了对学术搜索中以下文章的引用次数。带有
*
标记的引文可能与个人学术档案中的文章有所区别。
添加合著者
合著作者
关注
此作者发表了新文章
有对此作者文章的新引用
有与此作者的研究工作相关的新文章
用于接收动态的电子邮件地址
完成
我的个人学术档案
我的图书馆
统计指标
快讯
设置
登录
登录
创建我的个人资料
引用次数
查看全部
总计
2019 年至今
引用
127
24
h 指数
3
2
i10 指数
3
1
0
16
8
2010
2011
2012
2013
2014
2015
2016
2017
2018
2019
2020
2021
2022
2023
2
5
13
15
11
16
16
13
12
4
5
8
5
2
关注
Alexander Linden
Université de Liège
在 montefiore.ulg.ac.be 的电子邮件经过验证
Model Checking
Verification
Relaxed Memory Models
Automata
文章
引用次数
标题
排序
按引用次数排序
按年份排序
按标题排序
引用次数
引用次数
年份
A verification-based approach to memory fence insertion in relaxed memory systems
A Linden, P Wolper
Model Checking Software, 144-160
, 2011
43
2011
An automata-based symbolic approach for verifying programs on relaxed memory models
A Linden, P Wolper
Model Checking Software, 212-226
, 2010
43
2010
A Verification-Based Approach to Memory Fence Insertion in PSO Memory Systems
A Linden, P Wolper
Tools and Algorithms for the Construction and Analysis of Systems, 339-353
, 2013
41
2013
Verifying Programs on Relaxed Memory Models with a Focus on x86-TSO
A Linden
Facing the Multicore-Challenge II
, 2011
2011
系统目前无法执行此操作,请稍后再试。
文章 1–4
展开
隐私权
条款
帮助
关于学术搜索
Google 搜索帮助