Učitavanje...
Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.
Godišnji broj citata
Dvostruki navodi
Sljedeći su članci spojeni u Znalcu.
Navodi iz obaju
članaka broje se samo za prvi članak.
Spojeni navodi
Zbroj za "Citirano" uključuje navode sljedećeg članka u Znalcu. Oni koji su označeni znakom
*
mogu biti različiti od članka u profilu.
Dodavanje suautora
Suautori
Prati
Novi članci tog autora
Novi navodi tog autora
Novi članci povezani s istraživanjem tog autora
E-adresa za obavijesti
Završeno
Moj profil
Moja knjižnica
Mjerni podaci
Upozorenja
Postavke
Prijavite se
Prijavite se
Izradite svoj profil
Citirano
Sve
Od 2019.
Citati
17
13
H-indeks
2
2
i10-indeks
0
0
0
6
3
2016
2017
2018
2019
2020
2021
2022
2023
2024
2
2
1
2
6
3
1
Javni pristup
Prikaži sve
Prikaži sve
2 članka
0 članaka
dostupno
nije dostupno
Na temelju uvjeta financiranja
Prati
Shale Xiong
Arm
Potvrđena adresa e-pošte na arm.com -
Početna stranica
formal verification
computer science
Članci
Citirano
Javni pristup
Naslov
Razvrstaj
Poredaj po navodima
Poredaj po godini
Poredaj po naslovu
Citirano
Citirano
Godina
Data consistency in transactional storage systems: A centralised semantics
S Xiong, A Cerone, A Raad, P Gardner
34th European Conference on Object-Oriented Programming (ECOOP 2020)
, 2020
9
*
2020
Abstract specifications for concurrent maps
S Xiong, PR Pinto, G Ntzik, P Gardner
Programming Languages and Systems: 26th European Symposium on Programming …
, 2017
8
2017
Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.
Članci 1–2
Prikaži više
Privatnost
Uvjeti
Pomoć
O Znalcu
Pomoć za pretraživanje