Spatial Dependence in the Observation of Visual Contours. - John MacCormick; Andrew Blake 001 (ECCV (2), 1998)

A Probabilistic Contour Discriminant for Object Localisation. - John MacCormick; Andrew Blake 001 (ICCV, 1998)

Object Localization by Bayesian Correlation. - Josephine Sullivan; Andrew Blake 001; Michael Isard; John MacCormick (ICCV, 1999)

Partitioned Sampling, Articulated Objects, and Interface-Quality Hand Tracking. - John MacCormick; Michael Isard (ECCV (2), 2000)

Learning Switching Linear Models of Human Motion. - Vladimir Pavlovic 001; James M. Rehg; John MacCormick (NIPS, 2000)

A Probabilistic Exclusion Principle for Tracking Multiple Objects. - John MacCormick; Andrew Blake 001 (Int. J. Comput. Vis., 2000)

Statistical Models of Visual Shape and Motion. - Andrew Blake 001; Michael Isard; John MacCormick (Sequential Monte Carlo Methods in Practice, 2001)

BraMBLe: A Bayesian Multiple-Blob Tracker. - Michael Isard; John MacCormick (ICCV, 2001)

Bayesian Object Localisation in Images. - Josephine Sullivan; Andrew Blake 001; Michael Isard; John MacCormick (Int. J. Comput. Vis., 2001)

Automatic Camera Calibration from a Single Manhattan Image. - Jonathan Deutscher; Michael Isard; John MacCormick (ECCV (4), 2002)

Myriad: Cost-Effective Disaster Tolerance. - Fay W. Chang; Minwen Ji; Shun-Tak Leung; John MacCormick; Sharon E. Perl; Li Zhang 001 (FAST, 2002)

Stochastic algorithms for visual tracking: probabilistic modelling and stochastic algorithms for visual localisation and tracking. - John MacCormick (Springer, 2002)

Block-Level Security for Network-Attached Disks. - Marcos Kawazoe Aguilera; Minwen Ji; Mark Lillibridge; John MacCormick; Erwin Oertli; David G. Andersen; Michael Burrows; Timothy P. Mann; Chandramohan A. Thekkath (FAST, 2003)

Computation and performance issues In coliseum: an immersive videoconferencing system. - H. Harlyn Baker; Nina T. Bhatti; Donald Tanguay; Irwin Sobel; Dan Gelb; Michael E. Goss; John MacCormick; Kei Yuasa; W. Bruce Culbertson; Thomas Malzbender (ACM Multimedia, 2003)

Boxwood: Abstractions as the Foundation for Storage Infrastructure. - John MacCormick; Nick Murphy; Marc Najork; Chandramohan A. Thekkath; Lidong Zhou (OSDI, 2004)

Estimating Disparity and Occlusions in Stereo Video Sequences. - Oliver Williams; Michael Isard; John MacCormick (CVPR (2), 2005)

Dense Motion and Disparity Estimation Via Loopy Belief Propagation. - Michael Isard; John MacCormick (ACCV (2), 2006)

Discovering Dependencies for Network Management. - Paramvir Bahl; Paul Barham 001; Richard Black; Ranveer Chandra; Moisés Goldszmidt; Rebecca Isaacs; Srikanth Kandula; Lun Li; John MacCormick; David A. Maltz; Richard Mortier; Mike Wawrzoniak; et al. (HotNets, 2006)

Ad hoc extensibility and access control. - Úlfar Erlingsson; John MacCormick (ACM SIGOPS Oper. Syst. Rev., 2006)

Experiences with formal specification of fault-tolerant file systems. - Roxana Geambasu; Andrew Birrell; John MacCormick (DSN, 2008)

Continuously-adaptive discretization for message-passing algorithms. - Michael Isard; John MacCormick; Kannan Achan (NIPS, 2008)

CT-NOR: Representing and Reasoning About Events in Continuous Time. - Aleksandr Simma; Moisés Goldszmidt; John MacCormick; Paul Barham 001; Richard Black; Rebecca Isaacs; Richard Mortier (UAI, 2008)

Niobe: A practical replication protocol. - John MacCormick; Chandramohan A. Thekkath; Marcus Jager; Kristof Roomp; Lidong Zhou; Ryan Peterson 002 (ACM Trans. Storage, 2008)

Kinesis: A new approach to replica placement in distributed storage systems. - John MacCormick; Nicholas Murphy; Venugopalan Ramasubramanian; Udi Wieder; Junfeng Yang; Lidong Zhou (ACM Trans. Storage, 2009)

The benefits of pairing by ability. - Grant Braught; John MacCormick; Tim Wahls (SIGCSE, 2010)

Video chat with multiple cameras. - John MacCormick (CSCW Companion, 2013)

Curvature Regularization for Resolution-Independent Images. - John MacCormick; Andrew W. Fitzgibbon (EMMCVPR, 2013)

Seeking Evidence for Basing the CS Theory Course on Non-decision Problems (Abstract Only). - John MacCormick (SIGCSE, 2017)

Strategies for Basing the CS Theory Course on Non-decision Problems. - John MacCormick (SIGCSE, 2018)

A Multi-Institutional Perspective on H/FOSS Projects in the Computing Curriculum. - Grant Braught; John MacCormick; Jim Bowring; Quinn Burke 001; Barbara Cutler; David E. Goldschmidt; Mukkai S. Krishnamoorthy; Wesley Turner; Steven Huss-Lederman; Bonnie K. MacKellar; Allen B. Tucker (ACM Trans. Comput. Educ., 2018)

Using computer programs and search problems for teaching theory of computation. - John MacCormick (Commun. ACM, 2020)

Review of Problems with a Point: Exploring Math and Computer Science. - John MacCormick (SIGACT News, 2020)

Functional Programming and Streams. - John MacCormick (CoRR, 2023)

Functional Programming, in the Data Structures Course, in Java. - John MacCormick (J. Comput. Sci. Coll., 2023)