John W. Baugh Jr.

	2003
6		John W. Baugh Jr., Sujay V. Kumar: Asynchronous Genetic Algorithms for Heterogeneous Networks Using Coarse-Grained Dataflow. GECCO 2003: 730-741
	2001
5		John W. Baugh Jr., R. K. S. Konduri: Discrete Element Modelling on a Cluster of Workstations. Eng. Comput. (Lond.) 17(1): 1-15 (2001)
	1998
4		John W. Baugh Jr.: Design and verification of real-time systems. AI in Structural Engineering 1998: 30-47
	1997
3		Wael M. Elseaidy, Rance Cleaveland, John W. Baugh Jr.: Modeling and Verifying Active Structural Control Systems. Sci. Comput. Program. 29(1-2): 99-122 (1997)
	1994
2		Wael M. Elseaidy, Rance Cleaveland, John W. Baugh Jr.: Verifying an Intelligent Structural Control System: A Case Study. IEEE Real-Time Systems Symposium 1994: 271-275
	1992
1		John W. Baugh Jr.: Is Engineering Software Amenable to Formal Specification? Larch 1992: 1-17

Coauthor Index

1	Rance Cleaveland	[2] [3]
2	Wael M. Elseaidy	[2] [3]
3	R. K. S. Konduri	[5]
4	Sujay V. Kumar	[6]

Colors in the list of coauthors