Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction. - Sumit Kumar Jha 001; Bruce H. Krogh; James E. Weimer; Edmund M. Clarke (HSCC, 2007)

Hierarchical modeling of mode-switching systems. - James E. Weimer; Bruce H. Krogh (SCSC, 2007)

A Relaxation Approach to Dynamic Sensor Selection in Large-Scale Wireless Networks. - James E. Weimer; Bruno Sinopoli; Bruce H. Krogh (ICDCS Workshops, 2008)

Multiple Source Detection and Localization in Advection-Diffusion Processes Using Wireless Sensor Networks. - James E. Weimer; Bruno Sinopoli; Bruce H. Krogh (RTSS, 2009)