Ian Wehrman

Publication Activity (10 Years)

Years Active: 2005-2020
Publications (10 Years): 2

Top Topics

Document Management

Real Time Video

Scale Invariant

Top Venues

Publications

Yan Chen, Andrés Monroy-Hernández, Ian Wehrman, Steve Oney, Walter S. Lasecki, Rajan Vaish
Sifter: A Hybrid Workflow for Theme-based Video Curation at Scale. IMX (2020)
Yan Chen, Andrés Monroy-Hernández, Ian Wehrman, Steve Oney, Walter S. Lasecki, Rajan Vaish
Sifter: A Hybrid Workflow for Theme-based Video Curation at Scale. CoRR (2020)
Tony Hoare, Bernhard Möller, Georg Struth, Ian Wehrman
Concurrent Kleene Algebra and its Foundations. J. Log. Algebraic Methods Program. 80 (6) (2011)
C. A. R. Hoare, Bernhard Möller, Georg Struth, Ian Wehrman
Concurrent Kleene Algebra. CONCUR (2009)
Ian Wehrman, C. A. R. Hoare, Peter W. O'Hearn
Graphical models of separation logic. Inf. Process. Lett. 109 (17) (2009)
C. A. R. Hoare, Bernhard Möller, Georg Struth, Ian Wehrman
Foundations of Concurrent Kleene Algebra. RelMiCS (2009)
Ian Wehrman, David Kitchin, William R. Cook, Jayadev Misra
A timed semantics of Orc. Theor. Comput. Sci. 402 (2-3) (2008)
Ian Wehrman, Aaron Stump, Edwin M. Westbrook
Slothrop: Knuth-Bendix Completion with a Modern Termination Checker. RTA (2006)
Ian Wehrman, Aaron Stump
Mining Propositional Simplification Proofs for Small Validating Clauses. Electron. Notes Theor. Comput. Sci. 144 (2) (2006)
Edwin M. Westbrook, Aaron Stump, Ian Wehrman
A language-based approach to functionally correct imperative programming. ICFP (2005)