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
38
38
H-indeks
2
2
i10-indeks
2
2
0
16
8
2021
2022
2023
2024
7
15
10
6
Javni pristup
Prikaži sve
Prikaži sve
2 članka
0 članaka
dostupno
nije dostupno
Na temelju uvjeta financiranja
Suautori
James Riely
Professor of Computing, DePaul University
Potvrđena adresa e-pošte na cs.depaul.edu
Anton Podkopaev
JetBrains Research, Constructor University Bremen
Potvrđena adresa e-pošte na jetbrains.com
Simon Cooksey
Research Scientist, NVIDIA
Potvrđena adresa e-pošte na nvidia.com
Alan Jeffrey
Roblox
Potvrđena adresa e-pošte na roblox.com
Michalis Kokologiannakis
Max Planck Institute for Software Systems (MPI-SWS)
Potvrđena adresa e-pošte na mpi-sws.org
Viktor Vafeiadis
Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)
Potvrđena adresa e-pošte na mpi-sws.org
Azalea Raad
Imperial College London
Potvrđena adresa e-pošte na imperial.ac.uk
Prati
Ilya Kaysin
University of Cambridge
Potvrđena adresa e-pošte na cam.ac.uk -
Početna stranica
Software Verification
Concurrency
Weak Memory Models
Interactive Theorem Proving
Type Theory
Članci
Citirano
Javni pristup
Suautori
Naslov
Razvrstaj
Poredaj po navodima
Poredaj po godini
Poredaj po naslovu
Citirano
Citirano
Godina
The leaky semicolon: compositional semantic dependencies for relaxed-memory concurrency
A Jeffrey, J Riely, M Batty, S Cooksey, I Kaysin, A Podkopaev
Proceedings of the ACM on Programming Languages 6 (POPL), 1-30
, 2022
20
2022
PerSeVerE: Persistency semantics for verification under ext4
M Kokologiannakis, I Kaysin, A Raad, V Vafeiadis
Proceedings of the ACM on Programming Languages 5 (POPL), 1-29
, 2021
18
2021
Persistency semantics of the ext4 filesystem
I Kaysin
Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.
Članci 1–3
Prikaži više
Privatnost
Uvjeti
Pomoć
O Znalcu
Pomoć za pretraživanje