Publications

2008

S. Bansal, S. Khandelwal, L.A. Meyers
Evolving Clustered Random Networks
(preprint)

2007

A. Kruger, S. Khandelwal, A. Bradley
AHPSVER: A Web-based System for Hydrologic Forecast Verification
Computers and Geosciences 33 (2007) 739-748

2003

C. Bajaj, S. Khandelwal, J Moore, V. Siddavanahalli.
Interactive Symbolic Visualization of Semi-automatic Theorem Proving
Technical Report TR-03-37, Department of Computer Sciences, University of Texas at Austin, August 2003.
(pdf) (abstract)

C. Bajaj, S. Khandelwal, J Moore, V. Siddavanahalli.
Interactive Poster: Interactive Symbolic Visualization of Semi-automatic Theorem Proving
IEEE Symposium on Information Visualization 2003. Seattle, WA.
(pdf) (abstract)