5 papers:
ASE-2013-Hellerstein #case study #design #distributed #experience #named- BOOM: Experiences in language and tool design for distributed systems (keynote) (JMH), p. 1.
CASE-2013-IsmailH #3d #anti #higher-order #using- Trajectory tracking and anti-sway control of three-dimensional offshore boom cranes using second-order sliding modes (RMTRI, QPH), pp. 996–1001.
- CASE-2012-Moon
- Input shaping control for suppression of boom vibrations (KSM), pp. 782–785.
TACAS-2010-BaslerHKOWZ #model checking #named- Boom: Taking Boolean Program Model Checking One Step Further (GB, MH, DK, CHLO, TW, HZ), pp. 145–149.
KDD-2000-Goodnight- Decision support in the booming e-world (invited talk, abstract only) (JG), p. 5.
