Real time spline curves from interactively sketched data. - Michael J. Banks; Elaine Cohen (I3D, 1990)

Chapter 7: An Envelope Approach to a Sketching Editor for Hierarchical Free-form Curve Design and Modification. - Michael J. Banks; Elaine Cohen; Timothy I. Mueller (Knot Insertion and Deletion Algorithms for B-Spline Curves and Surfaces, 1992)

On Modelling User Observations in the UTP. - Michael J. Banks; Jeremy L. Jacob (UTP, 2010)

Unifying Theories of Confidentiality. - Michael J. Banks; Jeremy L. Jacob (UTP, 2010)

Specifying Confidentiality in Circus. - Michael J. Banks; Jeremy L. Jacob (FM, 2011)

On confidentiality and formal methods. - Michael J. Banks (2012)

On integrating confidentiality and functionality in a formal method. - Michael J. Banks; Jeremy L. Jacob (Formal Aspects Comput., 2014)

Modeling, Reduction, and Control of a Helically Actuated Inertial Soft Robotic Arm via the Koopman Operator. - David A. Haggerty; Michael J. Banks; Patrick C. Curtis; Igor Mezic; Elliot W. Hawkes (CoRR, 2020)

Trajectory Estimation in Unknown Nonlinear Manifold Using Koopman Operator Theory. - Yanran Wang; Michael J. Banks; Igor Mezic; Takashi Hikihara (CoRR, 2023)

Control of soft robots with inertial dynamics. - David A. Haggerty; Michael J. Banks; Ervin Kamenar; Alan B. Cao; Patrick C. Curtis; Igor Mezic; Elliot W. Hawkes (Sci. Robotics, 2023)