James E. Weimer

	2008
3		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
2		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
1		James E. Weimer, Bruce H. Krogh: Hierarchical modeling of mode-switching systems. SCSC 2007: 567-574

Coauthor Index

1	Edmund M. Clarke	[2]
2	Sumit Kumar Jha	[2]
3	Bruce H. Krogh	[1] [2] [3]
4	Bruno Sinopoli	[3]