Ian Wehrman
Ian Wehrman
Snap Inc.
Verified email at - Homepage
Cited by
Cited by
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
Concurrent kleene algebra
CART Hoare, B Möller, G Struth, I Wehrman
CONCUR 2009-Concurrency Theory: 20th International Conference, CONCUR 2009 …, 2009
A timed semantics of Orc
I Wehrman, D Kitchin, WR Cook, J Misra
Theoretical Computer Science 402 (2-3), 234-248, 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
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
Graphical models of separation logic
I Wehrman, CAR Hoare, PW O'Hearn
Information processing letters 109 (17), 1001-1004, 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
Mining propositional simplification proofs for small validating clauses
I Wehrman, A Stump
Electronic Notes in Theoretical Computer Science 144 (2), 79-91, 2006
A proposal for weak-memory local reasoning
I Wehrman, J Berdine
LOLA workshop 6, 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
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
Extending Byzantine fault tolerance to replicated clients
I Wehrman, SL Pallemulle, KJ Goldman
Weak-memory local reasoning
IA Wehrman
Knuth-Bendix completion with modern termination checking
IA Wehrman
Washington University, 2006
Property Types: Semantic Programming for Java
A Stump, I Wehrman
13th International Workshop on Foundations and Developments of Object …, 2006
Semantics and Syntax of a Weak-Memory Separation Logic: Sequential Fragment
I Wehrman
Knuth-Bendix Completion with Modern Termination Checking, Master's Thesis, August 2006
I Wehrman
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
The system can't perform the operation now. Try again later.
Articles 1–19