×
Edit Profile (opens in new tab)

Meshman, Yuri

Co-Author Distance
Author ID: meshman.yuri Recent zbMATH articles by "Meshman, Yuri"
Published as: Meshman, Yuri
Documents Indexed: 4 Publications since 2015
Co-Authors: 8 Co-Authors with 4 Joint Publications
128 Co-Co-Authors
all top 5

Co-Authors

0 single-authored
3 Dan, Andrei Marian
3 Vechev, Martin T.
2 Yahav, Eran
1 Baumann, Cedric
1 García-Pérez, Álvaro
1 Gotsman, Alexey
1 Hoefler, Torsten
1 Sergey, Ilya

Serials

1 Computer Languages, Systems & Structures

Fields

4 Computer science (68-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

3 Publications have been cited 17 times in 15 Documents Cited by ▼ Year ▼
Paxos consensus, deconstructed and abstracted. Zbl 1418.68017
García-Pérez, Álvaro; Gotsman, Alexey; Meshman, Yuri; Sergey, Ilya
7
2018
Effective abstractions for verification under relaxed memory models. Zbl 1379.68237
Dan, Andrei; Meshman, Yuri; Vechev, Martin; Yahav, Eran
6
2017
Effective abstractions for verification under relaxed memory models. Zbl 1432.68259
Dan, Andrei; Meshman, Yuri; Vechev, Martin; Yahav, Eran
4
2015
Paxos consensus, deconstructed and abstracted. Zbl 1418.68017
García-Pérez, Álvaro; Gotsman, Alexey; Meshman, Yuri; Sergey, Ilya
7
2018
Effective abstractions for verification under relaxed memory models. Zbl 1379.68237
Dan, Andrei; Meshman, Yuri; Vechev, Martin; Yahav, Eran
6
2017
Effective abstractions for verification under relaxed memory models. Zbl 1432.68259
Dan, Andrei; Meshman, Yuri; Vechev, Martin; Yahav, Eran
4
2015
all cited Publications top 5 cited Publications
all top 5

Cited by 35 Authors

4 Bouajjani, Ahmed
4 Enea, Constantin
3 Beillahi, Sidi Mohamed
3 Wehrheim, Heike
2 Dalvandi, Sadegh
2 Doherty, Simon
2 Dongol, Brijesh
1 Abdulla, Parosh Aziz
1 Alglave, Jade
1 Andersen, Kristoffer Just Arndal
1 Antoniadis, Karolos
1 Atig, Mohamed Faouzi
1 Chand, Saksham
1 Çirisci, Berk
1 Cousot, Patrick
1 Deng, Robert Huijie
1 Giannarakis, Nick
1 Guerraoui, Rachid
1 Lahav, Ori
1 Lai, Junzuo
1 Liu, Yanhong Annie
1 Long, Teng
1 Ma, Changshe
1 Malkhi, Dahlia
1 Mutluergil, Suha Orhun
1 Ngo, Tuan Phong
1 Ren, Xingtao
1 Sakurai, Kouichi
1 Seredinschi, Dragos-Adrian
1 Sergey, Ilya
1 Travkin, Oleg
1 Vafeiadis, Viktor
1 Wang, Chao
1 Wang, Qing
1 Weng, Jian

Cited in 4 Serials

2 Logical Methods in Computer Science
1 Journal of Automated Reasoning
1 Journal of Functional Programming
1 ACM Transactions on Computational Logic

Cited in 2 Fields

14 Computer science (68-XX)
1 Information and communication theory, circuits (94-XX)

Citations by Year