Jesse McGeachie

Publication Activity (10 Years)

Years Active: 2005-2007
Publications (10 Years): 0

Publications

Jesse McGeachie, Jürgen Dingel
Translate One, Analyze Many: Leveraging the Microsoft Intermediate Language and Source Code Transformation for Model Checking. Electron. Notes Theor. Comput. Sci. 190 (1) (2007)
Tracy A. Jenkin, Jesse McGeachie, David Fono, Roel Vertegaal
eyeView: focus+context views for large group video conferences. CHI Extended Abstracts (2005)