טוען...
המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.
ציטוטים ביבליוגרפיים בשנה
ציטוטים ביביליוגרפיים כפולים
המאמרים הבאים ממוזגים ב-Google Scholar.
סך כל הציטוטים הביביליוגרפיים
נספרים עבור המאמר הראשון בלבד.
ציטוטים ביביליוגרפיים שמוזגו
הספירה 'צוטט על ידי' כוללת ציטוטים ביביליוגרפיים מהמאמרים הבאים ב-Google Scholar. המאמרים המסומנים ב-
*
עשויים להיות שונים מהמאמר שבפרופיל.
הוסף מחברים שותפים
מחברים משותפים
עקוב אחר
מאמרים חדשים מאת המחבר הזה
ציטוטים חדשים של המחבר הזה
מאמרים חדשים שקשורים למחקר של המחבר הזה
כתובת אימייל לעדכונים
בוצע
הפרופיל שלי
הספרייה שלי
מדדים
התראות
הגדרות
כניסה
כניסה
קבלת פרופיל משלי
צוטט על ידי
הצג הכל
הכל
מאז 2019
ציטוטים ביבליוגרפיים
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
עקוב אחר
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 Scholar
עזרה בחיפוש