|
Search the dblp DataBase
John W. Baugh Jr.:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- John W. Baugh Jr., Sujay V. Kumar
Asynchronous Genetic Algorithms for Heterogeneous Networks Using Coarse-Grained Dataflow. [Citation Graph (0, 0)][DBLP] GECCO, 2003, pp:730-741 [Conf]
- John W. Baugh Jr.
Is Engineering Software Amenable to Formal Specification? [Citation Graph (0, 0)][DBLP] Larch, 1992, pp:1-17 [Conf]
- Wael M. Elseaidy, Rance Cleaveland, John W. Baugh Jr.
Verifying an Intelligent Structural Control System: A Case Study. [Citation Graph (0, 0)][DBLP] IEEE Real-Time Systems Symposium, 1994, pp:271-275 [Conf]
- John W. Baugh Jr.
Design and verification of real-time systems. [Citation Graph (0, 0)][DBLP] AI in Structural Engineering, 1998, pp:30-47 [Conf]
- John W. Baugh Jr., R. K. S. Konduri
Discrete Element Modelling on a Cluster of Workstations. [Citation Graph (0, 0)][DBLP] Eng. Comput. (Lond.), 2001, v:17, n:1, pp:1-15 [Journal]
- Wael M. Elseaidy, Rance Cleaveland, John W. Baugh Jr.
Modeling and Verifying Active Structural Control Systems. [Citation Graph (0, 0)][DBLP] Sci. Comput. Program., 1997, v:29, n:1-2, pp:99-122 [Journal]
Search in 0.001secs, Finished in 0.001secs
|