Michael Bulmer

According to our database, Michael Bulmer authored at least 7 papers between 1996 and 2019.

Collaborative distances:

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

2019

An Exact Algorithm for the Pickup and Delivery Problem with Time Windows and Last-in-First-out Loading.

Ali Mehsin Alyasiry, Michael A. Forbes, Michael Bulmer

Transp. Sci., 2019

2004

Weibull model selection for reliability modelling.

D. N. Prabhakar Murthy, Michael Bulmer, John A. Eccleston

Reliab. Eng. Syst. Saf., 2004

2002

Characterization of landslide deposits using SAR images.

Vern Singhroy, Katrin Molch, Michael Bulmer

Proceedings of the IEEE International Geoscience and Remote Sensing Symposium, 2002

2000

A Complex Change of Variables for Geometrical Reasoning.

Timothy Stokes, Michael Bulmer

Proceedings of the Automated Deduction in Geometry, Third International Workshop, 2000

The Kinds of Truth of Geometry Theorems.

Michael Bulmer, Desmond Fearnley-Sander, Timothy Stokes

Proceedings of the Automated Deduction in Geometry, Third International Workshop, 2000

1996

Inductive theories from equational systems.

Michael Bulmer

Proceedings of the Learning and Reasoning with Complex Representations, 1996

Inductive Equational Reasoning.

Michael Bulmer

Proceedings of the PRICAI'96: Topics in Artificial Intelligence, 1996