Ian Wehrman

According to our database, Ian Wehrman authored at least 9 papers between 2005 and 2020.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of four.

2020

Sifter: A Hybrid Workflow for Theme-based Video Curation at Scale.

Yan Chen, Andrés Monroy-Hernández, Ian Wehrman, Steve Oney, Walter S. Lasecki, Rajan Vaish

Proceedings of the ACM International Conference on Interactive Media Experiences. IMX 2020, 2020

2011

Concurrent Kleene Algebra and its Foundations.

Tony Hoare, Bernhard Möller, Georg Struth, Ian Wehrman

J. Log. Algebraic Methods Program., 2011

2009

Graphical models of separation logic.

Ian Wehrman, C. A. R. Hoare, Peter W. O'Hearn

Inf. Process. Lett., 2009

Concurrent Kleene Algebra.

C. A. R. Hoare, Bernhard Möller, Georg Struth, Ian Wehrman

Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

Foundations of Concurrent Kleene Algebra.

C. A. R. Hoare, Bernhard Möller, Georg Struth, Ian Wehrman

Proceedings of the Relations and Kleene Algebra in Computer Science, 2009

2008

A timed semantics of Orc.

Ian Wehrman, David Kitchin, William R. Cook, Jayadev Misra

Theor. Comput. Sci., 2008

2006

Slothrop: Knuth-Bendix Completion with a Modern Termination Checker.

Ian Wehrman, Aaron Stump, Edwin M. Westbrook

Proceedings of the Term Rewriting and Applications, 17th International Conference, 2006

2005

Mining Propositional Simplification Proofs for Small Validating Clauses.

Ian Wehrman, Aaron Stump

Proceedings of the Third Workshop on Pragmatics of Decision Procedures in Automated Reasoning, 2005

A language-based approach to functionally correct imperative programming.

Edwin M. Westbrook, Aaron Stump, Ian Wehrman

Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, 2005