Načítání...
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Citace za rok
Duplicitní citace
Následující články byly sloučeny ve službě Scholar. Do
celkového počtu citací
se započítává pouze první článek.
Sloučené citace
Počet citovaných článků zahrnuje citace následujících článků ve službě Scholar. Články označené hvězdičkou (
*
) a články v profilu se mohou lišit.
Přidat spoluautory
Spoluautoři
Sledovat
Nové články od tohoto autora
Nové citace tohoto autora
Nové články související s výzkumem tohoto autora
E-mailová adresa k příjmu aktualit
Dokončit
Můj profil
Moje knihovna
Metriky
Upozornění
Nastavení
Přihlásit se
Přihlásit se
Založit si vlastní profil
Citace
Zobrazit všechny
Všechny
Od 2019
Citace
127
24
h-index
3
2
i10-index
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
Sledovat
Alexander Linden
Université de Liège
E-mailová adresa ověřena na: montefiore.ulg.ac.be
Model Checking
Verification
Relaxed Memory Models
Automata
Články
Citace
Název
Seřadit
Seřadit podle citací
Seřadit podle roku
Seřadit podle názvu
Citace
Citace
Rok
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
Systém momentálně nemůže danou operaci provést. Zkuste to znovu později.
Články 1–4
Zobrazit další
Ochrana soukromí
Smluvní podmínky
Nápověda
O službě Scholar
Vyhledat v nápovědě