| 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 | 109 | 2011 |
| Concurrent kleene algebra CART Hoare, B Möller, G Struth, I Wehrman International Conference on Concurrency Theory, 399-414, 2009 | 84 | 2009 |
| A timed semantics of Orc I Wehrman, D Kitchin, WR Cook, J Misra Theoretical Computer Science 402 (2-3), 234-248, 2008 | 73 | 2008 |
| Slothrop: Knuth-Bendix completion with a modern termination checker I Wehrman, A Stump, E Westbrook International Conference on Rewriting Techniques and Applications, 287-296, 2006 | 48 | 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 | 32* | 2009 |
| Foundations of concurrent Kleene algebra CAR Hoare, B Möller, G Struth, I Wehrman International Conference on Relational Methods in Computer Science, 166-186, 2009 | 16 | 2009 |
| Mining propositional simplification proofs for small validating clauses I Wehrman, A Stump Electronic Notes in Theoretical Computer Science 144 (2), 79-91, 2006 | 14 | 2006 |
| A proposal for weak-memory local reasoning I Wehrman, J Berdine LOLA workshop 11, 55-70, 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 | 10 | 2007 |
| Byzantine fault tolerant execution of long-running distributed applications SL Pallemulle, I Wehrman, KJ Goldman Proceedings of the IASTED Parallel and Distributed Computing and Systems …, 2006 | 9 | 2006 |
| Extending Byzantine fault tolerance to replicated clients I Wehrman, SL Pallemulle, KJ Goldman | 3 | 2006 |
| Knuth-Bendix completion with modern termination checking IA Wehrman Washington University, 2006 | 2 | 2006 |
| Weak-memory local reasoning IA Wehrman | 1 | 2012 |
| 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 |
| Property Types: Semantic Programming for Java A Stump, I Wehrman International Conference on Foundations of Object-Oriented Languages (FOOL/WOOD), 2006 | | 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 | | |
