K. M. Butler

Fast functional evaluation of candidate OBDD variable orderings

M. R. Mercer, R. Kapur, D. E. Ross, 1991, Proceedings of the European Conference on Design Automation..

TRAFFIC LOAD 'FINGERPRINTING' OF BRIDGES FOR ASSESSMENT PURPOSES

Eugene J. O'Brien, T D Sloan, K. M. Butler, 1995 .

ESTIMATION OF WAKE VORTEX ADVECTION AND DECAY USING METEOROLOGICAL SENSORS AND AIRCRAFT DATA.

Kethryn M. Butler, K. M. Butler, 1993 .