| 2009 | ||
|---|---|---|
| c4 | James E. Weimer, Bruno Sinopoli, Bruce H. Krogh: Multiple Source Detection and Localization in Advection-Diffusion Processes Using Wireless Sensor Networks. RTSS 2009: 333-342 | |
| 2008 | ||
| c3 | James E. Weimer, Bruno Sinopoli, Bruce H. Krogh: A Relaxation Approach to Dynamic Sensor Selection in Large-Scale Wireless Networks. ICDCS Workshops 2008: 501-506 | |
| 2007 | ||
| c2 | Sumit Kumar Jha, Bruce H. Krogh, James E. Weimer, Edmund M. Clarke: Reachability for Linear Hybrid Automata Using Iterative Relaxation Abstraction. HSCC 2007: 287-300 | |
| c1 | James E. Weimer, Bruce H. Krogh: Hierarchical modeling of mode-switching systems. SCSC 2007: 567-574 | |
| 1 | Edmund M. Clarke | |
| 2 | Sumit Kumar Jha | |
| 3 | Bruce H. Krogh | |
| 4 | Bruno Sinopoli |
Data released under the ODC-BY 1.0 license — See also our legal information page