Ghasemirad, Shabnam
- VerIso: Verifiable Isolation Guarantees for Database Transactions
2025/03/08 by Ghasemirad, Shabnam, Liu, Si, Sprenger, Christoph +2 · 2 citations
#Databases (cs.DB) #Distributed #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Parallel #and Cluster Computing (cs.DC)