Statistics
Publications
12
Citations
523
H-Index
12
Active since
2000
Josh Berdine is an author at Queen Mary University of London specializing in computer science, computing, and formal methods.
Publications per year
2000–2022
12
12
Alexey Gotsman, Josh Berdine, Byron Cook et al. · 2007 · 91 citations
Variance analyses from invariance analyses
Josh Berdine, Aziem Chawdhary, Byron Cook et al. · ACM SIGPLAN Notices · 2007 · 75 citations
Josh Berdine, Peter W. O’Hearn, Uday S. Reddy et al. · LISP and Symbolic Computation · 2002 · 63 citations
Variance analyses from invariance analyses
Josh Berdine, Aziem Chawdhary, Byron Cook et al. · 2007 · 55 citations
1–5 of 12