Quantitative Assessment in Arms Control: Mathematical Modeling and Simulation in the Analysis of Arms Control Problems

Diplomacy Games: Formal Models and International Negotiations

Negotiated Risks: International Talks on Hazardous Issues

Verifying Treaty Compliance: Limiting Weapons of Mass Destruction and Monitoring Kyoto Protocol Provisions