7
Publications
194
Citations
7
H-Index
2011
Active since
Rezwana Karim is an author at Rutgers, The State University of New Jersey specializing in engineering, computer science, and program analysis.
Top concepts
EngineeringComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisSoftware EngineeringFormal MethodsFormal VerificationDesignVerification
Publications per year
2011–2022
7
7
Repairing Event Race Errors by Controlling Nondeterminism
Christoffer Quist Adamsen, Anders Møller, Rezwana Karim et al. · 2017 · 38 citations · Full text
Sajid Amit, Rezwana Karim, Abdulla ‐ Al Kafy · Spatial Information Research · 2022 · 27 citations · Full text
Fast, memory-efficient regular expression matching with NFA-OBDDs
Yang Liu, Rezwana Karim, Vinod Ganapathy et al. · Computer Networks · 2011 · 20 citations
Rows per page
1–5 of 7