Login / Signup
Mikhail Semenyuk
ORCID
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 2
Top Topics
Knowledge Processing
Update Transactions
Analogical Reasoning
Reasoning Process
Top Venues
SAC
SEFM
</>
Publications
</>
Mikhail Semenyuk
,
Mark Batty
,
Brijesh Dongol
Verifying Read-Copy Update Under RC11.
SEFM
(2023)
Mikhail Semenyuk
,
Brijesh Dongol
Ownership-Based Owicki-Gries Reasoning.
SAC
(2023)