| Concurrent Kleene algebra and its foundations T Hoare, B Möller, G Struth, I Wehrman The Journal of Logic and Algebraic Programming 80 (6), 266-296, 2011 | 164 | 2011 |
| Concurrent kleene algebra CART Hoare, B Möller, G Struth, I Wehrman CONCUR 2009-Concurrency Theory: 20th International Conference, CONCUR 2009 …, 2009 | 110 | 2009 |
| A timed semantics of Orc I Wehrman, D Kitchin, WR Cook, J Misra Theoretical Computer Science 402 (2-3), 234-248, 2008 | 58 | 2008 |
| Slothrop: Knuth-Bendix Completion with a Modern Termination Checker I Wehrman, A Stump, E Westbrook Term Rewriting and Applications: 17th International Conference, RTA 2006 …, 2006 | 55 | 2006 |
| A language-based approach to functionally correct imperative programming E Westbrook, A Stump, I Wehrman Proceedings of the tenth ACM SIGPLAN international conference on Functional …, 2005 | 48 | 2005 |
| Graphical models of separation logic I Wehrman, CAR Hoare, PW O'Hearn Information processing letters 109 (17), 1001-1004, 2009 | 36* | 2009 |
| Foundations of concurrent Kleene algebra CAR Hoare, B Möller, G Struth, I Wehrman Relations and Kleene Algebra in Computer Science: 11th International …, 2009 | 19 | 2009 |
| Mining propositional simplification proofs for small validating clauses I Wehrman, A Stump Electronic Notes in Theoretical Computer Science 144 (2), 79-91, 2006 | 18 | 2006 |
| A proposal for weak-memory local reasoning I Wehrman, J Berdine LOLA workshop 6, 2011 | 11 | 2011 |
| Properties of the timed operational and denotational semantics of Orc I Wehrman, D Kitchin, WR Cook, J Misra Computer Science Department, University of Texas at Austin, 2007 | 11 | 2007 |
| Byzantine fault tolerant execution of long-running distributed applications SL Pallemulle, I Wehrman, KJ Goldman 18th IASTED Paralell and Distributed Computing and Systems, 528-534, 2006 | 11 | 2006 |
| Extending Byzantine fault tolerance to replicated clients I Wehrman, SL Pallemulle, KJ Goldman | 4 | 2006 |
| Weak-memory local reasoning IA Wehrman | 2 | 2012 |
| Knuth-Bendix completion with modern termination checking IA Wehrman Washington University, 2006 | 2 | 2006 |
| Property Types: Semantic Programming for Java A Stump, I Wehrman 13th International Workshop on Foundations and Developments of Object …, 2006 | 1 | 2006 |
| Semantics and Syntax of a Weak-Memory Separation Logic: Sequential Fragment I Wehrman | | 2010 |
| Knuth-Bendix Completion with Modern Termination Checking, Master's Thesis, August 2006 I Wehrman | | 2006 |
| Contact, closure, topology, and the linking of row and column types of relations G. Schmidt and R. Berghammer 339 Normal forms in total correctness for while programs and … R Berghammer, AM Jaoua, B Möller, HH Dang, P Höfner, W Guttmann, ... | | |
| Knuth-Bendix Completion with a Termination Checker I Wehrman, A Stump, E Westbrook | | |
