Walter Truszkowski
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2003–2005
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2005 | FMICS | Requirements of an integrated formal method for intelligent swarms. | Michael G. Hinchey, Christopher A. Rouff, James L. Rash, Walter Truszkowski |
| 2005 | SEW | Towards a Hybrid Formal Method for Swarm-Based Exploration Missions. | Christopher A. Rouff, Michael G. Hinchey, James L. Rash, Walter Truszkowski |
| 2004 | ISoLA | Formal Methods for Autonomic and Swarm-based Systems. | Christopher A. Rouff, Amy Vanderbilt, Walter Truszkowski, James L. Rash, Michael G. Hinchey |
| 2003 | SEW | Formal Approaches to Intelligent Swarms. | Christopher A. Rouff, Walter Truszkowski, James L. Rash, Michael G. Hinchey |