Michael J. Banks

According to our database, Michael J. Banks authored at least 10 papers between 1990 and 2023.

Collaborative distances:

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

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, August, 2023

Trajectory Estimation in Unknown Nonlinear Manifold Using Koopman Operator Theory.

Yanran Wang, Michael J. Banks, Igor Mezic, Takashi Hikihara

CoRR, 2023

2020

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

2014

On integrating confidentiality and functionality in a formal method.

Michael J. Banks, Jeremy L. Jacob

Formal Aspects Comput., 2014

2012

On confidentiality and formal methods.

Michael J. Banks

PhD thesis, 2012

2011

Specifying Confidentiality in Circus.

Michael J. Banks, Jeremy L. Jacob

Proceedings of the FM 2011: Formal Methods, 2011

2010

Unifying Theories of Confidentiality.

Michael J. Banks, Jeremy L. Jacob

Proceedings of the Unifying Theories of Programming - Third International Symposium, 2010

On Modelling User Observations in the UTP.

Michael J. Banks, Jeremy L. Jacob

Proceedings of the Unifying Theories of Programming - Third International Symposium, 2010

1992

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

Proceedings of the Knot Insertion and Deletion Algorithms for B-Spline Curves and Surfaces, 1992

1990

Real time spline curves from interactively sketched data.

Michael J. Banks, Elaine Cohen

Proceedings of the 1990 symposium on Interactive 3D graphics, 1990