Statistics
Publications
4
Citations
232
H-Index
4
Active since
2005
Ian Wehrman is an author at The University of Texas at Austin specializing in computer science, formal methods, and computing.
Publications per year
2005–2011
4
4
Concurrent Kleene Algebra and its Foundations
Tony Hoare, Bernhard Möller, Georg Struth et al. · The Journal of Logic and Algebraic Programming · 2011 · 128 citations · Full text
Ian Wehrman, David Kitchin, William R. Cook et al. · Theoretical Computer Science · 2008 · 44 citations
Graphical models of separation logic
Ian Wehrman, C. A. R. Hoare, Peter W. O’Hearn · Information Processing Letters · 2009 · 25 citations
1–4 of 4