James E. Weimer

Publication Activity (10 Years)

Years Active: 2007-2009
Publications (10 Years): 0

Publications

James E. Weimer, Bruno Sinopoli, Bruce H. Krogh
Multiple Source Detection and Localization in Advection-Diffusion Processes Using Wireless Sensor Networks. RTSS (2009)
James E. Weimer, Bruno Sinopoli, Bruce H. Krogh
A Relaxation Approach to Dynamic Sensor Selection in Large-Scale Wireless Networks. ICDCS Workshops (2008)
Sumit Kumar Jha, Bruce H. Krogh, James E. Weimer, Edmund M. Clarke
Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction. HSCC (2007)
James E. Weimer, Bruce H. Krogh
Hierarchical modeling of mode-switching systems. SCSC (2007)