Login / Signup
Sarai Sheinvald
ORCID
Publication Activity (10 Years)
Years Active: 2010-2024
Publications (10 Years): 23
Top Topics
Formal Verification
Finite State
Key Properties
Text Retrieval Systems
Top Venues
CoRR
FAST
LATA
ACM Trans. Storage
</>
Publications
</>