| |
| 2003 | ||
|---|---|---|
| 6 | EE | John W. Baugh Jr., Sujay V. Kumar: Asynchronous Genetic Algorithms for Heterogeneous Networks Using Coarse-Grained Dataflow. GECCO 2003: 730-741 |
| 2001 | ||
| 5 | EE | 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 | |
| 1 | Rance Cleaveland | [2] [3] |
| 2 | Wael M. Elseaidy | [2] [3] |
| 3 | R. K. S. Konduri | [5] |
| 4 | Sujay V. Kumar | [6] |